https://twitter.com/kinaba のログ (twilog の方が便利です。)
| そもそもなんで Java の標準の TreeSet や TreeSet や C++ の std::map や std::set はなんで mutable なんですか非常に使いにくくて死ぬ、と言った感情を広く共有したい | |
| @finalfusion なんか個人的にこつこつまとめるみたいなことはしようかなあ…と思っていなくもないです…（締め切り仕事はやだ派 | |
| @nari3 こちらこそ！ | |
| 毎朝ねむいねむいと思っているけれど、いざ世間的な基準でも早めになりそうな時間に起きてみると「朝5時30分に起きてください本物の眠気ってやつをお見せしますよ」っていう感じだな（ねむい | |
| http://narayama.naist.jp/~seki/ttatt/ TTATT 2012 (通称：初夏のツリーオートマトン祭り) （嘘）に来ています | |
| http://twilog.org/kinaba/date-120430 で列挙したときにすら完全に記憶から忘れ去っていたネタを何人かに今どうなってるのと指摘されて思い出した（ひどい）。これ(PDF) http://www.kmonos.net/pub/Presen/shonan_ATHOPV.pdf をUnsafeに拡張するのは "variadic MTT"を(続 | |
| 定義してそれに対して同じ補題を全部証明すればいい＆できるはず＆だいたいできた、というのが現状なのであとでちゃんと考える。variadic というのはDのvariadic function templateとだいたい同じ http://dlang.org/variadic-function-templates.html | |
| ICFP 2012 Accepted Papers http://icfpconference.org/icfp2012/accepted.html 見てる。タイトルだけ見た限りでは "Functional Programs that Explain their Work" 気になる。Cheney だしきっと面白い。 | |
| あと "Typing unmarshalling without marshalling types" も気になる | |
| Typing unmarshalling without marshalling types、検索すると2006年頃のcaml-listへの投稿と2011年のD論がひっかかる。長期戦だ | |
| @_ko1 シリアライズしたデータに型情報を埋め込むという意味だと思います。 | |
| @_ko1 論文自体はOCamlの実装に対するパッチなので（フランス語版しかWebにないので超絶ナナメ読みですけど）どこまで一般的な話かはわからないのですが、RubyのMarshal.dumpって型情報入ってるのでは。 | |
| @_ko1 OCamlのMarshalは型情報入ってなくて、unmarshalの時に型情報をプログラムから与えるんですが、間違った型を与えるとクラッシュしたりする（のをバイナリフォーマット変えずにどうにかしたという話っぽいです） | |
| @_ko1 単にunmarshal時にプログラマが型を渡します。(Marshal.from_channel stdin : int*float list*string) みたいな。間違っていると死亡 | |
| @_ko1 はい！それです | |
| ていうかこの辺(標準で)なんとかなったみたいな話って昔なかったっけ、って思ったけど特に何も書いてないな http://caml.inria.fr/pub/docs/manual-ocaml/libref/Marshal.html | |
| おわたので帰宅中。初名古屋大学でした。そして IPSC in shinkansen が始まる | |
| transducerのクラスがlearnableという言葉の定義が理解できたのでまあ収穫であった。 | |
| 味噌煮込みーっと思ったら凄く混んでたので隣のカツ屋で名古屋名物膳なるものをいただいている。 http://twitter.com/kinaba/status/208847661107904514/photo/1 | |
| 苦手なものとか考えずにとりあえず名物と言われると頼んでしまう癖は改善の必要がある。 | |
| この前桑名を歩いた時に焼きはまぐりを買わないよう自制できた僕はえらかった。 | |
| IPSC のチーム名かんがえないと。 | |
| international practical shooting cofederation へのアクセスが急増していそう | |
| 「http://ipsc.ksp.sk のサーバからの応答が一定時間以内に返ってきませんでした。 | |
| 帰宅！戦線復帰！ |