選択公理は直感に反さないだろいい加減にしろ! - algebraic dialy | 壱大整域
なにかあったらすぐtwitterに書いてしまうのであまり更新しません [an error occurred while processing this directive] 選択公理についてググると以下のようなページがヒットするわけですが、この説明は良くないと思うのでここで少し説明を書いておこうと思います。 選択公理 - Wikipediaより この公理を認めると、一つの球を有限個に分割してそれぞれを集めて元の球と同じ体積の球を二つ作ることができるという、常識では考えられないことが起こる（バナッハ＝タルスキーのパラドックス）。従って、この公理の妥当性に疑問を持つ数学者もいる。しかし、この公理を用いないと、証明できない事柄が多くでてきてしまう。 選択公理: 役に立たない数学用語事典より これに関してはさまざまな解釈、打開策が考えられたが、実は現在も誰もが納得するすっきりとした結論が出ているわ
全ての概念はKan拡張である、とは何か - algebraic dialy | 壱大整域
なにかあったらすぐtwitterに書いてしまうのであまり更新しません [an error occurred while processing this directive] 「全ての概念はKan拡張である」この言葉はそれなりに有名になったと思いますが、これがどういう意味なのか、私なりの見解をここに書いておきたいと思います。 まず「すべての概念はカン拡張である(all concepts are Kan extensions)」というのは圏論の教科書『圏論の基礎(Categories for the Working Mathematician)』(以下、この本をCWMと呼ぶ)に書いてある言葉です。CWMの前書き(初版への序)には以下のように書いてあります。 圏論の基本概念が終わりの二章にまとめられている．たとえば極限の，より差し迫って必要となる性質，特にフィルター極限の性質，「エンド」の計算，
選択公理 | 壱大整域
★お知らせ★ このページの内容が紙の本になりました。 Amazonのこちらのページで購入することができます。 選択公理と同値な命題とその証明 集合 選択公理について PDF版 選択公理の定義、他 集合に関する命題 PDF版 選択公理 ⇔ 全射の右逆写像の存在、他 整列可能定理とZornの補題 PDF版 選択公理 ⇔ 整列可能定理 ⇔ Zornの補題 整列可能定理について PDF版 整列可能定理 ⇔ 全順序は整列可能 ⇔ 順序数の冪集合は整列可能、他 Zornの補題・極大原理 PDF版 Zornの補題 ⇔ Tukeyの補題、他 Constructive Order Theory PDF版 選択公理 ⇔ 上限はconstructive supremum、他 the Axiom of Multiple Choice PDF版 選択公理 ⇔ the Axiom of Multiple Choice
ニコニコのぷよぷよ動画まとめ
ニコニコまとめ ニコニコ動画にあるぷよぷよ動画をまとめてみました。 プレイ集 ぷよぷよフィーバー プレイ集 ぷよ通四強傑作選 かめ編 ぷよ通四強傑作選 服部編 ぷよ通四強傑作選 ALF編 ぷよ通四強傑作選 Kuroro編 ミスケン傑作選1 - 解説(14:48～、53:20～) ミスケン傑作選2 - 解説(1:15～、12:33～) ミスケン傑作選3 - 解説(20:10～) ミスケン野試合集(2006年11月26日 セブンアイランド) ぷよぷよ通 セカンドまとめ ぷよぷよ通 短編集 2010年03月22日 ALF VS かめ 1本先取(実況Tom) 2011年記念企画「ぷよぷよ通2011本勝負」 カメハウスのリプレイ集 IPS会合 2008年06月14日 ミカド対戦会 ミカド野試合 横浜セブンアイランド 夏の大対戦会 第一陣 セブンアイランドぷよぷよ通対戦会 2011年07月16日 セブ
ぷよぷよシリーズ - 連鎖攻略サイト
ぷよぷよ講座 ぷよぷよの連鎖の組み方や戦術などの解説です。画像(PNG)が見れる環境で見てください。下に青線のある画像は連鎖シミュレータへのリンクになっています。 連鎖入門 5連鎖なんてとても出来ない、という初心者向け。 階段積み カギ積み 折り返し 連鎖講座 連鎖入門をクリアしたらこちらをどうぞ。 不定形 連鎖の仕組 連鎖作成法 GTR 折り返しの後 GTR動画解説 他の折り返し 連鎖尾 連鎖動画解説 連鎖尾2 連鎖尾3 連鎖尾4 連鎖尾動画解説 連鎖技術 連鎖を作るちょっとした技術などについて。 連鎖の変化 同色連鎖 2色発火 底上げ クッション 階段積み補足 19連鎖 対戦講座 対戦での戦略などについて。 催促 潰し 催促2 凝視 副砲 速攻 追い討ち 速く置く お邪魔ぷよ セカンド 全消し(通) 得点 フィーバー フィーバールールについて。 基礎 フィバ潰し フィバ伸ばし キャラ
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
