OKADA Mitsuhiro 岡田光弘

… Alternative Names

Researcher Number	30224025
Other IDs
External Links
Affiliation (Current)	2021: 慶應義塾大学, 文学部(三田), 名誉教授
Affiliation (based on the past Project Information) *help	2021: 慶應義塾大学, 文学部, 名誉教授 2020 – 2021: 慶應義塾大学, 文学部(三田), 名誉教授 2020: 慶應義塾大学, 文学部, 教授 2015 – 2019: 慶應義塾大学, 文学部(三田), 教授 2011 – 2016: 慶應義塾大学, 文学部, 教授 … More
Review Section/Research Field	Principal Investigator 計算機科学 / Philosophy / Science and Engineering / Philosophy/Ethics / Medium-sized Section 1:Philosophy, art, and related fields / Fundamental theory of informatics / Cognitive science / Complex systems / Software / Basic Section 01010:Philosophy and ethics-related … More Except Principal Investigator … More
Keywords	Principal Investigator 線形論理 / 証明論 / 実時間システム / 形式仕様 / 形式検証 / 論理学 / タイプ理論 / 論理哲学 / 論理的意味論 / プログラミング言語 … More Except Principal Investigator 論理的意味論 / 関連性理論 / 言語哲学 / Relevance Theory / 数理論理学 / CafeOBJ / 遺伝と環境 / 双生児法 / 進化 / 認知能力 / パーソナリティ / 行動遺伝学 / データベース / 社会心理学 / テータベース / 遺伝と進化 / 調査法 / 国際連携 / 遺伝 / 環境 / ジェンダー・アイデンティティ / 食行動 / モンターギュ意味論 / 言語行為論 / 言語分析哲学 / 論理哲学 / 可能世界意味論 / Logical semantics / Kripke semantics / Montague sematics / Mental Space Theory / Speach-acts theory / 発話行為 / 疑問文 / 格助詞 / 音響特性 / ピッチカーブ / 母音持続時間 / 手続き的意味 / 終助詞 / Speech Act theory / Interrogative Sentences / Japanese Sentence-Final particle / Acoustic Features / Intonation curve / Duration time / Procedural meaning / 日本語意味論 / 論理学教育 / 自然言語の意味論 / Japanese semantics / Logical Education / Philosophy of Language / 知識発見 / 科学哲学 / 論理学 / 知識獲得 / モデル検査 / 演繹 / 環境計算 / モデル・チェッキング / 古典論理 / 分散計算環境 / knowledge discovery / philosophy of science / logic / knowledge acquisition / model checking / deduction / システム安全性 / システム検証 / 未知ウイルス検知 / 認証プロトコル / 電子商取引プロトコル / 形式手法 / 振舞仕様 / cafeOBJ / 検証 / ウィルス検査 / 振舞モデル検査 / 安全性 / 自動証明器PigNose / UNITY / CadeOBJ / Java仮想機械 / 安全性検証 / セキュアプロトコル / 実時間システム / 移動コード / 抽象機械 / system security / system verification / unknown virus detection / authentication protocol / e-commerce protocol / formal methods / behavioral specification / 神経科学 / 意思決定 / 強化学習 / 内部モデル / 脳内シュミレーション / 脳内シミュレーション / 数学の哲学 / 計算の哲学 / 数学基礎論 / 論理学の哲学 / 証明論 / 集合論 / 哲学 / ウィトゲンシュタイン / 西田哲学 / 言語ゲーム / 善の研究 / 場所の論理 / 論理空間 Less

我々の情報環境に求められる「意思決定しやすい情報提示法」-多属性意思決定を中心にPrincipal Investigator
- Principal Investigator
  
  岡田光弘
- Project Period (FY)
  2021 – 2023
- Research Category
  
  Grant-in-Aid for Challenging Research (Exploratory)
- Review Section
  
  Medium-sized Section 1:Philosophy, art, and related fields
- Research Institution
  Keio University
Interdisciplinary studies on philosophy of logic: Toward the development of philosophy of proof and demonstrationPrincipal Investigator
- Principal Investigator
  
  岡田光弘
- Project Period (FY)
  2021 – 2025
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Review Section
  
  Basic Section 01010:Philosophy and ethics-related
- Research Institution
  Keio University
Study on "Disagreement" in logicPrincipal Investigator
- Principal Investigator
  
  岡田光弘
- Project Period (FY)
  2019 – 2023
- Research Category
  
  Fund for the Promotion of Joint International Research (Fostering Joint International Research (B))
- Review Section
  
  Medium-sized Section 1:Philosophy, art, and related fields
- Research Institution
  Keio University
Reading "Zen-no-kenkyu" of Nishida from the view of Wittgenstein's Language GameHost Researcher
- Host Researcher
  
  岡田光弘
- Project Period (FY)
  2018 – 2020
- Research Category
  
  Grant-in-Aid for JSPS Fellows
- Research Field
  
  Philosophy/Ethics
- Research Institution
  Keio University
New developments of the philosophy of mathematics
- Principal Investigator
  
  菊池誠
- Project Period (FY)
  2017 – 2021
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Philosophy/Ethics
- Research Institution
  Kobe University
"Philosophy of Proofs" - Towards New Developments of Philosophy of Logic and MathematicsPrincipal Investigator
- Principal Investigator
  
  岡田光弘
- Project Period (FY)
  2017 – 2021
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Philosophy/Ethics
- Research Institution
  Keio University
Interdisciplinary study on logic, with a special focus on intuitionistic logicPrincipal Investigator
- Principal Investigator
  
  Okada Mitsuhiro
- Project Period (FY)
  2014 – 2016
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Philosophy/Ethics
- Research Institution
  Keio University
Logic and Computation of Prediction, Judgment and Decision MakingPrincipal Investigator
- Principal Investigator
  
  Okada Mitsuhiro
- Project Period (FY)
  2011 – 2015
- Research Category
  
  Grant-in-Aid for Scientific Research on Innovative Areas (Research in a proposed research area)
- Review Section
  
  Complex systems
- Research Institution
  Keio University
Interdisciplinary Study in Philosophy of Logic - With a special focus on theory of inferences and proofs of intuitionistic logicPrincipal Investigator
- Principal Investigator
  
  OKADA Mitsuhiro
- Project Period (FY)
  2011 – 2014
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Philosophy/Ethics
- Research Institution
  Keio University
Elucidation of the Neral Computation for Prediction and Decision Making
- Principal Investigator
  
  Doya Kenji
- Project Period (FY)
  2011 – 2015
- Research Category
  
  Grant-in-Aid for Scientific Research on Innovative Areas (Research in a proposed research area)
- Review Section
  
  Complex systems
- Research Institution
  Okinawa Institute of Science and Technology Graduate University
Behavioral genetic study in adolescence and adulthood by twin method
- Principal Investigator
  
  ANDO Juko
- Project Period (FY)
  2006 – 2008
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Educational psychology
- Research Institution
  Keio University
論理学・認知科学・遺伝学を統合した論理推論研究Principal Investigator
- Principal Investigator
  
  岡田光弘
- Project Period (FY)
  2006 – 2007
- Research Category
  
  Grant-in-Aid for Exploratory Research
- Research Field
  
  Cognitive science
- Research Institution
  Keio University
モデルチェッキング法の限界を超えるダイナミック実時間システムのための論理的検証法Principal Investigator
- Principal Investigator
  
  岡田光弘
- Project Period (FY)
  2005 – 2006
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Review Section
  
  Science and Engineering
- Research Institution
  Keio University
モデルチェッキング法の限界を超えるダイナミック実時間システムのための論理的検証法Principal Investigator
- Principal Investigator
  
  岡田光弘
- Project Period (FY)
  2003
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Review Section
  
  Science and Engineering
- Research Institution
  Keio University
日米科学協力事業「ソフトウェア検証の論理的方法」更新のための企画研究Principal Investigator
- Principal Investigator
  
  岡田光弘
- Project Period (FY)
  2003
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  Keio University
New development in the matured linear logic research and its applicationsPrincipal Investigator
- Principal Investigator
  
  OKADA Mituhiro
- Project Period (FY)
  2003 – 2005
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Software
- Research Institution
  Keio University
モデルチェッキング法の限界を超えるダイナミック実時間システムのための論理的検証法Principal Investigator
- Principal Investigator
  
  岡田光弘
- Project Period (FY)
  2002
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Review Section
  
  Science and Engineering
- Research Institution
  Keio University
特定領域研究及び国際共同研究「新しい論理学の展開」のための企画研究Principal Investigator
- Principal Investigator
  
  岡田光弘
- Project Period (FY)
  2002
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Philosophy
- Research Institution
  Keio University
モデルチェッキング法の限界を超える新しい論理的手法によるダイナミックな実時間システムのための検証ツールの実現Principal Investigator
- Principal Investigator
  
  岡田光弘
- Project Period (FY)
  2001
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas (C)
- Review Section
  
  Science and Engineering
- Research Institution
  Keio University
発展的実時間システムの自動検証を可能にする新しい論理的検証理論Principal Investigator
- Principal Investigator
  
  岡田光弘
- Project Period (FY)
  2001 – 2002
- Research Category
  
  Grant-in-Aid for Exploratory Research
- Research Field
  
  計算機科学
- Research Institution
  Keio University
国際共同研究及び特定領域研究「新しい論理学の展開」のための企画Principal Investigator
- Principal Investigator
  
  岡田光弘
- Project Period (FY)
  2001
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Philosophy
- Research Institution
  Keio University
International collaborative studies on a logical specification and verification language.Principal Investigator
- Principal Investigator
  
  OKADA Mitsuhiro
- Project Period (FY)
  2001 – 2003
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  計算機科学
- Research Institution
  Keio University
国際共同研究及び特定領域研究「新しい論理学の展開」のための企画研究Principal Investigator
- Principal Investigator
  
  岡田光弘
- Project Period (FY)
  2000
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Philosophy
- Research Institution
  Keio University
Safety Verification Technologies based on Behavioral Specifications
- Principal Investigator
  
  FUTATSUGI Kokichi
- Project Period (FY)
  2000 – 2003
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Review Section
  
  Science and Engineering
