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