https://twitter.com/kinaba のログ (twilog の方が便利です。)
| 発表オタワ | |
| 激しくフォローが消える祭りでもあったんですかこれ | |
| Effective Java 2nd Ed げっとした | |
| 言語の系譜図みたいなのにものすごく興味が湧かない感。「同じ作者の作った言語」と「ほぼ下位互換性のある言語」という系譜以外に意味を見いだせないんだよなー。 | |
| Forcing の超ぶっちゃけた理解はとりマセの「一から強制法」で得ていて、アイデアと " ジェネリック拡大 ""Forcing Language" 以降の議論はとてもよくわかるんだけど、順序集合とその部分構造がどうやって情報の確度とフィルタに対応するかの直感が全然湧 ... | |
| 基数 / 順序数らへんをちゃんと、というか全く理解してないから、大抵の解説ででてくる「連続体仮説の独立性」で使われる例から全然直感が得られてないのが原因なんだけど、あれ何かもっとトリビアルな強制概念とフィルタの例ってないのかな | |
| てかまあ単純に理解しようとして使ってる時間が少ないだけなのは確か | |
| 国際会議にいって「英語うまくならなきゃ」「 Coq 使えるようにならなきゃ」と感じるのはもはやデフォルトですが | |
| 「 Exact Reals の計算量の感覚掴めるようにならなきゃ」と思わされるとは思わなかった http://www.springerlink.com/content/d25223l0nh07g6j6/ が格好良すぎるんだけどどんだけ実用に近いのか遠いのかが感覚的にわ ... | |
| @tw_nagaShima それはひどい ww 始めてすぐにフォローした / されたデータは残ってるので、最近のデータが全部飛んだ感じっぽいですね | |
| 復旧作業の真っ最中であろうときに手動で再フォローなんてしてると更に余計に無茶苦茶になって楽しめる可能性が否定できない twitter なのでついやってしまう | |
| バラモす～ |