Papers - Okada, Mitsuhiro
-
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
Research paper (international conference proceedings), Joint Work
-
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
Research paper (scientific journal), Joint Work
-
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
Research paper (scientific journal), Joint Work
-
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
Research paper (international conference proceedings), Single Work
-
Shape Perception in Chemistry
Janna Hastings, Colin Batchelor and Mitsuhiro Okada
CEUR Proceedings 2013
Research paper (international conference proceedings), Joint Work, Accepted
-
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
Research paper (international conference proceedings), Joint Work, Accepted
-
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
Research paper (scientific journal), Joint Work, Accepted
-
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
Research paper (scientific journal), Joint Work
-
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
Research paper (scientific journal), Joint Work, Accepted
-
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
Research paper (international conference proceedings), Joint Work, Accepted
-
図形を用いた演繹的推論の認知プロセス
佐藤 有理, 峯島 宏次, 竹村 亮, and 岡田 光弘
日本認知科学会第28回大会論文集 269 - 274 2011
Research paper (other academic), Joint Work
-
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 WatanabeOKADA
Behavioural Brain Research (Behavioural Brain Research) 6 178 - 183 2010.07
-
オントロジーの論理学的、哲学的源泉
岡田 光弘
日本人工知能学会誌 No.5 2010
Research paper (scientific journal), Single Work
-
オイラー図・ヴェン図を用いた図形推論の証論的分析
竹村亮、峯村宏次、佐藤有理、岡田光弘
2010年度人工知能学会全国大会(第24回）JSAI2010論文集 2010
Research paper (other academic), Joint Work
-
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
Research paper (scientific journal), Joint Work, Accepted
-
セキュリティプロトコルの論理的検証法
長谷部浩二、バナ・ゲルゲイ、岡田光弘
荻谷昌巳・塚田恭章共編『数理的技法による情報セキュリティ』 (共立出版) 2010
Research paper (scientific journal), Joint Work, Accepted
-
Secrecy-Oriented First-Order Logical Analysis of Cryptographic Protocols
Gergei Bana, Koji Hasebe, and Mitsuhiro Okada
IACR Cryptology ePrint Archive 2010
Research paper (other academic), Joint Work
-
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
Research paper (international conference proceedings), Joint Work, Accepted
-
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
Research paper (scientific journal), Joint Work, Accepted
-
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
Research paper (scientific journal), Joint Work, Accepted