計算機科学の質問はここでしろ！

[0338 名無しさん＠お腹いっぱい。 2008/10/15(水) 23:51:11 ID:DxiDDyYP0]

>>334
Curry-Howard のことかな
それとも program extraction のことかな