blogこの広告は、90日以上更新していないブログに表示しています。II"のなかの一つの記事10pagesくらいを担当しました。内容は、KunenのInconsistencyの定理についてです。Reinhardt基数のことについて書いたのです。書籍中ではリインちゃんと読んでいます。これは、まあ敢えてネタバレすると、皆さんご存知のリリカルなのはA'sにおいて登場するリインちゃん(Reinforce)になぞらえてつけた名前です(まあ偶然にもforceもかかっているわけなんで)。zwei託して死んでしまいます。なんとまあ儚いことですが、これが記事の本編とも関係しているわけです、はい。実際Reinhardt基数ってのは幻の基数でして、登場とほぼ同時期にその非存在が証明されてしまいました。その証明ってのがKunenのInconsistencyというやつです。暇があったら証明読んでやって下さい。使えるようにするための覚えがき。emacsいいかげん乳離れならぬGauche離れをしたいと思っていたので。Geiserと呼ばれるパッケージを使うのが楽です。[RETURN]します。Racketはapt-getで持ってきます。[RETURN]するとgeiserは5.3のracketじゃないとだめだよ!と怒られました。5.1.3が入ります。5.3.6を取ってきます。v5.3.6.racket@>と表示されて成功です。使えるようにするための覚えがき。Tweet広告を非表示にするもっと読むコメントを書く2013-12-292013年とは一体何だったのか手帳見ると思い出して涙が出るかもしれないので思い出せる範囲で書きます。味噌カツではないです。セミナーセミナーセミナー。