2005-08-25 簡約 プログラミング http://www.iic.tuis.ac.jp/edoc/journal/ron/r6-2-9/index.html http://www.ipl.t.u-tokyo.ac.jp/~hu/pub/teach/pm03/reduction.pdf