- Research Institution
  Japan Advanced Institute of Science and Technology (JAIST)
Theory of formal specification and verification of concurrency systems and real-time systems based on linear logicPrincipal Investigator
- Principal Investigator
  
  OKADA Mitsuhiro
- Project Period (FY)
  2000 – 2002
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  計算機科学
- Research Institution
  Keio University
実時間システムの形式仕様・検証のための新しい論理的方法論Principal Investigator
- Principal Investigator
  
  岡田光弘
- Project Period (FY)
  1999 – 2000
- Research Category
  
  Grant-in-Aid for Exploratory Research
- Research Field
  
  計算機科学
- Research Institution
  Keio University
特定領域研究「新しい論理学の展開」のための企画研究Principal Investigator
- Principal Investigator
  
  岡田光弘
- Project Period (FY)
  1999
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Philosophy
- Research Institution
  Keio University
構成的論理と代数的仕様言語を融合した発展的ソフトウェア開発言語Principal Investigator
- Principal Investigator
  
  岡田光弘
- Project Period (FY)
  1998
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas (A)
- Research Institution
  Keio University
Applications of Type Theory and Linear Logic to Programming Language TheoryPrincipal Investigator
- Principal Investigator
  
  OKADA Mitsuhiro
- Project Period (FY)
  1998 – 1999
- Research Category
  
  Grant-in-Aid for Scientific Research (A).
- Research Field
  
  計算機科学
- Research Institution
  Keio University
Logic of Knowledge Discovery
- Principal Investigator
  
  SATO Masahiko
- Project Period (FY)
  1998 – 2000
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas (A)
- Research Institution
  Kyoto University
構成的論理言語と代数的仕様言語を融合した発展的ソフトウェア開発言語Principal Investigator
- Principal Investigator
  
  岡田光弘
- Project Period (FY)
  1997
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Research Institution
  Keio University
線形論理の意味論的手法による並行計算概念および実行可能計算量概念の論理的分析Principal Investigator
- Principal Investigator
  
  岡田光弘
- Project Period (FY)
  1997 – 1998
- Research Category
  
  Grant-in-Aid for Exploratory Research
- Research Field
  
  計算機科学
- Research Institution
  Keio University
タイプ理論および線形論理の情報科学への応用に関する国際共同研究の企画Principal Investigator
- Principal Investigator
  
  岡田光弘
- Project Period (FY)
  1997
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  計算機科学
- Research Institution
  Keio University
Japanese and Logic
- Principal Investigator
  
  IIDA Takashi
- Project Period (FY)
  1997 – 1999
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Philosophy
- Research Institution
  Keio University
  Chiba University
Programming Language Theory Based on Logical MethodsPrincipal Investigator
- Principal Investigator
  
  OKADA Mitsuhiro
- Project Period (FY)
  1997 – 1999
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  計算機科学
- Research Institution
  Keio University
A Model fo Discourse Comprehension : An Integrated Approach of Relevance Theory & Speech Science
- Principal Investigator
  
  NISHIYAMA Yuji
- Project Period (FY)
  1996 – 1997
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  談話(ディスコース)
- Research Institution
  Keio University
Application of type theory and linear logic for Programming LanguagesPrincipal Investigator
- Principal Investigator
  
  OKADA Mitsuhiro
- Project Period (FY)
  1995 – 1996
- Research Category
  
  Grant-in-Aid for international Scientific Research
- Research Institution
  Keio University
Girard's Linear Logic and its ApplicationPrincipal Investigator
- Principal Investigator
  
  OKADA Mitsuhiro
- Project Period (FY)
  1995 – 1996
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  計算機科学
- Research Institution
  Keio University
論理的意味論に基づく法律文書の論理的知識表現論及び論理的分析システムPrincipal Investigator
- Principal Investigator
  
  岡田光弘
- Project Period (FY)
  1994
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Research Institution
  Keio University
論理的意味論及び関連性理論を用いた対話理解モデルPrincipal Investigator
- Principal Investigator
  
  岡田光弘
- Project Period (FY)
  1994
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Research Institution
  Keio University
論理的意味論に基づく法律文書の論理的知識表現論及び論理的分析システムPrincipal Investigator
- Principal Investigator
  
  岡田光弘
- Project Period (FY)
  1994 – 1997
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Research Institution
  Keio University
論理的意味論及び関連性理論を用いた対話理解モデルPrincipal Investigator
- Principal Investigator
  
  岡田光弘
- Project Period (FY)
  1994 – 1995
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Research Institution
  Keio University
論理的意味論に基づく法律文書の論理的知識表現論及び論理的分析システムPrincipal Investigator
- Principal Investigator
  
  岡田光弘
- Project Period (FY)
  1994 – 1997
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Research Institution
  Keio University
A Research on the connection between the language and the world by the philosophy of language and philosophy of logic approaches.
- Principal Investigator
  
  ISHIGURO Hideko
- Project Period (FY)
  1994 – 1995
- Research Category
  
  Grant-in-Aid for General Scientific Research (C)
- Research Field
  
  Philosophy
- Research Institution
  Keio University
形式的意味論における概念形成モデルPrincipal Investigator
- Principal Investigator
  
  岡田光弘
- Project Period (FY)
  1993
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Research Institution
  Keio University
Application of Logic to Programming Language TheoryPrincipal Investigator
- Principal Investigator
  
  OKADA Mitsuhiro
- Project Period (FY)
  1993 – 1994
- Research Category
  
  Grant-in-Aid for General Scientific Research (C)
- Research Field
  
  計算機科学
- Research Institution
  Keio University, Faculty of Letters
形式的意味論による概念形成モデルPrincipal Investigator
- Principal Investigator
  
  岡田光弘
- Project Period (FY)
  1992
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Research Institution
  Keio University
実行可能な高度代数的仕様言語の設計とそのソフトウェア開発ツ-ルへの応用Principal Investigator
- Principal Investigator
  
  岡田光弘
- Project Period (FY)
  1991
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Research Institution
  Keio University

[Book] Following a Rule: Waismann’s Variation2020
- Author(s)
  Mathieu Marion and Mitsuhiro Okada (Edited by: Gabriele M. Mras, Paul Weingartner and Bernhard Ritter )
- Total Pages
  721
- Publisher
  De Gruyter
- ISBN
- Data Source
  KAKENHI-PROJECT-19KK0006
[Book] Following a Rule: Waismann’s Variation2019
- Author(s)
  Mathieu Marion and Mitsuhiro Okada (Edited by Gabriele M. Mras, Paul Weingartner and Bernhard Ritter)
- Total Pages
  721
- Publisher
  De Gruiyer,
- ISBN
- Data Source
  KAKENHI-PROJECT-17H02265
[Book] Wittgenstein and Goodstein on Uniqueness of Primitive Recursive Arithmetic, in "Wittgenstein in the 1930s: Wittgenstein in the 1930s: Between the Tractatus and the Investigations" (ed. by David Stern)2018
- Author(s)
  Mathieu Marion and Mitsuhiro Okada, Edited by David Stern
- Total Pages
  310
- Publisher
  Cambridge University Press
- ISBN
  9781108425872
- Data Source
  KAKENHI-PROJECT-17H02263
[Book] “Wittgenstein, Goodstein and the Origin of the Uniqueness Rule”. In Wittgenstein in the 1930s: Between the Tractatus and the Investigations2018
- Author(s)
  Mathieu Marion and Mitsuhiro Okada, Edited by david Stern
- Publisher
  Springer
- Data Source
  KAKENHI-PROJECT-17H02263
[Book] “Wittgenstein, Goodstein and the Origin of the Uniqueness Rule” . In Wittgenstein in the 1930s: Between the Tractatus and the Investigations2018
- Author(s)
  Mathieu Marion and Mitsuhiro Okada, edited by David. Stern
- Total Pages
  23
- Publisher
  Cambridge Univ. Press
- Data Source
  KAKENHI-PROJECT-17H02265
[Book] Wittgenstein and Goodstein on Uniqueness of Primitive recursive arithmetic, in "Wittgenstein in the 1930s:Investigations to Philosophical Investigations"2018
- Author(s)
  Mathieu Marion and Mitsuhiro Okada Volume editor, David Stern
- Total Pages
  310
- Publisher
  Cambridge University Press
- ISBN
- Data Source
  KAKENHI-PROJECT-17H02265
[Book] Wittgenstein’s Return to Cambridge2017
- Author(s)
  Mathieu Marion and Mitsuhiro Okada （Chaptet authir), D.Stern(edit.)
- Total Pages
  32
- Publisher
  Cambridge University Press
- Data Source
  KAKENHI-PLANNED-23120002
[Book] Wittgenstein’s Return to Cambridge2017
- Author(s)
  Mathieu Marion and Mitsuhiro Okada （Chaptet authir), D.Stern(edit.)
- Total Pages
  32
- Publisher
  Cambridge University Press
- Data Source
  KAKENHI-PROJECT-26284005
[Book] Interdisciplinary Ontology, volume 52012
- Author(s)
  岡田光弘
- Total Pages
  6
- Publisher
  Keio University, Logic and foFormal Ontology Open Research Centre
- Data Source
  KAKENHI-PROJECT-23520036
[Book] CARLS=Keio University Press2012
- Author(s)
  Koji Mineshima, Mitsuhiro Okada, Yuri Sato, and Ryo Takemura
- Total Pages
  18
- Publisher
  Advanced　Studies on Logic and Sensibility
- Data Source
  KAKENHI-PROJECT-23520036
[Book] Lectures de Wittgenstein2012
- Author(s)
  Mathieu Marion and Mitsuhiro Okada, Chapter coauthors
- Total Pages
  432
- Publisher
  ellipses
- Data Source
  KAKENHI-PLANNED-23120002
[Book] Wittgenstein (Chapter tTitle: La philosophie des mathematiques de Wittgenstein)2012
- Author(s)
  Mathieu Maron and Mitsuhiro Okada (Chapter co-authors), editors:C. Chauvire and s. Plaud
- Total Pages
  412
- Publisher
  Ellipses
- Data Source
  KAKENHI-PROJECT-23520036
