Okada, Mitsuhiro

J-GLOBAL         Last updated: Sep 17, 2019 at 02:41
 
Avatar
Name
Okada, Mitsuhiro
E-mail
okadaabelard.flet.keio.ac.jp
URL
http://www.flet.keio.ac.jp/en/faculty/index_2.html
Affiliation
Keio University
Section
Faculty of Letters Department of Humanities and Social Science (Philosophy)
Job title
Professor
Degree
文学(Keio University)
Other affiliation
Brain Science Research Institute, Tamagawa UniversityGlobal Research Center for Logic and Sensibility, Keio UniversityResearch Center for Himan Intelligence、Keio University
Research funding number
30224025

Profile

Towards clarifying logical thinking: An interdisciplinary,integrated research of logical reasoning Logic is one of the oldest forms of classical scholarship, and a great amount of research has been done since it was formulated by Aristotle in the 4th century BC. However, there are still a number of unresolved issues that remain in the study of logic and logical thinking in the 21st century. Through logic and logical research, I aim to clarify our understanding of how people think. In FY2013, I conducted multilateral logical research with a focus on philosopy, and from an intedisciplinary view including perspectives of mathematical logic, computational/informathion and cognitive science, neuroscience, and others. The main themes for the 2013 research were as found below. 1.Philosophical logic Presented a modern, re-evaluated perspectine of demonstration, computation theories, and philosophy of mathematics of such 20th century philosophers as Ludwig Wittgenstein and Edmund Husserl. 2.Cognitive science methods Began researching multi-attribute data design and presentathion(e.g.product catalogues)and decision-making by combining techniques from cognitive science(mainly eye tracking), social psychology and logical semantics. Moved foward with theoretical research and human subject research into diagrammatic reasoning and graphical reasoning theory. 3.Teoretical study of logical structure Researched basic logic theory known as linesr logic theory(a logic from which the distinction of the classical and intuitionistic logic emerges)with the aim of deconstructing it into a more basic set of logical inferences. 4.Behavioral genetics and logic, and decision-making Researched logical reasoning and rational decision-making through twin studies conducted with the behavioral genetics research group at Keio(the Ando lab). 5.Information logic and software science Researched logical methods of safety properties verification for software such as authentication(cryptographic communicathion) protocols. Much of the above research was conducted in the interdisciplinary research enviroment at the Global Research Center of Logic and Sensibility, for which I am currently serving as the head, as well as under the Next-Generation Research Projects program, the project of the Research Center for Thinking and Behavioral Judgement at Keio(Head:Prof.Ken Sekine), and the MEXT-funded research project, "Elucidation of the Neural Computation for Prediction and Decision Making". Finally, I cooperated with patner teams such as CNRS ans INRIA in France. My research in 2013 depended greatly on the help I received from collaborative partners both at Keio and beyond.

Research Areas

 
 
  • Philosophy / Philosophy/Ethics / Philosophy/Ethics / Philosophy of logic, Philosophy of mathematics,Wittgenstein, Informatic ethics, Psychology of decision making and logic, informatic logic

Academic & Professional Experience

 
Apr 1998
 - 
Today
委員, 大学院文学研究科, 慶應義塾大学
 
Apr 1996
 - 
Today
教授, 文学部, 慶應義塾大学
 
Sep 1990
 - 
Mar 1996
助教授, 文学部, 慶應義塾大学
 
Mar 2017
 - 
Today
Associate Member, Institute of History and Philosophy of Science and Technology, University of Paris-1, Institute of History and Philosophy of Science and Technology
 
Feb 2001
   
 
Professeur invite, Department of Philosophy, University of Paris-1, (Pantheon-Sorbonne)
 
Apr 1991
 - 
Mar 1992
,非常勤講師(春、秋学期), 外国語学部大学院 言語学専攻 前期および後期博士課程, 上智大学
 
1995
 - 
Today
神戸大学情報知能工学研究科大学院 前期および後期博士課程 ,非常勤講師(秋学期)
 
1995
 - 
Today
明治学院大学 法律学研究科 大学院 博士課程 ,非常勤講師(秋学期3回集中)
 
1996
 - 
Today
東京大学相関基礎科学研究科、科学史科学哲学コース大学院 前期および後期博士課程 ,非常勤講師
 
Oct 1997
 - 
Mar 1998
大学通信教育部学習指導副主任
 
Apr 1998
 - 
Mar 2000
東京大学教養学部 ,非常勤講師
 
Apr 1998
 - 
Mar 2000
大学通信教育部学習指導副主任
 
Mar 2000
 - 
Jun 2000
招聘教授, 情報学研究所, パリ大学科学部(第11校)
 
Jul 2000
 - 
Jan 2001
Invited Professor, INRIA
 
Jan 2001
 - 
Mar 2001
招聘教授, 哲学科及び科学部(第11校), パリ大学文学部(ソルボンヌ校)
 
Aug 2001
 - 
Sep 2001
招聘教授, 情報学研究所, パリ・エコールポリテクニック
 
Apr 2012
 - 
Today
所員(兼担), 人間知性研究センター, 慶應義塾大学先導研究所
 
Apr 2014
 - 
Today
所長, 慶應義塾大学論理と感性のグローバル研究センター, 慶應義塾大学先導研究所
 

