JournalsprimsVol. 19, No. 3Volume 19, No. 3 (1983) Publications of the Research Institute for Mathematical Sciencespp. 887–910Weak and Strong Solutions of the Navier-Stokes Initial Value ProblemYoshikazu Gigapp. 911–926A Formal System for Specification Analysis of Concurrent ProgramsKen HiroseMakoto Takahashipp. 927–942The Cauchy Problem for Hyperbolic Equations with Double CharacteristicsNobuhisa Iwasakipp. 943–1001Solitons and Infinite Dimensional Lie AlgebrasMichio JimboTetsuji Miwapp. 1003–1032Microlocal AnalysisMasaki KashiwaraTakahiro Kawaipp. 1033–1048Turbulence and Singularity of the Velocity FieldShigeo Kidapp. 1049–1079Pattern Formation in Competition-Diffusion Systems in Nonconvex DomainsHiroshi MatanoMasayasu Mimurapp. 1081–1094A Method for Evaluation of the Error Function of Real and Complex Variable with High Relative AccuracyMasatake Moripp. 1095–1137Manifestly Covariant Canonical Formalism of Quantum Gravity - Systematic Presentation of the TheoryNoboru Nakanishipp. 1139–1151Some Invariants for Conies and Their ApplicationsIsao Narukipp. 1153–1162On the S<sup>1</sup>-Segal ConjectureGoro Nishidapp. 1163–1179Hironaka's Additive Group Scheme, IITadao Odapp. 1181–1201Cohomology Vanishing Theorems on Weakly 1-Complete ManifoldsTakeo Ohsawapp. 1203–1230A Definition of Boundary Values of Solutions of Partial Differential Equations with Regular SingularitiesToshio Oshimapp. 1231–1264Period Mapping Associated to a Primitive Form Kyoji Saitopp. 1265–1282An Ergodic-Theoretical Approach to the Chaotic Behaviour of Dynamical SystemsYoichiro Takahashipp. 1283–1303Recent Development of the Theory of Completely Bounded Maps between <i>C</i>*-AlgebrasJun Tomiyamapp. 1305–1328A Semi-Group Theoretical Analysis of a Finite Element Method for a Linearized Viscous Shallow-Water SystemTeruo Ushijima

pp. 911–926A Formal System for Specification Analysis of Concurrent ProgramsKen HiroseMakoto Takahashi

pp. 1049–1079Pattern Formation in Competition-Diffusion Systems in Nonconvex DomainsHiroshi MatanoMasayasu Mimura

pp. 1081–1094A Method for Evaluation of the Error Function of Real and Complex Variable with High Relative AccuracyMasatake Mori

pp. 1095–1137Manifestly Covariant Canonical Formalism of Quantum Gravity - Systematic Presentation of the TheoryNoboru Nakanishi

pp. 1203–1230A Definition of Boundary Values of Solutions of Partial Differential Equations with Regular SingularitiesToshio Oshima

pp. 1265–1282An Ergodic-Theoretical Approach to the Chaotic Behaviour of Dynamical SystemsYoichiro Takahashi

pp. 1283–1303Recent Development of the Theory of Completely Bounded Maps between <i>C</i>*-AlgebrasJun Tomiyama

pp. 1305–1328A Semi-Group Theoretical Analysis of a Finite Element Method for a Linearized Viscous Shallow-Water SystemTeruo Ushijima