伊庭斉志
伊庭斉志『代数学的手法に基づく幾何学的概念の推論.』〈博士論文(博工第2552号, 甲08609)〉1990年3月。http://gakui.dl.itc.u-tokyo.ac.jp/cgi-bin/gazo.cgi?no=108609。 学位授与日:1990.03.29、課程博士、工学博士、東京大学大学院工学系研究科 情報工学専攻