>>132
情報論とか
記号論理とか
数学基礎論とか
形式言語論とか
プログラムの意味論とか

プログラミング言語やってると
すんなり入りやすい（上におもしろい）
数学はいろいろあるが
どれもこれも大学入ってからの科目で
受験には役立ちそうもないな。