論文 - 岡田　光弘

教育と社会

岡田光弘

三色旗　慶應義塾大学通信教育部 1993年05月

単著

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月

研究論文（学術雑誌）, 共著, 査読有り

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月

研究論文（国際会議プロシーディングス）, 共著, 査読有り

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月

研究論文（学術雑誌）, 共著, 査読有り

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月

研究論文（学術雑誌）, 共著, 査読有り

The Satisfaction Problem for Systems of Ordinal Notations with Subterm Property Is Decidable

J.-P. Jouannaud, M. Okada

ICALP91, LNCS510, ドイツSpringer社    455-468 1991年06月

研究論文（学術雑誌）, 共著, 査読有り

Girard's Phase-Semantics and Higher Order Cut-Elimination Proof

Extended Abstracts of Montreal International Workshop on Programmin Language Theory    122-139 1991年06月

研究論文（国際会議プロシーディングス）, 単著, 査読有り

Interrogative Sentences in Japanese, in Language

M. Okada, K. Watanabe

Information and Computation (Formal Grammer Theory Series 3), ed. Lee, Thaehakusa 社, Seoul    64-76 1991年03月

研究論文（学術雑誌）, 共著, 査読有り

Satisfiability of Systems of Ordinal Notations with The Subterm Property Is Decidable

Jean-Pierre Jouannaud and Mitsuhiro Okada

Lecture Notes in Computer Science    455 - 468 1991年

研究論文（学術雑誌）

普遍記号学の夢と現実

岡田 光弘

三田哲学会編　哲学　第91巻    143-161 1990年12月

研究論文（学術雑誌）, 単著

A Rational for Conditional Equational Programming

Nachum Dershowitz and Mitsuhiro Okada

Theoretical Computer Science誌 91    111 - 138 1990年09月

研究論文（学術雑誌）, 単著, 査読有り

Weak Logical Constants and Second Order Definability of the Full-Strength Logical Constants

Mitsuhiro Okada

Annals of the Japan Association for Philosophy of Science 7    163-172 1989年10月

研究論文（学術雑誌）, 単著, 査読有り

Ordering Strutures and the Knuth-Bendix Comletion Algorithm

M. Okada and A.Steel

Proc. 29th Allerton Conference on Communication, Control and Compuring Allerton, IL, Univ. of Illinois 出版局 1989年10月

研究論文（国際会議プロシーディングス）, 共著, 査読有り

Strong Normalizability for the Combined System of The Typed Lambda Calculus and an Arbitrary Convergent Term Rewrite System

Mitsuhiro Okada

Proceedings of International Conference on Algebraic and and Symbolic Computation,ACM(Association Computer Machinery) Press    357 - 363 1989年08月

研究論文（国際会議プロシーディングス）, 共著, 査読有り

Temporal Object-Oriented Databases

M. Okada, Y. Quan

Proc. Advaced Daatabase System Symposium. Kyoto, Japan 1989年08月

研究論文（国際会議プロシーディングス）, 共著, 査読有り

Practical Applications of Conditional term Rewriting Theory

P. Grogono, M. Okada

Proceedings of XV Latin American Conference on Informatics　/ IX Conference of Chilean Computer Society    525-540 1989年08月

研究論文（国際会議プロシーディングス）, 共著

Applications and Results of Term Rewriting Theory

P. Grogono and Mitsuhiro Okada

Proceedings of International Conference on Symbolic and Logical Computing, North Dakota 1989年06月

研究論文（国際会議プロシーディングス）, 共著, 査読有り

Conditional Equational Programing and Theory of Conditional Term Rewriting

N. Dershowitz and M. Okada

Proc. Of Fifth Generarion Computer Systems, Tokyo, ICOT    337-346 1988年12月

研究論文（国際会議プロシーディングス）, 共著, 査読有り

On a Theory of Weak Implications

Mitsuhiro Okada

Journal of Symbolic logic 53    200-211 1988年10月

研究論文（学術雑誌）, 単著, 査読有り

Prolog with Modality

Mitsuhiro Okada

Proc. European Workshop on Logical Methods in AI, Roscoff, France(パリ大学第６校出版） 1988年08月

研究論文（国際会議プロシーディングス）, 単著, 査読有り