https://twitter.com/kinaba のログ (twilog の方が便利です。)
| せっかく C できたのに codeforces 落ちてるる | |
| そして復活と同時にくらうWA | |
| Cだいたいあってるとは思うんだけどなー。むむう | |
| 『出題者心理から見た入試数学』 http://amzn.to/aEHvgZ という本を読んでる。まだ１章までしか読んでないけど頷いてしまうところが多い。指導要領の外の方法で"も"解ける問題を出す時の覚悟であるとか、無理にパターン化しないで"普通に"解こうぜ、というメッセージとか。 | |
| @tsukuno BigInteger で gcd て gcd() 呼ぶだけじゃないのん | |
| 完全にList<int>のつもりで使っているList<Integer>の要素を==で比較するのは30回くらいやった RT @nodchip: Stringを==で比較するのは誰もが通る道 RT @chunjp: BigIntegerを==で比較するのは誰もが通る道 [要出典] | |
| http://dx.doi.org/10.1016/j.tcs.2010.05.031 読んでる。exact real でのリーマン積分を依存型でちゃんと正しさ保証しながら書いたということか。実装見たい | |
| あれ、さっきのポスト doi not found になってる。"A computer verified, monadic, functional implementation of the integral" という論文です | |
| @brainfs 僕は結局あまりClaireのClaireらしい部分（ルールベースのイベント発火システム等々）を全然使いこなせてないで普通の言語として使っちゃってるだけなので、ぜひ @brainfs さんが使いこなしていただけると！ |