「コンストラクタやクローニングの表示的意味論：多オブジェクト系とフォック構成 (1)」の続きである「(2)」を書こうかと思ったんですが、「(2)」で使うであろう、ちょっとした公式を先に説明しておきます。ex + y = ex×ey という指数法則はご存知でしょう。…