購入した本 龍田真 (1992). 『型理論』(レクチャーノート/ソフトウェア学), 近代科学社. 大西建児ほか (2019). 『ソフトウェアテスト教科書 JSTQB Foundation 第4版』, 翔泳社. 井上直也, 村山公保, 竹下隆史, 荒井透, 苅田幸雄 (2019).『マスタリング TCP/IP [入門編] 第6版』, オーム社. 『型理論』 型理論の数少ない和書で、中身を読めるかはともかくとして、参考文献リストを見て、今後の勉強方針を考えようと思った。たぶんProofs and Typesを読むか、ラムダ計算に入門し終えてから読むのが正解なのだと思う。 『ソフトウェアテスト教…