Education

 
Mar 1979
   
 
哲学科, Faculty of Literature, The University of Tokyo
 
Mar 1983
   
 
Graduate School, Division of Letters, Keio University
 
Mar 1987
   
 
Graduate School, Division of Letters, Keio University
 

Committee Memberships

 
Apr 2019
 - 
Today
Philosophy of Science Society, Japan  Chair of the Editorial Board
 
Jan 2019
 - 
Today
日本科学哲学会  大会実行委員会委員長
 
Apr 2017
 - 
Today
日本科学基礎論学会  理事会理事
 
Apr 2017
 - 
Today
日本科学哲学会  理事会理事
 
Jan 2016
 - 
Today
Division of Logic, Methodology and Philosophy of Science and Technology, International Union of History and Philosophy of Science and Technology (国際科学・技術史科学・技術哲学学会連合)  Executive Committee Member (執行委員会委員) A, ssessor
 
Apr 2015
 - 
Today
French-Japanese Initiative for Cybersecurity Research Collaboration  Steering Committee Member
 
Jan 2015
 - 
Nov 2015
Linear Logic International Meeting  Scientific Program Committee
 
Apr 2014
 - 
Today
Global Research Center for Logic and Sensibility, Keio University (慶應義塾大学論理と感性のグローバル研究センター)  Director (研究所長)
 
Apr 2008
 - 
Today
科学基礎論学会  評議員
 
Apr 2004
 - 
Mar 2009
Interdisciplinary meeting on Ontology  オーガナイザー 共同代表(Barry Smith氏と)
 
Mar 2004
 - 
Today
Workshop "Images, Reason and Rasoning"  The Panel Discussion Leader
 
Dec 2003
 - 
Dec 2003
Takeuti Symposium  Organizer
 
Dec 2003
 - 
2004
シンポジウム「意識研究」の学際的方法論を求めて  オーガナイザー
 
Dec 2003
 - 
Dec 2003
Workshop "Logic and Philosophy of Math"  organizer
 
Jan 2002
 - 
Today
「ヒルベルト・ワークショップ」  オーガナイザー
 
Dec 2001
 - 
Today
日仏情報学ワークショップ(フランス外務省主催)  日本側代表
 
Aug 2001
 - 
Oct 2001
日本学術振興会  審査委員
 
Apr 2001
 - 
Today
日本科学哲学会  評議員
 
Apr 2001
   
 
「フッサールの論理国際会議」(Logique de Husserl 2001),パリ・フッサール文庫  共同議長
 
Jan 1998
 - 
