Papers - Okada, Mitsuhiro
-
On definite manifolds and universal arithmetic in the early Husserl: 1901 winter manuscripts
岡田 光弘
Phenomenology Association of Japan (Phenomenology Association of Japan) 31 1 - 15 2015.11
Research paper (scientific journal), Single Work
-
Genetic Factors of Individual Differences in Decision Making in Economic Behavior: A Japanese Twin Study using the Allais Problem
Chizuru Shikishima, Kai Hiraishi, Shinji Yamagata, Juko Ando and Mitsuhiro Okada
Frontiers in Psychology, (Frontiers) 6:1712, 2015 2015
Research paper (scientific journal), Joint Work, Accepted
-
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
Research paper (scientific journal), Joint Work, Accepted
-
Wittgenstein on Equinumerosity and Surveyability
M. Marion and M. Okada
Grazer Philosophische Studien, vol.89 89 59 - 76 2014
Research paper (scientific journal), Joint Work, Accepted
-
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
Research paper (international conference proceedings), Joint Work, Accepted
-
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