■

[book]

コンパイラ―原理・技法・ツール〈1〉 (Information & Computing)

コンパイラ―原理・技法・ツール〈1〉 (Information & Computing)

コンパイラ―原理・技法・ツール〈2〉 (Information & Computing)

コンパイラ―原理・技法・ツール〈2〉 (Information & Computing)

計算論 計算可能性とラムダ計算 (コンピュータサイエンス大学講座)

計算論 計算可能性とラムダ計算 (コンピュータサイエンス大学講座)