Markdown記法に対応しました - はてなブログ開発ブログ
本日、はてなブログはMarkdown記法に対応しました。GitHubなどで採用されているMarkdown記法を利用して、ブログ記事を書くことができます。 ブログの基本設定で、編集モードとしてこれまでの「見たままモード」と「はてな記法モード」に加えて「Markdownモード」を選択できます。新規の記事をMarkdown記法で記述でき、一部「GitHub Flavored Markdown」にも対応しています。 さらに、はてな記法のうちfotolife記法などの「自動リンク記法」が利用できます。画像や商品は、これまで通りの記法で手軽に貼り付けることができます。 なお、すでに掲載している記事をMarkdown記法で編集し直すことはできません（これまでの動作と同じように、編集モードの切り替えは、これから書き始める記事に対して有効です）。 はてなブログは「書く人」のためのブログとして、書きたいことを
『ソフトウェアの基礎』のePub版を公開しました。 - みずぴー日記
「Software Foundations(和訳: ソフトウェアの基礎)」はBenjamin Pierce氏らによって書かれたドキュメントであり、Coqによりプログラミングやプログラミング言語の理論が解説されています。基本的な部分から丁寧に解説されているため、Coqの入門書としてもプログラミング言語理論の入門書としても、非常に優れた内容となっています。 今回は、その「ソフトウェアの基礎」のePub版を公開しました。 対応したリーダを用いることで、iPhoneやiPad、Androidで本ドキュメントを読むことができます。 ダウンロード http://proofcafe.org/sf-beta/ からダウンロードできます。 またmobi版もありますが、Kindleを持ってないので、動作確認はしていません。 バグ報告 http://github.com/sfja/sfja へのissues登録
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
