• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

OKADA Mitsuhiro  岡田 光弘

ORCIDConnect your ORCID iD *help
… Alternative Names

岡田 光宏  オカダ ミツヒロ

Less
Researcher Number 30224025
Other IDs
External Links
Affiliation (Current) 2022: 慶應義塾大学, 文学部(三田), 名誉教授
Affiliation (based on the past Project Information) *help 2019 – 2022: 慶應義塾大学, 文学部(三田), 名誉教授
2020: 慶應義塾大学, 文学部, 教授
2015 – 2019: 慶應義塾大学, 文学部(三田), 教授
2011 – 2016: 慶應義塾大学, 文学部, 教授
1996 – 2008: Keio Univ.Dept.of Philosophy, Professor, 文学部, 教授 … More
2001: 慶應義塾大学, 文学部・哲学科, 教授
1999 – 2001: Keio Univ., Dept. of Philosophy, Professor, 文学部, 教授
1998 – 1999: 慶応大学, 文学部, 教授
1996: Keio University, Professor, 文学部, 教授
1994 – 1995: 慶応義塾大学, 文学部, 助教授
1993 – 1995: 慶應義塾大学, 文学部, 助教授
1991 – 1992: 慶応義塾大学, 文学部, 助教授 Less
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 Philosophy / Educational psychology / 談話(ディスコース) / Science and Engineering / Complex systems / Philosophy/Ethics / Philosophy/Ethics Less
Keywords
Principal Investigator
線形論理 / 証明論 / 実時間システム / 形式仕様 / 形式検証 / 論理学 / 論理哲学 / タイプ理論 / 論理的意味論 / プログラミング言語 … More / 数学の哲学 / Linear Logic / モンターギュ意味論 / 高階論理 / 論理的手法 / 論理の哲学 / 計算モデル / 正規化定理 / 並行計算 / 直観主義論理 / 論理学史 / 図形推論 / 哲学 / 可能世界モデル / 関連性理論 / 形式的仕様 / 相意味論 / カット消去定理 / 論理推論 / 意思決定 / 論理 / ウィトゲンシュタイン / Type Theory / 論証 / 証明 / 代数的仕様言語 / プログラム言語 / ソフトウェア開発 / 関数型言語 / 指示的意味論 / モデル理論 / 様相 / 法律エキスパートシステム / 可能世界意味論 / 理論情報科学 / 形式的検証 / 実現可能計算量 / セマンティクス / 論理と数学の哲学 / 多属性意思決定 / 情報論理 / 図形論理 / 論理推論研究 / フッサール論理学 / フッサールの論理 / 論理学の哲学 / 図的論理 / 証明の正規化定理 / プログラム検証 / プログラム意味論 / 線形理論 / Proof Theory / Phase Semantics / Programming Language / Real Time System / Formal Verification / Formal Specification / 図的推論 / マルチ・パラダイム言語 / 実行可能仕様言語 / 論理型言語 / 内包的意味 / 内包論理 / 多世界モデル / 言語分析哲学 / モンターギュ文法 / ムード表現 / 言語行為論 / 手続的意味論 / 格文法 / 音声言語科学 / 終助詞 / 高階項書換え系 / 完全性定理 / プログラム形式検証 / 項書き換え系 / タイプ推論 / Inductive Types / 停止性 / 高階関数 / 構成論理 / モデルチェッキング / 論理的検証システム / 自動検証 / 認知哲学 / 三段論法 / 図的論理推論 / 行動遺伝学と意思決定 / アレパラドクス / 論理と意思決定 / 行動遺伝学 / 行動遺伝学(双生児法) / ゲーム理論 / アイトラッカー / 国際研究者交流 / フランス、オランダ、イタリア / フランス・カナダ / 認識論理 / 推論の化学 / 義務論理 / フッサール / 認知論理学 / 直観主義 / 通信プロトコル / 認知科学 / 国際情報交流 / Wittgenstein哲学 / 日常推論の認知科学 / 学際論理研究 / 学際論理推論研究 / ウィトゲンシュタインの数学の哲学 / 図形論理推論 / マルチ・パラダイム・プログラム言語 / 項書き換え論理 / π一計算 / 項書き換えシステム / 高階等式言語 / 論理的プログラム言語 / Multi-paradigm programming / Higher order term rewriting / Proof theory / Algebraic specification / Type theory / Typed lambda calculus / Termination problem / Mobile linear logic / 構成的証明 / 平行計算 / 直観主義理論 / Constructive Proof / Programming Languages / Program Verification / Program Semantics / Concurrency / Intuitionistic Logic / 関数型プログラム言語 / 論理プログラム言語 / 論理的計算モデル / 正規化定性 / Concurrent Processes / Normalization / Cut-Elimination / Functional Programming / Logic Programming / Logical Computation Model / 項書換理論 / プログラミング言語理論 / 形式仕様・形式検証 / 高階項書換系 / (強)停止性 / Term Rewriting Theory / Formal Specification and Verification / Higher Order Rewriting / プログラム言語理論 / 形式的プログラム検証 / 情報科学の論理 / Functional Language / Proof Theroy / Formal specification / 定時間システム / Formal Verifieation / Real-Time System / Real Time Systems / Proof Search / logical method / linear logic / formal specification / formal verification / real-time system / proof theory / 証明の哲学 / Wittgenstein / 証明論的・型論的意味論 / 図的表現と図的推論・判断 / ウィトゲンシュタインの哲学 / 論理哲学史 / 不一致の哲学 / 否定 / 論理的不一致 / 相互理解 / 不一致 / 議論の不一致の克服 / 計算機科学基礎と哲学 / 図的情報提示・グラフィック情報提示 / 多属性表 … 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
  • Research Projects

    (48 results)
  • Research Products

    (190 results)
  • Co-Researchers

    (74 People)
  •  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
  •  On information presentation methods for easier decison making: Studies on multi-attribute decision makingPrincipal 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
  •  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

