H. Miyoshi (ALC Japan is rescheduled in 2025) @metaphusika
Research interests: Theoretical Computer Science, Category Theory, Mathematical Logic, Philosophy of Computation.
-
表現可能関手とは普遍性のことである
5946pv 9 -
「パーセント」って何だろうか
19186pv 360 11 users 411 -
elementary submodel、モデル理論っぽい集合論
4018pv 2
-
謎の数学的難問「シータパンの予想」とは
10828pv 44 1 user -
Turing次数理論のMartin予想をめぐる対話
3100pv 6 -
集合論家DIkeさんと証明論家GLogさんの対話
3666pv 14 1 user -
計算論家トリイロさんと集合論家DIkeさんの対話
2873pv 9 2 users -
ゼロ知識証明について
8270pv 13 3 users -
数学的帰納法はなぜそう呼ばれるか
21110pv 101 15 users 8 -
量子力学に関する質疑応答
10566pv 30 6 users 2 -
構成主義と実無限
9525pv 18 4 users 1 -
ABC予想が証明された!
43482pv 165 35 users 17 -
望月教授ABC予想解決の報道から大学教育の意味まで
12819pv 66 4 users 34 -
RIMS(京都大学数理解析研究所)の研究環境は世界屈指?
54315pv 60 6 users 5 -
「次世代暗号の解読で世界記録を達成」を一研究者が解説
7939pv 48 7 users 33 -
深夜の数学講座 水野先生編 (計算における単位の概念)
12098pv 95 16 users 7 -
科学哲学は物理学について何か「指導的なこと」を言えるか?
24189pv 225 44 users 8 -
「√2 = 2の証明」あるいは「斜面と階段のナゾ」
86484pv 335 96 users 19 -
センター試験に「自然数」が参戦 ! !
101630pv 896 169 users 27 -
超準解析を代数的に。
17688pv 60 8 users 2 -
数学できるかわず先生 ! ! ! ! ! !
18276pv 96 3 users -
圏論、Haskell、あるいは圏論部。
20434pv 70 23 users 2 -
極大イデアルの存在とせんたくん
7179pv 42 1 -
スタート集合論
2595pv 9 2 users -
ブルバキの論理体系と「選択公理」
10339pv 39 7 users 1