墓標

オタク思想とオタク地獄とラブコメと萌え4コマ漫画

2016-01-01から1年間の記事一覧

発表スライド

今年の若手の会での発表スライドを上げようと思ってたの、完全に忘れていました。 www.dropbox.com タイトルが「2」の理由は最初に作ったやつがbeamer練習の犠牲になってしまったので2という意味です。その1は小麦ちゃんとCantorの定理しか載ってないです。

はーちゃんの話 その1

おはようございます。 この記事は大部分がネタバレなのでステラのまほうをこれから見ようor読もうと思っている方は読まない方が良いです。あと「その2」はあります。 この記事は読んでも特に良いことはないです。でもまぁ良いことあるといいですね。 私は最…

基数演算の話 その1

おはようございます。 AWT48という概念が心臓を破壊していきましたが私は元気です。 もちろんこの記事は刀剣乱舞に関する話ではないです。 さておき。 今自分は基数のべきについての話を書いているのですが、その1で 「無限基数の和と積はでめっちゃ簡単!」…

きらら12月号を買ってきた話

基数の話時間かかってて大変です。時間がないです。需要があるかはわかりませんが特異基数の話題を広めたいので頑張って書きます。 何も書かないのもアレだし別に数学のブログと決めたわけでもないので、きらら12月号の感想でも書こうと思いました。が、 「…

基数のべきを調べたいという話 その2

続きです。 特異基数のべきを調べるにはどうしたらいいんだ!って話でした。 これを知るために次の言葉を定義します。 定義(gimel関数) 上の関数をgimel関数という。 ちなみにgimelというのはヘブライ文字の3番目のです。 これに関して次の定理が知られてい…

順序数と基数の話

定義が色々あるから明記すべきという意見を頂いたのでまとめて順序数と基数についてまとめて書きます。 これは全部ZFC上での定義です。 定義(順序数) かつを満足する集合を順序数という. 1つ目の条件をconnective、2つ目の条件をtransitiveという。 例 は順…

基数のべきを調べたいという話 その1

せっかくtexを使えることが判明したので数学の話を書きます。 めっちゃ長くなっちゃったので分割して投稿しよう。 (追記)ZFCの無矛盾性は仮定します (追記2,2016/10/26)各定義をまとめました 順序数と基数の話 - 尊みで飯が食える 特異基数問題と呼ばれるも…

テスト

こんなブログ作った事を忘れてた。 tex使えるらしいから試してみる。 出来た。けどなんか不等号が打てない。<の何が悪いというのか... (追記) 調べたら\ltにしたらできるよとのことだったのでやってみたらできた。やったー。