Research Projects of Competitive Funds, etc. - Okada, Mitsuhiro
-
論証・証明の哲学の深化に向けた学際的「論理の哲学」研究
2021.04-2026.03JSPS, 科学研究費 , Mitsuhiro Okada, Koji Mineshima, Ryo Ito, 基盤研究(B), No Setting
-
Interdisciplinary studies on philosophy of logic: Toward the development of philosophy of proof and demonstration
2021.04-2026.03MEXT,JSPS, Grant-in-Aid for Scientific Research, Grant-in-Aid for Scientific Research (B), Principal investigator
-
論理的「不一致」の解明
2020.01-2024.03MEXT,JSPS, Grant-in-Aid for Scientific Research, Fund for the Promotion of Joint International Research (Home-Returning Researcher Development Research (B)), Principal investigator
-
A New Development of "Philosophy of Logic and Mathematics" from the view point of "Philosophy of Proofs"
2017.04-2022.03JSPS, Grant-in-Aid for Scientific Research, Mitsuhiro OKADA, Research grant, Principal investigator
-
Information security research based on logical-formal methods-cruptographic protocols quantitative information flow analysys
2016.04-2019.03JSPS, AYAME-Program (JSPS-INRIA), Mitsuhiro OKADA, Commissioned research, Principal investigator
-
Interdisciplinary study on logical philosophy based on intuitionistic logic
2014.04-2018.03JSPS, Grant-in-Aid for Scientific Research, OKADA, Mitsuhiro, Research grant, Principal investigator
-
直観主義論理を中心とした学際的論理哲学研究
2014.04-2017.03JSPS, 科学研究費, 基盤研究(B), No Setting
-
Logic and computation for prediction, judgment and decision making
2011.07-2016.03JSPS, Grant-in-Aid for Scientific Research, OKADA, Mitsuhiro, Research grant, Principal investigator
-
論理哲学の学際研究ー直観主義論理の推論・証明理論を中心として
2011.04-2015.03日本学術振興会, Grant-in-Aid for Scientific Research, OKADA, Mitsuhiro, Principal investigator
-
Logical inference research by combining logic, cognitive acience and genetics
2006.04-2008.03JSPS, Grant-in-Aid for Scientific Research, Mitsuhiro OKADA, Research grant, Principal investigator
-
Behavioral genetic study in adolescence and adulthood by twin method
2006-2009.03日本学術振興会, Grant-in-Aid for Scientific Research, ANDO, Juko, Research grant, Coinvestigator(s)
-
論理学・認知科学・遺伝学を統合した論理推論研究
2006-2007日本学術振興会, Grant-in-Aid for Scientific Research, OKADA, Mitsuhiro, Research grant, No Setting
-
Provably Secure Software Technology and Its Applications with the Special Focus on Smart Card and GRID Applications
2005.03-2009.03JST, Strategic International Research Cooperative Program, Mitsuhiro OKADA, Principal investigator
-
モデルチェッキング法の限界を超えるダイナミック実時間システムのための論理的検証法
2004-2006日本学術振興会, Grant-in-Aid for Scientific Research, OKADA, Mitsuhiro, Research grant, Principal investigator
-
モデルチェッキング法の限界を超えるダイナミック実時間システムのための論理的検証法
2003-Present日本学術振興会, Grant-in-Aid for Scientific Research, OKADA, Mitsuhiro, Research grant, Principal investigator
-
日米科学協力事業「ソフトウェア検証の論理的方法」更新のための企画研究
2003-Present日本学術振興会, Grant-in-Aid for Scientific Research, OKADA, Mitsuhiro, Principal investigator
-
New development in the matured linear logic research and its applications
2003-2005日本学術振興会, Grant-in-Aid for Scientific Research, OKADA, Mitsuhiro, Research grant, Principal investigator
-
特定領域研究及び国際共同研究「新しい論理学の展開」のための企画研究
2002-Present日本学術振興会, Grant-in-Aid for Scientific Research, OKADA, Mitsuhiro, Research grant, Principal investigator
-
モデルチェッキング法の限界を超えるダイナミック実時間システムのための論理的検証法
2002-Present日本学術振興会, Grant-in-Aid for Scientific Research, OKADA, Mitsuhiro, Research grant, No Setting
-
国際共同研究及び特定領域研究「新しい論理学の展開」のための企画 研究課題番号:13891001
2001-Present日本学術振興会, Grant-in-Aid for Scientific Research, OKADA, Mitsuhiro, Research grant, Principal investigator