必要な知識 学部生〜修士課程入学時 基本的な数学の論証力・証明力, 離散数学の初歩 (集合とグラフ, 数え上げ, 確率), アルゴリズム理論と計算理論の基礎が必要である. 修士課程入学時までに, 下記リンク先の授業程度の内容を修得していることが望ましい. Mathematics for Computer Science (Videos and Lecture Notes) Introduction to Algorithms and Design and Analysis of Algorithms (Videos and Lecture Notes) Undergrad Complexity Theory (Videos) / Automata, Computability, and Complexity (Slides) / Introduction to Theoretical Co