https://twitter.com/kinaba のログ (twilog の方が便利です。)
| http://twitter.com/shinyak/statuses/931545957 そうそう、nを定数にするとサックリループ消されるのでわざわざargvからとった。めんどかった。 | |
| http://tinyurl.com/4kv2sk うおお問題読み間違ってた。そりゃ全探索で間に合うよ！ | |
| http://twitty.jp/kinaba/change/ こんなサービスがあったのか | |
| http://d.hatena.ne.jp/sumii/20080924/p1 おめ @shinh | |
| しかし Smartass 三連覇かいな。ありえん。 | |
| ICFPコンテスト Judge's Prize のひとのコード → http://pages.physics.cornell.edu/~shicks/icfp08/ "texsocket" wwww | |
| この手のTeXでやるというのがどのくらい頭おかしい感じなのかわからないのが微妙に悔しいな。"The multiplication, division, and square root routines are not my own" などと言ってるので ... | |
| というわけでTeXのマクロを勉強しなくては（15回目くらいの決心） | |
| @kmizu 昔はw.l.o.g.というどことなくweblogっぽい名前だったので、次はどことなくdiaryっぽい名前にしようと思ってdとyを使って適当にタイトルを考えたという裏設定がないこともないのであった。 | |
| @ranha さんの http://d.hatena.ne.jp/ranha/20080924/1222237868 見てる。これくらいのrefの使い方ならcircular programmingで綺麗に消せそうだけど、Haskell版もSTMonad使ってるの？なんでだろ | |
| あーそう簡単ではないか。いやーでもわざわざ破壊的代入使う意味がわからぬう | |
| あーやっとわかった。そうか一旦順番崩してから元に戻す形になるからか。しかし気に入らない | |
| いやあんまり気に入らなくなくなってきた。（関数型言語大嫌い ∩ 関数型データ構造大好き）ゾーンに属する人間には非常に脊髄反射するのが難しい問題である | |
| ICFP の論文チェックちゅう。面白そうかつ読んだことないのということで、Equaliy checking のやつと Ralf Hinze の Pearl と Ynot のやつと、FPH と HMF と Remyのやつをげっと。あとで読む | |
| first-class polymorphism の型推論の話が多すぎてわらえる。これは現地で著者同士の質問しあう様子を見たすぎるなあ。。。 | |
| @ranha PDF送りましょーか。てか筑波の図書館とかから見れないのかな | |
| Ralf Hinzeは古いページは全部pdf置いてあって素晴らしいかったんだけどOxfordのページは適当だなあ | |
| 「ICFP＆愉快な併設ワークショップ達」版SBRやるぞー( http://www.kmonos.net/wlog/83.html#_1739080317 )って言ったら誰か乗ってくれる人いるかな | |
| @chunjp やらないか |