論文 - 岡田　光弘

Computationally Complete Symbolic Attacker and Key Exchange

Gergei Bana, Koji Hasebe, Mitsuhiro Okada

SIGSAC conference on Computer and communications security （ACM）   （ CCS2013 ） 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月

研究論文（学術雑誌）, 共著

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年

研究論文（国際会議プロシーディングス）, 単著

Shape Perception in Chemistry

Janna Hastings, Colin Batchelor and Mitsuhiro Okada

CEUR Proceedings 2013年

研究論文（国際会議プロシーディングス）, 共著, 査読有り

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年

研究論文（国際会議プロシーディングス）, 共著, 査読有り

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年

研究論文（学術雑誌）, 共著, 査読有り

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 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年

研究論文（学術雑誌）, 共著, 査読有り

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 854   17 - 31 2012年

研究論文（国際会議プロシーディングス）, 共著, 査読有り

図形を用いた演繹的推論の認知プロセス

佐藤 有理, 峯島 宏次, 竹村 亮, and 岡田 光弘

日本認知科学会第28回大会論文集    269 - 274 2011年

研究論文（その他学術会議資料等）, 共著

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）  6   178 - 183 2010年07月

オントロジーの論理学的、哲学的源泉

岡田 光弘

日本人工知能学会誌　No.5 2010年

研究論文（学術雑誌）, 単著

オイラー図・ヴェン図を用いた図形推論の証論的分析

竹村亮、峯村宏次、佐藤有理、岡田光弘

2010年度人工知能学会全国大会(第24回）JSAI2010論文集 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年

研究論文（学術雑誌）, 共著, 査読有り

Secrecy-Oriented First-Order Logical Analysis of Cryptographic Protocols

Gergei Bana, Koji Hasebe, and Mitsuhiro Okada

IACR Cryptology ePrint Archive 2010年

研究論文（その他学術会議資料等）, 共著

Conservativity for a hierarchy of Euler and Venn reasoning systems

Koji Mineshima, Mitshihiro Okada and Ryo Takemura

Proceedings of Visual Language and Logoc 2009.,CEUR Series Vol.510    37 - 61 2009年

研究論文（国際会議プロシーディングス）, 共著, 査読有り

Computational Semantics for First-Order Logical Analysis of Cryptographic protocols,Formal to Pratical Sucurity

G.Bana, K.Hasebe, M.Okada

Volume 5458 of Springer Lecture Notes in Computer Science    33 - 56 2009年

研究論文（学術雑誌）, 共著, 査読有り

Is g an entity? A japanese twin study using syllogysms and intelligence tests.

Chizuru Shikishima, Kai Hiraishi, Shinji Yamagata, Yutaro Sugimoto, Ryo Takemura, Koken Ozaki, Mitsuhiro Okada, Tatsushi Toda, Juko Ando

Intelligence 37 （ 3 ） 256 - 267 2009年

研究論文（学術雑誌）, 共著, 査読有り