niszetの日記

アナログCMOS系雑用エンジニアが頑張る備忘録系日記

2020-05-05から1日間の記事一覧

The Little Typerを読み始めた

ちょっと前に書いた日記が埋もれていたので一旦公開。 先日読んだ定理証明手習いですが、原著はThe Little Proverといい、The Little er (The ***erのパタンもある)のシリーズ?で出ている書籍の1つでした。 んで、Amazonの奥地に行って色々調べていたとこ…