著書 - 岡田　光弘

A Logical Verification Method for Security Protocols Based on Linear Logic and BAN Logic. In Software Security - Theories and Systems (eds. by Mitsuhiro Okada et al.)

Mitsuhiro Okada, Koji Hasebe, Springer, 2003年02月

担当範囲: 357-367

　概要を見る

BAN Logicと線形論理に基づいたセキュリティ・プロトコルの論理的検証法について考察した。

Ideal Concepts, Intuitions, and Mathematical Knowlegdge Acquisitions in Husserl and Hilbert (A Preliminary Report). In Progress in Discovery Science, Final Report of the Japanese Discovery Science Project (eds. by Setsuo Arikawa and Ayumi Shinohara)

Mitsuhiro Okada, Springer, 2002年01月

担当範囲: 40-77

法律知識の論理による表現. In 法律人工知能 (吉野 一, 他 編)

岡田 光弘, 創成社出版, 2000年02月

担当範囲: 169-181

　概要を見る

法律および法解釈に関わる論理的分析手法を考察する章（5章）を担当している。（全394pp）

Theories of Types and Proofs, volume 2 of Memoirs of Mathematical Society of Japan.

(eds. by Masako Takahashi, Mitsuhiro Okada, and Mariangiola Dezani-Ciancaglini), Mathematical Society of Japan, 1998年

An Introduction to Linear Logic: Expressiveness and Phase Semantics. In Theories of Types and Proofs (eds. by Masako Takahashi, Mitsuhiro Okada, and Mariangiola Dezani-Ciancaglini)

Mitsuhiro Okada, Mathematical Society of Japan, 1998年

担当範囲: 255-295

　概要を見る

線形論理による時間概念の論理的表現と分析手法についての理論を与えた。

JSSS Tutorial Lectures Notesシリーズ　日本ソフトウェア科学会

1993年06月

　概要を見る

Girardの線形論理の概論を与えた。（早稲田大学国際会議場での８時間の講演録に基づいている。）

Thaehaksa　Publishing（Seonl)

S-J. Chang, J. Choe,K. Lee, S-H. Ahn, A. Ikeya, M. Okada, K. Watanabe,　M. Kawamori, C.D. Lee, Y. Nitta, C. Huang, M. Ishizuki, A. Ishikawa, Y. Abe, B. Park, M. Isoda, S. Kubo, K. Kim, M. Lee, B. Kang, 1993年03月

担当範囲: 64-76,145-157

　概要を見る

論理的手法を用いた言語分析をテーマとしたFormal Seriesの第３巻で、Montague Grammarの日本語分析への応用についての2章を担当した。

Conditional and Typed Rewriting Systems

Stephane Kaplan and Mitsuhiro Okada, Springer, 1991年

On the theory of quasi-ordinal diagrams, In Logic and Combinatorics (ed. by Stephen G. Simpson)

Mitsuhiro Okada and Gaisi Takeuti, Contemporary Mathematics, American Mathematical Society, 1987年08月

　概要を見る

ゲーデルの不完全性定理に対する構文論的な新しい分析を超限順序数を用いて与えた。