購入した本 龍田真 (1992). 『型理論』(レクチャーノート/ソフトウェア学), 近代科学社. 大西建児ほか (2019). 『ソフトウェアテスト教科書 JSTQB Foundation 第4版』, 翔泳社. 井上直也, 村山公保, 竹下隆史, 荒井透, 苅田幸雄 (2019).『マスタリング TCP/I…

2024年になった。紆余曲折あって、今年は勉強をメインには取り組まない年にしたい、と思っているのだけれど、そうは言いつつ一年は長いので、どこかのタイミングで時間が取れて勉強することもあるだろうとも思っている。ので、簡単に目標を立てておく。 学術…