JournalsprimsVol. 16, No. 2Volume 16, No. 2 (1980) Publications of the Research Institute for Mathematical Sciencespp. 313–341A Difference Scheme for Solving Two Phase Stefan Problem of Heat EquationTatsuo Nogipp. 343–353A Study of Some Tense Logics by Gentzen's Sequential MethodHirokazu Nishimurapp. 355–376On a Limit Theorem for Branching One-Dimensional Diffusion ProcessesSeiji KageyamaYukio Ogurapp. 377–392Elastic-Plastic Vibration of a RodTetsuhiko Miyoshipp. 393–415Théorèmes d'Existence et d'Approximation pour les Equations aux Dérivées Partielles Linéaires d'Ordre InfiniRyuichi Ishimurapp. 417–459Interval Logics with Applications to Study of Tense and Aspect in EnglishHirokazu Nishimurapp. 461–497Sur les Singularités Essentielles et Isolées des Applications Holomorphes à Valeurs dans une Surface ComplexeToshio NishinoMasakazu Suzukipp. 499–511On the Uniqueness of Dyer-Lashof Operations on the Bott Periodicity SpacesMasatsugu Nagatapp. 513–529On the Convergence of the Initial-Value Adjusting Method for Nonlinear Boundary Value ProblemsTaketomo Mitsuipp. 531–584Holonomic Quantum Fields, VMikio SatoTetsuji MiwaMichio Jimbopp. 585–600A Product Formula and Its Application to the Schrödinger EquationTakashi Ichinosepp. 601–626On the Homotopy Types of the Groups of Equivariant DiffeomorphismsKôjun Abe
pp. 355–376On a Limit Theorem for Branching One-Dimensional Diffusion ProcessesSeiji KageyamaYukio Ogura
pp. 393–415Théorèmes d'Existence et d'Approximation pour les Equations aux Dérivées Partielles Linéaires d'Ordre InfiniRyuichi Ishimura
pp. 417–459Interval Logics with Applications to Study of Tense and Aspect in EnglishHirokazu Nishimura
pp. 461–497Sur les Singularités Essentielles et Isolées des Applications Holomorphes à Valeurs dans une Surface ComplexeToshio NishinoMasakazu Suzuki
pp. 499–511On the Uniqueness of Dyer-Lashof Operations on the Bott Periodicity SpacesMasatsugu Nagata
pp. 513–529On the Convergence of the Initial-Value Adjusting Method for Nonlinear Boundary Value ProblemsTaketomo Mitsui