スマートコントラクト 制御を生成し,情報を提供するために設計されたコンピュータアルゴリズム