副テーマは、先生にsubmitしたが、tree transducerによる定式化のところで 実行例がない。ocamlでmttを作っている例をみつけたのでhttp://yquem.inria.fr/~frisch/mtt/READMEこれをつかってサンプルを、土曜日につくろう。
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。