https://twitter.com/kinaba のログ (twilog の方が便利です。)
| proof term 直接書いたら負けかなと思っている病が発生しているのであんまりゴルフする気がおきない、というかそれ以前に普通に Sqrt 2 が証明できないで止まっているでござる。Coq.Arith コツがわからん… | |
| TCO R5 見物待機。 | |
| TDPL http://www.amazon.co.jp/dp/0321635361 読み終わった。まだ実装が追いついてない部分も多少ある気がするけど、現時点でのDの言語仕様のよいまとめだと思う。公式リファレンスよりは遙かに読みやすい。 | |
| 今からD言語の仕様をざっくり把握しとこうという人の最速コースはこの本読む事、と言っていいと思う。逆に長年Dを追ってる人は色んな言語仕様が出たり消えたりして結局今どうなったんだっけ？の再確認にはいいかも。ただライブラリへの言及がほぼ0なのでこれ１冊を手にアプリ作り始めるには向かない | |
| あとそうだ、著者がAndreiだから、とModern C++ Designのような飛ばし方を期待して読むとそれは違って、まあタイトルの通り、C++でいうとThe C++ Programming Languageに相当する内容ですね。こんな抑えた書き方ができる人だったとは | |
| @repeatedly これが1000円だったらDげんがー全員一応買っておいて損はないんじゃない？と推しますが、このお値段出すほど価値があるか、というと微妙なとこかなーという気はします。すでにD使いの人だと、新しい知識とかはほとんどなくて、頭の整理に良い、という位置づけになるかと | |
| tomerunさんすごい #topcoder | |
| @rng_58 @wata_orz おめです | |
| ほんとだすごす RT ACRushがPetrを抜いてレーティング最高記録更新！？ (via @wata_orz) http://twitter.com/wata_orz/statuses/20568575912 | |
| "..." を使って再帰的処理を再帰的な記述をせずに書ける言語って作れませんかね。 foldr z f [x,y,...] = (f x (f y ...)) やら foldl z f [x,y,...] = ... (f (f z x) y) ... と書けるの。 | |
| これか "P≠NP" http://www.scribd.com/doc/35539144/pnp12pt | |
| http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/d/Deolalikar:Vinay.html "P≠(NP∩coNP) for Infinite Time Turing Machines" というのをジャーナルに通してるような人ではあるのか。無限時間TMでPとかNPってどういう意味になるのかよく知らんですけども。 | |
| @plus7 アブストに FO(LFP) とか書いてあるので、一応、自分に一番馴染み深い方向からのアプローチではあるのですが、100ページ真剣に読むのはしんどいな… |