著者名 山崎,憲一
論題 関数型言語と論理型言語の融合に関する研究
学位授与年月日 2001.09.28
学位の種別 論文博士
学位の種類 博士(工学)
学位記番号 博乙第70号
論文審査委員 主査 竹内郁雄 教授


渡辺担 教授


野下浩平 教授


尾内理紀夫 教授


岩崎英哉 助教授