1944年東京都生まれ。1969年横浜市立大学文理学部数学科卒業。1971年東京大学大学院理学研究科修士課程修了。日本ユニバック、東京工業大学、大阪大学を経て、現在、奈良女子大学理学部情報科学科教授（04年２月現在）