情報システム学専攻SATソルバー, 教員紹介, 情報システム学専攻, コンピュータ科学科, 情報システム系

高校生の君へ

コンピュータ科学は楽しく，魅力的で，社会に役立つ学問です．

私は「賢いソフトウェア」を開発するための理論と実装技術に興味をもっています．今日は，その中の一つである「SAT」について紹介します．名古屋大学で皆さん ...