カツマタ シンヤ
KATSUMATA SHINYA
勝股 審也 所属 京都産業大学 理学部 数理科学科 職種 教授 |
|
発表年月日 | 2024/04/06 |
発表テーマ | Codensity Liftings and Their Applications |
会議名 | 17th International Workshop on Coalgebraic Methods in Computer Science (CMCS 2024) |
主催者 | European joint conferences on theory and practice of software (ETAPS 2024) |
学会区分 | 国際学会 |
発表形式 | 口頭(基調) |
単独共同区分 | 単独 |
招待講演 | 招待講演 |
国名 | ルクセンブルク |
開催地名 | University of Luxembourg |
開催期間 | 2024/04/06~2024/04/07 |