くるる @kururu_goedel
アメリカで集合論やってます。
-
マディソンでの某スペシャルセッションの報告。
785pv -
くるるさん、スクールデイズを語る
10428pv 9 -
Thompson群と文脈自由言語
2261pv 20 2 users -
選択公理について @hyuki さんがask.fmで聞かれていたことに横から答えてみる
2078pv 16 2 users -
くるるさんのアニメ・マンガ遍歴
1792pv 7 -
Spring Topology行ってきたよ報告
2263pv 13 1 user -
開被覆を添え字付き集合族で定義するという話から、到達不可能基数の利用とか
2987pv 11 2 users -
コンピュータサイエンスについていろいろ飛び交っていたのをまとめてみた
5207pv 4 4 users