既存のsolidityを知っている人が聞かなければならないようですね。インストールプラグインのリストを講義資料に追加したいと思います。