https://twitter.com/kinaba のログ (twilog の方が便利です。)
| .@seizans さんと @keigoi さんだ。さすがの人選。おもしろそう。 http://www.fos.kuis.kyoto-u.ac.jp/sig-ppl/index.php?ss2012 | |
| xkobo やりたくなってきた（今週全国ですでに総計100万回くらいされていそうな発言）http://www.olofson.net/kobodl/ | |
| @kumagi http://mathworld.wolfram.com/PrimeFormulas.html (10) とか (13) とか (8) とか | |
| ほんとだ Complexity Zoo 死んでる http://cstheory.stackexchange.com/questions/12115/is-there-a-backup-replacement-for-the-complexity-zoo | |
| @natsutan うお、知りませんでした！25周年グッズは http://www.amazon.co.jp/dp/4757533527 と http://www.amazon.co.jp/dp/4757533519 と http://www.amazon.co.jp/dp/4087796051 しか持ってない！ | |
| おお＞OCaml 4 | |
| http://caml.inria.fr/ocaml/release.en.html first class module のパターンマッチで unpack 良さそう | |
| 『R&R』http://mwbunko.com/product/2012/07_04_isbn.html 読んだ！くるくるリピートするする世界でなぜかとんとん進む会話。テンポ良くて楽しい。素敵でした。表紙絵だけみて即買いしたくなった人には超おすすめしたい。あらすじだけ見て即買いしたくなった人には…どうだろ | |
| 本を読む以外の行動をする気力がまったくでない日々が続いている | |
| ふらふらしてたら辿り着いた酒井さんのfavotterの一番上にあった"A beginner's guide to forcing" http://arxiv.org/abs/0712.1320 を読んでた。知りたかったことが全部（じゃないけど書いてない事は書いてないと明示されてる）書いてあった…！ | |
| 知りたかったこととは具体的には5節の最初の段落(CHの否定っぽさをℵ2^M×ℵ0→2から醸し出す部分)と9ページの最後(setの表現)と6.3節(ultrafilterの気持ち)でした。"genericの気持ち"もだけどこれは最後に明示的に書いてないって書いてるので安心して読める | |
| 他の任意の解説にも書いてあるのだろうけれど、2節とか6節の[[]]ようなモデルさんを作るという発想の説明に多くが裂かれてる気がしてその辺で力尽きてた。その辺の考え方はすくなくとも表層的にはなじみ深いので1行でわかるつもりでいるのに細かく見ないといかんのかなーとかで迷いの森にいつも |