みずすまし日記 - 信仰信条

 和は同値類を構成する。ラムダ計算はα同値類(集合)の変換とみなすか、それとも抽象データ型の項の変換とみなすか。瑣末な神学的問題にとらわれる者(オレ)もいる。