2006-05-01 人力型推論 一番最初にロードされるべき型環境を、人手で推論しながら書いてます。自由型変数大杉。束縛し忘れると多相型にならなくてあぼーん。いろいろ試したが多分手書きが一番楽ちん。 ああああああああーーーーもうーーーーーーー!!!!