Rchr
J-GLOBAL ID：200901035990141050   Update date: Feb. 14, 2024

Mitsuhiro Okada

オカダ ミツヒロ | Mitsuhiro Okada
Affiliation and department：
Keio University Faculty of Letters

About Keio University Faculty of Letters


Job title： Professor Emeritus
Other affiliations (6)：
  • パリ第1大学  科学・技術史科学・技術哲学研究所(IHPST)   Associate Member (連携研究員)
  • Tamagawa University  Brain Science Institute 
  • 論理と感性のグローバル研究センター  センター共同研究員
  • IHPST, University Paris-1  institute of History and Philosophy of Science and Technology   Associate Member
  • Brain Science Research Institute, Tamagawa University  Brain Research institute   Visiting Professor
Show all
Homepage URL  (2)： http://www.flet.keio.ac.jp/faculty/philosophy/index.html#faculty-19183 ,  http://www.flet.keio.ac.jp/en/faculty/index_2.html
Research field  (1)： Philosophy and ethics
Research keywords  (28)： Theoretical computer science ,  Diagrammatic logic ,  Computer security ,  logical and formal semantics ,  Logic ,  Logical philosophy and philosophy of language ,  Philosophy of logic ,  Logic and Sensibility ,  Proof theory ,  証明の哲学 ,  semantics for natural language ,  Theoretical computer Science ,  Provably secure cryptographic protocols ,  Mathematical logic ,  Philosophy of mathematics ,  Cognitive science on inference ,  Neuro-science for inference studies ,  Decision making studies ,  Network security and computer security ,  Interdisciplinary study of Inference ,  Multi-attribute decision making and consumer behavior ,  図形推論研究 ,  Philosophy ,  Husserl's logic and Husserl's philosophy of mathematics ,  Default reasoning ,  ウィトゲンシュタイン研究 ,  Algorithmic ethics ,  Philosophy of AI
Research theme for competitive and other funds  (29)：
  • 2003 - 現在 日米科学協力事業「ソフトウェア検証の論理的方法」更新のための企画研究
  • 2003 - 現在 モデルチェッキング法の限界を超えるダイナミック実時間システムのための論理的検証法
  • 2002 - 現在 モデルチェッキング法の限界を超えるダイナミック実時間システムのための論理的検証法
  • 2002 - 現在 特定領域研究及び国際共同研究「新しい論理学の展開」のための企画研究
  • 2001 - 現在 モデルチェッキング法の限界を超える新しい論理的手法によるダイナミックな実時間システムのための検証ツールの実現
Show all
Papers (135)：
ｍore...
MISC (18)：
  • Blanqui F, Jouannaud J.P, Okada M. Corrigendum to “Inductive-data-type systems” [Theoret. Comput. Sci. 272 (1-2) (2002) 41-68] (Theoretical Computer Science (2002) 272(1-2) (41-68), (S0304397500003479), (10.1016/S0304-3975(00)00347-9)). Theoretical Computer Science. 2020. 817. 81-82
  • Nigam V, Kirigin T.B, Talcott C, Guttman J, Kuznetsov S, Loo B.T, Okada M. Preface. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2020. 12300 LNCS. vii-viii
  • Nigam V, Kirigin T.B, Talcott C, Guttman J, Kuznetsov S, Loo B.T, Okada M. Preface. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2020. 12300 LNCS. vii-viii
  • Nigam V, Kirigin T.B, Talcott C, Guttman J, Kuznetsov S, Loo B.T, Okada M. Preface. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2020. 12300 LNCS. vii-viii
  • 岡田 光弘. 歪んだ真珠(バロック)---音楽における規則性vs反規則性、または ロゴスvsパトス---. 藝文研究. 2003. 9
ｍore...
Books (48)：
  • Wittgenstein and Goodstein on Uniqueness of Primitive recursive arithmetic, in "Wittgenstein in the 1930s:Investigations to Philosophical Investigations" (ed. by David Stern)
    Cambridge University Press 2018
  • Effects of Representation Patterns in Multi-Attribute Decision-Making: An Eye-Tracking Study
    Research Centre for Thinking and Behavioral Judgment, Keio University 2014
  • A Report of Reserch Center for Thinkingand and Behavioral Judgement
    Research Centre for Thinking and Behavioral Judgment, Keio University 2014
  • Eye-Tracking Study of Decision-Making with Graphically Represented Multi-Attribute Tables.
    Report of the Reserch Center for Thinking and Behavioral Judgement(ed.M.Okada et al.),Keio University 2014
  • La philosophiedes mathmatiques de Wittgenstein Wittgenstein(eds.Christine Chauvire and Sabine Plaud)
    Ellipes 2012
