こんにちは，sititou70 です．私は社会人 2 年目のよわよわ Web フロントエンドエンジニアであり，「数学」とか「証明」とは無縁の人生を送っています． そんな私ですが，がんばって型システム入門（通称：TAPL）という本を読み終わりました．全 32 章，503 ページ，牛乳パック 1 本分の重さがあり， 自立します． 自立…
もっと詳しく
