思えば半年も放置してた。 前の更新は4月9日か。この半年に何があったっけ。 忘れてしまったよ。 もう高専後半戦なんだねー早いねーとりあえず今、興味がある/勉強しなきゃ、って類のは 群論 記号論理学 Haskell 圏論てかモナド TOEIC/TOEFL 競技プログラミ…