Okada Mitsuhiro | Department Of Philosphy Keio University
スポンサーリンク
概要
関連著者
-
岡田 光弘
慶應義塾大学文学部哲学専攻
-
Okada Mitsuhiro
慶應義塾大学文学部
-
Okada Mitsuhiro
Department Of Philosphy Keio University
-
Okada Mitsuhiro
Department Of Philosophy Keio University
-
岡田 光弘
Department of Philosphy, Keio University
-
岡田 光弘
Department Of Philosophy Keio University
-
長谷部 浩二
産業技術総合研究所システム検証研究センター
-
Okada Mitsuhiro
Department Of Genome Science School Of Dentistry Aichi-gakuin University
-
OKADA Mitsuhiro
Department of Chemical Energy and Environmental Engineering, Kansai University
-
溝口 理一郎
大阪大学産業科学研究所
-
長谷部 浩二
産業技術総合研究所
-
須藤 路子
順天堂大学
-
長谷部 浩二
慶應義塾大学文学部
-
浜野 正浩
慶応義塾大学哲学科
-
岡田 光弘
慶応義塾大学哲学科
-
照井 一成
Department of Philosophy, Keio University
-
照井 一成
国立情報学研究所
-
永山 操
東京女子大学文理学部数理学科
-
岡田 光弘
慶応大学文学部哲学科
-
岡田 光弘
慶雁義塾大学文学部哲学科
-
永山 操
東京女子大学文理学部
-
Terui Kazushige
Department of Philosophy, Keio University
-
Terui Kazushige
Department Of Philosophy Keio University
著作論文
- 現代応用オントロジーの哲学的・論理学的源泉(オントロジーの進化と普及(前編))
- 線形論理に基づく計算モデルの理論概説
- 線形論理に基づいたセキュリティ・プロトコルの論理的検証法(自動推論 : 演繹, 帰納, モデル検査/生成, 仮説推論アブダクション, 論理プログラム, プランニング, 時相論理, etc.)
- ウィトゲンシュタイン, 言語の限界, 飯田隆著, 講談社, 1997年.
- BAN論理からProtocol Composition Logicへ : セキュリティプロトコルの論理的検証法(数理的技法による情報セキュリティ)
- A Hierarchy of the Fragments of the System of Inductive Definition : Preliminary Report
- Semantic Characterizations for Reachability and Trace Equivalence in a Linear Logic-Based Process Calculus : Preliminary Report
- 矛盾は矛盾か (特集 ラッセルのパラドックス・100年)
- 歪んだ真珠(バロック) : 音楽における規則性VS反規則性,またはロゴスVSパトス
- オントロジー応用のための方法論の考察と展望(哲学とAIにおける対象世界モデリング)(〔第4回〕)
- 現代のフォーマルオントロジーの動向とオントロジー工学(「哲学とAIにおける対象世界モデリング」〔第3回〕)
- フッサールのフォーマルオントロジーとその影響(哲学とAIにおける対象世界モデリング〔第2回〕)
- オントロジーの哲学的・論理学的背景
- 「哲学とAIにおける対象世界モデリング」の企画にあたって
- 日本語の文末表現における意味解釈と音響特性
- フッサールの形式論理学分析における「多様体」概念の役割
- Characterization Theorems for Multiplicative Fragment of Intuitionistic Non-Commutative Linear Logic : Preliminary Report
- 3.線形論理に基づく並行計算モデル : 並行計算の論理的理解の試み (並行計算の理論の最近の動向)
- 倫理学入門のためのPersonal Guide
- Some Remarks on a Difference between Gentzen's Finitist and Heyting's Intuitionist Approaches toward Intuitionistic Logic and Arithmetic
- Completeness Proofs for Linear Logic Based on the Proof Search Method(Preliminary Report)(Type Theory and its Applications to Computer Systems)