https://twitter.com/kinaba のログ (twilog の方が便利です。)
| 強制法やっとわかった！！！！（積読として週末からずっとKunenの集合論 http://www.amazon.co.jp/dp/4535783829 読み続けていた）（しかし結局入門記事とかみたいなものでショートカットしようとせずに真面目にこつこつ勉強をした方が圧倒的に早いという話であった…） | |
| 強制法のいろんな解説記事で一番つまずいたのは、何はさておき最初に突然現れるこの半順序Pてなんなん、というところで、これは週末僕がいい加減に把握したところによると今からモデル内に作りたい物体の型で、型を決めるとジェネリックフィルタの存在定理という有難いもののおかげで自動的に (続 | |
| 続) その型の要素のなかでも特にジェネリック【要定義】な要素Gというものが存在することが言えて、その有難さのおかげでGに関する有限の証明はモデル内でちゃんと見えると同時に、色んな値とくまなく似てる的なジェネリックさを活用すると例えば連続体仮説の否定になるような物質であると言えたり | |
| @mr_konn その部分は本当に慣れていてわかりやすいのに数学の人の解説はそのアイデアが重点的に説明されている気がして、長らく難しいのはそこじゃないんです！という気分でした… | |
| 近似を与えるというよりは、中の世界に見せられる物と見せられない物をデザインするという気分で読んでた。下向きL=Sが成り立つのに非可算濃度の存在がその中で証明できるみたいな現象は素直に理解できるのでその延長で、器用に見せられる範囲と見せられない範囲を調整すると色々起きる | |
| @ikegami__ 興味もった人はどうせ元の論文に直接あたるだろうから、興味持ちそうな人の興味を引っ掛けるだけへの集中を割と自分は意識してます。自分で論文読むときも、問題意識までわかったら先を読み進む前に自分ならどうアプローチするか考えて答え合せ的に読みますがそこまでをまとめる | |
| @ikegami__ 具体的には「論文の本文を140文字で解説する」のではなく「論文のタイトルを140文字で解説する」つもりでやってます。これなら数十文字のものを140字で解説するわけでできそうな気がしてくる。（原タイトルが良くなかったら自分ならどうするか仮想題考えてそれを解説 | |
| @ranha ありがとうございます！！！111 Parameterized Algorithmといえば木曜日に発表があるはずの http://www.acsu.buffalo.edu/~mwehar/documents/LBL_Equivalence.pdf がParameterizedプロ的にどういう印象なのか気になってるので面白質疑応答とかあったら知りたいです | |
| @ranha ほえー読んだことありませんでした、こんど読みます |