2024.01.04
https://gyazo.com/11406d7b51a647936998a1a0b007befd
前：
2024.01.03
後：
2024.01.05
#日報
観た
ダンジョン飯(アニメ) 第1話
一人だけ顔つきが
TRIGGER
のやつがいるのメチャクチャすぎ
魔都精兵のスレイブ 第1話
バトルでどう盛り上がれば良いのかわからない
メモ
定理証明支援系での論理の形式化
https://fse.studenttheses.ub.rug.nl/28482/1/BSc_Thesis_final.pdf