10月からワークショップのテキスト変更するので、古いテキストを徐々に公開しようかなーとか思ってる。