形式言語とオートマトン理論を学び、部分的帰納関数とチューリング機械を通して、アルゴリズムの直感的観念の定式化を行う。　　セブンネットショッピング