2021/4 から日記を箇条書きで書くようにしてみた、これ以上不可が大きいと続かないけど、これくらいならなんとか続いている scrapbox.io 大学院に入学したよ 研究室のセミナーでTaPLの輪講してるよ、11章までやった 証明などのが解がふわっとしてるところが…