『ソフトウェアの基礎』のePub版を公開しました。 - みずぴー日記

「Software Foundations(和訳: ソフトウェアの基礎)」はBenjamin Pierce氏らによって書かれたドキュメントであり、Coqによりプログラミングやプログラミング言語の理論が解説されています。基本的な部分から丁寧に解説されているため、Coqの入門書としてもプログラミング言語理論の入門書としても、非常に優れた内容となっています。 今回は、その「ソフトウェアの基礎」のePub版を公開しました。 対応したリーダを用いることで、iPhoneやiPad、Androidで本ドキュメントを読むことができます。 ダウンロード http://proofcafe.org/sf-beta/ からダウンロードできます。 またmobi版もありますが、Kindleを持ってないので、動作確認はしていません。 バグ報告 http://github.com/sfja/sfja へのissues登録

[wasai]

あとでダウンロードして読ませて頂きます

[shellmaster]

iPadから送信

[ryamuyavi]

ePub版をiBookにゲット！：）

[kmizushima]

GJ

[ikesyo]

『ソフトウェアの基礎』のePub版を公開しました。 - みずぴー日記 「Software Foundations(和訳: ソフトウェアの基礎)」はBenjamin… from: on Readability: http://www.readability.com/articles/vn1ytp9m

[ka_ko_com]

ePUB、ソフトウェアの基礎か。 …… 『ソフトウェアの基礎』のePub版を公開しました。

[tmatsuu]

すばらすぃー

[mas-higa]

あとで読む

[warriorking]

『ソフトウェアの基礎』のePub版を公開しました。 - みずぴー日記

[goddess905]

『ソフトウェアの基礎』のePub版を公開しました。

[TsutomuOnoda]

『ソフトウェアの基礎』のePub版を公開しました。 - みずぴー日記

[richard_raw]

面白そうです……が、まずCoqが分からないのでそっちを勉強しようかしら。

[kakku22]

ePub版をiBookにゲット！

[chezou]

後で勉強する

[stdalfoure]

ありがたや。あとで読む。

[airj12]

mobiもあるーヽ(ﾟ∀ﾟ)ﾉ

[Untouchable]

このあたりのことを全く知らないのがコンプレックスになっていたので、Nexus 7で読みたいと思う(12-11-10)

[amatuka]

『ソフトウェアの基礎』のePub版を公開しました。 - みずぴー日記 「Software Foundations(和訳: ソフトウェアの基礎)」はBenjamin Pierce氏らによって書かれたドキュメントであり、Coqによりプログラミングやプログラミング言語の理

[kimihito]

ダウンロードした！

[kitaj]

とりあえずダウンロードした．mobiもあった．