退屈な話が続きますが、完全を期すために続けます。前回、http://d.hatena.ne.jp/propella/20090803/p1 ocaml を使って abc ファイルを生成する所までやりました。しかしこれで出来たファイルは Tamarin が無いと動かないので、全く何の役にも立ちませんでし…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。