|
カツマタ シンヤ
KATSUMATA SHINYA
勝股 審也 所属 京都産業大学 理学部 数理科学科 職種 教授 |
|
| 研究期間 | 2018/04～2021/03 |
| 研究課題 | 確率的グラフィカルモデルの形式検証とその人工知能への応用 |
| 実施形態 | 科学研究費補助金 |
| 採択フラグ | 採択 |
| 研究委託元等の名称 | 日本学術振興会 |
| 研究種目名 | 基盤研究 (B) |
| 科研費研究課題番号 | 18H03204 |
| キーワード | 形式検証、Coq、条件付き独立、情報理論、graphoid、確率プログラミング、モナド、測度論、ルベーグ積分、確率論 |
| 科研費分類 | 情報学基礎論 |
| 研究制度 | 科学研究費補助金 |
| 代表分担区分 | 研究分担者 |
| 研究者・共同研究者 | 中野 圭介、Jacques Garrigue |
| 代表者 | Affeldt Reynald |