技術書典3で買ったもの - nekketsu^ω

2017年10月22日(日)に秋葉原で開催された技術書典3というイベントに一般参加しました。買ったものの感想をメモっておきたいと思います。 技術書典は「技術書」専門の同人イベントであり、ニコニコ超会議と併設開催された「超技術書典」も含めると今回で4回目の開催となります。 以下、買ったものの一部の感想を書きます。サークルリスト順です。 『Goならわかるシステムプログラミング』『定理証明手習い』 – ラムダノート株式会社 『Progmatic Opal』 – みさきとミギー 『解説 Embedded Interpreters』 – team scomber 『進捗大陸02』 – 進捗大陸 自作言語 Rill と WebAssembly – @yutopp 再帰を持つ関数型言語の符号解析 – @youxkei 証明付き分散システムを作ろう! – @amutake 『Unity Graphics