2020年7月

・7/04(土):
  - 若干の作業。たぶん GitHub Wiki を更新したんだと思う。
・7/22(水):
  - 補足資料サイトに掲載中の手順を Eclipse 2020-06 および JDK 13 で確認した。
  - 正誤表および補足資料サイトの index.html の修正案に軽微な変更を加えた。
  - K先生にリマインダを送った。
  - K先生から確認した旨の回答を受けた。
  - 正誤表および補足資料サイトの index.html を修正版を公開した。