1971年東京大学理学部物理学科卒業、1973年東京大学理学系研究科修士課程(情報科学専攻)修了、同博士課程(情報科学専攻)進学。