H. Miyoshi (ALC Japan is rescheduled in 2025) @metaphusika
Research interests: Theoretical Computer Science, Category Theory, Mathematical Logic, Philosophy of Computation.
-
集合論における「計算論」と最近の自分の研究について
3288pv 15 1 user 1 -
Inner model theory seminar.
3041pv 18 1 user 1 -
二階算術と集合論での決定性
3323pv 14
-
こういう邦楽家大っキライ、から始まる #gendaihougaku
23742pv 54 31 users 2