https://twitter.com/kinaba のログ (twilog の方が便利です。)
| 地震来てたのか！知らなかった。もったいないことをした http://twitter.com/kurimura/status/3231282631 | |
| .@mayahjp いままでの人生、地震で目が覚めたことが一度もないのが自慢です！ | |
| .@pi8027 関係筋によると、「震度6～とかなんとか言う話は何度も聞いてたような気がするが全て9日の地震の話かと思っていた」などと述べているという | |
| ところで現況ですがセキュリティ＆プログラミングキャンプ http://www.jipdec.or.jp/camp/ にいます。講師というところに何故か名前がありますがむしろ他のコースに生徒として混ざりたい | |
| http://twitter.com/h_kagami/status/3262279988 「普通の数学」までが必要、という感じがするなあ。超限帰納法、Zornの補題/整列可能定理、基数ってなんぞや、くらいまでは色んなとこでよく見る気がするけどそれ以上はよく分からん、という感覚。 | |
| 順序集合で写像が不動点で云々とかいう方向の話は集合論じゃなくて代数になるんですよね、たぶん、というレベルで分野の区別がよくわかってないのですが。ロジックや代数の知識はあればあるだけ実用に使える印象 | |
| 強制法というのはハタ目にはものすごく使えそうに見えるので理解したいといつも思ってて http://d.hatena.ne.jp/kururu_goedel/20090726/1248592480 の後ろ４つの ・ は凄くよくわかるんですが、ただ１つ、最初の generic というものの定義が何を言いたいのか皆目分からず挫折するのが僕の常 | |
| 後ろの方の証明はありがたいことに色々な解説文書のおかげで追えるので、むしろ、じゃあ例えば連続体仮説の独立性証明に適用するにはどういうfilterをとってくるもので"""それがいかに連続体仮説の否定っぽいか"""を延々と語ってくれる文書があると多分僕は強制法を理解した気分になる | |
| てきとうなことを言っているなあ僕は。寝よう | |
| @yuzuhara おー。よろしくお願いします。 |