Keio University

Published papers

Okada, Mitsuhiro

21-40 items (total 139)

On Effects of Changing Multi-attribute Table Design on Decision Making: An Eye-Tracking Study

Author
Ideno T., Morii M., Takemura K., Okada M.
Publication Title
Start Page 365 - End Page 381 (Publication Date)2020)
ISSN
9783030542481

Following a Rule: Waismann's Version

Author
マシュー岡田 光弘(/)-#HR
Publication Title
Magazine name Publications of the Austrian Ludwig Wittgenstein Society – New Series Publisher Austrian Ludwig Wittgenstein Society (Publication Date)2019)
Authorship Category
Joint Work
Publication Category
Research paper (international conference proceedings)

On quasi-ordinal diagrams

Author
Mitsuhiro Okada and Yuta Takahashi
Publication Title
Magazine name 38-49, EPTCS 288, Post-Workshop Proceedings of the 10th EOTCS Post-Proceedings of Workshop on Computation with Terms and Graphs (TermGraph 2018) Publisher FEPTCS Start Page 38 - End Page 49 (Publication Date)2019/03)
Authorship Category
Joint Work
Publication Category
Research paper (international conference proceedings)
Peer-review Status
With

Qualitatively coherent representation makes decision-making easier with binary-colored multi-attribute tables: An eye-tracking study

Author
Okada, M., Morii, M., Ideno, T., Takemura, K. & Okada, M
Publication Title
Magazine name Frontiers in Psychology Publisher Frontiers (Publication Date)2017/08)
Authorship Category
Joint Work
Publication Category
Research paper (scientific journal)
Peer-review Status
With

What is logic?

Author
Mitsuhiro Okada
Publication Title
Magazine name Proceedings of "Beyond Logic" cericy Meeting May 21-May 26, 2017 Publisher Cersy (Publication Date)2017/07)
Authorship Category
Single Work
Publication Category
Research paper (international conference proceedings)
Peer-review Status
Without

Semantics for “Enough-Certainty" and Fitting’s Embedding of Classical Logic in S4

Author
Gergei Bana and Mitsuhiro Okada
Publication Title
Magazine name LIPIcs, Leibniz International Proceeding Series Publisher LIPIcs, Leibniz International Proceeding Series Volume 34(2016)(Issue article 23) Start Page 1 - End Page 17 (Publication Date)2016/08)
Publication Category
Research paper (international conference proceedings)
Peer-review Status
With

Syntactic Reduction in Husserl's early Phenomenology of Arithmetic

Author
Mirja Hartimo and Mitsuhiro Okada
Publication Title
Magazine name Synthese Publisher Springer Volume 193(Issue 3) Start Page 937 - End Page 969 (Publication Date)2016/03)
Authorship Category
Joint Work
Publication Category
Research paper (scientific journal)
Peer-review Status
With

Genetic Factors of Individual Differences in Decision Making in Economic Behavior: A Japanese Twin Study using the Allais Problem

Author
Chizuru Shikishima, Kai Hiraishi, Shinji Yamagata, Juko Ando and Mitsuhiro Okada
Publication Title
Magazine name Frontiers in Psychology, Publisher Frontiers (Publication Date)2015)
Authorship Category
Joint Work
Publication Category
Research paper (scientific journal)
Peer-review Status
With

On definite manifolds and universal arithmetic in the early Husserl: 1901 winter manuscripts

Author
岡田 光弘
Publication Title
Magazine name Phenomenology Association of Japan Publisher Phenomenology Association of Japan Start Page 1 - End Page 15 (Publication Date)2015/11)
Authorship Category
Single Work
Publication Category
Research paper (scientific journal)
Peer-review Status
Without

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

Author
Chizuru Shikishima, Kai Hiraishi, Shinji Yamagata, Yutaro Sugimoto, Ryo Takemura, Koken Ozaki, Mitsuhiro Okada, Tatsushi Toda, Juko Ando
Publication Title
Magazine name Intelligence Volume 37(Issue 3) Start Page 256 - End Page 267 (Publication Date)2009)
Authorship Category
Joint Work
Publication Category
Research paper (scientific journal)
Peer-review Status
With

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

