情報理論などにおける「具体的な情報」ももちろん大事なのだけど、「抽象的な情報」も大事だとおもうわけで。でもそんな理論みたいなのは聞いたことがあまりない。 離散フーリエ変換は情報を失わないとか ポインタにするとデータの大きさ情報が失われるとか …

例えば2次元図形で。 左上 右下 で定義される矩形がある。 これを左上 右下 にするような平行移動と拡大縮小のパラメータを計算したいとする。 前提から の4つのパラメータを計算すればいいことはすぐわかる。 でもそれを具体的に計算するには方程式を解くし…

今までの手続き型言語に慣れた人たちが関数型とかに行くとプログラムがわからないのはきっとそういうことなのだとおもう。 きっとその人達は「実際にやる内容」とか、特に「時間」を気持ちの前提に置いている。そしてそれは関数型やストリーム処理などとは相…