論理学とかプログラミング言語とか数学。
なんでもいいから，ものごとをきれいに抽象化してみたい。
人の知的活動の背後に潜む構造に興味があるみたいですよ。