論文
岡田 光弘
101~120件（全139件）
教育と社会
- 著者名
- 岡田光弘
- 掲載誌名
- 誌名三色旗 慶應義塾大学通信教育部 (出版年（月日）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月）
- 共著区分
- 共著
- 掲載種別
- 研究論文（学術雑誌）
- 査読有無
- 有り
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年）
- 掲載種別
- 研究論文（学術雑誌）
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月）
- 共著区分
- 共著
- 掲載種別
- 研究論文（学術雑誌）
- 査読有無
- 有り
Girard's Phase-Semantics and Higher Order Cut-Elimination Proof
- 掲載誌名
- 誌名Extended Abstracts of Montreal International Workshop on Programmin Language Theory 開始ページ122-139 (出版年（月日）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月）
- 共著区分
- 共著
- 掲載種別
- 研究論文（学術雑誌）
- 査読有無
- 有り
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月）
- 共著区分
- 共著
- 掲載種別
- 研究論文（学術雑誌）
- 査読有無
- 有り
普遍記号学の夢と現実
- 著者名
- 岡田 光弘
- 掲載誌名
- 誌名三田哲学会編 哲学 第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月）
- 共著区分
- 共著
- 掲載種別
- 研究論文（国際会議プロシーディングス）
- 査読有無
- 有り
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月）
- 共著区分
- 共著
- 掲載種別
- 研究論文（国際会議プロシーディングス）
- 査読有無
- 無し
Temporal Object-Oriented Databases
- 著者名
- M. Okada, Y. Quan
- 掲載誌名
- 誌名Proc. Advaced Daatabase System Symposium. Kyoto, Japan (出版年（月日）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月）
- 共著区分
- 共著
- 掲載種別
- 研究論文（国際会議プロシーディングス）
- 査読有無
- 有り
Notes on Proof of the Extended Kirby-Paris Theorem on Labeled Finite Trees
- 著者名
- Mitsuhiro Okada
- 掲載誌名
- 誌名European Journal of Conbinatorics 巻9(号3) 開始ページ249 - 終了ページ253 (出版年（月日）1988年）
- 共著区分
- 単著
- 掲載種別
- 研究論文（学術雑誌）
- 査読有無
- 有り
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月）
- 共著区分
- 単著
- 掲載種別
- 研究論文（学術雑誌）
- 査読有無
- 有り