電書ちゃんのでんでんコンバーター
テキスト、画像、CSSファイル、およびでんでんコンバーターの設定ファイル (ddconv.yml) 、自動ルビ用CSVファイル(ruby.csv)がアップロードできます。 複数ファイルのアップロードができます。ファイルの選択時にControlキーを押しながらファイルを選んでください。複数ファイルのアップロードに対応していない一部のブラウザでは、テキストを一つだけアップロードしてください。それ以上の機能は対応しません。 ファイル名には、半角英数、半角ハイフン「-」、半角アンダースコア「_」のみを使うようにしてください。ファイル名に日本語を含めるとうまく動作しないことがあります。 アップロードできるファイルの最大数は100ファイルです。 ファイル1つあたりのサイズ上限は3MBです。 アップロードしたファイルは後からすべて削除されます。サーバ上にデータは残りません。 テキスト 本文にあたるテキス
『ソフトウェアの基礎』のePub版を公開しました。 - みずぴー日記
「Software Foundations(和訳: ソフトウェアの基礎)」はBenjamin Pierce氏らによって書かれたドキュメントであり、Coqによりプログラミングやプログラミング言語の理論が解説されています。基本的な部分から丁寧に解説されているため、Coqの入門書としてもプログラミング言語理論の入門書としても、非常に優れた内容となっています。 今回は、その「ソフトウェアの基礎」のePub版を公開しました。 対応したリーダを用いることで、iPhoneやiPad、Androidで本ドキュメントを読むことができます。 ダウンロード http://proofcafe.org/sf-beta/ からダウンロードできます。 またmobi版もありますが、Kindleを持ってないので、動作確認はしていません。 バグ報告 http://github.com/sfja/sfja へのissues登録
EPUB - Wikipedia
EPUB（イーパブ）は、国際電子出版フォーラム（英語版）（International Digital Publishing Forum, IDPF）が策定した、オープンフォーマットの電子書籍ファイルフォーマット規格である。「EPUB」は"Electronic PUBlication"（電子出版）の意味を持ち「epub」「ePub」などと表記される場合もある。 EPUBはXML、XHTML、CSSおよびZIPに基づいた規格であり、対応するハードウェアやアプリケーションソフトウェアは多く、電子書籍ファイルの標準となっている。 2020年2月19日にはISOより国際規格"ISO/IEC 23736" として刊行された。 概要[編集] EPUBは、XHTMLのサブセット的なファイル・フォーマット規格であり、HTMLやウェブブラウザのオープン性を保持しつつ、インターネット接続が切断された状態の携帯情
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
ソフトウェアの基礎(beta) — ソフトウェアの基礎 1.0.2 documentation
https://idpf.org/home
