論文 - 岡田　光弘

初期フッサールの普遍算術と確定多様体について : 1901年冬草稿

岡田 光弘

現象学年報 （日本現象学会）  31   1 - 15 2015年11月

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

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年

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

• Access to Document (DOI)

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月

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

Wittgenstein on Equinumerosity and Surveyability

M. Marion and M. Okada

Grazer Philosophische Studien, vol.89 89   59 - 76 2014年

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

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

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