NPをちゃんと説明しようとすると形式言語の基本から始めてチューリングマシンを使ってまず計算とはいかにして定義されるかみたいな話をはじめにゃならんからしんどいな