講義ノートの目次へ アルゴリズムの計算量理論の講義ノートPDF。チューリングマシンやオートマトン，ラムダ計算などを使って，アルゴリズムの複雑さを判定する。 例えば，処理の複雑さを「P」と「NP」のクラスに分類したり（＝計算複雑性），ある処理が決し…