• プログラミングの基礎
• ソフトウェア工学
• 理論計算機科学
  • 計算可能性理論
  • 計算量理論
  • ラムダ計算