概要を読むと難しそうなんだけど 「オートマトンと単純型付きラムダ計算の基本的なところがわかっていれば大丈夫」 うーむ
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。
