計算理論と形式言語 II（発展編）

計算量クラスの関係、近似アルゴリズム、ランダム化、情報理論とエントロピー、符号化、文法の階層など、計算と情報の理論をさらに深く学びます。