Takayuki Kihara @tri_iro
数学の研究中。 専門→ [次数の理論 / 再帰理論 / 数学基礎論] 今の興味→ [実解析 / エルゴード理論 / ラムゼー理論 / 連続体論] mathematical logic, recursion theory
-
全ての素数の積が偶数なのが納得がいかない数学徒たち
122354pv 519 31 users 463 -
MM祭り
5805pv 26 -
cabal seminarの話に至る経緯
2042pv 11
-
Q-theory と最近の自分の研究について
1752pv 5 -
開被覆を添え字付き集合族で定義するという話から、到達不可能基数の利用とか
2997pv 11 2 users -
H次数についての対話 2013-08-05
1228pv 3 -
Turing次数理論のMartin予想をめぐる対話
3089pv 6 -
計算論家トリイロさんと集合論家DIkeさんの対話
2866pv 9 2 users -
集合論における「計算論」と最近の自分の研究について
3286pv 15 1 user 1 -
集合論家DIkeさんと証明論家GLogさんの対話
3653pv 14 1 user -
mr_konn氏による決定性公理オフ実況
8305pv 18 1 user -
集合論のモデルの構成法と sheaf について。
5109pv 21 3 users -
二階算術と集合論での決定性
3307pv 14 -
Boolean valued second order logic
2162pv 27 1 user -
Inner model theory seminar.
3020pv 18 1 user 1 -
集合論と数学の形而上学
6178pv 16 3 users 3 -
AC(公共広告機構)のCMを見た人たちの反応
18578pv 91 6 users -
自然言語処理・機械学習・帰納推論
5445pv 8 8 users -
圏論、Haskell、あるいは圏論部。
20404pv 70 23 users 2 -
ICFP 2010 実況など
8479pv 4 11 users