[Book] 2011年度日本認知科学会第28回大会発表論文集2011
- Author(s)
  佐藤有理、峯島宏次、竹村亮、岡田光弘
- Total Pages
  5
- Publisher
  日本認知科学会
- Data Source
  KAKENHI-PROJECT-23520036
[Book] Reports on Interdisciphnary Logical Reasonimg Studies2008
- Author(s)
  Yuri Sato, Ryo Takemura, Koji Mineshima, Chizuru S hikishima, Yutaro Sugimoto, (chapter authors) M. Okada, et. al.(editors)
- Total Pages
  72
- Publisher
  Keio University Press
- Data Source
  KAKENHI-PROJECT-18650067
[Book] Interdisciplinary Logic2008
- Author(s)
  M. Okada(editor and chapter author)
- Total Pages
  153
- Publisher
  Keio University Press
- Data Source
  KAKENHI-PROJECT-18650067
[Book] Essays in the Foundations of Logical and Phenomeological Studies2007
- Author(s)
  Mitsuhiro Okada (editor and author)
- Publisher
  Keio University Press
- Data Source
  KAKENHI-PROJECT-18650067
[Book] Towards New Logic and Semantics : Franco-Japanese Collaborative Lectures on Philosophy of Logic2006
- Author(s)
  Mitsuhiro Okada, Jocelyn Benoist, Jean-Yves. Girard
- Publisher
  Keio University Press
- Data Source
  KAKENHI-PROJECT-16016276
[Book] Towards New Logic and Semantics : Franco-Japanese Collaborative Lectures on Philosonhv of Logic2006
- Author(s)
  Mitsuhiro Okada, Jocelyn Benoist, Jean-Yves.Girard
- Publisher
  Keio University Press
- Data Source
  KAKENHI-PROJECT-15300008
[Book] Image and Reasoning2005
- Author(s)
  P.Grialou, G.Longo, M.Okada (Editors)
- Publisher
  Keio University Press(近刊)
- Data Source
  KAKENHI-PROJECT-16016276
[Book] Images and Reasoning2005
- Author(s)
  P.Grialou, G.Longo, M.okada eds.
- Publisher
  Keio University Press
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15300008
[Book] Image and Reasoning2005
- Author(s)
  P.Grialou, G.Longo, M.Okada(Editors)
- Publisher
  Keio University Press(近刊)
- Data Source
  KAKENHI-PROJECT-15300008
[Book] At the crossroads of logic psychology, and behavioral genetics : Development of the deductive reasoning test in the Keio Twin-Baroco Project 2006 Andler(D., Ogawa, Y., Okada, M., & Watanabe, S.)(eds.)(Reasoning and Cognition)
- Author(s)
  Ando, J., Shikishima, C., Hiraishi, K., Sugimoto, Y., Takemura, R., & Okada, M.
- Publisher
  Keio University Press
- Data Source
  KAKENHI-PROJECT-18330140
[Journal Article] A Remark for the Use of a Path Ordering with an Algebra and a Howard-Style Interpretation of Lambda for Termination Proofs of Typed Rewrite Systems2020
- Author(s)
  Mitsuhiro Okada and Yuta Takahashi
- Journal Title
  
  On-site Proc. of International Workshop on Rewriting Logic and its Applications, ETAPS2020-Event
  
  Volume: 10
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19KK0006
[Journal Article] A Remark for the Use of a Path Ordering with an Algebra and a Howard-Style Interpretation of Lambda for Termination Proofs of Typed Rewrite Systems2020
- Author(s)
  Mitsuhiro Okada and Yuta Takahashi
- Journal Title
  
  On-site Proc. of International Workshop on Rewriting Logic and its Applications, ETAPS2020-Event
  
  Volume: 13
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-17H02265
[Journal Article] Verification Methods for the Computationally Complete Symbolic Attacker Based on Indistinguishability,2019
- Author(s)
  Gergei Bana, Rohit Chadha, Ajay Kumareeralla and Mitsuhiro Okada,
- Journal Title
  
  ACM Trans. Comput. Logic,
  
  Volume: 21 Pages: 1-44
- DOI
  10.1145/3343508
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19KK0006, KAKENHI-PROJECT-17H02265
[Journal Article] Psychosocial Twin Cohort Studies in Japan: The Keio Twin Research Center (KoTReC)2019
- Author(s)
  Ando, J., Fujisawa, K. K., Hiraishi, K.,et al.
- Journal Title
  
  Twin Research and Human Genetics
  
  Volume: 22(6) Pages: 591-596
- DOI
  10.1017/thg.2019.109
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-17K18669, KAKENHI-PROJECT-19KK0006, KAKENHI-PROJECT-17H06086, KAKENHI-PROJECT-16H05353, KAKENHI-PROJECT-17H02265, KAKENHI-PROJECT-18H01085, KAKENHI-PROJECT-17K18099
[Journal Article] On Quasi Ordinal Diagram Systems:2019
- Author(s)
  Okada Mitsuhiro and Takahashi Yuta
- Journal Title
  
  Proceedings Tenth International Workshop on Computing with Terms and Graphs (TERMGRAPH 2018), Oxford, UK, 7th July 2018, EPTCS
  
  Volume: 288 Pages: 38-49
- DOI
  10.4204/eptcs.288.4
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-17H02263, KAKENHI-PROJECT-17H02265, KAKENHI-PROJECT-16J04925
[Journal Article] Semantics for “Enough-Certainty" and Fitting’s Embedding of Classical Logic in S4, Computer science Logic 20162017
- Author(s)
  Gergei Bana and Mitsuhiro Okada
- Journal Title
  
  Leibniz International Proceeding Series, Proceedings of Computer Science Logic 2016Article No. 23
  
  Volume: 23 Pages: 1-17
- DOI
  10.4230/LIPIcs.CSL.2016.34
- Peer Reviewed / Acknowledgement Compliant / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PLANNED-23120002, KAKENHI-PROJECT-26284005
[Journal Article] Qualitatively Coherent Representation Makes Decision-Making Easier with Binary-Colored Multi-Attribute Tables: An Eye-Tracking Study2017
- Author(s)
  M. Morii, T. Ideno, K. Takemura, M. Okada,
- Journal Title
  
  , Frontiers in Psychology,
  
  Volume: 8 Pages: 1-12
- DOI
  10.3389/fpsyg.2017.01388
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-24243061, KAKENHI-PROJECT-16H02050, KAKENHI-PROJECT-17H02263, KAKENHI-PROJECT-17H02265, KAKENHI-PROJECT-15K13118, KAKENHI-PROJECT-16H03675
[Journal Article] Syntactic reduction in Husserl's early phenomenology of arithmetic2016
- Author(s)
  Mirja Hartimo and Mitsuhiro Okada
- Journal Title
  
  Synthese
  
  Volume: 193 Pages: 937-969
- DOI
  10.1007/s11229-015-0779-0
- Peer Reviewed / Acknowledgement Compliant / Int'l Joint Research
- Data Source
  KAKENHI-PLANNED-23120002, KAKENHI-PROJECT-26284005
[Journal Article] Genetic factors of individual differences in decision making in economic behavior : A Japanese twin study using the Allais problem2015
- Author(s)
  Chizuru Shikishima, Kai Hiraishi, Shinji Yamagata, Juko Ando, & Mitsuhiro Okada
- Journal Title
  
  Frontiers in Psychology, Journal of Neuro-Decision Science,
  
  Volume: 6 Pages: 1-20
- DOI
  10.3389/fpsyg.2015.01712
- Peer Reviewed / Acknowledgement Compliant / Open Access
- Data Source
  KAKENHI-PROJECT-26245066, KAKENHI-PROJECT-26284005, KAKENHI-PROJECT-24000003, KAKENHI-PLANNED-23120002
