http://d.hatena.ne.jp/sumii/20060219/1140346031の答え。http://d.hatena.ne.jp/namasute0/20060220#1140366627の追記を参照。僕が見た中では最も早い解だったので。OCamlで書けばわりとすぐにわかるけど、多相λ計算だけ見てるとhttp://d.hatena.ne.jp/wpw…