インタビュー：Ethereum Dev 平井 洋一氏「イーサリアムの可能性と、形式検証」 https://www.coin-portal.net/2016/10/01/13335/ pirapiraさん流石や……