@techreport{weko_208940_1, author = "阿部,涼介 and 鈴木,茂哉", title = "Ethereumに基づいたアプリケーションの実行時間定式化の検討と計測", year = "2020", institution = "慶應義塾大学大学院政策・メディア研究科, 慶應義塾大学大学院政策・メディア研究科", number = "11", month = "dec" }