|
カツマタ シンヤ
KATSUMATA SHINYA
勝股 審也 所属 京都産業大学 理学部 数理科学科 職種 教授 |
|
| 受賞年月 | 2023/11 |
| 国内外別 | 国内 |
| 授与機関名 | 日本ソフトウェア科学会 |
| 受賞学術賞名 | 日本ソフトウェア科学会第４０回大会優秀発表賞 |
| タイトル | A Categorical Framework for Program Semantics and Semantic Abstraction |
| 受賞者(グループ) | 勝股 審也 |
| 受賞区分 | 国内学会・会議・シンポジウム等の賞 |