Papers - Okada, Mitsuhiro
-
Specifying Real-Time Finite State Systems by Linear Logic
Max I. Kanovich, Mitsuhiro Okada, Andre Scedrov
Electoronic Notes of Theoretical Computer Science (Elsevier Science Publishing, 欧州理論情報学会編）Vol.16 Part I 1998.09
Research paper (international conference proceedings), Joint Work, Accepted
-
A Direct Independence Proof of Buchholz's Hydra Game on Finite Labeled Trees.
M. Hamano and M. Okada
Archive for Mathematical Logic 37 ( 2 ) 67 - 89 1998
Research paper (scientific journal), Joint Work, Accepted
-
Completeness Proofs for Linear Logic Based on the Proof Search Method (Preliminary Report). In RIMS Kokyuroku 1023: Type Theory and Its Applications to Computer Systems (ed. by J. Garrigue)
Mitsuhiro Okada and Kazushige Terui.
RIMS Kokyuroku 1023: Type Theory and Its Applications to Computer Systems (Research Institute for Mathematical Sciences, Kyoto University.) 57 - 75 1998
Research paper (other academic), Joint Work
-
Abstract Data Type Systems
J.-P. Jouannaud, M. Okada
Theoretical Computer science 173 (欧州理論情報学会誌）, 349-391 1997.12
Research paper (scientific journal), Joint Work, Accepted
-
Phase Semantics for Light Linear Logic (extended abstract)
M. Kanovitch, M. Okada, A. Scedrov
Electoronic Notes of Theoretical Computer Science 5(Elsevier Science Publishing, 欧州理論情報学会編） 221 - 234 1997.04
Research paper (international conference proceedings), Joint Work, Accepted
-
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