|
アベ タツヤ
TATSUYA ABE
安部 達也 所属 千葉工業大学 人工知能・ソフトウェア技術研究センター 人工知能・ソフトウェア技術研究センター 職種 上席研究員 |
|
| 研究期間 | 2013/04～2017/03 |
| 研究課題 | PGAS言語のメモリー貫性に関するプログラム検証理論とその実装 |
| 実施形態 | 科学研究費補助金 |
| 研究委託元等の名称 | 日本学術振興会 |
| 研究種目名 | 若手研究（B） |
| 科研費研究課題番号 | 25871113 |
| 研究制度 | 科学研究費補助金 |
| 代表分担区分 | 研究代表者 |