https://twitter.com/kinaba のログ (twilog の方が便利です。)
| Coqの入門記事を書く会 (3) http://d.hatena.ne.jp/hzkr/20100919#p1 この辺って正直、入門記事とかなくても何となく使ってれば完璧に把握できますよね、という辺りを全部すっ飛ばそうかと思ったけど一応self-containedに、と駆け足で。 | |
| @suma90h おおお、これは気になります。読んでみます！＞PROJECT SEVEN | |
| @shisashi うーむ、あれは私としては賛否の否の方でした。『クラインの壺』なんかもですけど、あれだけ早い時期にこの辺りの作品群を作り上げたという一点は評価するのですが、しかしあまりにも実現性に乏しい気がしてしまって。 | |
| 3度起きした。 | |
| @shelarcy おはようございます。今日はめずらしく予定が何もない一日なのでなにをしようかなー | |
| 渋谷にできたらしいジュンク堂を眺めにいこうかと考えている | |
| @dark_yoshi_hpp ですねえ。残念でした＞Book 1stがしょぼくなってから。http://mainichi.jp/select/wadai/news/20100902k0000e040019000c.html とのことなのでこれからは万全！ | |
| @nagachika ほほう。ありがとうございます。このまえワンのタイルの決定不能性 http://www.slideshare.net/pirapira/tile-4347726 の話を聞いたので興味深いです。イーガンこういうのも書いているのですね。読んでみます | |
| @sshi おおおこれは気になります！『スノウ・クラッシュ』の人かー。読もう＞チューリングマシンから(多分)フォートランとかを経由してsslもどきなものまで、ファンタジックなゲーム上で表現 | |
| SFだとそういえば、直接的にプログラミングではないけど、昨日読んだテッド・チャンの 『七十二文字』 が面白かった。再帰・自己記述・メタサーキュラ。オチが最後ここに着地するの最後までまったく予想しなくて見事さに感激。 | |
| 帰宅。渋谷丸善＆ジュンク堂、新しめのやプッシュしてるコミックをカバーかけずにそのまま並べて試し読みドンと来いという感じなのが印象的だった。他のジュンク堂もこうだったっけ。 | |
| ワロタのだけど、僕がviやemacsを使っているところを後ろから覗いている人も同じような気分になるんだろうなーと思って少々申し訳なくもなる http://twitter.com/niw/status/24809151544 | |
| @finalfusion あーはい、そうです。カバー無しで置いてあったら異様だ…(^^;; | |
| 結局、探してる本はあんまり見つからなくて 『ハチワンダイバー (16/17)』 と 『いかにして問題をとくか』 と 『金色の死』 と 『新鮮イカ学』 買ってきた。"第一線で拓かれたイカ学の新境地とレベルの高さを世に知らしめるものである"マジおすすめ。 | |
| @finalfusion それです。全国いか加工工業協同組合の創立45周年記念出版だそうで、イカ研究者の半エッセイ半研究紹介みたいなアンソロジー。ちなみに『いかにして～』の方はイカは関係ないです（当たり前）けど今までずっと気になりつつ読んでなかったのですが、ついに買ってみました | |
| ドーガと言われてFEを思い浮かべるかFFを思い浮かべるかで条件分岐 | |
| MSを思い浮かべる派 http://ja.wikipedia.org/wiki/%E3%83%A4%E3%82%AF%E3%83%88%E3%83%BB%E3%83%89%E3%83%BC%E3%82%AC が多いらしい | |
| アリ本最後まで解き終わった！全て脳内コーディングしかしてないので２週目でコード書こう。めちゃめちゃ面白かったです。僕個人としては、特に、最小カットになる問題の気持ちがわかったのと、DPの章の１歩１歩次々と高度化していく例題ラッシュのおかげで色んなバリエーションが整理できたのが収穫 | |
| というわけで『プログラミングコンテストチャレンジブック』 http://amzn.to/bwWUzn は競技プログラマは全員必読！といまさら宣伝しなくても既に全員買ってる気もしますが。これだけ、上位レッドコーダーのこれまでの暗黙知が網羅的に形式知になってるのは本当凄い。 | |
| アルゴリズムの計算手順の知識（もちゃんと解説されてるけどそれだけ）ではなく、「解かなきゃいけない問題の中に、いかに既知のアルゴリズムが使える構造を見出すか」が鍵となる本なあので、競技プログラマ以外の人も、アルゴリズムそのものの教科書ではなかなか味わえない面白さがきっとあると思う。 | |
| @dark_yoshi_hpp いやー僕などまだまだですので。２章初級編とか書いてありますが、この章の内容だけでもマスターできたら僕より上だと思います。真剣に。 |