【お知らせ】（12/17）

諸事情により年内の定期更新はこれが最後になります。遅くても正月明けには再開予定です。

年内の定期更新はお休みしますが、年末までに備忘録的な更新を予定しています。その他、なにか大きなニュースがあったときは臨時更新するかもしれません。