『ソフトウェアの基礎』のePub版を公開しました。 - みずぴー日記
「Software Foundations(和訳: ソフトウェアの基礎)」はBenjamin Pierce氏らによって書かれたドキュメントであり、Coqによりプログラミングやプログラミング言語の理論が解説されています。基本的な部分から丁寧に解説されているため、Coqの入門書としてもプログラミング言語理論の入門書としても、非常に優れた内容となっています。 今回は、その「ソフトウェアの基礎」のePub版を公開しました。 対応したリーダを用いることで、iPhoneやiPad、Androidで本ドキュメントを読むことができます。 ダウンロード http://proofcafe.org/sf-beta/ からダウンロードできます。 またmobi版もありますが、Kindleを持ってないので、動作確認はしていません。 バグ報告 http://github.com/sfja/sfja へのissues登録
電子書籍を自分で出版してみよう！
2016年6月8日 Web関連記事, ダウンロード, 便利ツール スティーブ・ジョブズ氏の公式伝記が販売されて、各書店を賑わせてますね。この本は紙の書籍だけでなく電子書籍でも販売されています。iTunesストアでは本日もちろん一位に輝いています。そんな電子書籍を読みながら「電子書籍ってどうやって作れるのかなー？」なんて疑問に思ったので調べてみました。出版業界の人でなくても、「自分の本を出版する」ってなんだかワクワクしますよね。さっそく見てみましょう！ ↑私が10年以上利用している会計ソフト！ 電子書籍ってどんなもの？ 電子書籍とは、PC・MacやAppleのiPhoneやiPad、AmazonのKindleなどのディスプレイで読める書籍のこと。書籍はインターネット上で購入、ダウンロードします。ファイルを用意するだけでコンテンツを提供できるので、紙の書籍よりも低コストで手軽に作成できます。デ
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
