Project/Area Number |
24KF0214
|
Research Category |
Grant-in-Aid for JSPS Fellows
|
Allocation Type | Multi-year Fund |
Section | 外国 |
Review Section |
Basic Section 12030:Basic mathematics-related
|
Research Institution | Institute of Science Tokyo |
Principal Investigator |
鹿島 亮 東京科学大学, 情報理工学院, 准教授 (10240756)
|
Co-Investigator(Kenkyū-buntansha) |
KAWAKAMI PACHECO LEONARDO 東京科学大学, 情報理工学院, 外国人特別研究員
|
Project Period (FY) |
2024-11-15 – 2027-03-31
|
Project Status |
Granted (Fiscal Year 2024)
|
Budget Amount *help |
¥2,000,000 (Direct Cost: ¥2,000,000)
Fiscal Year 2026: ¥500,000 (Direct Cost: ¥500,000)
Fiscal Year 2025: ¥1,000,000 (Direct Cost: ¥1,000,000)
Fiscal Year 2024: ¥500,000 (Direct Cost: ¥500,000)
|
Outline of Research at the Start |
ミュー計算(通常は様相ミュー計算と呼ばれる)は様相論理に不動点演算子を加えて拡張した体系であり研究がさかんに行われているが、構成的ミュー計算(通常の古典論理ではなく直観主義論理をベースにしたもの)はほとんど研究されていない。構成的ミュー計算は古典論理ベースでは記述できない不完全な情報や矛盾する情報を表現できるので、より現実的な状況へ適用可能なモデル検査技術のための基礎となる。本研究では構成的ミュー計算の数学的な基本性質を解明し、さらその結果をPDL、LTLといったモデル検査の場面で実際に頻繁に使用されている様相論理に落とし込んで、構成的PDLや構成的LTLの基礎を確立することを目指す。
|