カツマタ シンヤ
KATSUMATA SHINYA
勝股 審也
所属
京都産業大学 理学部 数理科学科
職種
教授
発表年月日
2022/06/29
発表テーマ
ホーア論理のモナド的モデル
会議名
東京大学コンピュータ科学専攻講演会
主催者
東京大学コンピュータ科学専攻
国名
日本
会議区分
地方会議
講演区分
講師
単独共同区分
単独
招待講演
招待講演