mzp https://blog.hatena.ne.jp/mzp/ みずぴー日記 https://mzp.hatenablog.com/ 「Software Foundations(和訳: ソフトウェアの基礎)」はBenjamin Pierce氏らによって書かれたドキュメントであり、Coqによりプログラミングやプログラミング言語の理論が解説されています。基本的な部分から丁寧に解説されているため、Coqの入門書としてもプログラミング言語理論の入門書としても、非常に優れた内容となっています。今回は、その「ソフトウェアの基礎」のePub版を公開しました。 対応したリーダを用いることで、iPhoneやiPad、Androidで本ドキュメントを読むことができます。 ダウンロード http://proofcafe.org/sf-beta/ … 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fmzp.hatenablog.com%2Fentry%2F2012%2F07%2F15%2F154831" title="『ソフトウェアの基礎』のePub版を公開しました。 - みずぴー日記" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> http://cdn-ak.f.st-hatena.com/images/fotolife/m/mzp/20120715/20120715183609.png Hatena Blog https://hatena.blog 2012-07-15 15:48:31 rich https://mzp.hatenablog.com/entry/2012/07/15/154831 1.0 100%