Author
G.Bana, K.Hasebe, M.Okada
Publication Title
Magazine name Volume 5458 of Springer Lecture Notes in Computer Science Start Page 33 - End Page 56 (Publication Date)2009)
Authorship Category
Joint Work
Publication Category
Research paper (scientific journal)
Peer-review Status
With

Conservativity for a hierarchy of Euler and Venn reasoning systems

Author
Koji Mineshima, Mitshihiro Okada and Ryo Takemura
Publication Title
Magazine name Proceedings of Visual Language and Logoc 2009.,CEUR Series Vol.510 Start Page 37 - End Page 61 (Publication Date)2009)
Authorship Category
Joint Work
Publication Category
Research paper (international conference proceedings)
Peer-review Status
With

Diagrammatic Reasoning System with Euler Circles

Author
Koji Mineshima, Mitsuhiro Okada, Yuri Sato and Ryo takemura
Publication Title
Magazine name Theory and Experiment Design,2008,Proceedings of 5th International Conference on the Theory and Application of Diagrams(DIAGRAMS 2008),Lecture Notes In Artificial Intelligence,Vol.5223,Springer-Verlag,188-2 (Publication Date)2008)
Authorship Category
Joint Work
Publication Category
Research paper (scientific journal)
Peer-review Status
With

Some remarks on difference between Gentzen's finitist and Heyting's intuitionist approaches toward intuitionistic logic and arithmetic.

Author
Mitsuhiro Okada
Publication Title
Magazine name Annals of the Japan Association for Philosophy of Science, Vol.16 Start Page 1 - End Page 18 (Publication Date)2008)
Authorship Category
Single Work
Publication Category
Research paper (scientific journal)
Peer-review Status
With

BAN論理からprotocol composition logicへ:セキュリティプロトコルの老理的検証法

Author
長谷部浩二、岡田光弘.
Publication Title
Start Page 311 - End Page 322 (Publication Date)2007)
Authorship Category
Joint Work
Publication Category
Research paper (scientific journal)
Peer-review Status
With

Compuational Sematics for Basic Protocol Logic-A Stochastic Approach, Proceedings of ASIAN 07 the 12th Annual Asian Computing Science Conference

Author
G.Bana, K.Hasebe and M.Okada
Publication Title
Magazine name Vol.4846 of Lecture Notes in Compuer Science Start Page 86 - End Page 94 (Publication Date)2007)
Authorship Category
Joint Work
Publication Category
Research paper (scientific journal)
Peer-review Status
With

Remarks on Semantic Completeness for Proof-Terms with Laird's Dual Affine/Intuitionistic λ-Calculus

Author
Mitsuhiro Okada and Ryo Takemura
Publication Title
Magazine name Volume 4600 of Lecture Notes in Computer Science, Springer Start Page 167 - End Page 181 (Publication Date)2007)
Authorship Category
Joint Work
Publication Category
Research paper (scientific journal)
Peer-review Status
With

A proof-theoretic study of the correspondence of hybrid logic and classical logic.

Author
HIirohiko Kushida and Mitsuhiro Okada
Publication Title
Magazine name Journal of Logic, Language and Information, Vol.16, No.1 Start Page 35 - End Page 61 (Publication Date)2007)
Authorship Category
Joint Work
Publication Category
Research paper (scientific journal)
Peer-review Status
With

フッサール、ゲーデルから線形論理へ.

Author
岡田光弘
Publication Title
Start Page 149 - End Page 163 (Publication Date)2007/02)
Authorship Category
Single Work
Publication Category
Research paper (scientific journal)
Peer-review Status
Without

Intuithionistic phase semantics is almost classical.

Author
Max I.Kanovich, Mitsuhiro Okada, and Kzushige Terui
Publication Title
Magazine name Mathematical Structures in Computer Science, Vol.16, No.1 Start Page 67 - End Page 86 (Publication Date)2006)
Authorship Category
Joint Work
Publication Category
Research paper (scientific journal)
Peer-review Status
With