2010年11月18日のツイート
@kururu_goedel: 著者がネタにしてどうするんですか！QT @hyuki: 『数学ガール／イカ娘の侵略』
@kururu_goedel: そうだ、わしLinkedInにもアカウントあったんだ
@kururu_goedel: 離散数学の授業でlispとかCoqとか動かして遊びたいのだけど、諸般の事情でノートパソコンが使えない上に教室に備え付けのパソコンはそういうのが全くインストールされていないのだけれども、ウェブ上で動かせるインタプリタとかないのかな。
@kururu_goedel: @patho_logic どつかないけど時間は有効に使ってください。例えば電線に止まっている鳥の数を数えるとかして。
@kururu_goedel: 北米で、日本語のウェブページやメールが読めるような携帯環境を、っていう場合には何が手っ取り早いんでしょうね。iPhone以外には。
@kururu_goedel: いずれにしても、それを日本語でググってなにか情報が出てくると思う方が間違っていると思うナリ。
@kururu_goedel: master conditionがなくても保存されるケースがあるよってのは何回か見た覚えがあるのだけれどもよく覚えていない。
@kururu_goedel: んで、master condition論法ってのが使える場合もOK。これは一般化した定理ってあるのかな。あるとすれば師匠のやつに載っているはず。
@kururu_goedel: 一般論としては小さい強制法で保たれるというのがSolovayとあと誰かによる観察。MeasurableとかWoodinとかみたいなローカルな定義ならば強いclosure propertyを持ったものでも保たれる。
@kururu_goedel: 誰だよ「巨大基数を保存する強制法」とか検索してうちのブログにたどり着いているのは。
