朝から圏論
「他学科の学生なのでレポート提出の場所が分からず，昨日は出せませんでした」
明日はこれで行こう！！！（ぉぃ
自虐ネタはともかくとしてλ算法のモデルとしての用途が分かりやすいテキスト*1を貼っておこう：
- http://citeseer.ist.psu.edu/martini96category.html Martini, Category Theory and the Simply-Typed lambda-Calculus
それにしてもCiteSeerのMITミラーもZurichミラーもSingaporeミラーもみな落ちてるのは何なんだ？
