Togetter - 国内最大級のTwitterまとめメディア - Togetter
まとめる
ログイン / 会員登録
トップ
ランキング
オリジナル
クチコミ
注目
今週の人気
新着まとめ
復活
Twilogを統合
イチオシ
編集部厳選!
y.
@waidotto
フォローしている
フォローされている
ブロックする
数理論理学(数学基礎論)と群論,数論.計算可能性理論と形式言語理論,モデル理論.詳細はURL参照.
iso.2022.jp
フォローする
まとめ
5
お気に入り
1
コメント
2
数学
kansaimath
関西すうがく徒のつどい
kantomath
関東すうがく徒のつどい
作成日の新しい順
作成日の古い順
更新日の新しい順
更新日の古い順
View数の多い順
View数の少ない順
タイトル順(A->Z)
タイトル逆順(Z->A)
【第12回関西すうがく徒のつどい2日目】Friedberg-Muchnikの定理と有限害優先論法 #kansaimath
1617
pv
14
更新 2019年10月29日
作成 2019年10月27日
【第3回関東すうがく徒のつどい2日目】2018年の決定不能問題ギャラリーを振り返る #kantomath
1762
pv
3
2019年3月30日
【第11回関西すうがく徒のつどい2日目】有限オートマトンとPresburger算術 #kansaimath
1490
pv
2018年10月28日
【第10回関西すうがく徒のつどい1日目】決定不能問題の話 #kansaimath
1915
pv
8
2017年9月16日
メタ定理の証明はどこでなされているか?
9535
pv
11
1 user
2016年6月17日
1
いま話題のタグ
キャバクラ
142
猫
6054
モータースポーツ
395
注意喚起
738
ブリリアントジャーク
2
ツイートオブザイヤー
330
労働基準法
237
著作権
2117
メイク
402
鉄道
2635
競馬
1448
ブラック企業
1387
タイタニック
51
ヒガシマルうどんスープ
12
少子化
391