|
アベ タツヤ
TATSUYA ABE
安部 達也 所属 千葉工業大学 人工知能・ソフトウェア技術研究センター 人工知能・ソフトウェア技術研究センター 職種 上席研究員 |
|
| 研究期間 | 2023/04/01～2026/03/31 |
| 研究課題 | 時間を扱う論理と並行プログラム論理の合成に関する研究 |
| 実施形態 | 科学研究費補助金 |
| 研究委託元等の名称 | 日本学術振興会 |
| 研究種目名 | 基盤研究（C） |
| 科研費研究課題番号 | 23K11051 |
| 研究制度 | 科学研究費補助金 |
| 代表分担区分 | 研究代表者 |