イプシロン計算については次のエントリーなどで紹介したことがあります。 イプシロン計算ってなんですかぁ？ こんなもんですよぉ ラムダ計算とイプシロン計算を使って線形代数の計算 -- 随伴の例 ε記号〈イプシロン記号〉はヒルベルトあたりが導入したんじゃ…