2005-12-14 函数におけるメタな集合は通常冠詞で表わされる。これに対する言葉として「かけ算 ver. 2」を先程Webで見かけ、久々にSFマインドを擽る単語を見た思いに満たされた。ヴァージョンのnに対する演算で函数のメタっぷりを示すわけだが、どうもチャーチっぽいか。 ただ、ヴァージョン演算の写像を求めようとするとMicrosoft Windows 3.0分の積や、東京ドーム5杯分やら馬場正平の足の裏3ヘクタールとかそういうのになって面白くない。