多段階計算と様相λ計算が気になる京都の博士学生です / Ph.D. student at Kyoto Univ. Interested in metaprogramming and modal logic. Fediverse: [email protected]

ID: 1556105180554600448

linkhttps://www.fos.kuis.kyoto-u.ac.jp/~murase/ calendar_today07-08-2022 02:29:53