| 研究課題/領域番号 |
23K21641
|
|---|
| 補助金の研究課題番号 |
21H03392 (2021-2022)
|
|---|
| 研究種目 |
基盤研究(B)
|
| 配分区分 | 基金 (2024)
補助金 (2021-2022) |
|---|
| 応募区分 | 一般 |
|---|
| 審査区分 |
小区分60010:情報学基礎論関連
|
|---|
| 研究機関 | 東北大学 |
|---|
研究代表者 |
田中 一之 東北大学, 理学研究科, 名誉教授 (70188291)
|
|---|
| 研究分担者 |
宮部 賢志 明治大学, 理工学部, 専任准教授 (00583866)
鹿島 亮 東京工業大学, 情報理工学院, 准教授 (10240756)
木原 貴行 名古屋大学, 情報学研究科, 准教授 (80722701)
|
|---|
| 研究期間 (年度) |
2021-04-01 – 2023-03-31
|
| 研究課題ステータス |
中断 (2024年度)
|
| 配分額 *注記 |
17,290千円 (直接経費: 13,300千円、間接経費: 3,990千円)
2026年度: 4,030千円 (直接経費: 3,100千円、間接経費: 930千円)
2025年度: 4,160千円 (直接経費: 3,200千円、間接経費: 960千円)
2024年度: 1,643千円 (直接経費: 1,264千円、間接経費: 379千円)
2023年度: 4,160千円 (直接経費: 3,200千円、間接経費: 960千円)
2022年度: 4,420千円 (直接経費: 3,400千円、間接経費: 1,020千円)
2021年度: 4,680千円 (直接経費: 3,600千円、間接経費: 1,080千円)
|
|---|
| キーワード | 数理論理学 / 様相μ計算 / 無限ゲーム / 逆数学 / 確率的推論 / モデル検査 / 様相ミュー計算 / 確率ゲーム |
|---|
| 研究開始時の研究の概要 |
本研究は，モデル検査のような応用論理学にとって必要な数学の理論的仮定が何かを探求することで、異なる技法の間の類似性や相異性を発見し，ハイブリッドな新技法の開発を目標とするものである．モデル検査問題の多くは，それを表現する様相μ計算に対するゲーム意味論の決定問題に置き換わるが，逆にゲームの視点から様相μ計算で表せない問題も作れ，より強い表現手法を創出する指針となる．また，確率的モデル検査は Blackwell ゲームとみなせるが，その逆数学的分析は進んでいないため，その有限版であるブール木のクエリ複雑さの議論から始めて一般化を試みる．こうした知見を統合して，数理論理学の新しい応用領域を切り拓く．
|
| 研究実績の概要 |
本研究の目的は，モデル検査など論理学の応用技術において仮定される論理や集合の公理が何かを探査し，異なる技法の間の類似性や相異性を顕在化することで，ハイブリッド技術の創出を目指すものである．初年度(令和３年度)においては５つの領域に焦点を絞り，それぞれの課題を探求し，得られた知見を統合して多角的な検討を加えて，より高度な視点を得る計画であった．しかし，コロナ禍の行動制限により研究交流がほとんど行えず，とくに本研究で重要な役割を担う中国とシンガポールの協力者たちとの交流には長い空白ができてしまったので，代表者は北京の応用数学研究所に滞在して彼らとの交流基盤の回復に努め，体制が整うまで本研究を中断することにした．従って，本年度の研究も未完結であるが，個別課題ごとには次のような顕著な成果が得られた．
1. 様相μ計算の論理式は，演算子μ,νの入れ替わりが何回生じるかで分類される．μν型の論理式でもνμ型の論理式でも表現されるクラスΔ2はμ型とν型の論理式の超限的な組合せによって表せることを示す論文を出版した．さらに，様相μ計算の階層の崩壊を認識論理学の視点で分析し，無知の形式化を行った．2. 様相μ計算の階層が様相の種類によってどう変わるかを，真理値評価ゲームを用いて調べた．3. 確率的モデル検査は，検査法や評価アルゴリムがランダム化されたもので，ここではBlackwellゲームの一種として扱う．代表者が開発したWKLoの超準的手法を用いて，確率アルゴリズムを逆数学的に分析する研究を進めた．4. 決定木において，クエリの最小コストを最大化する入力分布（固有分布）について，より一般な木構造に対して固有分布を調べて論文にまとめた．さらにはグラフ構造への一般化を検討している．５. 確率アルゴリズムの視点から確率的推論を捕捉する独自の研究を目指しながら，先行研究の成果を整理した．
|
| 現在までの達成度 (区分) |
現在までの達成度 (区分)
3: やや遅れている
理由
個別の小課題においては顕著な進展が得られたが，得られた知見を統合し多角的な検討を与える研究会等がコロナ禍で開催できなかった．
|
| 今後の研究の推進方策 |
コロナ禍で失われた国際研究協力体制を２年程度で取り戻す．研究代表者がほぼ毎年主催していた国際会議CTFMも2019年を最後に中断されている．行動制限は緩和されたが，このような会議を開くためにもまず代表者と関係者との協力関係の立て直しが必要であり，しばらく本研究を中断して海外の研究所に滞在しながら体制を整え，より一層ダイナミックな発展を目指して令和７年度内に研究を再開する．
|
