>>148
アルゴリズムくらいは入れておいてくれ。
形式言語や計算量の理論や情報理論や離散数学はこの際許してやるが