Papers - Okada, Mitsuhiro
-
A Relationship Among Gentzen's Proof Reduction, Kirby-Paris' Hydra Game
M,Hamano, M. Okada
Mathematical Logic Quarterly 43 103-120 1997.03
Research paper (scientific journal), Joint Work, Accepted
-
A Hierarchy of the Fragments of the System of Inductive Definition : Preliminary Report
Masahiro Hamano and Mitsuhiro Okada
RIMS Kokyuroku 976: Proceedings of the Symposium on Proof Theory and Ordinals, edited by Toshiyasu Arai. (Research Institute for Mathematical Sciences, Kyoto University) 169 - 181 1997.02
Research paper (other academic), Joint Work
-
Semantic Characterizations for Reachability and Trace Equivalence in a Linear Logic-Based Process Calculus: Preliminary Report.
Mitsuhiro Okada and Kazushige Terui.
RIMS Kokyuroku 976: Proceedings of the Symposium on Proof Theory and Ordinals, edited by Toshiyasu Arai. (Research Institute for Mathematical Sciences, Kyoto University) 146 - 168 1997.02
Research paper (other academic), Joint Work
-
フッサールの形式論理学分析における「多様体」概念の役割
岡田 光弘
哲學 三田哲学会編 ( 101 ) 1 - 43 1997
Research paper (scientific journal), Single Work
-
デカルトにおける「論証」の概念と彼の形而上学的論証の論理的基準
哲学 三田哲学会編 ( 第100号 ) 63-86 1996.10
Research paper (scientific journal), Single Work
-
Characterization Theorem for Multiplicative Fragment of Non-Commutative Linear Logic
Misao Nagayama and Mitsuhiro Okada
Electoronic Notes of Theoretical Computer Science 3(Elsevier Science Publishing, 欧州理論情報学会編） 1996.04
Research paper (scientific journal), Joint Work, Accepted
-
線形論理に基づく並行計算モデル：並行計算の論理的理解の試み
情報処理（日本情報処理学会誌）,並行計算特集 327-332 1996.04
Research paper (scientific journal), Single Work
-
A Higher Order Phase Semantics and Completeness, Cut-Elimination and Strong Normalization Proofs
Mitsuhiro Okada
Electoronic Notes of Theoretical Computer Science 3(Elsevier Science Publishing 欧州理論情報学会編） 1996.04
Research paper (scientific journal), Single Work, Accepted
-
Characterization Theorem for Multiplicative Fragment of Non-Communitative Linear Logic(Extended Abstract)
M,Nagasawa, M. Okada
Proceedings of Symposium on Kripke Models and Non-Standard Logic, Kyoto(京都大学数理解析研究所） 1995.06
Research paper (international conference proceedings), Joint Work
-
A Graph-Theoretic Characterization Theorem for Multiplicative Fragment of Non-Commutative Linear Logic (Preliminary Report)(Non-Classical Logics and Their Kripke Semantics)
Misao Nagayama and Mitsuhiro Okada
RIMS Kokyuroku 927: Proceedings of Symposium on Kripke Models and Non-Standard Logic (Research Institute for Mathematical Sciences, Kyoto University) 66 - 87 1995
Research paper (other academic)
-
人文科学の夢として、対象として,道具としてのコンピュータ
岡田 光弘
三色旗 慶應義塾大学通信教育部 1994.06
Single Work
-
論理、言語、情報、研究余滴
岡田 光弘
三田評論 1994.04
Single Work
-
Gentzen's Proof of Reduction, Kirby-Paris Hydra Game and Buchholz's Hydra Game
Masahiro Hamano and Mitsuhiro Okada
Proc. Of Imcomleteness in Arithmetic Symposium, Kyoto 1994 Dec.(「算術諸体系の不完全性の研究」シンポジウム）京都大学数理解析研究所講究録 64-81 1994.04
Research paper (other academic), Joint Work
-
A Note on the Strong Normalizability of the Self-Referential Logic
Mitsuhiro Okada
三田哲学会編 哲学 第95巻 1-14 1993.12
Research paper (scientific journal), Single Work
-
LAMBDALG-Higher Order Algebraic Specification Language
Y.Gui, M. Okada
Proc., of Rewriting Techniques and Applications, Springer LNCS 690(ドイツSpringer社） 462-466 1993.06
Research paper (scientific journal), Joint Work, Accepted
-
教育と社会
岡田光弘
三色旗 慶應義塾大学通信教育部 1993.05
Single Work
-
Denotational Semantical Analysis on Japanese Case Particles
M. Okada, K. Watanabe
Information and Computation（Formal GrammerTheory Series3), ed. Lee. Thaehakusa社, Seoul 145-157 1993.03
Research paper (scientific journal), Joint Work, Accepted
-
Rewriting Theory for the Uniqueness Condition of Higher Types
M. Okada, P.J. Scott
Proc. Of the Montreal Workshop on Programing Language Theory 1991年春季大会（但し、実際の報告集出版は、1992年1月）, Logic and Formal Methods Series 2, Conordia 大学出版局 20-28 1991.12
Research paper (international conference proceedings), Joint Work, Accepted
-
System description of LAMBDALG
Yexuan Gui and Mitsuhiro Okada
Proc. Of Logic Programming and Automated Reasoning, Springer Lecture Notes in Artificial Intelligence 698（ドイツ Springer社） 354 - 356 1991.08
Research paper (scientific journal), Joint Work, Accepted
-
A Computation Model for Executable Higher-Order Algebraic Specification Languages
J.-P. Jouannaud, M. Okada
Logic in Computer Science vol. 6, IEEE Press, USA 350 - 361 1991.06
Research paper (scientific journal), Joint Work, Accepted