H. Miyoshi (ALC Japan is rescheduled in 2025) @metaphusika
Research interests: Theoretical Computer Science, Category Theory, Mathematical Logic, Philosophy of Computation.
-
梶浦由記 The Works For Soundtrack 発売記念プチイベントon twitter
7873pv 8 6 users -
集合論のオススメ教科書からゲーデルTLまで
26083pv 27 36 users