| 体系的番号 |
JPMJPR25KD |
研究代表者 |
渡邉 知樹 情報・システム研究機構, 国立情報学研究所, 助教
|
|---|
| 研究期間 (年度) |
2025 – 2028
|
| 概要 | 無限状態を有する確率的プログラムに対する形式検証手法を研究する。確率的高階関数型言語の形式検証に対する圏論的構造理論に取り組み、並行し、凸多目的最適化を用いた確率的命令型言語に対する形式検証手法の高速化に取り組む。また、前述とは異なるタイプの確率的プログラムの形式検証問題を定式化する。この問題を構造的に拡張した最適輸送問題に帰着させ、その効率的なアルゴリズムの開発に取り組む。
|
|---|
| 研究領域 | 未来を予測し制御するための数理を活用した新しい科学の探索 |
|---|
