「@alg_dによるまとめ」のまとめ 2
前回の「まとめのまとめ」の後に作ったまとめ~この「まとめのまとめ」を作るまでのまとめ、は全部含んでいます。相変わらず他の人のまとめも幾つか入っています。
数学真面目系
ある程度真面目に数学をやっているまとめです。
まとめ
lim記号と「定義による拡大」
lim って関数記号なの? というすうがく徒の疑問から,「関数の定義」「あたらしい記号の導入のよる言語の拡大」についての,論理学の話題に展開します.
6482 pv
20
1 user
まとめ
クラスありの拡張言語が生の集合論と証明能力が変わらない
数学基礎論の話です。
集合論の公理系ZFCでは、良く知られているように「全ての集合の集まり」のような《大きすぎる》集まりを考えることは出来ません。そこで、このような集まりを クラス という形で導入し、扱えるようにした公理系が存在します。そのうちの一つがNBG(von Neumann–Bernays–Gödelの公理系)です。《集合に関する命題》を考える限りでは、ZFCとNBGでは証明できる命題が変わらないという事実が知られています。その事実の証明の概略です。
9228 pv
12
1 user
数学クラスタ周辺のTL
まとめ
{{中括弧を連続して使うとよく分からないことになる件}}
何かのバグでしょうか?
現在は修正されているようです。twitterの中の人、お疲れ様です。
25988 pv
201
58 users
1
まとめ
かぺら vs アルゴドゥー
Hello Kids!
キミはもう、たっぷり数学クラスタフォローした?
数学クラスタ非可算人フォローしたキミも、まだまだのキミも、
数学クラスタ言えるかな?に挑戦だ !
How's your mouth rolling today!
4405 pv
12
アイコンネタ
選択公理ネタ
個人に関するまとめ
@kawazu1147 さん
@kawazu1147 さん と @t_uda さん
@eszett66 さん
@slapstick123 さん
@bonnou_bonjin さん
@integmath さん
@tarooh さん
@bread_crust さん
@phase_tr さん
オフ会関連
まとめ
関西すうがく徒のつどい第2回前半戦(9/08) - 講義編
関西すうがく徒のつどい第2回前半戦 09/08(土) の関連ツイートまとめです。当日の、講義時間中の実況ツイートなどを主にまとめています。
関西すうがく徒のつどい(公式サイト): http://www32.atwiki.jp/kansaimath/pages/1.html
1日目歓談編: http://togetter.com/li/369811
2日目歓談編: http://togetter.com/li/370773
2日目講義編: http://togetter.com/li/370441
ぷろとぅぎゃったらーのまとめ: http://togetter.com/li/370098
7335 pv
14
まとめ
関西すうがく徒のつどい第2回前半戦(9/08) - 歓談編
関西すうがく徒のつどい第2回前半戦 09/08(土) の関連ツイートまとめです。当日の、発表時間以外の参加者などのツイートをまとめています。
関西すうがく徒のつどい(公式サイト): http://www32.atwiki.jp/kansaimath/pages/1.html
1日目講義編: http://togetter.com/li/369581
2日目講義編: http://togetter.com/li/370441
2日目歓談編: http://togetter.com/li/370773
ぷろとぅぎゃったらーのまとめ: http://togetter.com/li/370098
6989 pv
13
まとめ
関西すうがく徒のつどい第2回後半戦(9/09) - 講義編
関西すうがく徒のつどい第2回後半戦 09/09(土) の関連ツイートまとめです。当日の、講義時間中の実況ツイートなどを主にまとめています。
関西すうがく徒のつどい(公式サイト) http://www32.atwiki.jp/kansaimath/pages/1.html
1日目講義編: http://togetter.com/li/369581
1日目歓談編: http://togetter.com/li/369811
2日目歓談編: http://togetter.com/li/370773
ぷろとぅぎゃったらーのまとめ: http://togetter.com/li/370098
3968 pv
10
まとめ
関西すうがく徒のつどい第2回後半戦(9/09) - 歓談編
関西すうがく徒のつどい第2回後半戦 09/09(日) の関連ツイートまとめです。当日の、発表時間以外の参加者などのツイートをまとめています。
関西すうがく徒のつどい(公式サイト): http://www32.atwiki.jp/kansaimath/pages/1.html
1日目講義編: http://togetter.com/li/369581
1日目歓談編: http://togetter.com/li/369811
2日目講義編: http://togetter.com/li/370441
ぷろとぅぎゃったらーのまとめ: http://togetter.com/li/370098
6165 pv
6
まとめ
「公共の福祉」と「公益及び公の秩序」の違い
バカな自分用まとめ
公共の福祉は確かに中学で出てきたので、言葉は知ってますよ。でも、教科書の説明も先生の説明も何を言っているのか全く分からなかった。それでもテストではそれなりに正解できるからアレ。
40338 pv
180
18 users
23