google:OCaml で Bag で検索したら「もしかして: ocamldebug 」とか言われるかと思いましたが， Google はそこまで賢くありませんでした． というくだらない話はさておき， OCaml で Bag のようなデータ構造 (同一要素が区別される集合) が必要になったので…

[註] この記事には解答はありませんが，Coq の証明が読める人にはヒントになってしまうかもしれません．[追記] 解答の公開が解禁されたそうなので遅ればせながら公開致します．Blassのものと同じ定義なのであまり参考にならないと思います． id:kikx さんが …

NICTA に来てから tree transducer 漬けの毎日． こちらに来るまで，Macro tree transducer (MTT) とか Attributed tree transducer (ATT) とかそれより上のクラスばっかり相手にしていて， Top-down tree transducer (TDTT) は自明な世界だと思ってましたが…

10/4まで北京泊・10/5 京都泊・10/6 東京泊・10/7 機内泊・10/8からシドニー泊…という激しいスケジュールを経て NICTA を訪問中です． 最近，再び OCaml のコードをたくさん書く機会ができたので， 久しぶりに OCaml プログラミングに関するメモを公開します…