計算機科学の研究テーマ
数論, 組合せ論, グラフ理論, 数理論理学, 情報理論, 計算理論, チューリングマシン, ラムダ計算, アルゴリズム解析, データ構造, 形式言語, プログラム意味論, ...