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

最近TaPLを読んでいるのだけれど、いかんせん構造的帰納法に不慣れなもので、導出に関する帰納法による証明を読んだり書いたりしているうちに 自分が何をしているのか 何を示すことで命題を証明しようとしているのか そもそも項に関する帰納法と導出に関する…

2017年4月から新卒で株式会社はてなに入社してフルタイムでWebアプリケーションエンジニアとして働いたのですが、2021年4月に東京工業大学情報理工学院 数理計算科学系の修士課程に入学しました。しばらくは貯金とアルバイトと学生支援機構からのローンで生…