ちょうど、こういうページにぶつかって。そこにMTTのてきすと説明の サンプルがあった。http://lamp.epfl.ch/~emir/bqbase/2005/02/04/example_rectrans.html input X = { Phonebook, Entry, Name, Phone, String } ∪ { o, atom, [] } output Y = { Table, T…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。