論文
岡田 光弘
61~80件（全139件）
Effects of aging on hemispheric asymmetry in inferior frontal cortex activity during belief-bias syllogistic reasoning: A near-infrared spectroscopy study
- 著者名
- Takeo Tsujii, Mitsuhiro Okada, Shigeru Watanabe
- 掲載誌名
- 誌名Behavioural Brain Research ???volume??? 210 号 2 出版社Behavioural Brain Research 開始ページ178 - 終了ページ183 (出版年（月日）2010年07月）
Honesty Inferences for Proving Correctness of Security Protocols
- 著者名
- 岡田 光弘，長谷部 浩二
- 掲載誌名
- 誌名Workshop on New Approaches to Software Construction (WNASC 2004) 開始ページ45-57 (出版年（月日）2004年09月）
- 共著区分
- 共著
- 掲載種別
- 研究論文（国際会議プロシーディングス）
- 査読有無
- 有り
Non-monotonic Properties for Proving Correctness in a Framework of Compositional Logic
- 著者名
- 岡田 光弘，長谷部 浩二
- 掲載誌名
- 誌名Workshop on Foundations of Computer Security (FCS'04) 開始ページ97-113 (出版年（月日）2004年07月）
- 共著区分
- 共著
- 掲載種別
- 研究論文（国際会議プロシーディングス）
- 査読有無
- 有り
Inferences on Honesty in Compositional Logic for Security Analysis
- 著者名
- 岡田 光弘，長谷部 浩二
- 掲載誌名
- 誌名the International Symposium on Software Security 2003 (ISSS2003) 開始ページ65-86 (出版年（月日）2004年06月）
- 共著区分
- 共著
- 掲載種別
- 研究論文（国際会議プロシーディングス）
- 査読有無
- 有り
- ISSN
- 0302-9743
Preface
- 著者名
- Jean-Yves Girard, Mitsuhiro Okada, and Andre Scedrov.
- 掲載誌名
- 誌名Theoretical Computer Science 巻294(号3) (出版年（月日）2003年）
- 共著区分
- 共著
- 掲載種別
- 研究論文（学術雑誌）
A proof-theoretic study of the correspondence of classical logic and modal logic
- 著者名
- M. Okada, H. Kushida
- 掲載誌名
- 誌名Journal of Symbolic Logic 巻68(号4) 開始ページ1403-1414 (出版年（月日）2003年）
- 共著区分
- 単著
- 掲載種別
- 研究論文（学術雑誌）
- 査読有無
- 有り
A Graph-Theoretic Characterization for Proofs Nets of the Multiplicative Fragment of Non-Commutative Linear Logic
- 著者名
- N. Nagayama, Mitsuhiro Okada
- 掲載誌名
- 誌名Theoretical Computer Science 巻294(号3) 開始ページ551-573 (出版年（月日）2003年）
- 共著区分
- 共著
- 掲載種別
- 研究論文（学術雑誌）
- 査読有無
- 有り
Phase Semantics for Light Linear Logic
- 著者名
- M. Konovitch, A. Scedrov, Mitsuhiro Okada
- 掲載誌名
- 誌名Thoretical Computer Science 開始ページ525-549 (出版年（月日）2003年）
- 共著区分
- 共著
- 掲載種別
- 研究論文（学術雑誌）
- 査読有無
- 有り
Formal Verification of Dynamic Real-Time State-Transition Systems Using Linear Logic
- 著者名
- Koji Hasebe, Jean-Pierre Jouannaud, Antonie Kremer, Mitsuhiro Okada, and Roland Zumkeller
- 掲載誌名
- 誌名日本ソフトウェア科学会第20回全国大会予稿集 (出版年（月日）2003年09月）
- 共著区分
- 共著
- 掲載種別
- 研究論文（その他学術会議資料等）
A Graph-Theoretic Characterization Theorem for Multiplicative Fragment of Non-Commutative Linear Logic
- 著者名
- Mitsuhiro Okada
- 掲載誌名
- 誌名Theoretical Computer Science 巻294(号3) 開始ページ551 - 終了ページ573 (出版年（月日）2003年02月）
- 共著区分
- 共著
- 掲載種別
- 研究論文（学術雑誌）
- 査読有無
- 有り
Linear Logic
- 著者名
- J.-Y. Girard, M. Okada, A. Scedrov (guest editors)
- 掲載誌名
- 誌名Theoretical Computer Science 巻294(号3) (出版年（月日）2003年02月）
- 共著区分
- 単著
- 掲載種別
- 研究論文（学術雑誌）
- 査読有無
- 有り
線形論理に基づいたセキュリティ・プロトコルの論理的検証法
- 著者名
- 岡田 光弘, 長谷部浩二
- 掲載誌名
- 誌名電子情報通信学会「人工知能と知識処理」研究会報告集 巻102(号91) 開始ページ49 - 終了ページ54 (出版年（月日）2002年）
- 共著区分
- 共著
- 掲載種別
- 研究論文（その他学術会議資料等）
- 査読有無
- 無し
Inductive Date Type Systems
- 著者名
- F. Blanqui, J-P. Jouannaud, M. Okada
- 掲載誌名
- 誌名Thoretical Computer Science 開始ページ41-68 (出版年（月日）2002年）
- 共著区分
- 共著
- 掲載種別
- 研究論文（学術雑誌）
- 査読有無
- 有り
オントロジー応用のための方法論の考察と展望
- 著者名
- 岡田 光弘
- 掲載誌名
- 誌名人工知能学会誌 巻17(号5) 開始ページ604-613 (出版年（月日）2002年09月）
- 共著区分
- 単著
- 掲載種別
- 研究論文（学術雑誌）
- 査読有無
- 無し
現代のフォーマルオントロジーの動向とオントロジー工学
- 著者名
- 岡田 光弘
- 掲載誌名
- 誌名人工知能学会誌 巻17(号4) 開始ページ434-442 (出版年（月日）2002年07月）
- 共著区分
- 単著
- 掲載種別
- 研究論文（学術雑誌）
- 査読有無
- 無し
A Uniform Semantic Proof for Cut-Elimination and Completeness of Various First and Higher Order Logics
- 著者名
- Mitsuhiro Okada
- 掲載誌名
- 誌名Theoretical Computer Science 巻2002(号281) 開始ページ471 - 終了ページ498 (出版年（月日）2002年06月）
- 共著区分
- 単著
- 掲載種別
- 研究論文（学術雑誌）
- 査読有無
- 有り
フッサールのフォーマルオントロジーとその影響
- 著者名
- 岡田 光弘
- 掲載誌名
- 誌名人工知能学会誌 巻Vol.17(号No.3) 開始ページ335-344 (出版年（月日）2002年05月）
- 共著区分
- 単著
- 掲載種別
- 研究論文（学術雑誌）
- 査読有無
- 有り
レクチャーシリーズ「哲学とAIにおける対象世界モデリング」の企画にあたって.
- 著者名
- 溝口 理一郎, 岡田 光弘.
- 掲載誌名
- 誌名人工知能学会誌 巻17(号2) 開始ページ224 - 終了ページ231 (出版年（月日）2002年03月）
- 共著区分
- 共著
- 掲載種別
- 研究論文（学術雑誌）
オントロジーの哲学的・論理学的背景
- 著者名
- 岡田 光弘
- 掲載誌名
- 誌名人工知能学会誌 巻Vol.17(号No.2) 開始ページ224-231 (出版年（月日）2002年03月）
- 共著区分
- 単著
- 掲載種別
- 研究論文（学術雑誌）
- 査読有無
- 有り
Preface
- 著者名
- Mariangiola Dezani-Ciancaglini, Mitsuhiro Okada, and Masako Takahashi.
- 掲載誌名
- 誌名Theoretical Computer Science 巻272(号1--2) 開始ページ1 - 終了ページ2 (出版年（月日）2002年02月）
- 共著区分
- 共著
- 掲載種別
- 研究論文（学術雑誌）
- 査読有無
- 有り