2005-02-26 Girard's Dissertation 研究 ジラールの博士論文である J.-Y.Girard, Interprétation fonctionelle et élimination des coupures de l'arithmétique d'ordre supérieur, Universite Paris VII, 1972. をコピー。部分的に不鮮明だし読みにくいなぁ。TeX化したいです。やっぱ部分的に担当してみんなでやりましょうか。