H. Miyoshi (ALC Japan is rescheduled in 2025) @metaphusika
Research interests: Theoretical Computer Science, Category Theory, Mathematical Logic, Philosophy of Computation.
-
「唐揚げは揚げるだけでしょ」っていう人、工数ガン無視するから「プログラムなんてちょちょっと直すだけでしょ」と言いかね..
17027pv 73 6 users 161 -
「日本国トップクラスのバグ」田中角栄が佐渡島に国道を引く際に、要件「重要な都市を結ぶもの」を満たさせた方法は豪腕すぎた
136652pv 309 289 users 666 -
大学院のオンライン授業を1週間受けてみて気づいた課題
117885pv 1110 77 users 1397
-
「生きたまま統計の教材と化した男がおるらしいな?」例えば校長が5人いたとしよう。 校長A:12000人
273286pv 698 266 users 393