Church 数って知りませなんだ。以下、インターネットなカンペの元に。
UT なナニは視野に入れつつどうやるか、は考慮中。一応 2 章を読み進めながら問題の検討もしているのでログを。
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。