|
アベ タツヤ
TATSUYA ABE
安部 達也 所属 千葉工業大学 人工知能・ソフトウェア技術研究センター 人工知能・ソフトウェア技術研究センター 職種 上席研究員 |
|
| 研究期間 | 2016/04～2019/03 |
| 研究課題 | メモリー貫性モデルを考慮したプログラム検証の統一理論の構築とその検査器の実装 |
| 実施形態 | 科学研究費補助金 |
| 研究委託元等の名称 | 日本学術振興会 |
| 研究種目名 | 若手研究（B） |
| 科研費研究課題番号 | 16K21335 |
| 研究制度 | 科学研究費補助金 |
| 代表分担区分 | 研究代表者 |