Tezos実践: TezosのスマートコントラクトをMichelson modeを使って書こう

Tezos のスマートコントラクトは Michelson という VM で動いていますが、この VM オプコードを記述してみます。支援ツールとして Emacs の Michelson モードを使います。