スマートコントラクト言語（DAML：Digital Asset Modeling Language）