moved

(2019-08-10)

ここは更新しませんが、環境を作ってどこかに書くようにします。