「多相関数： 補遺」にて： 多相関数、パラメトリック性／アドホック性、型クラスの正確な定式化には、かなりの抽象化が必要です。曖昧で錯綜した印象は、抽象化が足りてないからでしょう。ここらの話題も気が向いたら書くかも知れません（誰も興味なさそう…

たまに disintegration という言葉に出会うのですが、辞書的な意味は： 分解、分裂、崩壊、風化作用、粉末化 とかです。が、integration が積分で、それに dis が付いたような気がします。気がするだけでよく分からないので、disintegration をなんと訳すの…