All 2021 2020 2019 2018 2017 2016 2015 2014 2013 2012 2011 2009 2008 2007 2006 2005 2004 2003 Other

All Journal Article Presentation Book

  • [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] Wittgenstein's Uniqueness Rule as an Elimination Rule of Inductive Types:2021

    • Author(s)
      Okada Mitsuhiro
    • Journal Title

      Kagaku tetsugaku

      Volume: 53-1 Issue: 2 Pages: 95-114

    • DOI

      10.4216/jpssj.53.2_95

    • NAID

      130008009646

    • ISSN
      0289-3428, 1883-6461
    • Language
      English
    • Open Access
    • Data Source
      KAKENHI-PROJECT-19KK0006, KAKENHI-PROJECT-17H02263, KAKENHI-PROJECT-17H02265
  • [Journal Article] 線形論理の意味論のTruthmaker解釈に向けて2021

    • Author(s)
      小関健太郎、岡田光弘
    • Journal Title

      三田哲学会編 哲学

      Volume: 146-1 Pages: 19-37

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19KK0006
  • [Journal Article] 線形論理の意味論のTruthmaker解釈に向けて2021

    • Author(s)
      小関健太郎、岡田光弘
    • Journal Title

      三田哲学会編 哲学

      Volume: 146 Pages: 19-37

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17H02265
  • [Journal Article] 線形論理の意味論のTruthmaker解釈に向けて2021

    • Author(s)
      小関健太郎、岡田光弘
    • Journal Title

      三田哲学会編 哲学

      Volume: 146

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17H02263
  • [Journal Article] On Effects of Changing Multi-attribute Table Design on Decision Making: An Eye-Tracking Study2021

    • Author(s)
      Ideno, T., Morii, M., Takemura, K., & Okada, M.
    • Journal Title

      Lecture Notes in Computer Science

      Volume: 11 Pages: 365-381

    • DOI

      10.1007/978-3-030-54249-8_29

    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-19K13844, KAKENHI-PROJECT-19KK0006, KAKENHI-PROJECT-17H02263, KAKENHI-PROJECT-17H02265
  • [Journal Article] A Simplified Application of Howard’s Vector Notation System to Termination Proofs for Typed Lambda-Calculus Systems2020

    • Author(s)
      Mitsuhiro Okada, Yuta Takahashi.
    • Journal Title

      Springer Lecture Notes in Computer Science

      Volume: 1232 Pages: 136-155

    • DOI

      10.1007/978-3-030-63595-4_8

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19KK0006, KAKENHI-PROJECT-17H02263, KAKENHI-PROJECT-17H02265
  • [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] A Small Remark on Hilbert’s Finitist View of Divisibility and Kanovich-Okada-Scedrov’s Logical Analysis of Real-Time Systems2020

    • Author(s)
      Okada Mitsuhiro
    • Journal Title

      Logic, Language, and Security, Springer Lecture Notes in Computer Science

      Volume: 12300 Pages: 39-47

    • DOI

      10.1007/978-3-030-62077-6_3

    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-19KK0006, 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, KAKENHI-PROJECT-17H02263
  • [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

    • NAID

      120007166905

    • 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] Following a Rule: Waismann’s Variatio, in Philosophy of Logic and Mathematics2019

    • Author(s)
      Matheiu Marion and Mitsuhiro Okada
    • Journal Title

      Publications of the Austrian Ludwig Wittgenstein Society New Series

      Volume: 27 Pages: 359-374

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17H02263
  • [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年5月採択済み

    • 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] Report of Formal Method Working Group2021

    • Author(s)
      Mitsuhiro Okada
    • Organizer
      Intermediate Workshop of the France-Japan Cybersecurity Research Collaboration for 4 Cyber Security
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-19KK0006
  • [Presentation] The report of Formal Method Working Group2021

    • Author(s)
      Mitsuhiro Okada
    • Organizer
      Intermediate Workshop of the France-Japan Cybersecurity Research Collaboration for 4 Cyber Security
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17H02265
  • [Presentation] The report of Formal Method Working Group2021

    • Author(s)
      Mitsuhiro Okada
    • Organizer
      Intermediate Workshop of the France-Japan Cybersecurity Research Collaboration for 4 Cyber Security
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17H02263
  • [Presentation] Semantics for “Typically” and Default Reasoning2020

    • Author(s)
      Gergei Bana and Mitsuhiro Okada
    • Organizer
      Logic and Engineering of Natural Language Semantics
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-19KK0006
  • [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] Semantics for “Typically” and Default Reasoning2020

    • Author(s)
      Gergei Bana and Mitsuhiro Okada
    • Organizer
      Logic and Engineering of Natural Language Semantics
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17H02263
  • [Presentation] A Simplified Application of Howard's Vector Notation System to Termination Proofs for Typed Lambda-Calculus Systems2020

    • Author(s)
      Yuta Takahashi, Mitsuhiro Okada
    • Organizer
      The 13th International Workshop on Rewriting Logic and its Applications (WRLA 2020)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-19KK0006
  • [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] A Simplified Application of Howard's Vector Notation System to Termination Proofs for Typed Lambda-Calculus Systems2020

    • Author(s)
      Yuta Takahashi and Mitsuhiro Okada
    • Organizer
      The 13th International Workshop on Rewriting Logic and its Applications (WRLA 2020)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17H02265
  • [Presentation] On effects of changing multi-attribute table design to decision making: An eye tracking study2020

    • Author(s)
      Takashi Ideno, Masahiro Morii, Kazuhisa Takemura and Mitsuhiro Okada
    • Organizer
      Theory and Application of Diagrams
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17H02265
  • [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] A Simplified Application of Howard's Vector Notation System to Termination Proofs for Typed Lambda-Calculus Systems2020

    • Author(s)
      Yuta Takahashi, Mitsuhiro Okada
    • Organizer
      WRLA 2020
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17H02263
  • [Presentation] Semantics for “Typically” and Default Reasoning2020

    • Author(s)
      Gergei Bana and Mitsuhiro Okada
    • Organizer
      Logic and Engineering of Natural Language Semantics
    • 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] Societal impacts of cybersecurity including elements relative to ethics, integrity, deontology and law2019

    • Author(s)
      Mitsuhiro Okada
    • Organizer
      5th France-Japan Cybersecurity Workshop , Kyoto University
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17H02263
  • [Presentation] Type and equality- A case study with inductive types,2019

    • Author(s)
      Mitsuhiro Okada
    • Organizer
      第52回科学哲学会大会シンポジウム "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
      第52回科学哲学会大会シンポジウム"Type Theory Re-Visited-Type, Abstraction, Classification"
    • Data Source
      KAKENHI-PROJECT-19KK0006
  • [Presentation] Re-cosideration of "formal " inference and "formal" proof of logic2019

    • Author(s)
      Mitsuhiro Okada
    • Organizer
      Logic Seminar, University of Lyon-3
    • Data Source
      KAKENHI-PROJECT-17H02263
  • [Presentation] Type s and equality-Case study with inductive types2019

    • Author(s)
      Mitsuhiro Okada
    • Organizer
      科学哲学会大会シンポジウム
    • Invited
    • Data Source
      KAKENHI-PROJECT-17H02263
  • [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 rules 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 University (東京都港区)
    • 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] Linear logic and philosophy2016

    • 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 Wagner 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 Research 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
      University of 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
      University of 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 University ハンブルグ(ドイツ)
    • 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.  井出野 尚 (40805628)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 3 results
  • 58.  NAKAGAWA Wataru
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 59.  PARIGOT Michel
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 60.  HUET Gerard
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 61.  JOUANNAUD Jean-Pierre
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 62.  CURIEN Pierre-Luis
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 63.  GIRARD Jan-Yves
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 64.  DI ROCCO VALDECA FLORENCIA
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 65.  DI ROCCO VALDECA FLORENCIA ANDREA
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 66.  DI ROCCO VALDECANTOS FLORENCIA
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 67.  TAKEMURA Ryo
    # 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

URL: 

Are you sure that you want to connect your ORCID iD to this researcher?
* This action can be performed only by the researcher themselves.

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi