2011-01-08から1日間の記事一覧
今日外を歩いていたら、たまたま長男を見かけたので声をかけた。何年か前までは、外で会うと「おとーさーーん」と大声を上げて走ってきた。ところが最近は、緊張したような気まずいような回りをうかがうようなギゴチナイ感じで、「あ、おっ、おとうさん」と…
デカルト閉圏(Cartesian Closed Category; 略称CCC)は、型付きラムダ計算のモデルです。でも、僕らが普通にデカルト閉圏で計算するとき、ほんとうに型付きラムダ計算を使っているかと言うと、そうでもなくて、多変数の関数とかも使います。タプルの一変数じ…