|
カツマタ シンヤ
KATSUMATA SHINYA
勝股 審也 所属 京都産業大学 理学部 数理科学科 職種 教授 |
|
| 発表年月日 | 2021/03/10 |
| 発表テーマ | Weakest Preconditions in Fibrations |
| 会議名 | プログラミングおよびプログラミング言語ワークショップ PPL 2021 |
| 主催者 | 日本ソフトウェア科学会 プログラミング論研究会 |
| 学会区分 | 研究会・シンポジウム等 |
| 発表形式 | 口頭（一般） |
| 単独共同区分 | 単独 |
| 国際共著 | 国際共著 |
| 国名 | 日本 |
| 開催地名 | オンライン |
| 開催期間 | 2021/03/09～2021/03/11 |