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

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

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

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

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

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

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

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

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