2011年06月21日のツイート
@kururu_goedel: @MarriageTheorem なにも準備がない状態ではこの書き方が一番早いので、公理系につっこむときにはよく使われます。ZFCを書くときもこれが一番普通かと。
@kururu_goedel: あと、セシリアのポイントはちょこっと見えるピンクの口紅だと思うのだけど、ネットの絵ではあんまりそこを描いている人がいないような。私はそういうのが気にならない方なので、私ですら引っ掛かった点はみんな気にするだろうと思っていたのだけど。
@kururu_goedel: IS第二話の「素手でやるよりはマシか！」が妙にツボに入っている。使うか。例: 「明日発表なのにスライドが一枚も書けてないなんて……。素手でやるよりはマシか！」とりあえず雰囲気だけは回復できそう
@kururu_goedel: @MarriageTheorem @alg_d 選択関数で表現する場合には、@MarriageTheorem さんの書いていた方法で、互いに素でなくても大丈夫です。
@kururu_goedel: @MarriageTheorem @alg_d ∀x(xの元は互いに素→∃y∀z∈x(|z∩y|=1))で選択公理を表す場合は、ということです。
@kururu_goedel: @MarriageTheorem @alg_d 意味を取り違えているかもしれませんが、例えば{{0}, {1}, {0, 1}}に選択公理を適用しようとすると、0と1は選ばないといけないので{0,1} からは一つの元を選んでこられません。
@kururu_goedel: その前から観てたのは地獄少女で、わりと面白くみている。えっと思うくらい重要に思う点が完全スルーされていたりして、浅さを感じる向きもあるだろうけど、開き直って描きたいことを描いているのだろうと思う。
@kururu_goedel: 最近ちょびっとこちらのアニメチャンネルでやっているInfinite Stratusを観ている。ツンデレが露骨すぎるのはいまいちついていけないけど、戦闘は楽しい。あと、一夏のあっけらかんとしたセリフまわしとか。
