MTT
副テーマは、先生にsubmitしたが、tree transducerによる定式化のところで
実行例がない。ocamlでmttを作っている例をみつけたので
http://yquem.inria.fr/~frisch/mtt/README
これをつかってサンプルを、土曜日につくろう。
副テーマは、先生にsubmitしたが、tree transducerによる定式化のところで
実行例がない。ocamlでmttを作っている例をみつけたので
http://yquem.inria.fr/~frisch/mtt/README
これをつかってサンプルを、土曜日につくろう。