[Journal Article] 初期フッサールの普遍算術と確定多様体について : 1901年冬草稿{ (招待論文）2015
- Author(s)
  岡田光弘
- Journal Title
  
  現象学年報
  
  Volume: 31 Pages: 1-12
- Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-26284005
[Journal Article] フッサール初期の普遍算術と確定多様体2015
- Author(s)
  岡田光弘
- Journal Title
  
  現象学年報
  
  Volume: 31 Pages: 1-12
- Acknowledgement Compliant
- Data Source
  KAKENHI-PLANNED-23120002
[Journal Article] Wittgenstein on Equinumerosity and Surveyability2014
- Author(s)
  M.atheu Marion & M.itsuhiro Okada
- Journal Title
  
  Grazer Philosophische Studien
  
  Volume: 89 Pages: 59-76
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23520036
[Journal Article] On the cognitive efficacy of Euler diagrams in syllogistic reasoning: a relational perspective2014
- Author(s)
  Koji Mineshima, Yuri Sato, Ryo Takemura, Mitsuhiro Okada.
- Journal Title
  
  Journal of Visual Languages and Computing
  
  Volume: 25 Pages: 156-169
- DOI
  10.1016/j.jvlc.2013.08.007
- Peer Reviewed / Acknowledgement Compliant / Open Access
- Data Source
  KAKENHI-PLANNED-23120002, KAKENHI-PROJECT-23300101, KAKENHI-PROJECT-24720016, KAKENHI-PROJECT-26284005, KAKENHI-PROJECT-26770009
[Journal Article] Towards explaining the cognitive efficacy of Euler diagrams in syllogistic reasoning: A relational perspective.2014
- Author(s)
  Koji Mineshima, Yuri Sato, Ryo Takemura, Mitsuhiro Okada
- Journal Title
  
  Journal of Visual Languages and Computing, accepted
  
  Volume: 25 Pages: 156-169
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23520036
[Journal Article] Wittgenstein on Equinumerosity and Surveyability2014
- Author(s)
  M. Marion & M. Okada
- Journal Title
  
  Grazer Philosophische Studien
  
  Volume: 89 Pages: 59-76
- Data Source
  KAKENHI-PLANNED-23120002
[Journal Article] Wittgenstein on equinumerosity and surveyability2014
- Author(s)
  Mathieu Marion and Mitsuhiro Okada
- Journal Title
  
  Grazer Philosophische Studien
  
  Volume: 89 Pages: 57-76
- Peer Reviewed
- Data Source
  KAKENHI-PLANNED-23120002
[Journal Article] Wittgenstein on equinumerosity and surveyability2014
- Author(s)
  Mathieu Marion and Mitsuhiro Okada
- Journal Title
  
  Grazer Philosophische Studien
  
  Volume: 89 Pages: 59-76
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26284005
[Journal Article] うつ病の脳内メカニズム-Functional MRIを用いた検討2014
- Author(s)
  岡田剛, 岡本泰昌, 志士田一宏, 上田一貴, 小野田慶一, 国里愛彦, 田中沙織, 銅谷賢治, 山脇成人
- Journal Title
  
  精神神経学会雑誌
  
  Volume: 116 Pages: 825-831
- Data Source
  KAKENHI-ORGANIZER-23120001
[Journal Article] Wittgenstein on Contradiction and Consistency: An Overview (to appear)2014
- Author(s)
  M.Marion & M. Okada
- Journal Title
  
  O Que No Faz Pensar
  
  Volume: -
- Data Source
  KAKENHI-PLANNED-23120002
[Journal Article] Intuition and Form in Formation of Proofs2013
- Author(s)
  1 Mitsuhiro Okada , , Toyo University, 1913, to appear,Invited Article, .(招待論文)
- Journal Title
  
  Annual Report of the International Research Center for Philosophy, Toyo University
  
  Volume: Accepted
- Data Source
  KAKENHI-PROJECT-23520036
[Journal Article] generalized syllogistic inference system based on inclusion and exclusion relations.2013
- Author(s)
  Koji Mineshima, Mitsuhiro Okada and Ryo Takemura、
- Journal Title
  
  Studia Logica (Special issue, Logic and Natural Language）
  
  Volume: 100-issue 4
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23520036
[Journal Article] Two cohort and three independent anonymous twin projects at the Keio Twin Research Center (KoTReC)(Running Title: Twin Projects of the Keio Twin Research Center)、2013
- Author(s)
  Juko Ando　et al. 26 co-authors. (Mitsuhiro Okada as the sub-leader of the logic-Baroco-DecisionMaking subprojects
- Journal Title
  
  Twin research and human genetics
  
  Volume: Accepted.
- Data Source
  KAKENHI-PROJECT-23520036
[Journal Article] Shape Perception in Chemistry2013
- Author(s)
  Janna HASTINGS1, Colin BATCHELOR and Mitsuhiro OKADA,, , accepted, 2013,
- Journal Title
  
  Shape 2013, CEUR Proceedings
  
  Volume: Accepted
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23520036
[Journal Article] Two cohort and three independent anonymous twin projects at the Keio Twin Research Center (KoTReC)2013
- Author(s)
  Ando. J, Shikishima C, Sugimoto Y, Okada M et al. (26 co-authors)
- Journal Title
  
  Twin research and human genetics
  
  Volume: 16 Pages: 211-254
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23520036
[Journal Article] Husserl and Hilbert on Completeness and Husserl’s Term Rewrite-based Theory of Multiplicity2013
- Author(s)
  Mitsuhiro Okada
- Journal Title
  
  24th International Conference on Rewriting Techniques and Applications (RTA 2013)
  
  Volume: 21 Pages: 4-19
- DOI
  10.4230/LIPIcs.RTA.2013.4
- Peer Reviewed
- Data Source
  KAKENHI-PLANNED-23120002, KAKENHI-PROJECT-23520036
[Journal Article] WITTGENSTEIN O N CONTRADICTION AND CONSISTENCY: AN OVERVIEW2013
- Author(s)
  Mathieu Marion and Mitsuhiro Okada
- Journal Title
  
  O Que Nos Faz Pensar
  
  Volume: Accepted
- Data Source
  KAKENHI-PROJECT-23520036
[Journal Article] Two cohort and three independent anonymous twin projects at the Keio Twin Research Center (KoTReC)2013
- Author(s)
  Ando, J., Fujisawa, K. K., Shiki shima, C., Hiraishi, K., Nozaki, M., Yamagata, S., Takahashi, Y., Ozaki, K., Suzuki, K., Deno, M., Sasaki. S.. Toda, T., Kobayashi, K., Sugimoto, Y., Okada, M., Kijima, N., Ono, Y., Yoshimura, K, Kakihana, S., Maekawa, H., Kamakura, T., Nonaka, K., Kato, N., & Ooki, S.
- Journal Title
  
  Twin Res Hum Genet.
  
  Volume: 16(1) Pages: 202-2016
- DOI
  10.1017/thg.2012.131
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-10J08837, KAKENHI-PLANNED-22129006, KAKENHI-PLANNED-23120002, KAKENHI-PROJECT-23249049, KAKENHI-PROJECT-23830038, KAKENHI-PROJECT-24300104, KAKENHI-PROJECT-25780387
[Journal Article] A generalized syllogistic inference system based on inclusion and exclusion relations2012
- Author(s)
  Koji Mineshima, Mitsuhiro Okada and Ryo Takemura
- Journal Title
  
  Studia Logica
  
  Volume: 100 Pages: 753-785
- DOI
  10.1007/s11225-012-9428-5
- Peer Reviewed
- Data Source
  KAKENHI-PLANNED-23120002
[Journal Article] A Diagrammatic Inference System with Euler Circles", accepted, to appearJournal of Logic2012
- Author(s)
  Koji Mineshima, Mitsuhiro Okada, and Ryo Takemura
- Journal Title
  
  Journal of Logic, Language and Information
  
  Volume: 21 Pages: 365-391
- DOI
  10.1007/s10849-012-9160-6
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22820053, KAKENHI-PLANNED-23120002, KAKENHI-PROJECT-23300101, KAKENHI-PROJECT-24720016
[Journal Article] Wittgenstein et le lien entre la signification d’enonce mathematique et sa preuve,2012
- Author(s)
  Mathieu Marion and Mitsuhiro Okada
- Journal Title
  
  Philosophiques, vol. 39, n° 1, 2012, p. 101-124., SPECIAL ISSUE ON WITTGENSTEIN
  
  Volume: 39- n1 Pages: 101-124
- Data Source
  KAKENHI-PROJECT-23520036
[Journal Article] On the cognitive efficacy of Euler diagrams in syllogistic reasoning: a relational per2012
- Author(s)
  Koji Mineshima, Yuri Sato, Ryo Takemura, and Mitsuhiro Okada.spective, Best Paper Award
- Journal Title
  
  Proceedings of 3rd International Workshop on Euler Diagrams,CEUR Workshop Proceedings
  
  Volume: Vol-854 Pages: 17-31
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23520036
[Journal Article] A Generalized Syllogistic Inference System based on Inclusion and Exclusion Relations2012
- Author(s)
  Koji Mineshima, Mitsuhiro Okada, and Ryo Takemura
- Journal Title
  
  Studia Logic
  
  Volume: 近刊　2011年５月採択済み
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23520036
[Journal Article] Wittgenstein et le lien entre la signification d'un enonce mathematique et sa preuve2012
- Author(s)
  Mathieu Marion and Mitsuhiro Okada
- Journal Title
  
  Philosophiques
  
  Volume: 39 Pages: 101-124
- Data Source
  KAKENHI-PLANNED-23120002
[Journal Article] 「図形を用いた演繹的推論の認知プロセス」2011
- Author(s)
  佐藤有理、峯島宏次、竹村亮、岡田光弘
- Journal Title
  
  日本認知科学会第28 回大会発表論文集
  
  Volume: － Pages: 269-274
- Peer Reviewed
- Data Source
  KAKENHI-PLANNED-23120002
[Journal Article] Is g an entity? A Japanese twin study using syllogisms and intelligence tests2009
- Author(s)
  Shikishima, C., Hiraishi, K., Yamagata, S., Sugimoto, Y., Takemura, R., Ozaki, K., Okada, M., Toda, T., & Ando, J.
- Journal Title
  
  Intelligence 37
  
  Pages: 256-267
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18330140
[Journal Article] Is g an entity? A Japanese twin study using syllogisms and intelligence tests2009
- Author(s)
  Shikishima, C., Hiraishi, K., Yamagata, S., Sugimoto, Y., Takemura, R., Ozaki, K., Okada, M., Toda, T., & Ando, J.
- Journal Title
  
  Intelligence (In press)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18330140
[Journal Article] Some Remarks on Difference between Gentzen's Finitist and Heyting's Intuitionist Approaches toward Intuitionistic Logic and Arithmetic2008
- Author(s)
  Mitsuhiro Okada
- Journal Title
  
  Annals of the Japan Association for Philosophy of Science 16巻
  
  Pages: 1-18
- NAID
  110007033705
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18650067
[Journal Article] Computational Semantics for Basic Protocol Logic-A Stochastic Approach,accepted to 12th Annual Asian Computing Science Conference(ALIAN'07)2007
- Author(s)
  Gergei Bana, Koji Hasebe, Mitsuhiro Okada
- Journal Title
  
  Lecture Notes in Computer Science vol.4846
  
  Pages: 86-94
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18650067
[Journal Article] A proof-theoretic study of the correspondence of classical logic and hybrid logic2007
- Author(s)
  Hirohiko Kushida, Mitsuhiro Okada
- Journal Title
  
  Journal of Logic, Language and Information 16
  
  Pages: 35-61
- Data Source
  KAKENHI-PROJECT-18650067
[Journal Article] A Crossroad of logic, psychology and behavioral genetics : Development of "BAROCO-test" in Keio Twin-Baroco Project2006
- Author(s)
  J.Ando, C.Shikishima, Y.Sugimoto, R.Takemura, P.Grialou, K.Hiraishi, M.Okada
- Journal Title
  
  Reasoning and Cognition, (Keio University Press) 近刊
- Data Source
  KAKENHI-PROJECT-16016276
[Journal Article] Intuitionistic phase semantics is almost classical2006
- Author(s)
  M.Kanovich, M.Okada, K.Terui
- Journal Title
  
  Mathematical Structure in Computer Science (to appear)
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15300008
[Journal Article] Intuitionistic phase semantics is almost classical2006
- Author(s)
  M.Kanovich, M.Okada, K.Terui
- Journal Title
  
  Mathematical Structure in Computer Science (近刊)
- Data Source
  KAKENHI-PROJECT-16016276
[Journal Article] Drug Interaction Ontology and Resource-Sensitive Logical Inferences2006
- Author(s)
  M.Okada, Y.Sugimoto, S.Yoshikawa, A.Konagaya
- Journal Title
  
  Algebra, Meaning, and Computation. A Festschrift in Honor of Prof. Joseph Goguen 近刊
- Data Source
  KAKENHI-PROJECT-16016276
[Journal Article] Cognitive Neuroscience for Deductive Reasoning and Inhibitory Mechanism : On the Belief-Bias Effect2006
- Author(s)
  Takeo Tsujii, Mitsuhiro Okada, Shigeru Watanabe
- Journal Title
  
  Reasoning and Cognition, (Keio University Press) 近刊
- Data Source
  KAKENHI-PROJECT-16016276
[Journal Article] Cognitive Neuroscience for Deductive Reasoning and Inhibitory Mechanism : On the Belief-Bias Effect2006
- Author(s)
  Takeo Tsujii, Mitsuhiro Okada, Shigeru Watanabe
- Journal Title
  
  Reasoning and Cognition, (Keio University Press) 近刊
- Data Source
  KAKENHI-PROJECT-15300008
[Journal Article] A Crossroad of logic, psychology and behavioral genetics : Development of "BAROCO-test" in Keio Twin-Baroco Project2006
- Author(s)
  J.Ando, C.Shikishima, Y.Sugimoto, R.Takemura, P.Grialou, K.Hiraishi, M.Okada
- Journal Title
  
  Reasoning and Cognition, (Keio University Press) 近刊
- Data Source
  KAKENHI-PROJECT-15300008
[Journal Article] Intuitionistic phase semantics is almost classical2006
- Author(s)
  M.Kanovich, M.Okada, K.Terui
- Journal Title
  
  Mathematical Structure in Computer Science 近刊
- Data Source
  KAKENHI-PROJECT-15300008
[Journal Article] Drug Interaction Ontology (DIO) an the Resource-Sensitive Logical Inferences2006
- Author(s)
  Mitsuhiro Okada, Yutaro Sugimoto, Sumi Yoshikawa, Akihiko Konagaya
- Journal Title
  
  Essays Dedicated to Joseph A. Goguen 2006
  
  Pages: 616-642
- Data Source
  KAKENHI-PROJECT-18650067
[Journal Article] Drug Interaction Ontology and Resource-Sensitive Logical Inferences2006
- Author(s)
  Mitsuhiro Okada, Yutaro Sugimoto, Sumi Yoshikawa, Akihiko Konagaya
- Journal Title
  
  Algebra, Meaning, and Computation. A Festschrift in Honor of Prof. Joseph Goguen 近刊
- Data Source
  KAKENHI-PROJECT-15300008
[Journal Article] Completeness and Counter-Example Generations of a Basic Protocol Logic2005
- Author(s)
  K.Hasebe, M.Okada
- Journal Title
  
  Electronic Notes in Theoretical Computer Science ; Proc.of RULE'05 (Invited Talk) (近刊)
- Data Source
  KAKENHI-PROJECT-16016276
[Journal Article] Questions on Two Cognitive Models of Deductive Reasoning2005
- Author(s)
  P.Grialou, M.Okada
- Journal Title
  
  In Image and Reasoning, eds.P.Grialou, G.Longo and M.Okada (近刊)
- Data Source
  KAKENHI-PROJECT-16016276
[Journal Article] Completeness and Counter-Example Generations of a Basic Protocol Logic2005
- Author(s)
  K.Hasebe, M.Okada
- Journal Title
  
  Electronic Notes in Theoretical Computer Science ; Proceedings of RULE '05(Invited Talk) (近刊)
- Data Source
  KAKENHI-PROJECT-15300008
[Journal Article] Linear Logic and Intuitionistic Logic2005
- Author(s)
  Mitsuhiro Okada
- Journal Title
  
  La revue internationale de philosophie No.230
  
  Pages: 449-481
- Data Source
  KAKENHI-PROJECT-15300008
[Journal Article] Completeness and Counter-Example Generations of a Basic Protocol Logic2005
- Author(s)
  K.Hasebe, M.Okada
- Journal Title
  
  Electronic Notes in Computer Science, Invited Paper of the 6th International Workshop on Rule-Based Programming (RULE'05) vol.147(1)
  
  Pages: 73-92
- Data Source
  KAKENHI-PROJECT-15300008
[Journal Article] Completeness and Counter-Example Generations of a Basic Protocol Logic2005
- Author(s)
  K.Hasebe, M.Okada
- Journal Title
  
  Electronic Notes in Computer Science, Invited Paper of the 6th International Workshop on Rule-Based Programming (RULE'05) vol.147(1)
  
  Pages: 73-92
- Data Source
  KAKENHI-PROJECT-16016276
[Journal Article] Linear Logic and Intuitionistic Logic2005
- Author(s)
  Mitsuhiro Okada
- Journal Title
  
  La revue internationale de philosophie No.230
  
  Pages: 449-481
- Data Source
  KAKENHI-PROJECT-16016276
[Journal Article] Completeness and Counter-Example Generations of a Basic Protocol Logic2005
- Author(s)
  K.Hasebe, M.Okada
- Journal Title
  
  6thlnternational Workshop on Rule-Based Programming (RULE'05) vol.147(1)
  
  Pages: 73-92
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15300008
[Journal Article] Non-monotonic Properties for Proving Correctness in a Framework of Compositional Logic2004
- Author(s)
  K.Hasebe, M.Okada
- Journal Title
  
  Workshop on Foundations 0f Computer Security (FCS'04)
  
  Pages: 97-113
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15300008
[Journal Article] Inferences on Honesty in Compositional Logic for Security Analysis2004
- Author(s)
  K.Hasebe, M.Okada
- Journal Title
  
  Proceedings of the International Symposium on Software Security 2002(ISSS2003) vol.3233
  
  Pages: 65-86
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15300008
[Journal Article] Honesty Inferences for Proving Correctness of Security Protocols2004
- Author(s)
  K.Hasebe, M.Okada
- Journal Title
  
  Workshop 0n New Approaches to Software Construction(WNASC 2004)
  
  Pages: 45-57
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15300008
[Journal Article] Linear Logic and Intuitionistic Logic2004
- Author(s)
  Mitsuhiro Okada
- Journal Title
  
  La revue Internationale de philosophie "Intuitionism" No.230, special issue
  
  Pages: 449-481
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15300008
[Journal Article] 矛盾は矛盾か2004
- Author(s)
  岡田光弘
- Journal Title
  
  科学哲学(日本科学哲学会) 36・2
  
  Pages: 79-102
- NAID
  130003640593
- Data Source
  KAKENHI-PROJECT-15300008
[Journal Article] Non-monotonic Properties for Proving Correctness in a Framework of Compositional Logic2004
- Author(s)
  K.Hasebe, M.Okada
- Journal Title
  
  Proc.of International Workshop Foundations of Computer Security '04
  
  Pages: 97-113
- Data Source
  KAKENHI-PROJECT-16016276
[Journal Article] Non-monotonic Properties for Proving Correctness in a Framework of Compositional Logic2004
- Author(s)
  K.Hasebe, M.Okada
- Journal Title
  
  Proceedings of Foundations of Computer Security '04 (Affiliated with LICS'04 and ICALPO4) Turku, Finland
  
  Pages: 97-113
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15300008
[Journal Article] Honesty Inferences for Proving Correctness of Security Protocols2004
- Author(s)
  K.Hasebe, M.Okada
- Journal Title
  
  Workshop on New Approaches to Software Construction (WNASC2004), Tokyo
  
  Pages: 45-57
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15300008
[Journal Article] Non-monotonic Properties for Proving Correctness in a Framework of Compositional Logic2004
- Author(s)
  K.Hasebe, M.Okada
- Journal Title
  
  Proceedings of Foundations of Computer Security '04(affiliated with LICS'04 and ICALP'04)
  
  Pages: 97-113
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15300008
[Journal Article] Inferences on Honesty in Compositional Logic for Security Analysis2004
- Author(s)
  K.Hasebe, M.Okada
- Journal Title
  
  Lecture Note in Computer Science ; Proc.of the International Symposium on Software Security 2003 3233
  
  Pages: 65-86
- Data Source
  KAKENHI-PROJECT-15300008
[Journal Article] Non-monotonic Properties for Proving Correctness in a Framework of Compositional Logic2004
- Author(s)
  K.Hasebe, M.Okada
- Journal Title
  
  Proc.of International Workshop Foundations of Computer Security '04
  
  Pages: 97-113
- Data Source
  KAKENHI-PROJECT-15300008
[Journal Article] 矛盾は矛盾か2004
- Author(s)
  岡田光弘
- Journal Title
  
  科学哲学(日本科学哲学会) 36・2
  
  Pages: 79-102
- NAID
  130003640593
- Data Source
  KAKENHI-PROJECT-16016276
[Journal Article] Non-monotonic Properties for Proving Correctness in a Framework of Compositional Logic2004
- Author(s)
  K.Hasebe, M.Okada
- Journal Title
  
  Workshop on Foundations of Computer Security (FCS'04), Turku, Finland
  
  Pages: 97-113
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15300008
[Journal Article] Inferences on Honesty in Compositional Logic for Security Analysis2004
- Author(s)
  Koji Hasebe, Mitsuhiro Okada
- Journal Title
  
  Proceedings of the International Symposium on Software Security 2003 (ISSS2003), Lecture Notes in Computer Science (Springer-Verlag) vol.3233
  
  Pages: 65-86
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15300008
[Journal Article] Linear Logic and Intuitionistic Logic2004
- Author(s)
  Mitsuhiro okada
- Journal Title
  
  La revue internationale de philosophie No.230
  
  Pages: 449-481
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15300008
[Journal Article] Inferences on Honesty in Compositional Logic for Security Analysis2004
- Author(s)
  K.Hasebe, M.Okada
- Journal Title
  
  Lecture Note in Computer Science ; Proc.of the International Symposium on Software Security 2003 3233
  
  Pages: 65-86
- Data Source
  KAKENHI-PROJECT-16016276
[Journal Article] Formal Verification of Dynamic Real-Time State-Transition Systems Using Linear Logic2003
- Author(s)
  K.Hasebe, J.-P.Jouannaud, A.Kremer, M.Okada, R.Zumkeller
- Journal Title
  
  日本ソフトウエア科学会第20回全国大会予稿集
- NAID
  130004638769
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15300008
[Journal Article] Formal Verification of Dynamic Real-Time State-Transition Systems Using Linear Logic2003
- Author(s)
  Koji Hasebe, Jean-Pierre Jouannaud, Antonie Kremer, Mitsuhiro Okada, Roland Zumkeller
- Journal Title
  
  20th Annual Conference of Japan Society for Software Science and Technology
  
  Pages: 5-5
- NAID
  130004638769
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15300008
[Journal Article] Intuitionistic phase semantics 15 almost classical
- Author(s)
  M.Kanovich, M.Okada, K.Terui
- Journal Title
  
  Mathematical Structure in Computer Science (to appear in 2006)
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15300008
[Presentation] Invited commentator to all presentations2020
- Author(s)
  Mitsuhiro Okada
- Organizer
  Mathematical and logical understanding and formalization Workshop in honor of Prof. Mitsuhiro Okada
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H02265
[Presentation] Invited commentator to all presentations2020
- Author(s)
  Mitsuhiro Okada
- Organizer
  Mathematical and logical understanding and formalization Workshop in honor of Prof. Mitsuhiro Okada
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19KK0006
[Presentation] Re-cosideration of "formal"inference and "forma" proof of logic2020
- Author(s)
  Mitsuhiro Okada
- Organizer
  University of Lyon-3 Logic Seminar,
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19KK0006
[Presentation] Re-cosideration of "formal " inference and "formal" proof of logic"2020
- Author(s)
  Mitsuhiro Okada
- Organizer
  University of Lyon-3 Logic Seminar
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H02265
[Presentation] Panel on Societal impacts of cybersecurity including elements relative to ethics, integrity,deontology and law (Panelist)2019
- Author(s)
  Mitsuhiro Okada
- Organizer
  5th France-Japan Cybersecurity Workshop
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H02265
[Presentation] Type and equality- A case study with inductive types,2019
- Author(s)
  Mitsuhiro Okada
- Organizer
  第５２回科学哲学会大会シンポジウム "Type Theory Re-Visited-Type, Abstraction, Classification"
- Data Source
  KAKENHI-PROJECT-17H02265
[Presentation] Types and equality- A case study with inductive types2019
- Author(s)
  Mitsuhiro Okada
- Organizer
  第５２回科学哲学会大会シンポジウム"Type Theory Re-Visited-Type, Abstraction, Classification"
- Data Source
  KAKENHI-PROJECT-19KK0006
[Presentation] Around norm, rule and disagreement2019
- Author(s)
  Mitsuhiro Okada
- Organizer
  France-Japan coillabstive Workshop on philopsophy of logic
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H02265
[Presentation] Ordinal Diagrams and Well-Quasi-Orderings2018
- Author(s)
  Mitsuhiro Okada and Yuta Takahashi
- Organizer
  French-Japanese Workshop on Philosophy of Logic and Mathematics
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H02265
[Presentation] Norm, Commitment and Normalization of Proof2018
- Author(s)
  Mitsuhiro Okada
- Organizer
  French-Japanese Workshop on Philosophy of Logic and Mathematics
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H02265
[Presentation] Report on formal method for providing security properties of cryptographic protocols2018
- Author(s)
  Gergei Bana and Mitsuhiro Okada
- Organizer
  The 5th Frabce-Japan Workshop on Cybersecty Workshop ,Keio University
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H02265
[Presentation] On quasi ordinal diagram systems2018
- Author(s)
  Mitsuhiro Okada and Yuta Takahashi
- Organizer
  TERMGRAPH 2018, University of Oxford
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H02265
[Presentation] Do we need “formal” language in logic?2018
- Author(s)
  Mitsuhiro Okada
- Organizer
  Logic, Language and Ontology
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H02263
[Presentation] Do we need "formal" language in logic?2018
- Author(s)
  Mitsuhiro Okada
- Organizer
  Logic Language and Ontology Workshop. Keio University
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H02265
[Presentation] Discussion: Fairness , privacy and ethics in AI2018
- Author(s)
  Mitsuhiro Okada
- Organizer
  The 4th France-Japan Workshop on Cybersecur, Keio University
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H02265
[Presentation] Why “formal” for algorithmic ethics research2018
- Author(s)
  Mitsuhiro Okada
- Organizer
  Associated satellite meeting, New issues on technology and algorithmic ethics
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H02265
[Presentation] Calculation, Proving and Rule2018
- Author(s)
  Mitsuhiro Okada
- Organizer
  「計算すること・従うこと―ウィトゲンシュタイン」再考　“Calculating and rule-following in Wittgenstein” revisited, 科学基礎論学会大会ワークショップ提題講演（千葉大学）
- Data Source
  KAKENHI-PROJECT-17H02265
[Presentation] What is logic?2017
- Author(s)
  Mitsuhiro Okada
- Organizer
  Global Perspectives on Reasoning and Scientific Method
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H02265
[Presentation] On introduction rules of generalized connectives with proof-nets and substructural logics2017
- Author(s)
  Yuki Nishimuta and Mitsuhiro Okada
- Organizer
  French-Japanese Meeting on Philosophy of Logic and Mathematics: Towards Philosophy of Proofs
- Place of Presentation
  Keio University (東京都港区)
- Year and Date
  2017-01-12
- Int'l Joint Research
- Data Source
  KAKENHI-PLANNED-23120002
[Presentation] On introduction ｒｕｌｅｓ　of generalized connectives of multiplicative linear logic2017
- Author(s)
  Yuki Nishimuta and Mitsuhiro Okadaaa
- Organizer
  Philosophy of Logic and Mathematics: Towards Philosophy of Proofs
- Place of Presentation
  Keio Ｕｎｉｖｅｒｓｉｔｙ　(東京都港区）
- Year and Date
  2017-01-12
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26284005
[Presentation] Normativity, Normality and Normalization of Proofs2017
- Author(s)
  Mitsuhiro Okada
- Organizer
  Philosophy of Logic and Mathematics
- Place of Presentation
  Keio University　(東京都港区)
- Year and Date
  2017-01-12
- Int'l Joint Research
- Data Source
  KAKENHI-PLANNED-23120002
[Presentation] What is logic?2017
- Author(s)
  Mitsuhiro Okada
- Organizer
  Global Perspectives on Reasoning and Scientific Method
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H02263
[Presentation] Normativity, Mormality and Mormalizability of Proofs2017
- Author(s)
  Mitsuhiro Okada
- Organizer
  Philosophy of Logic and Mathematics: Towards Philosophy of Proofs
- Place of Presentation
  Keio University　　(東京都港区）
- Year and Date
  2017-01-12
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26284005
[Presentation] What is logic?-Proofs proceed propositions2017
- Author(s)
  Mitsuhiro Okada
- Organizer
  Cerisy Meeting “Beyond logic”
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H02265
[Presentation] What is logic?-Proofs proceed propositions2017
- Author(s)
  Mitsuhiro Okada
- Organizer
  Cerisy Meeting "Beyond Logic"
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H02263
[Presentation] Formal verification for cryptographic protocols2017
- Author(s)
  Gergei Bana and Mitsuhiro Okada
- Organizer
  3rd International Meeting on Cybersecurity
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H02265
[Presentation] Ｌｉｎｅａｒ　ｌｏｇｉｃ　ａｎｄ　ｐｈｉｌｏｓｏｐｈｙ2016
- Author(s)
  Mitsuhiro Okada
- Organizer
  Philosophy of Linear Logic
- Place of Presentation
  University of Lyon　リヨン（フランス）
- Year and Date
  2016-11-08
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26284005
[Presentation] 眼球運動測定による多属性意思決定過程の検討：属性値の図的表現の影響2016
- Author(s)
  森井真広・井出野尚・竹村和久・岡田光弘
- Organizer
  第52回消費者行動研究コンファレンス
- Place of Presentation
  関西学院大学（大阪府大阪市）
- Year and Date
  2016-06-18
- Data Source
  KAKENHI-PROJECT-26284005
[Presentation] Effects of graphical representation in multi-attribute tables:2016
- Author(s)
  Masahiro Morii, Takashi Ideno, Mitsuhiro Okada, & Kazuhisa Takemura
- Organizer
  he 31st International Conference of Psychology
- Place of Presentation
  Pacifico Yokohama　（神奈川県横浜市）
- Year and Date
  2016-07-24
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26284005
[Presentation] Normativity in logic2016
- Author(s)
  Pierre Ｗagner and Mitsuhiro Okada
- Organizer
  Philosophy of Proofs
- Place of Presentation
  慶應義塾大学　（東京都港区）
- Year and Date
  2016-01-14
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26284005
[Presentation] Effects of graphical representation in multi-attribute tables:2016
- Author(s)
  Takashi Ideno, Masahiro Morii, Mitsuhiro Okada, & Kazuhisa Takemura
- Organizer
  The 31st International Conference of Psychology
- Place of Presentation
  Pacifico Yokohama　（神奈川県横浜市）
- Year and Date
  2016-07-24
- Int'l Joint Research
- Data Source
  KAKENHI-PLANNED-23120002
[Presentation] Formal proof vs proof form2016
- Author(s)
  Mitsuhiro Okada
- Organizer
  Univ-Paris 1- Keio U Collaborative Meeting on Philosophy of Logic
- Place of Presentation
  University of Paris 1 (IHPST)　パリ（フランス）
- Year and Date
  2016-11-11
- Int'l Joint Research
- Data Source
  KAKENHI-PLANNED-23120002
[Presentation] Proof-forms vs. formal-proofs: Towards reconsideration of "formal proofs" and related notions2016
- Author(s)
  Mitsuhiro Okada
- Organizer
  Workshop of Philosophy of Logic; Kant, Husserl and Linear Logic
- Place of Presentation
  Waseda University, Advanced Ｒesearch Institute　（東京都新宿区）
- Year and Date
  2016-10-21
- Invited
- Data Source
  KAKENHI-PLANNED-23120002
[Presentation] Some remarks on introduction rules of generalized connectives of multiple linear logic2016
- Author(s)
  Yuki Nishimuta and Mitsuhiro Okada
- Organizer
  Univ-Paris 1- Keio U Collaborative Meeting on Philosophy of Logic
- Place of Presentation
  University of Paris 1 IHPST　パリ　（フランス）
- Year and Date
  2016-11-11
- Int'l Joint Research
- Data Source
  KAKENHI-PLANNED-23120002
[Presentation] Philosophy of Arithmetic in Husserl and Wittgenstein2016
- Author(s)
  Mitsuhiro Okada
- Organizer
  Philosophy of Logic Workshop: Kant, Husserl, and Linear Logic”
- Place of Presentation
  Waseda University, Advanced research Institute　（東京都新宿区）
- Year and Date
  2016-10-21
- Invited
- Data Source
  KAKENHI-PROJECT-26284005
[Presentation] Semantics for “Enough-Certainty" and Fitting’s Embedding of Classical Logic in S42016
- Author(s)
  Gergei Bana and Mitsuhiro Okada
- Organizer
  Computer science Logic 2016
- Place of Presentation
  Ｕｎｉｖｅｒｓｉｔｙ　ｏｆ　Marseille　マルセイユ（フランス）
- Year and Date
  2016-08-29
- Int'l Joint Research
- Data Source
  KAKENHI-PLANNED-23120002
[Presentation] Philosophy of Arithmetic in Wittgenstein2016
- Author(s)
  Mitsuhiro Okada
- Organizer
  Wittgenstein Symposium
- Place of Presentation
  Keio University （神奈川県横浜市）
- Year and Date
  2016-12-20
- Invited
- Data Source
  KAKENHI-PROJECT-26284005
[Presentation] Semantics for “Enough-Certainty" and Fitting’s Embedding of Classical Logic in S42016
- Author(s)
  Gergei Bana and Mitsuhiro Okada
- Organizer
  Computer science Logic 2016
- Place of Presentation
  Ｕｎｉｖｅｒｓｉｔｙ　ｏｆ　Marseille　マルセイユ（フランス）
- Year and Date
  2016-08-28
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26284005
[Presentation] A study of multi-attribute decision making and reasoning2016
- Author(s)
  Takashi Ideno, Masahiro Morii, Mitsuhiro Okada, & Kazuhisa Takemura
- Organizer
  The 31st International Conference of Psychology
- Place of Presentation
  Pacifico Yokohama　（神奈川県横浜市）
- Year and Date
  2016-07-24
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26284005
[Presentation] 眼球運動測定による多属性意思決定過程の検討：属性値の図的表現の影響2016
- Author(s)
  森井真広・井出野尚・竹村和久・岡田光弘
- Organizer
  第52回消費者行動研究コンファレンス
- Place of Presentation
  関西学院大学　（大阪府大阪市）
- Year and Date
  2016-06-18
- Data Source
  KAKENHI-PLANNED-23120002
[Presentation] A study of multi-attribute decision making and reasoning2016
- Author(s)
  Takashi Ideno, Masahiro Morii, Mitsuhiro Okada, & KazuhisaTakemura .
- Organizer
  The 31st International Conference of Psychology
- Place of Presentation
  Pacifico Yokohama　（神奈川県横浜市）
- Year and Date
  2016-07-24
- Int'l Joint Research
- Data Source
  KAKENHI-PLANNED-23120002
[Presentation] Philosophy of Arithmetic in Wittgenstein2016
- Author(s)
  Mitsuhiro Okada
- Organizer
  Wittgenstein Symposium
- Place of Presentation
  Keio University (神奈川県横浜市）
- Year and Date
  2016-12-20
- Invited
- Data Source
  KAKENHI-PLANNED-23120002
[Presentation] Linear logic and philosophy2016
- Author(s)
  Mitsuhiro Okada
- Organizer
  Philosophy of Linear Logic
- Place of Presentation
  University of Lyon　リヨン市（フランス）
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PLANNED-23120002
[Presentation] 図的証明を用いた論理教育の試み2016
- Author(s)
  杉本雄太郎, 岡田光弘
- Organizer
  平成27年度日本科学教育学会第5回研究会
- Place of Presentation
  東京学芸大学　（東京都　小金井市）
- Year and Date
  2016-03-19
- Data Source
  KAKENHI-PROJECT-26284005
[Presentation] Multiplicative logics and introduction of generalized logical connectives2016
- Author(s)
  Mitsuhiro Okada
- Organizer
  Philosophy of Logic; Towards Philosophy of Proofs
- Place of Presentation
  Keio University (東京都港区)
- Year and Date
  2016-01-14
- Int'l Joint Research
- Data Source
  KAKENHI-PLANNED-23120002
[Presentation] Some remarks on introduction of generalized multiplicative connectives2016
- Author(s)
  Yuki Nishimuta and Mitsuhiro Okada
- Organizer
  Univ-Paris 1- Keio U Collaborative Meeting on Philosophy of Logic
- Place of Presentation
  University of Paris 1 (IHPST)　パリ（フランス）
- Year and Date
  2016-11-11
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26284005
[Presentation] Human Life and Turing Machine2015
- Author(s)
  岡田光弘
- Organizer
  Symposium of Symptom of being alive and shared life (Organized by French Embassy of Japan)
- Place of Presentation
  慶應義塾大学 (東京都・港区)
- Year and Date
  2015-03-16
- Invited
- Data Source
  KAKENHI-PROJECT-26284005
[Presentation] An eye-trucking study of decision-making and reasoning process2015
- Author(s)
  Takashi Ideno, Masahiro Morii and Mitsuhiro Okada
- Organizer
  SPUDM25 Subjective Probability, Utility, and Decision Making Conference,
- Place of Presentation
  Corvinus University, Budapest, Hungary
- Year and Date
  2015-08-16
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26284005
[Presentation] Decision making with multi-attribute tables2015
- Author(s)
  Mitsuhiro Okada
- Organizer
  the 5th Symposium on Biology of Decision Making
- Place of Presentation
  Ecole Normale Superieure (ENS) and ICM　パリ（フランス｝）
- Year and Date
  2015-05-11
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PLANNED-23120002
[Presentation] Husserlian Notion of Manifold as Proof-Rewrite Networks and its Extension2015
- Author(s)
  Mitsuhiro Okada
- Organizer
  Workshop "Trends in Proof Theory", Mathematical Society of Germany
- Place of Presentation
  Hamburg　Ｕｎｉｖｅｒｓｉｔｙ　ハンブルグ（ドイツ）
- Year and Date
  2015-09-20
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PLANNED-23120002
[Presentation] Formal Verification of Cryptographic Protocols and French-Japanese Collaboration2015
- Author(s)
  Gergei Bana and Mitsuhiro Okada
- Organizer
  Shonan-Village Workshop on Formal verification for Security and Privacy
- Place of Presentation
  Shonan-Villadge, NII　（神奈川県葉山町）
- Year and Date
  2015-10-23
- Int'l Joint Research
- Data Source
  KAKENHI-PLANNED-23120002
[Presentation] Human Life and Turing Machine2015
- Author(s)
  岡田光弘
- Organizer
  Symptoms of being alive and shared life
- Place of Presentation
  慶應義塾大学 (東京都・港区)
- Year and Date
  2015-02-16
- Invited
- Data Source
  KAKENHI-PLANNED-23120002
[Presentation] Husserl’s universal arithmatic and his proof theoretical view of formal mathematics”2015
- Author(s)
  Mitsuhiro Okada
- Organizer
  Workshop "Philosophy of Mathematics and Proof Theory"
- Place of Presentation
  Keio University　(東京都港区)
- Year and Date
  2015-09-10
- Int'l Joint Research
- Data Source
  KAKENHI-PLANNED-23120002
[Presentation] フッサールの多様体概念2014
- Author(s)
  岡田光弘
- Organizer
  日本現象学会
- Place of Presentation
  東洋大学 (東京都・文京区)
- Year and Date
  2014-11-29
- Invited
- Data Source
  KAKENHI-PROJECT-26284005
[Presentation] 初期フッサールの多様体概念2014
- Author(s)
  岡田光弘
- Organizer
  日本現象学会
- Place of Presentation
  東洋大学 (東京都・文京区)
- Year and Date
  2014-10-30
- Invited
- Data Source
  KAKENHI-PLANNED-23120002
[Presentation] Diagrammatic Logical Inferences and Proof Theory2012
- Author(s)
  Mitsuhiro Okada
- Organizer
  The Proof and Program Meeting, INRIA, Place d'Italie
- Place of Presentation
  INRIA, Paris、France
- Invited
- Data Source
  KAKENHI-PROJECT-23520036
[Presentation] Twin Study with Allais Paradox (Invited talk)2012
- Author(s)
  Mitsuhiro Okada, Chizuru Shikishima and Juko Ando
- Organizer
  Biology of decision Making
- Place of Presentation
  University of Paris, France
- Invited
- Data Source
  KAKENHI-PROJECT-23520036
[Presentation] Goodstein and Wittgenstein2012
- Author(s)
  Mathieu Marion and Mitsuhiro Okada
- Organizer
  Goodstein Meeting
- Place of Presentation
  Leichester University, UK
- Invited
- Data Source
  KAKENHI-PROJECT-23520036
[Presentation] Proof Theory for Euler Diagrammatic Inferences(Invited Talk)2012
- Author(s)
  Mitsuhiro Okada
- Organizer
  The Workshop of INRIA-Beijing Research Center on Software Science
- Place of Presentation
  INRIA=China Lab, Beijing, China
- Invited
- Data Source
  KAKENHI-PROJECT-23520036
[Presentation] Twin Study with Allais Paradox (Poster Presentation)2012
- Author(s)
  Mitsuhiro Okada, Shikishima Chizuru et al.
- Organizer
  International Behavioral Genetics Meeting
- Place of Presentation
  University of Edingburgh \, UK,
- Invited
- Data Source
  KAKENHI-PROJECT-23520036
[Presentation] What is Logic?2012
- Author(s)
  Mitsuhiro Okada
- Organizer
  The Kick-off Symposium of the Global Research Center for Logic ans Sensibility
- Place of Presentation
  Keio University, tokyo
- Data Source
  KAKENHI-PROJECT-23520036
[Presentation] Euler Diagram (Best Paper Award)2012
- Author(s)
  Yuri Sato, Koji Mineshima, Ryo Takemura and Mitsuhiro Okada
- Organizer
  the 3rd international Euler 2012 Workshop
- Place of Presentation
  St Andrews University, UK
- Data Source
  KAKENHI-PROJECT-23520036
[Presentation] 「図形を用いた演繹的推論の認知プロセス」2011
- Author(s)
  佐藤有理、峯島宏次、竹村亮、岡田光弘
- Organizer
  2011年度日本認知科学会第28回大会
- Place of Presentation
  東京大学
- Data Source
  KAKENHI-PLANNED-23120002
[Presentation] 図形を用いた演繹的推論の認知プロセス2011
- Author(s)
  佐藤有理、峯島宏次、竹村亮、岡田光弘
- Organizer
  2011年度日本認知科学会第28回大会
- Place of Presentation
  東京大学
- Data Source
  KAKENHI-PROJECT-23520036
[Presentation] Two Sources of Rewriting Logic2011
- Author(s)
  岡田光弘
- Organizer
  The 17th International Workshop on Logic, Language and Computation(招待講演)
- Place of Presentation
  University of Philarelphia
- Data Source
  KAKENHI-PROJECT-23520036
[Presentation] Philosophy of Arithmetical Proof of Wittgenstein
- Author(s)
  Mitsuhiro Okada
- Organizer
  Philosophy Seminar, University of Rome 3
- Place of Presentation
  University of Rome 3, Rome (イタリア)
- Invited
- Data Source
  KAKENHI-PROJECT-23520036
[Presentation] Husserl and Hilbert on Completeness
- Author(s)
  Mitsuhiro Okada
- Organizer
  Programs and Complexity
- Place of Presentation
  University of Lyon 3, Lyon (フランス)
- Invited
- Data Source
  KAKENHI-PROJECT-23520036
[Presentation] How deep are decision-theoretical paradoxes biologically wired?
- Author(s)
  Bourgeois-Gironde, S., Okada, M., Shikishima, C. & Ando, J.
- Organizer
  Second Symposium on Biology of Decision Making
- Place of Presentation
  Paris (France)
- Data Source
  KAKENHI-PLANNED-23120002
[Presentation] Equational arithmetic in Husserl and Wittgenstein
- Author(s)
  Mitsuhiro Okada
- Organizer
  International Workshop on Cognition of interactions
- Place of Presentation
  Universite Lyon 3 (France)
- Invited
- Data Source
  KAKENHI-PLANNED-23120002
[Presentation] Genetics of decision making: A Japanese twin study using the Allais problem.
- Author(s)
  Shikishima, C., Hiraishi, K., Yamagata, S., Ando, J. & Okada, M.
- Organizer
  42nd Annual Meeting of the Behavior Genetics Association
- Place of Presentation
  Edinburgh (United Kingdom)
- Data Source
  KAKENHI-PLANNED-23120002
[Presentation] Equational arithmetic in Husserl and Wittgenstein
- Author(s)
  Mitsuhiro Okada
- Organizer
  International Workshop on Cognition of interactions
- Place of Presentation
  Universite Lyon 3,Lyon (フランス)
- Invited
- Data Source
  KAKENHI-PROJECT-23520036

1. SATO Masahiko (20027387)

# of Collaborated Projects: 8 results

# of Collaborated Products: 0 results
2. NISHIYAMA Yuji (90051747)

# of Collaborated Projects: 6 results

# of Collaborated Products: 0 results
3. HAGIYA Masami (30156252)

# of Collaborated Projects: 5 results

# of Collaborated Products: 0 results
4. ISHIGURO Hideko (30212872)

# of Collaborated Projects: 5 results

# of Collaborated Products: 0 results
5. TUTIYA Syun (50155404)

# of Collaborated Projects: 5 results

# of Collaborated Products: 0 results
6. IIDA Takashi (10117327)

# of Collaborated Projects: 5 results

# of Collaborated Products: 0 results
7. HAYASHI Susumu (40156443)

# of Collaborated Projects: 4 results

# of Collaborated Products: 0 results
8. 野家茂樹 (50198636)

# of Collaborated Projects: 4 results

# of Collaborated Products: 0 results
9. 岩田孝 (80176552)

# of Collaborated Projects: 4 results

# of Collaborated Products: 0 results
10. 峯島宏次 (80725739)

# of Collaborated Projects: 4 results

# of Collaborated Products: 1 results
11. NISHIWAKI Yosaku (30118989)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
12. SUDO Michiko (60226587)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
13. TAKAHASHI Masako (00015588)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
14. OHORI Atsushi (60252532)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
15. FUTATSUGI Kokichi (50251971)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
16. KOBAYASHI Naoki (00262155)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
17. ONO Yutaka (70138098)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
18. 金子洋之 (60191988)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
19. ANDO Juko (30193105)

# of Collaborated Projects: 2 results

# of Collaborated Products: 5 results
20. HASEGAWA Toshikazu (30172894)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
21. HIRAISHI Kai (50343108)

# of Collaborated Projects: 2 results

# of Collaborated Products: 3 results
22. TAMURA Naoyuki (60207248)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
23. 米崎直樹 (00126286)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
24. 岡本賢吾 (00224072)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
25. 伊藤遼 (70853422)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
26. KACHI Daisuke (50251145)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
27. YONEZAWA Akinori (00133116)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
28. NOE Keiichi (40103220)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
29. IDA Tetsuo (70100047)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
30. ONO Hiroakira (90055319)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
31. IIDA Shusaku (80338590)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
32. OGATA Kazuhiro (30272991)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
33. MORI Akira (30311682)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
34. NAKAMURA Masaki (40345658)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
35. TERUI Kazushige (70353422)

# of Collaborated Projects: 1 results

# of Collaborated Products: 3 results
36. Doya Kenji (80188846)

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results
37. SAKAGAMI Masamichi (10225782)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
38. OKAMOTO Hitoshi (40183769)

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results
39. SHIBATA Tomohiro (40359873)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
40. HIKIDA Takatoshi (70421378)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
41. SUGIYAMA Masashi (90334515)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
42. KIMURA Minoru (40118451)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
43. IMAI Mutsumi (60255601)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
44. TAKAHASHI Hidehiko (60415429)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
45. 敷島千鶴 (00572116)

# of Collaborated Projects: 1 results

# of Collaborated Products: 5 results
46. 金子守 (40114061)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
47. 山田友幸 (40166723)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
48. 下嶋篤 (40303341)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
49. 金沢誠 (20261886)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
50. 藤本隆志 (20001795)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
51. 天野憲樹 (30313703)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
52. 菊池誠 (60273801)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
53. 三好博之 (60286135)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
54. 秋吉亮太 (20587852)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
55. 五十嵐涼介 (40853205)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
56. 細川雄一郎 (60853190)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
57. NAKAGAWA Wataru

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
58. PARIGOT Michel

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
59. HUET Gerard

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
60. JOUANNAUD Jean-Pierre

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
61. CURIEN Pierre-Luis

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
62. GIRARD Jan-Yves

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
63. DI ROCCO VALDECA FLORENCIA

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
64. DI ROCCO VALDECA FLORENCIA ANDREA

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
65. DI ROCCO VALDECANTOS FLORENCIA

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
66. TAKEMURA Ryo

# of Collaborated Projects: 0 results

# of Collaborated Products: 2 results
67. IDENO Takashi

# of Collaborated Projects: 0 results

# of Collaborated Products: 2 results
68. MORII Masahiro

# of Collaborated Projects: 0 results

# of Collaborated Products: 1 results
69. TAKAHASHI Yusuke

# of Collaborated Projects: 0 results

# of Collaborated Products: 1 results
70. 小林千浩

# of Collaborated Projects: 0 results

# of Collaborated Products: 2 results
71. 野嵜茉莉

# of Collaborated Projects: 0 results

# of Collaborated Products: 1 results
72. 山形伸二

# of Collaborated Projects: 0 results

# of Collaborated Products: 1 results
73. 竹村和久

# of Collaborated Projects: 0 results

# of Collaborated Products: 1 results
74. 戸田達史

# of Collaborated Projects: 0 results

# of Collaborated Products: 1 results

OKADA Mitsuhiro 岡田 光弘

岡田 光宏 オカダ ミツヒロ

Research Projects

Research Products

Co-Researchers

我々の情報環境に求められる「意思決定しやすい情報提示法」-多属性意思決定を中心にPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Interdisciplinary studies on philosophy of logic: Toward the development of philosophy of proof and demonstrationPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Study on "Disagreement" in logicPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Reading "Zen-no-kenkyu" of Nishida from the view of Wittgenstein's Language GameHost Researcher

Host Researcher

Project Period (FY)

Research Category

Research Field

Research Institution

New developments of the philosophy of mathematics

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

"Philosophy of Proofs" - Towards New Developments of Philosophy of Logic and MathematicsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Interdisciplinary study on logic, with a special focus on intuitionistic logicPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Logic and Computation of Prediction, Judgment and Decision MakingPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Interdisciplinary Study in Philosophy of Logic - With a special focus on theory of inferences and proofs of intuitionistic logicPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Elucidation of the Neral Computation for Prediction and Decision Making

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Behavioral genetic study in adolescence and adulthood by twin method

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

論理学・認知科学・遺伝学を統合した論理推論研究Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

モデルチェッキング法の限界を超えるダイナミック実時間システムのための論理的検証法Principal Investigator

Principal Investigator

Project Period (FY)

OKADA Mitsuhiro 岡田光弘

岡田光宏オカダミツヒロ