論文は見つかったのですけど、英語で難しい。 ってことで、実装ないんかと探してみると、実装の論文は見つかったんですけど、実装そのものは見つかりませんでした。http://d.hatena.ne.jp/osiire/20090507http://ocaml-nagoya.g.hatena.ne.jp/yoshihiro503/2…