2010年09月18日のツイート
@kururu_goedel: 正直、私には「0でない有理数と無理数の積は無理数になる」の否定が取れないって感覚は理解出来ないのだけれども。なんとかもう一度説明してみよう。
@kururu_goedel: 今から死ぬ気で点付けする
@kururu_goedel: 離散数学の授業で形式手法をウリウリしてきたなう。
@kururu_goedel: どうでもいいけどGoogle IMEさん、「覚超できるような」が第一候補ってどういうことなのよ。
@kururu_goedel: 一辺が4つとか5つとかに拡張した場合にはどうなるんでしょうね。その場合にも拡張できるようなよいアルゴリズムは見つかっているのでしょうか。
@kururu_goedel: これ知らなかった。最近ろくにTL見られる時間がないから知らないけど、話題になっていたのだろうか。ルービックキューブが常に20手で解けるって証明したって話。URL