ｍore...
Lectures and oral presentations  (9)：
  • Societal impacts of cybersecurity including elements relative to ethics, integrity, deontology and law
    (The 5th France-Japan Workshop on Cybersecurity 2019)
  • normativity and rules
    (French-Japanese Meeting on Philosophy of Logic and Mathematics, "rule, Normativity and Disagreement" 2019)
  • Formal language and logic
    ("Logic, Language and Ontology" Workshop 2018)
  • Why "formal" is needed for algorithmic ethics?
    (French-Japanese Meeting for Algorithmic Fairness 2018)
  • A system of quasi-ordinal diagrams
    (The 20th International Workshop on Computation with Terms and Graphs 2018)
ｍore...
Works (4)：
  • 飯田「ウィトゲンシュタイン」書評
    2000 - 現在
  • 公と私(石黒ひで氏との対談)
    1999 - 現在
  • 「脳と心のモデル(安西他著)」書評
    1994 - 現在
  • 大出「論理学入門」について
    1992 - 現在
Education (3)：
  • 1987 - Keio University Graduate School, Division of Letters
  • 1983 - Keio University Graduate School, Division of Letters
  • 1979 - The University of Tokyo Faculty of Literature 哲学科
Professional career (2)：
  • 文学博士 (慶應義塾)
  • 文学 (Keio University)
Work history (19)：
  • 2017/03/15 - 現在 University of Paris-1, Institute of History and Philosophy of Science and Technology Institute of History and Philosophy of Science and Technology Associate Member
  • 2014/04 - 現在 慶應義塾大学先導研究所 慶應義塾大学論理と感性のグローバル研究センター 所長
  • 2012/04 - 現在 慶應義塾大学先導研究所 人間知性研究センター 所員(兼担)
  • 1998/04 - 現在 慶應義塾大学 大学院文学研究科 委員
  • 1996 - 現在 東京大学相関基礎科学研究科、科学史科学哲学コース大学院 前期および後期博士課程 ,非常勤講師
Show all
Committee career (90)：
  • 2020/04/01 - 現在 Japan Association for Philosophy of Science Director of International Exchanges
  • 2020/04/01 - 現在 科学基礎論学会 海外交流ディレクター
  • 2019/04/01 - 現在 Philosophy of Science Society, Japan Chair of the Editorial Board
  • 2019/04/01 - 現在 日本科学哲学会 編集委員会委員長
  • 2019/01 - 現在 日本科学哲学会 大会実行委員会委員長
Show all
Awards (3)：
  • 2019/07 - Univ-Paris 1 (Pantheon-Sorbonne) Invited professor selected for Feb 2020 Invited Professor
  • 1998/09 - Univ Paris 11 , Ministry of higher-Education and Research Professeur invite sur contingence national Professeur invite sur contingence national
  • 1991/09 - Concordia University Science College Fellow Science College Fellow
Association Membership(s) (18)：
CTRS(International Woorkshop on Conditional and Ty ,  MWPL(Montreal Workshops) P.Scottと共同編集 ,  RTA93(Rewriting Tecniques and Applications) ,  LICS93(IEEE-Logic in Computer Science) ,  科学哲学会大会実行委員会 ,  数学の哲学国際シンポジウム(Philosophy of Mathematics 96) ,  RTA98(Rewriting Thecnique and Application国際会議98年度大 ,  「タイプ理論と証明理論」国際ワークショップInternationd Works shop on Th ,  日本科学哲学会大会ワークショップ「21世紀の論理学-課題と展望」 ,  日本におけるフランス年日仏シンポジウム「VR(仮想現実)の社会的・文化的インパクト」 ,  日本科学基礎論学会 ,  論理プログラミングと自動推論(Logic Programming and Automated Rea ,  「フッサールの論理国際会議」(Logique de Husserl 2001),パリ・フッサール文庫 ,  日本学術振興会 ,  日本科学哲学会大会ワークショップ「フォーマルオントロジーの工学と哲学」 ,  日仏情報学ワークショップ(フランス外務省主催) ,  「ヒルベルト・ワークショップ」 ,  Consciousness Meeting
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page

TOP

BOTTOM