論文
岡田 光弘
21~40件(全139件)
On Effects of Changing Multi-attribute Table Design on Decision Making: An Eye-Tracking Study
- 著者名
- Ideno T., Morii M., Takemura K., Okada M.
- 掲載誌名
- 誌名Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 出版社Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 開始ページ365 - 終了ページ381 (出版年(月日)2020年)
- ISSN
- 9783030542481
Following a Rule: Waismann's Version
- 著者名
- マシュー岡田 光弘(/)-#HR
- 掲載誌名
- 誌名Publications of the Austrian Ludwig Wittgenstein Society – New Series 出版社Austrian Ludwig Wittgenstein Society (出版年(月日)2019年)
- 共著区分
- 共著
- 掲載種別
- 研究論文(国際会議プロシーディングス)
On quasi-ordinal diagrams
- 著者名
- 岡田 光弘 高橋 優太
- 掲載誌名
- 誌名Electronic Proceedings of Theoretical Computer Science (EPTCS), 288, Post-Workshop Proceedings of the 10th Workshop on Computation with Terms and Graphs (TermGraph 2018), 出版社EPTCS 開始ページ38 - 終了ページ49 (出版年(月日)2019年03月)
- 共著区分
- 共著
- 掲載種別
- 研究論文(国際会議プロシーディングス)
- 査読有無
- 有り
Qualitatively coherent representation makes decision-making easier with binary-colored multi-attribute tables: An eye-tracking study
- 著者名
- Okada, M., Morii, M., Ideno, T., Takemura, K. & Okada, M
- 掲載誌名
- 誌名Frontiers in Psychology 出版社Prontiers (出版年(月日)2017年08月)
- 共著区分
- 共著
- 掲載種別
- 研究論文(学術雑誌)
- 査読有無
- 有り
What is logic?
- 著者名
- Mitsuhiro Okada
- 掲載誌名
- 誌名Proceedings of "Beyond Logic" cericy Meeting May 21-May 26, 2017 出版社Cersy (出版年(月日)2017年07月)
- 共著区分
- 単著
- 掲載種別
- 研究論文(国際会議プロシーディングス)
- 査読有無
- 無し
Semantics for “Enough-Certainty" and Fitting’s Embedding of Classical Logic in S4
- 著者名
- Gergei Bana and Mitsuhiro Okada
- 掲載誌名
- 誌名LIPIcs, Leibniz International Proceeding Series 出版社LIPIcs, Leibniz International Proceeding Series 巻34(2016)(号article 23) 開始ページ1 - 終了ページ17 (出版年(月日)2016年08月)
- 掲載種別
- 研究論文(国際会議プロシーディングス)
- 査読有無
- 有り
Syntactic Reduction in Husserl's early Phenomenology of Arithmetic
- 著者名
- Mirja Hartimo and Mitsuhiro Okada
- 掲載誌名
- 誌名Synthese 出版社Springer 巻193(号3) 開始ページ937 - 終了ページ969 (出版年(月日)2016年03月)
- 共著区分
- 共著
- 掲載種別
- 研究論文(学術雑誌)
- 査読有無
- 有り
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 (出版年(月日)2015年)
- 共著区分
- 共著
- 掲載種別
- 研究論文(学術雑誌)
- 査読有無
- 有り
初期フッサールの普遍算術と確定多様体について : 1901年冬草稿
- 著者名
- 岡田 光弘
- 掲載誌名
- 誌名現象学年報 出版社日本現象学会 開始ページ1 - 終了ページ15 (出版年(月日)2015年11月)
- 共著区分
- 単著
- 掲載種別
- 研究論文(学術雑誌)
- 査読有無
- 無し
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年)
- 共著区分
- 共著
- 掲載種別
- 研究論文(学術雑誌)
- 査読有無
- 有り
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年)
- 共著区分
- 共著
- 掲載種別
- 研究論文(学術雑誌)
- 査読有無
- 有り
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年)
- 共著区分
- 共著
- 掲載種別
- 研究論文(国際会議プロシーディングス)
- 査読有無
- 有り
Diagrammatic Reasoning System with Euler Circles
- 著者名
- Koji Mineshima, Mitsuhiro Okada, Yuri Sato and Ryo takemura
- 掲載誌名
- 誌名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 (出版年(月日)2008年)
- 共著区分
- 共著
- 掲載種別
- 研究論文(学術雑誌)
- 査読有無
- 有り
Some remarks on difference between Gentzen's finitist and Heyting's intuitionist approaches toward intuitionistic logic and arithmetic.
- 著者名
- Mitsuhiro Okada
- 掲載誌名
- 誌名Annals of the Japan Association for Philosophy of Science, Vol.16 開始ページ1 - 終了ページ18 (出版年(月日)2008年)
- 共著区分
- 単著
- 掲載種別
- 研究論文(学術雑誌)
- 査読有無
- 有り
BAN論理からprotocol composition logicへ:セキュリティプロトコルの老理的検証法
- 著者名
- 長谷部浩二、岡田光弘.
- 掲載誌名
- 誌名応用数理、Vol.17,No.4 開始ページ311 - 終了ページ322 (出版年(月日)2007年)
- 共著区分
- 共著
- 掲載種別
- 研究論文(学術雑誌)
- 査読有無
- 有り
Compuational Sematics for Basic Protocol Logic-A Stochastic Approach, Proceedings of ASIAN 07 the 12th Annual Asian Computing Science Conference
- 著者名
- G.Bana, K.Hasebe and M.Okada
- 掲載誌名
- 誌名Vol.4846 of Lecture Notes in Compuer Science 開始ページ86 - 終了ページ94 (出版年(月日)2007年)
- 共著区分
- 共著
- 掲載種別
- 研究論文(学術雑誌)
- 査読有無
- 有り
Remarks on Semantic Completeness for Proof-Terms with Laird's Dual Affine/Intuitionistic λ-Calculus
- 著者名
- Mitsuhiro Okada and Ryo Takemura
- 掲載誌名
- 誌名Volume 4600 of Lecture Notes in Computer Science, Springer 開始ページ167 - 終了ページ181 (出版年(月日)2007年)
- 共著区分
- 共著
- 掲載種別
- 研究論文(学術雑誌)
- 査読有無
- 有り
A proof-theoretic study of the correspondence of hybrid logic and classical logic.
- 著者名
- HIirohiko Kushida and Mitsuhiro Okada
- 掲載誌名
- 誌名Journal of Logic, Language and Information, Vol.16, No.1 開始ページ35 - 終了ページ61 (出版年(月日)2007年)
- 共著区分
- 共著
- 掲載種別
- 研究論文(学術雑誌)
- 査読有無
- 有り
フッサール、ゲーデルから線形論理へ.
- 著者名
- 岡田光弘
- 掲載誌名
- 誌名「現代思想」Vol.35, No.3 開始ページ149 - 終了ページ163 (出版年(月日)2007年02月)
- 共著区分
- 単著
- 掲載種別
- 研究論文(学術雑誌)
- 査読有無
- 無し
Intuithionistic phase semantics is almost classical.
- 著者名
- Max I.Kanovich, Mitsuhiro Okada, and Kzushige Terui
- 掲載誌名
- 誌名Mathematical Structures in Computer Science, Vol.16, No.1 開始ページ67 - 終了ページ86 (出版年(月日)2006年)
- 共著区分
- 共著
- 掲載種別
- 研究論文(学術雑誌)
- 査読有無
- 有り