てことは、推論機構としてはもうあって、関数型の式としてそのまま使う場合にも、この変換を拡張する感じで・・・