|
カツマタ シンヤ
KATSUMATA SHINYA
勝股 審也 所属 京都産業大学 理学部 数理科学科 職種 教授 |
|
| 発表年月日 | 2021/09/02 |
| 発表テーマ | Divergences on Monads for Relational Program Logic |
| 会議名 | MFPS2021 |
| 学会区分 | 国際学会 |
| 発表形式 | 口頭（招待・特別） |
| 単独共同区分 | 単独 |
| 招待講演 | 招待講演 |
| 国名 | オーストリア |
| 開催地名 | Salzburg |
| 開催期間 | 2021/08/30～2021/09/03 |