Rchr
J-GLOBAL ID:200901035990141050   Update date: Sep. 02, 2020

Mitsuhiro Okada

オカダ ミツヒロ | Mitsuhiro Okada
Affiliation and department:
Job title: Professor Emeritus
Other affiliations (8):
  • パリ第1大学  科学・技術史科学・技術哲学研究所(IHPST)   Associate Member (連携研究員)
  • 玉川大学脳科学研究所  脳科学研究所   客員教授
  • 論理と感性のグローバル研究センター  センター所長
  • 人間知性センター  兼担所員
  • University of paris 1  institute of History and Philosophy of Science and Technology   Associate Member
Show all
Homepage URL  (2): http://www.flet.keio.ac.jp/faculty/philosophy/index.html#faculty-19183http://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  (25):
  • 2003 - 現在 日米科学協力事業「ソフトウェア検証の論理的方法」更新のための企画研究
  • 2003 - 現在 モデルチェッキング法の限界を超えるダイナミック実時間システムのための論理的検証法
  • 2002 - 現在 モデルチェッキング法の限界を超えるダイナミック実時間システムのための論理的検証法
  • 2002 - 現在 特定領域研究及び国際共同研究「新しい論理学の展開」のための企画研究
  • 2001 - 現在 モデルチェッキング法の限界を超える新しい論理的手法によるダイナミックな実時間システムのための検証ツールの実現
Show all
Papers (123):
  • GERGEI BANA, ROHIT CHADHA, AJAY, KUMAR EERALLA, MITSUHIRO OKADA. Verification Methods for the Computationally Complete Symbolic Attacker Based on Indistinguishability. ACM Trans. Comput. Logic. 2019. to appear. 1
  • Juko Ando, Keiko K Fujisawa, Kai Hiraishi, Chizuru Shikishima, Tetsuya Kawamoto, Mari Nozaki, Shinji Yamagata, Yusuke Takahashi, Kunitake Suzuki, Yoshiaki Someya, et al. Psychosocial Twin Cohort Studies in Japan: The Keio Twin Research Center (KoTReC). Twin research and human genetics : the official journal of the International Society for Twin Studies. 2019. 22. 6. 591-596
  • Mitsuhiro Okada, Yuta Takahashi. On quasi-ordinal diagrams. 38-49, EPTCS 288, Post-Workshop Proceedings of the 10th EOTCS Post-Proceedings of Workshop on Computation with Terms and Graphs (TermGraph 2018). 2019. 38-49
  • Okada M, Takahashi Y. On quasi ordinal diagram systems. Electronic Proceedings in Theoretical Computer Science, EPTCS. 2019. 288. 38-49
  • UMarion Mathieu, Okada, Mitsuhiro, HR. Following a Rule: Waismann's Version. Publications of the Austrian Ludwig Wittgenstein Society - New Series. 2019
more...
MISC (15):
  • 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
  • 岡田 光弘. 歪んだ真珠(バロック)---音楽における規則性vs反規則性、または ロゴスvsパトス---. 藝文研究. 2003. 9
  • Koji Hasebe, V. Cremet, Jean-Pierre Jouannaud, Antonie Kremer, Mitsuhiro Okada. FATALIS: Real Time Processes as Linear Logic Specifications. International Workshop on Automated Verification of Infinite-State Systems. 2003
  • 大会ワークショップ「フォーマルオントロジーの工学と哲学」報告. 日本科学哲学会. 2002
  • うごめくウニは海の夢をみるか. 慶應義塾大学アートセンター. 2001. 16. 2-3
more...
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
more...
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)
more...
Works (4):
  • 飯田「ウィトゲンシュタイン」書評
    2000 - 現在
  • 公と私(石黒ひで氏との対談)
    1999 - 現在
  • 「脳と心のモデル(安西他著)」書評
    1994 - 現在
  • 大出「論理学入門」について
    1992 - 現在
Education (3):
  • 1987 - Keio University
  • 1983 - Keio University
  • 1979 - The University of Tokyo 哲学科
Professional career (2):
  • 文学博士 (慶應義塾)
  • 文学 (Keio University)
Work history (18):
  • 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/04 - 現在 慶應義塾大学 文学部 教授
Show all
Committee career (86):
  • 2019/04/01 - 現在 Philosophy of Science Society, Japan Chair of the Editorial Board
  • 2019/04/01 - 現在 日本科学哲学会 編集委員会委員長
  • 2019/01 - 現在 日本科学哲学会 大会実行委員会委員長
  • 2019/01 - 現在 日本科学哲学会 大会実行委員会委員長
  • 2017/04 - 現在 日本科学哲学会 理事会理事
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) (19):
CTRS(International Woorkshop on Conditional and Ty ,  MWPL(Montreal Workshops) P.Scottと共同編集 ,  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