計算理論の基礎 2020-05-11 witeboard 5章 プッシュダウンオートマトン 2020-05-13 witeboard 6章 チューリング機械 2020-05-13 Witeboard 7章 万能チューリング機械 2020-05-13 Witeboard 8章 チューリング機械に基づいた計算量限定の計算 2020-05-15 P != NP の話 Witeboard