あえて教科書とかを見ないでやってみる. agent Constant1(x,a) = 'x<a>.Constant1(x,a) agent Constant2(x,a,b) = 'x<a,b>.Constant2(x,a,b) agent Cons(cons) = cons(r,hd,tl).(Cons(cons) | Constant2(r,hd,tl)) agent Head(head) = head(r,list).list(hd,tl).(He</a,b></a>…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。