Volume 19, No. 3 (1983)
Publications of the Research Institute for Mathematical Sciences

pp. 887–910 Weak and Strong Solutions of the Navier-Stokes Initial Value ProblemYoshikazu Giga
pp. 911–926 A Formal System for Specification Analysis of Concurrent ProgramsKen HiroseMakoto Takahashi
pp. 927–942 The Cauchy Problem for Hyperbolic Equations with Double CharacteristicsNobuhisa Iwasaki
pp. 943–1001 Solitons and Infinite Dimensional Lie AlgebrasMichio JimboTetsuji Miwa
pp. 1003–1032 Microlocal AnalysisMasaki KashiwaraTakahiro Kawai
pp. 1033–1048 Turbulence and Singularity of the Velocity FieldShigeo Kida
pp. 1049–1079 Pattern Formation in Competition-Diffusion Systems in Nonconvex DomainsHiroshi MatanoMasayasu Mimura
pp. 1081–1094 A Method for Evaluation of the Error Function of Real and Complex Variable with High Relative AccuracyMasatake Mori
pp. 1095–1137 Manifestly Covariant Canonical Formalism of Quantum Gravity - Systematic Presentation of the TheoryNoboru Nakanishi
pp. 1139–1151 Some Invariants for Conies and Their ApplicationsIsao Naruki
pp. 1153–1162 On the -Segal ConjectureGoro Nishida
pp. 1163–1179 Hironaka's Additive Group Scheme, IITadao Oda
pp. 1181–1201 Cohomology Vanishing Theorems on Weakly 1-Complete ManifoldsTakeo Ohsawa
pp. 1203–1230 A Definition of Boundary Values of Solutions of Partial Differential Equations with Regular SingularitiesToshio Oshima
pp. 1231–1264 Period Mapping Associated to a Primitive FormKyoji Saito
pp. 1265–1282 An Ergodic-Theoretical Approach to the Chaotic Behaviour of Dynamical SystemsYoichiro Takahashi
pp. 1283–1303 Recent Development of the Theory of Completely Bounded Maps between -AlgebrasJun Tomiyama
pp. 1305–1328 A Semi-Group Theoretical Analysis of a Finite Element Method for a Linearized Viscous Shallow-Water SystemTeruo Ushijima