これは映画『聲の形』の良さ溢れるシーンのメモ書きです。ネタバレを含みますが、良さをすでに理解している方向けの記事なので、映画『聲の形』の良さを知らない方はここでお帰りください。ここは理解している前提とし、説明...今すぐ観るべき映画『聲の形』の81の良さポイント2014-12-24ZFCはじめてみるの巻2順序対の定義。きつかったのでコメントもなしにガリガリ書いていた。きれいなやり方があるはず。相変わらず、ComprehensionとかReplacementは先送りにしていますがどうなることか。ZFCはじめてみるの巻22014-12-22ZFCはじめてみるの巻コメントなしコードだけ。証明が一応出来ました。右分配律mulSnrを使っています。牛刀振り回してる感じありますが、一応証明です。練習2014-12-20ssreflect始めました.ssrboolの練習。ソフトウェアの基礎とか見ながらやってます。ssreflectっぽくないですが、そのうちrewriteとかガリガリ使っていきたいです。thesis毎々お世話になっております。冗談はほどほどにしまして、修論です。コピペはしてないです。あと英語が残念な点に関しては勘弁下さい。theoryさっそくですが参戦しました。ここに書いてある定理、わたしの完成間近の修論に書いてるやつです。修論の主定理にかなり...まじで勘弁して下さい、Hamkins先生2014-01-14archive管理を適当にやった話shあれだ。II"のなかの一つの記事10pagesくらいを担当しました。内容は、KunenのInconsistencyの定理についてです。Reinhardt基数のことについて書いたのです。使えるようにするための覚えがき。emacsいいかげん乳離れならぬGauche離れをしたいと思っていたので。Geiserと呼ばれるパッケージを使うのが楽です。使えるようにするための覚えがき。2013-12-292013年とは一体何だったのか手帳見ると思い出して涙が出るかもしれないので思い出せる範囲で書きます。味噌カツではないです。セミナーセミナーセミナー。