tw.log

https://twitter.com/kinaba のログ (twilog の方が便利です。)

<<newer (latest) older>>

20101121 00:11 @kazu_sakaguchi 理論上は言語内で自分自身の型推論器が書けるつもりなので言語自体に型を持たせる気はない、という方向なんですが、インチキでない型推論をライブラリ実装するのは時間足りないのでいつか未来に…というような状況です
20101121 11:22 1000点って書いてあると解けないけど900点って書いてあると解けるみたいなのはあるなあ(TopCoder脳)。確かになにか心理学的な名前ついてそう http://twitter.com/riceflow/status/6006584568193024
20101121 16:41 @pi8027 停止しないケースがあります( PDF: http://www.diku.dk/hjemmesider/ansatte/henglein/papers/henglein1993a.pdf )。その理由は、20年前には証明されていなかったような結果なのでそれなりに複雑なんだと思います(僕もよーしりません)。

<<newer (latest) older>>

presented by k.inaba (kiki .a.t. kmonos.net) under CC0