kb84tkhrのブログ

何を書こうか考え中です あ、あと組織とは関係ないってやつです 個人的なやつ

2017-12-16から1日間の記事一覧

『定理証明手習い』購入

微妙な行き詰まり感からついこれをポチッと・・・ 『定理証明手習い』www.lambdanote.com む、埋め込みがうまくいってない?まあいいか 中身は見ずにポチったすでにほぼ信仰 電子書籍も紙書籍もあってちょっと迷ったけど応援になるかとも思って両方注文少々…