>>25
情報科学の数学的理論面を固めたんじゃないのか?