論文
岡田 光弘
41~60件（全139件）
Completeness and Counter-Example Generations of a Basic Protocol Logic (extended abstract)
- 著者名
- 岡田 光弘，長谷部 浩二
- 掲載誌名
- 誌名6th International Workshop on Rule-Based Programming (RULE'05), volume 147 of Electronic Notes in Theoretical Computer Science 開始ページ73 - 終了ページ92 (出版年（月日）2006年）
- 共著区分
- 共著
- 掲載種別
- 研究論文（国際会議プロシーディングス）
- 査読有無
- 有り
Wittgenstein on Equinumerosity and Surveyability
- 著者名
- M. Marion and M. Okada
- 掲載誌名
- 誌名Grazer Philosophische Studien, vol.89 開始ページ59 - 終了ページ76 (出版年（月日）2014年）
- 共著区分
- 共著
- 掲載種別
- 研究論文（学術雑誌）
- 査読有無
- 有り
Towards explaining the cognitive efficacy of Euler diagrams in syllogistic reasoning:A relational perspective
- 著者名
- Mineshima,K., Sato,Y., Takemura,R., & Okada,M.
- 掲載誌名
- 誌名Journal of Visual Language and Computing,Vol.25,Issue 3 開始ページ156 - 終了ページ169 (出版年（月日）2014年06月）
- 共著区分
- 共著
- 掲載種別
- 研究論文（学術雑誌）
- 査読有無
- 有り
Shape Perception in Chemistry
- 著者名
- Janna Hastings, Colin Batchelor and Mitsuhiro Okada
- 掲載誌名
- 誌名CEUR Proceedings (出版年（月日）2013年）
- 共著区分
- 共著
- 掲載種別
- 研究論文（国際会議プロシーディングス）
- 査読有無
- 有り
Husserl and Hilbert on Completeness and Husserl's Rewrite-Based Theory of Multiplicity
- 著者名
- Mitsuhiro Okada
- 掲載誌名
- 誌名Rewrite Theory and its Applications (RTA 2013),Leibniz Internathinal Proceedings in Infomations(LIPIcs),Vol.21 出版社Schloss Dagtuhl-Dagstuhl Publishing 開始ページ4 - 終了ページ19 (出版年（月日）2013年）
- 共著区分
- 単著
- 掲載種別
- 研究論文（国際会議プロシーディングス）
Computational Soundress of cryptographic communication protocols,CCS 2013,ACM Proceedings,Des 2013
- 著者名
- Gergery Bana, Koji Hasebe and Mitsuhiro Okada
- 掲載誌名
- 誌名Association for Computing Machinery (出版年（月日）2013年12月）
- 共著区分
- 共著
- 掲載種別
- 研究論文（国際会議プロシーディングス）
- 査読有無
- 有り
Computationally Complete Symbolic Attacker and Key Exchange
- 著者名
- Gergei Bana, Koji Hasebe, Mitsuhiro Okada
- 掲載誌名
- 誌名SIGSAC conference on Computer and communications security 出版社ACM 開始ページ1231 - 終了ページ1246 (出版年（月日）2013年11月）
- 共著区分
- 共著
- 掲載種別
- 研究論文（国際会議プロシーディングス）
Wittgenstein on Contradiction and Consistency:An Overview
- 著者名
- Marion,M.& Okada,M.
- 掲載誌名
- 誌名Ludovic Soutif,tif,Luiz Carlos Pereira & Camila Jourdan(eds.)Wittgenstein:Matematica,Linguagem,Percepcao,O que nos faz pensar,n 33 開始ページ50 - 終了ページ79 (出版年（月日）2013年06月）
- 共著区分
- 共著
- 掲載種別
- 研究論文（学術雑誌）
Two cohort and three independent anonymous twin projects at the Keio Twin Research center(KoTReC)
- 著者名
- Ando,J.,Hujisawa,K.,et al.(Okada,M 15/26番目）
- 掲載誌名
- 誌名Twin research and human genetics,Feb 2013,Vol.16,Special Issue 01 開始ページ202 - 終了ページ216 (出版年（月日）2013年02月）
- 共著区分
- 共著
- 掲載種別
- 研究論文（学術雑誌）
On The Cognitive Efficacy of Euler Diagrams in Syllogistic Reasoning: A Relational Perspective
- 著者名
- Koji Mineshima, Yuri Sato, Ryo Takemura, and Mitsuhiro Okada.
- 掲載誌名
- 誌名In Proceedings of the 3rd international workshop on euler diagrams (euler diagrams 2012), CEUR Workshop Proceedings 開始ページ17 - 終了ページ31 (出版年（月日）2012年）
- 共著区分
- 共著
- 掲載種別
- 研究論文（国際会議プロシーディングス）
- 査読有無
- 有り
A Diagrammatic Inference System with Euler Circles
- 著者名
- Koji Mineshima, Mitsuhiro Okada and Ryo Takemura
- 掲載誌名
- 誌名Journal of Logic, Language and Information, Vol.21, Issue 3 開始ページ365 - 終了ページ391 (出版年（月日）2012年）
- 共著区分
- 共著
- 掲載種別
- 研究論文（学術雑誌）
- 査読有無
- 有り
Wittgenstein et le lien entre la signification d' un enonce mathematique et sa preuve
- 著者名
- Mathieu Marion and Mitsuhiro Okada
- 掲載誌名
- 誌名Philosophiques,Vol.39,n゜(Wittgenstein Special Issue) 開始ページ101 - 終了ページ124 (出版年（月日）2012年）
- 共著区分
- 共著
- 掲載種別
- 研究論文（学術雑誌）
A Generalized Syllogistic Inference System based on Inclusion and Exclusion Relations
- 著者名
- Koji Mineshima, Mitsuhiro Okada and Ryo Takemura
- 掲載誌名
- 誌名Studia Logica,Vol.100,Issue 4(Special issue,Logic and Natural Language) 巻100(号4) 開始ページ753 - 終了ページ785 (出版年（月日）2012年）
- 共著区分
- 共著
- 掲載種別
- 研究論文（学術雑誌）
- 査読有無
- 有り
On the Cognitive Efficacy of Euler Diagrams in Syllogistic Reasoning: A Relational Perspective
- 著者名
- Yuri Sato, Koji Mineshima, Ryo Takemura, Mitsuhiro Okada
- 掲載誌名
- 誌名Proceedings of 3rd International Workshop on Euler Diagrams,CEUR Workshop Proceedings,Vol.854 開始ページ17 - 終了ページ31 (出版年（月日）2012年）
- 共著区分
- 共著
- 掲載種別
- 研究論文（国際会議プロシーディングス）
- 査読有無
- 有り
図形を用いた演繹的推論の認知プロセス
- 著者名
- 佐藤 有理, 峯島 宏次, 竹村 亮, and 岡田 光弘
- 掲載誌名
- 誌名日本認知科学会第28回大会論文集 開始ページ269 - 終了ページ274 (出版年（月日）2011年）
- 共著区分
- 共著
- 掲載種別
- 研究論文（その他学術会議資料等）
Secrecy-Oriented First-Order Logical Analysis of Cryptographic Protocols
- 著者名
- Gergei Bana, Koji Hasebe, and Mitsuhiro Okada
- 掲載誌名
- 誌名IACR Cryptology ePrint Archive (出版年（月日）2010年）
- 共著区分
- 共著
- 掲載種別
- 研究論文（その他学術会議資料等）
セキュリティプロトコルの論理的検証法
- 著者名
- 長谷部浩二、バナ・ゲルゲイ、岡田光弘
- 掲載誌名
- 誌名荻谷昌巳・塚田恭章共編『数理的技法による情報セキュリティ』 出版社共立出版 (出版年（月日）2010年）
- 共著区分
- 共著
- 掲載種別
- 研究論文（学術雑誌）
- 査読有無
- 有り
Two Types of Diagrammatic Inference System:Relation-based System as Natural Deduction and Region-based System as Resolution,2010,Proceedings of 6th International Conference on the Theory and Application of Diagrams(DIAGRAMS 2010)
- 著者名
- Koji Mineshima,Mitsuhiro Okada and Ryo Takemura
- 掲載誌名
- 誌名Springer (出版年（月日）2010年）
- 共著区分
- 共著
- 掲載種別
- 研究論文（学術雑誌）
- 査読有無
- 有り
オイラー図・ヴェン図を用いた図形推論の証論的分析
- 著者名
- 竹村亮、峯村宏次、佐藤有理、岡田光弘
- 掲載誌名
- 誌名2010年度人工知能学会全国大会(第24回）JSAI2010論文集 (出版年（月日）2010年）
- 共著区分
- 共著
- 掲載種別
- 研究論文（その他学術会議資料等）
オントロジーの論理学的、哲学的源泉
- 著者名
- 岡田 光弘
- 掲載誌名
- 誌名日本人工知能学会誌 No.5 (出版年（月日）2010年）
- 共著区分
- 単著
- 掲載種別
- 研究論文（学術雑誌）