慶應義塾
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年)
共著区分
共著
掲載種別
研究論文(学術雑誌)
査読有無
有り