Today
論理プログラミングと自動推論(Logic Programming and Automated Rea  委員
 
1998
 - 
Today
日本におけるフランス年日仏シンポジウム「VR(仮想現実)の社会的・文化的インパクト」  組織委員会日本側代表
 
1998
 - 
1999
「情報科学の論理」  国際会議プログラム委員会委員
 
1998
   
 
日本におけるフランス年日仏シンポジウム「VR(仮想現実)の社会的・文化的インパクト」  組織委員会日本側代表
 
Apr 1997
 - 
Mar 2000
三田哲学会誌「哲学」  編集担当幹事代表
 
1997
 - 
Today
「タイプ理論と証明理論」国際ワークショップInternationd Works shop on Th  プログラム委員兼組織委員
 
1997
 - 
1998
自動演繹証明国際学会1998年度大会(ドイツLindau大会)(International Conf  プログラム委員
 
1997
 - 
Nov 1997
日本科学哲学会大会ワークショップ「21世紀の論理学-課題と展望」  オーガナイザー(1997年11月)
 
1996
 - 
Today
RTA98(Rewriting Thecnique and Application国際会議98年度大  国内組織委員
 
1996
 - 
2000
ヨーロッパ理論情報学会(EATCS), Theoretical Computer Science誌、  客員編集員(Guest editor)
 
1996
 - 
1998
第3回線形論理国際会議(フランス・マルセイユ大学1998年4月開催)  共同プログラム委員長
 
1996
   
 
数学の哲学国際シンポジウム(Philosophy of Mathematics 96)  組織委員長
 
1995
 - 
Today
科学哲学会大会実行委員会  委員
 
1995
 - 
1996
Electronic Notes of Theoretical Computer Science(E  客員編集員(Guest editor)
 
1995
 - 
1996
第2回線形論理国際会議(Linear Logic 96, 1996年4月)  共同プログラム委員長
 
Jun 1993
 - 
Today
LICS93(IEEE-Logic in Computer Science)  Conference Co-Chair
 
Jun 1993
 - 
Today
RTA93(Rewriting Tecniques and Applications)  Conference Chair
 
1993
 - 
1997
RTA(Rewriting Technique and Application)  国際組織委員会委員
 
1993
 - 
1996
IEEE-LICS(Logic in Computer Science)  組織委員
 
Dec 1991
 - 
Today
MWPL(Montreal Workshops) P.Scottと共同編集  ワークショップ国際委員長兼報告集委員長
 
Apr 1991
 - 
Today
日本科学哲学会  編集委員
 
Apr 1991
 - 
Today
MWPL(Montreal Workshops) P.Scottと共同編集  ワークショップ国際委員長兼報告集委員長
 
Apr 1991
 - 
Mar 1993
ICOT(新世代コンピュータ技術開発機構(通産省外郭団体))「並行証明」部門委員会  委員
 
Jun 1990
 - 
1991
CTRS(International Woorkshop on Conditional and Ty  国際会議プログラム共同委員長、共同組織委員長
 

Awards & Honors

 
Jul 2019
Invited Professor, Invited professor selected for Feb 2020, Univ-Paris 1 (Pantheon-Sorbonne)
 
Sep 1998
Professeur invite sur contingence national, Professeur invite sur contingence national, Univ Paris 11 , Ministry of higher-Education and Research
 
Sep 1991
Science College Fellow, Science College Fellow, Concordia University
 

Published Papers

 
GERGEI BANA, ROHIT CHADHA, AJAY KUMAR EERALLA, MITSUHIRO OKADA
ACM Trans. Comput. Logic   to appear    Dec 2019   [Refereed]
On quasi-ordinal diagrams
Mitsuhiro Okada and Yuta Takahashi
38-49, EPTCS 288, Post-Workshop Proceedings of the 10th EOTCS Post-Proceedings of Workshop on Computation with Terms and Graphs (TermGraph 2018)   38-49   Mar 2019   [Refereed]
Following a Rule: Waismann's Version
<UMarion Mathieu and Okada, Mitsuhiro(/)-#HR
Publications of the Austrian Ludwig Wittgenstein Society – New Series      2019
Okada M., Takahashi Y.
Electronic Proceedings in Theoretical Computer Science, EPTCS   288 38-49   2019
© M. Okada & Y. Takahashi. The purposes of this note are the following two; we first generalize Okada-Takeuti’s well quasi ordinal diagram theory, utilizing the recent result of Dershowitz-Tzameret’s version of tree embedding theorem with gap co...
Okada, M., Morii, M., Ideno, T., Takemura, K. & Okada, M
Frontiers in Psychology   8(AUG), [1388].    Aug 2017   [Refereed]
What is logic?
Mitsuhiro Okada
Proceedings of "Beyond Logic" cericy Meeting May 21-May 26, 2017      Jul 2017   [Invited]
Gergei Bana and Mitsuhiro Okada
LIPIcs, Leibniz International Proceeding Series   34(2016)(article 23) 1-17   Aug 2016   [Refereed]
Mirja Hartimo and Mitsuhiro Okada
Synthese   193(3) 937-969   Mar 2016   [Refereed]
On definite manifolds and universal arithmetic in the early Husserl: 1901 winter manuscripts
岡田 光弘
Phenomenology Association of Japan   31 1-15   Nov 2015   [Invited]
Chizuru Shikishima, Kai Hiraishi, Shinji Yamagata, Juko Ando and Mitsuhiro Okada
Frontiers in Psychology,   6:1712, 2015    2015   [Refereed]
Towards explaining the cognitive efficacy of Euler diagrams in syllogistic reasoning:A relational perspective
Mineshima,K., Sato,Y., Takemura,R., & Okada,M.
Journal of Visual Language and Computing,Vol.25,Issue 3   156-169   Jun 2014   [Refereed]
Wittgenstein on Equinumerosity and Surveyability
M. Marion and M. Okada
Grazer Philosophische Studien, vol.89   89 59-76   2014   [Refereed]
Computational Soundress of cryptographic communication protocols,CCS 2013,ACM Proceedings,Des 2013
Gergery Bana, Koji Hasebe and Mitsuhiro Okada
Association for Computing Machinery      Dec 2013   [Refereed]
Gergei Bana, Koji Hasebe, Mitsuhiro Okada
SIGSAC conference on Computer and communications security   (CCS2013) 1231-1246   Nov 2013
Wittgenstein on Contradiction and Consistency:An Overview
Marion,M.& Okada,M.
Ludovic Soutif,tif,Luiz Carlos Pereira & Camila Jourdan(eds.)Wittgenstein:Matematica,Linguagem,Percepcao,O que nos faz pensar,n 33   50-79   Jun 2013   [Invited]
Two cohort and three independent anonymous twin projects at the Keio Twin Research center(KoTReC)
Ando,J.,Hujisawa,K.,et al.(Okada,M 15/26番目)
Twin research and human genetics,Feb 2013,Vol.16,Special Issue 01   202-216   Feb 2013   [Invited]
Shape Perception in Chemistry
Janna Hastings, Colin Batchelor and Mitsuhiro Okada
CEUR Proceedings      2013   [Refereed]
Husserl and Hilbert on Completeness and Husserl's Rewrite-Based Theory of Multiplicity
Mitsuhiro Okada
Rewrite Theory and its Applications (RTA 2013),Leibniz Internathinal Proceedings in Infomations(LIPIcs),Vol.21   4-19   2013   [Invited]
On The Cognitive Efficacy of Euler Diagrams in Syllogistic Reasoning: A Relational Perspective
Koji Mineshima, Yuri Sato, Ryo Takemura, and Mitsuhiro Okada.
In Proceedings of the 3rd international workshop on euler diagrams (euler diagrams 2012), CEUR Workshop Proceedings   854 17-31   2012   [Refereed]
A Diagrammatic Inference System with Euler Circles
Koji Mineshima, Mitsuhiro Okada and Ryo Takemura
Journal of Logic, Language and Information, Vol.21, Issue 3   365-391   2012   [Refereed]
Wittgenstein et le lien entre la signification d' un enonce mathematique et sa preuve
Mathieu Marion and Mitsuhiro Okada
Philosophiques,Vol.39,n゜(Wittgenstein Special Issue)   101-124   2012   [Invited]
A Generalized Syllogistic Inference System based on Inclusion and Exclusion Relations
Koji Mineshima, Mitsuhiro Okada and Ryo Takemura
Studia Logica,Vol.100,Issue 4(Special issue,Logic and Natural Language)   100(4) 753-785   2012   [Refereed]
On the Cognitive Efficacy of Euler Diagrams in Syllogistic Reasoning: A Relational Perspective
Yuri Sato, Koji Mineshima, Ryo Takemura, Mitsuhiro Okada
Proceedings of 3rd International Workshop on Euler Diagrams,CEUR Workshop Proceedings,Vol.854   17-31   2012   [Refereed]
図形を用いた演繹的推論の認知プロセス
佐藤 有理, 峯島 宏次, 竹村 亮, and 岡田 光弘
日本認知科学会第28回大会論文集   269-274   2011
Effects of aging on hemispheric asymmetry in inferior frontal cortex activity during belief-bias syllogistic reasoning: A near-infrared spectroscopy study
Takeo Tsujii, Mitsuhiro Okada, Shigeru WatanabeOKADA
Behavioural Brain Research   6 178-183   Jul 2010
Secrecy-Oriented First-Order Logical Analysis of Cryptographic Protocols
Gergei Bana, Koji Hasebe, and Mitsuhiro Okada
IACR Cryptology ePrint Archive      2010
セキュリティプロトコルの論理的検証法
長谷部浩二、バナ・ゲルゲイ、岡田光弘
荻谷昌巳・塚田恭章共編『数理的技法による情報セキュリティ』      2010   [Refereed]
Two Types of Diagrammatic Inference System:Relation-based System as Natural Deduction and Region-based System as Resolution,2010,Proceedings of 6th International Conference on the Theory and Application of Diagrams(DIAGRAMS 2010)
Koji Mineshima,Mitsuhiro Okada and Ryo Takemura
Springer      2010   [Refereed]
オイラー図・ヴェン図を用いた図形推論の証論的分析
竹村亮、峯村宏次、佐藤有理、岡田光弘
2010年度人工知能学会全国大会(第24回)JSAI2010論文集      2010
オントロジーの論理学的、哲学的源泉
岡田 光弘
日本人工知能学会誌 No.5      2010   [Invited]
Is g an entity? A japanese twin study using syllogysms and intelligence tests.
Chizuru Shikishima, Kai Hiraishi, Shinji Yamagata, Yutaro Sugimoto, Ryo Takemura, Koken Ozaki, Mitsuhiro Okada, Tatsushi Toda, Juko Ando
Intelligence   37(3) 256-267   2009   [Refereed]
Computational Semantics for First-Order Logical Analysis of Cryptographic protocols,Formal to Pratical Sucurity
G.Bana, K.Hasebe, M.Okada
Volume 5458 of Springer Lecture Notes in Computer Science   33-56   2009   [Refereed]
Conservativity for a hierarchy of Euler and Venn reasoning systems
Koji Mineshima, Mitshihiro Okada and Ryo Takemura
Proceedings of Visual Language and Logoc 2009.,CEUR Series Vol.510   37-61   2009   [Refereed]
Diagrammatic Reasoning System with Euler Circles
Koji Mineshima, Mitsuhiro Okada, Yuri Sato and Ryo takemura
Theory and Experiment Design,2008,Proceedings of 5th International Conference on the Theory and Application of Diagrams(DIAGRAMS 2008),Lecture Notes In Artificial Intelligence,Vol.5223,Springer-Verlag,188-2      2008   [Refereed]
Some remarks on difference between Gentzen's finitist and Heyting's intuitionist approaches toward intuitionistic logic and arithmetic.
Mitsuhiro Okada
Annals of the Japan Association for Philosophy of Science, Vol.16   1-18   2008   [Refereed]
フッサール、ゲーデルから線形論理へ.
岡田光弘
「現代思想」Vol.35, No.3   149-163   Feb 2007   [Invited]
BAN論理からprotocol composition logicへ:セキュリティプロトコルの老理的検証法
長谷部浩二、岡田光弘.
応用数理、Vol.17,No.4   311-322   2007   [Refereed]
Compuational Sematics for Basic Protocol Logic-A Stochastic Approach, Proceedings of ASIAN 07 the 12th Annual Asian Computing Science Conference
G.Bana, K.Hasebe and M.Okada
Vol.4846 of Lecture Notes in Compuer Science   86-94   2007   [Refereed]
Remarks on Semantic Completeness for Proof-Terms with Laird's Dual Affine/Intuitionistic λ-Calculus
Mitsuhiro Okada and Ryo Takemura
Volume 4600 of Lecture Notes in Computer Science, Springer   167-181   2007   [Refereed]
A proof-theoretic study of the correspondence of hybrid logic and classical logic.
HIirohiko Kushida and Mitsuhiro Okada
Journal of Logic, Language and Information, Vol.16, No.1   35-61   2007   [Refereed]
Intuithionistic phase semantics is almost classical.
Max I.Kanovich, Mitsuhiro Okada, and Kzushige Terui
Mathematical Structures in Computer Science, Vol.16, No.1   67-86   2006   [Refereed]
Completeness and Counter-Example Generations of a Basic Protocol Logic (extended abstract)
Mitsuhiro Okada, Koji Hasebe
6th International Workshop on Rule-Based Programming (RULE'05), volume 147 of Electronic Notes in Theoretical Computer Science   to appear 73-92   2006   [Refereed][Invited]
Honesty Inferences for Proving Correctness of Security Protocols
Mitsuhiro Okada and Kouji Hasebe
Workshop on New Approaches to Software Construction (WNASC 2004)   45-57   Sep 2004   [Refereed]
Non-monotonic Properties for Proving Correctness in a Framework of Compositional Logic
Mitsuhiro Okada and Kouji Hasebe
Workshop on Foundations of Computer Security (FCS'04)   97-113   Jul 2004   [Refereed]
Inferences on Honesty in Compositional Logic for Security Analysis
Mitsuhiro Okada and Kouji Hasebe
the International Symposium on Software Security 2003 (ISSS2003)   65-86   Jun 2004   [Refereed]
「矛盾は矛盾か」 日本科学哲学会ラッセルパラドクス100年特集
岡田 光弘
科学哲学   36(2) 79-102   2004   [Refereed]
Linear Logic and Intuitionistic Logic
Mitsuhiro Okada
La revue International de philosphie   (230) 449-481   2004   [Refereed]
Formal Verification of Dynamic Real-Time State-Transition Systems Using Linear Logic
Koji Hasebe, Jean-Pierre Jouannaud, Antonie Kremer, Mitsuhiro Okada, and Roland Zumkeller
日本ソフトウェア科学会第20回全国大会予稿集      Sep 2003
A Graph-Theoretic Characterization Theorem for Multiplicative Fragment of Non-Commutative Linear Logic
Mitsuhiro Okada
Theoretical Computer Science   294(3) 551-573   Feb 2003   [Refereed]
Linear Logic
J.-Y. Girard, M. Okada, A. Scedrov (guest editors)
Theoretical Computer Science   294(3)    Feb 2003   [Refereed]

Misc

 
FATALIS: Real Time Processes as Linear Logic Specifications
Koji Hasebe, V. Cremet, Jean-Pierre Jouannaud, Antonie Kremer, and Mitsuhiro Okada
International Workshop on Automated Verification of Infinite-State Systems      2003
歪んだ真珠(バロック)---音楽における規則性vs反規則性、または ロゴスvsパトス---
岡田 光弘
藝文研究   (9)    2003
大会ワークショップ「フォーマルオントロジーの工学と哲学」報告
日本科学哲学会      2002
うごめくウニは海の夢をみるか
慶應義塾大学アートセンター   16 2-3   Oct 2001
仮想電子環境と生活環境
三色旗 慶應義塾大学通信教育部      2000

Books etc

 
Wittgenstein and Goodstein on Uniqueness of Primitive recursive arithmetic, in "Wittgenstein in the 1930s:Investigations to Philosophical Investigations" (ed. by David Stern)
Mathieu Marion and Mitsuhiro Okada (Part:Joint Work, Chapter authors)
Cambridge University Press   Nov 2018   
A Report of Reserch Center for Thinkingand and Behavioral Judgement
Mitsuhiro Okada, Tatsuya Kashiwabata, Hisanori Tsuge, Juko Ando, Jun ichi Yamamoto, Takayuki Sakagami, Satoshi Umeda, Masao Ogaki, Hideo Akabayashi, Noburu Notomi, and Keiko Fujisawa. (Part:Joint Work)
Research Centre for Thinking and Behavioral Judgment, Keio University   Dec 2014   
Effects of Representation Patterns in Multi-Attribute Decision-Making: An Eye-Tracking Study
Masahiro Morii, Takashi Ideno, Shigetaka Okubo, and Mitsuhiro Okada (Part:Joint Work)
Research Centre for Thinking and Behavioral Judgment, Keio University   Dec 2014   
Eye-Tracking Study of Decision-Making with Graphically Represented Multi-Attribute Tables.
Okubo,S.& Okada,M. (Part:Joint Work, 17-23)
Report of the Reserch Center for Thinking and Behavioral Judgement(ed.M.Okada et al.),Keio University   2014   
Logic and Cognition in Reasoning with Euler Diagrams: A Relational Perspective
Mitsuhiro Okada
Global COE, GRALS   2012   

Conference Activities & Talks

 
Societal impacts of cybersecurity including elements relative to ethics, integrity, deontology and law
Mitsuhiro Okada, Panelist
The 5th France-Japan Workshop on Cybersecurity   25 Apr 2019   Keio University, NICT, French Embassy in Japan, INRIA, CNRS
normativity and rules
OKADA MITSUHIRO
French-Japanese Meeting on Philosophy of Logic and Mathematics, "rule, Normativity and Disagreement"   Jan 2019   French-japanese CNRA-Keio U Project
Formal language and logic [Invited]
Mitsuhiro Okada
"Logic, Language and Ontology" Workshop   8 Nov 2018   "Logic, Language and Ontology" Workshop Organizing Committ
Why "formal" is needed for algorithmic ethics?
Mitsuhiro Okada
French-Japanese Meeting for Algorithmic Fairness   31 Oct 2018   
A system of quasi-ordinal diagrams
OKADA, MITSUHIRO-Takahashi,Yuta
The 20th International Workshop on Computation with Terms and Graphs   8 Jul 2018   TermGraph2 018 Program Committee

Teaching Experience

 
 

Works

 
飯田「ウィトゲンシュタイン」書評
The Others   2000 - Today
左記図書の書評
公と私(石黒ひで氏との対談)
The Others   May 1999 - Today
左記テーマでの対談
「脳と心のモデル(安西他著)」書評
The Others   1994 - Today
左記図書の書評
大出「論理学入門」について
The Others   Nov 1992 - Today
左記図書についての書評

Research Grants & Projects

 
A New Development of "Philosophy of Logic and Mathematics" from the view point of "Philosophy of Proofs"
JSPS: Grant-in-Aid for Scientific Research
Project Year: Apr 2017 - Mar 2022    Investigator(s): Mitsuhiro OKADA
We give new view points and new solutions to the fundamental issues in philosophy of logic and philosophy of mathematics
Information security research based on logical-formal methods-cruptographic protocols quantitative information flow analysys
JSPS: AYAME-Program (JSPS-INRIA)
Project Year: Apr 2016 - Mar 2019    Investigator(s): Mitsuhiro OKADA
Weare developing theory and techniques of "provabl" secure cryptographic protocols, by which security properties are logically-formally provable.
Interdisciplinary study on logical philosophy based on intuitionistic logic
JSPS: Grant-in-Aid for Scientific Research
Project Year: Apr 2014 - Mar 2018    Investigator(s): OKADA, Mitsuhiro
哲学・倫理学
Logic and computation for prediction, judgment and decision making
JSPS: Grant-in-Aid for Scientific Research
Project Year: Jul 2011 - Mar 2016    Investigator(s): OKADA, Mitsuhiro
予測と意思決定の脳内計算機構の解明による人間理解と応用
論理哲学の学際研究ー直観主義論理の推論・証明理論を中心として
日本学術振興会: Grant-in-Aid for Scientific Research
Project Year: Apr 2011 - Mar 2015    Investigator(s): OKADA, Mitsuhiro
前年度に引き続き、直観主義論理を中心とした現代論理学的研究を行った。直観主義論理と古典論理を含む論理の一元論的捉え方について、線形論理的手法と観点を拡張することを通じて検討し、成果を挙げた。このことを証明論、論理的意味論の両面から考察し、またその両者を融合する見方を与えた。

フッサール、ヒルベルト学派、ウィトゲンシュタインを中心とした論理哲学の研究を進め、直観主義論理と古典論理との関係について新しい哲学的知見を得た。特に等式算術証明体系に対してフッサールとウィトゲンシュタインが20世紀初...
Logical inference research by combining logic, cognitive acience and genetics
JSPS: Grant-in-Aid for Scientific Research
Project Year: Apr 2006 - Mar 2008    Investigator(s): Mitsuhiro OKADA
We proposed a new research method for logical inference research, by includng the aspects of logic, cognition stdies andbehavioral genetics.
Behavioral genetic study in adolescence and adulthood by twin method
日本学術振興会: Grant-in-Aid for Scientific Research
Project Year: 2006 - Mar 2009    Investigator(s): ANDO, Juko
800組の青年・成人期の双生児を対象とした行動遺伝学的研究から、認知能力、パーソナリティなどの遺伝・環境構造の解明を行った。一般知能の遺伝的実在性、社会的適応に及ぼす内的環境適応の過程、パーソナリティの普遍的遺伝構造モデルの提案、自尊心感情の縦断的変化などが成果としてなされた。また双生児データのデータベース化、webによる双生児調査フレームワークの確立もなされた。
論理学・認知科学・遺伝学を統合した論理推論研究
日本学術振興会: Grant-in-Aid for Scientific Research
Project Year: 2006 - 2007    Investigator(s): OKADA, Mitsuhiro
1)線形論理や種々の新しい論理学理論の立場から、伝統的な認知科学的理論推論モデルや理論哲学的論理推論モデルの批判的分析や改訂を行った。特に、メンタルモデル理論とメンタルロジック理論に関する認知心理学の古典的論争やシンタクスとセマンティクスに関する論理哲学、情報科学等における二元論を現代論理学的観点から見直した。2)これまでは比較的少数の被験者調査を行うのが常であったが、統計的手法による実証的なデータ解析による大規模調査の方法論の研究を行った。「Baroco論理推論課題集」と呼ばれる演繹推論...
Provably Secure Software Technology and Its Applications with the Special Focus on Smart Card and GRID Applications
JST: Strategic International Research Cooperative Program
Project Year: Mar 2005 - Mar 2009    Investigator(s): Mitsuhiro OKADA
モデルチェッキング法の限界を超えるダイナミック実時間システムのための論理的検証法
日本学術振興会: Grant-in-Aid for Scientific Research
Project Year: 2004 - 2006    Investigator(s): OKADA, Mitsuhiro
我々の研究の枠組は論理的推論や演繹の方法論を用いて、ロジカル・リーズニングを実時間システムの構築等の形式仕様・形式検証に取り入れようとする点に(例えば伝統的モデルチェッキング法やオートマタ理論的分析と違った)最大の特徴がある。

我々の方法論がダイナミックな変化を許す進化的、発展的実時間システム特有の検証、解析に対して有効であることを示した。また、神戸大学田村研究室グループからの協力も得て、我々の理論の実装を論理型プログラム言語上で進めた。これまでの理論的研究と実装的研究の統合も行った。
...
モデルチェッキング法の限界を超えるダイナミック実時間システムのための論理的検証法
日本学術振興会: Grant-in-Aid for Scientific Research
Project Year: 2003 - Today    Investigator(s): OKADA, Mitsuhiro
線形論理に基づいた(有限状態)実時間並行システム仕様・検証の形式的体系に対する我々のこれまでの成果をもとにして、論理的手法による実時間システム検証の理論の研究を進めた。我々の論理的検証理論は、次のような特徴を持つものとなる。

1.体系的で論理的な形式仕様の方法論及び、実時間システムの安全性・リアクティヴ性、種々のスケジューリング問題等の自動検証の方法論である。

2.ダイナミックな変化を許す進化的、発展的実時間システム特有の検証、解析に対する有効性である。エージェントの数が増加したり時間...
日米科学協力事業「ソフトウェア検証の論理的方法」更新のための企画研究
日本学術振興会: Grant-in-Aid for Scientific Research
Project Year: 2003 - Today    Investigator(s): OKADA, Mitsuhiro
これまでの日米共同研究の成果を基にして平成15年度にこの日米共同研究プロジェクトを発展的に継続すべく研究計画の企画を日米間で行った。米国側は本年より同様な企画のため、若い世代に中核メンバーを移行しながら日米共同研究の更新の準備を開始しており、日本側も本企画研究の遂行過程で若手世代に移行していく計画を進めた。現在までは日本側は岡田(慶応大)が、又米国側はScedrov(ペンシルバニア大)、Mitchell(スタンフォード大)が幹事役として共同研究や共同主催国際会議の企画を行い、これら幹事役と...
New development in the matured linear logic research and its applications
日本学術振興会: Grant-in-Aid for Scientific Research
Project Year: 2003 - 2005    Investigator(s): OKADA, Mitsuhiro
Linear logical proof theory and semantics theory have been developed and the researches have reached a matured stage to integrate proof theory and semantics theory. In this project we developed a method of integrating proof theory and semantics of...
特定領域研究及び国際共同研究「新しい論理学の展開」のための企画研究
日本学術振興会: Grant-in-Aid for Scientific Research
Project Year: 2002 - Today    Investigator(s): OKADA, Mitsuhiro
特定領域研究及び国際共同研究「新しい論理学の展開」に向けた企画・調査を行った。本企画・調査研究班は、論理哲学者達だけでなく、これに認知言語学者、論理学史学者、情報科学者等も含めて形成されている。特に本年度は国際共同研究の基礎となるネットワーク作りを発展させた。

(1)企画にあたっては英米系論理哲学の分野だけでなく、認知科学・情報科学・AIなどとの学際的分野や、西洋・東洋論理哲学史や現象学的論理学をはじめ広い意味での論理の哲学的解明に関わる分野も視野に入れて進めた。又、我々哲学系論理学グル...
モデルチェッキング法の限界を超えるダイナミック実時間システムのための論理的検証法
日本学術振興会: Grant-in-Aid for Scientific Research
Project Year: 2002 - Today    Investigator(s): OKADA, Mitsuhiro
論理的手法による実時間システム検証の理論を情報学的観点から完成させることを本研究課題の目的としている。又この理論の実装に関して現れる情報学的問題を研究してきた。次のような特徴を持つ論理的検証系の理論を構築してきた。

その第1は、実時間システム全体の設計に伴う、体系的で論理的な形式仕様の方法論および、実時間システムの安全性・リアクティヴ性、種々のスケジューリング問題等の自動検証の方法論の開発である。これまでに得られた我々の論理的検証系に対するPSPACE決定性定理を応用してこの方法論を開発...
国際共同研究及び特定領域研究「新しい論理学の展開」のための企画 研究課題番号:13891001
日本学術振興会: Grant-in-Aid for Scientific Research
Project Year: 2001 - Today    Investigator(s): OKADA, Mitsuhiro
特定領域研究及び国際共同研究「新しい論理学の展開」に向けた企画・調査を行った。本企画・調査研究班は、論理哲学者達だけでなく、これに認知言語学者、論理学史学者、情報科学者含めて形成されている。各々の分担者が各自の専門分野を担当する形で、特定領域研究の企画を進めた。

1.企画にあたっては英米系論理哲学の分野だけでなく、認知科学・情報科学・AIなどとの学際的分野や、西洋・東洋論理哲学史や現象学的論理学をはじめ広い意味での論埋の哲学的解明に関わる分野も視野に入れて進めた。本チームメンバー(および...
モデルチェッキング法の限界を超える新しい論理的手法によるダイナミックな実時間システムのための検証ツールの実現
日本学術振興会: Grant-in-Aid for Scientific Research
Project Year: 2001 - Today    Investigator(s): Mitsuhiro Okada
申請者がこれまでに確立した、線形論理に基づいた(有限状態)稠密実時間並行システムの仕様・検証の形式的体系に対する、(1)証明のPSPACE決定可能性と、(2)発展的実時間システムの検証に対する適応性と,(3)(表示的意味論に対する)完全性いう3つの結果を用いて、論理的手法による実時間システム検証の理論を完成させた。特に、我々の枠組みでは、ダイナミックな変化を許す進化的、発展的実時間システムの安全性、リアクティヴ性、種々のスケジュール問題の自動検証、解析が可能である。エージェントの数が増加し...
International collaborative studies on a logical specification and verification language.
日本学術振興会: Grant-in-Aid for Scientific Research
Project Year: 2001 - 2003    Investigator(s): OKADA, Mitsuhiro
We developed and designed a formal specification and verification tool for dynamic real-time systems in the collaboration with the French partner group (Jean-Pierre Jouannaud's group), based on linear logic. By dynamic real-time systems we mean a ...
発展的実時間システムの自動検証を可能にする新しい論理的検証理論
日本学術振興会: Grant-in-Aid for Scientific Research
Project Year: 2001 - 2002    Investigator(s): OKADA, Mitsuhiro
本年度は、第1年次に開発した論理的理論を基にした仕様、検証の有効性を確かめ、仕様、検証の新しい論理的方法論を開発した。とくに、まず実時間システムの研究分野でベンチマークとして使われている代表的な実時間システムの具体例を発展的システムの例に変形し、これに我々の方法論を適用し、われわれの論理的な方法論とこれまでの他の方法論とを比較した。(例えば、今までの静的な交通網モデルを、新たに交通網が複雑化したり、電車の本数が変化したり、列車ダイヤの改定や時間制約の変化が起こったりする進化的モデルに作り変...
国際共同研究及び特定領域研究「新しい論理学の展開」のための企画研究
日本学術振興会: Grant-in-Aid for Scientific Research
Project Year: 2000 - Today    Investigator(s): OKADA, Mitsuhiro
特定領域研究「新しい論理学の展開」及びそれと並行して行う国際共同研究に向けて,その準備のための企画・調査を行った.現在進みつつある新しい論理学の展開を把握し,論理学の進むべき方向を明らかにしていくには,哲学系論理学者達が中心となり,これに西洋・東洋の論理学史の学者達および認知科学,言語学,人工知能論,情報科学基礎論,数学基礎論を含めて特定領域研究チームを形成する必要がある.このため,本企画・調査研究においても,論理哲学者だけでなく,これに認知言語学者,論理学史者,情報科学者に加わってもらっ...
Safety Verification Technologies based on Behavioral Specifications
日本学術振興会: Grant-in-Aid for Scientific Research
Project Year: 2000 - 2003    Investigator(s): FYTASUGI, Kokichi
The following results have been gotten by doing research for developing the verification technology which is highly applicable and flexible, and is amenable for automation.

(1)Inspection Technology for Unknown Viruses : Based on the logics of beh...
Theory of formal specification and verification of concurrency systems and real-time systems based on linear logic
日本学術振興会: Grant-in-Aid for Scientific Research
Project Year: 2000 - 2002    Investigator(s): OKADA, Mitsuhiro
We gave a logical method for formal specification and formal verification of concurrent systems, in particular real-time concurrent systems, which contains quantified time constraints in the dense-time setting.

In the first half of the project we...
特定領域研究「新しい論理学の展開」のための企画研究
日本学術振興会: Grant-in-Aid for Scientific Research
Project Year: 1999 - Today    Investigator(s): OKADA, Mitsuhiro
特定領域研究「新しい論理学の展開」に向けて、その準備のための企画・調査を行った。現在進みつつある新しい論理学の展開を把握し、論理学の進むべき方向を明らかにしていくには、哲学系論理学者達が中心となり、これに西洋・東洋の論理学史の学者達および認知科学、言語学、人工知能論、情報科学基礎論、数学基礎論を含めて特定領域研究チームを形成する必要がある。このため、本企画・調査研究においても、論理哲学者達だけでなく、これに認知言語学者、論理学史学者、情報科学者に加わってもらった。

岡田は論理哲学(数学基...
実時間システムの形式仕様・検証のための新しい論理的方法論
日本学術振興会: Grant-in-Aid for Scientific Research
Project Year: 1999 - 2000    Investigator(s): OKADA, Mitsuhiro
第2年次は,申請者がこれまでに確立した,線形論理に基づいた(有限状態)実時間並行システム仕様・検証の形式的体系に対する,証明のPSPACE決定可能性と(表示的意味論に対する)完全性という二つの定理を用いて,論理的手法による実時間システムの開発ツールを実装した.われわれのツールは次の特徴を持つ.

1.その第1は,ひとつの実時間システム全体の設計に伴う,システマティックな論理的形式仕様および,われわれの(PSPACE)決定手続きを用いた安全性・信頼性の自動検証が可能である.これは,これまでに...
Logic of Knowledge Discovery
日本学術振興会: Grant-in-Aid for Scientific Research
Project Year: 1998 - 2000    Investigator(s): SATO, Masahiko
In our project project, we studied foundations of the logic of knowledge discovery and computation models of knowledge discovery.

In our study of foundations of the logic of knowledge discovery, we aimed to give such foundations from the two side...

Social Contribution

 
三田哲学会誌「哲学」
[]  Apr 1997 - Mar 2000

Others

 
<書評>ウィトゲンシュタイン:言語の限界 飯田隆著, 講談社, 1997年. 哲學, 104:77-83, 1999年12月.