カツマタ シンヤ
KATSUMATA SHINYA
勝股 審也
所属
京都産業大学 理学部 数理科学科
職種
教授
発表年月日
2024/06/26
発表テーマ
ホーア論理のモナド的モデル
会議名
数理科学科学生向け談話会
主催者
理学部数理科学科
国名
日本
開催地名
京都産業大学
開催期間
2024/06/26～2024/06/26
会議区分
地方会議
講演区分
講師
単独共同区分
単独
招待講演
招待講演