2006-02-17 ■ 比較的マジメにプログラミング。ナップザックや荷物のクラスが定義できたからといってナップザック問題が解けるわけでは無いのと同様、typeの定義ができたからといって型推論できるようになるわけではない。