2007年度卒研

D. グリース「コンピュータのための数学―論理的アプローチ」講読