『ソフトウェアの基礎』のePub版を公開しました。 - みずぴー日記
「Software Foundations(和訳: ソフトウェアの基礎)」はBenjamin Pierce氏らによって書かれたドキュメントであり、Coqによりプログラミングやプログラミング言語の理論が解説されています。基本的な部分から丁寧に解説されているため、Coqの入門書としてもプログラミング言語理論の入門書としても、非常に優れた内容となっています。 今回は、その「ソフトウェアの基礎」のePub版を公開しました。 対応したリーダを用いることで、iPhoneやiPad、Androidで本ドキュメントを読むことができます。 ダウンロード http://proofcafe.org/sf-beta/ からダウンロードできます。 またmobi版もありますが、Kindleを持ってないので、動作確認はしていません。 バグ報告 http://github.com/sfja/sfja へのissues登録
[Mac] 知らない人は損してると思うMacの使い方【その１】 | Appleちゃんねる
「これ知らないMacユーザは損してるよね〜」って思えるMacのTips新年ネタ 前スレで、起動時に明けましておめでとうが出なくなったってありましたよね。 久しぶりに見ましたよ。 スクリーンセーバーでWord of the dayを設定していると、 基本的には、大辞泉（オプションで変更可能）の内容がランダムっぽく表示されるのだが、 年末には、大晦日、正月には明けましておめでとうと出ていた！ それから、表示される内容と日付に注意して見ているのだが、結構日付を意識しているっぽい。 システム環境設定で「日付と時刻」から日付を手動で1月1日にしてスクリーンセーバーを「Word of the day」にすれば見ることができます。 関連リンク： OS X Lionのスクリーンセーバーで「Word of the Day」を選択して「あけましておめでとう」を表示する － MACお宝鑑定団 blog（羅針
読み方がわからないUNIXコマンドはどうすりゃいいんだ。 - harry’s memorandum
この業界は読み方がアバウトすぎる。だから間違っていても俺は強い意志でこう読みたい、と思ったので備忘録にする。*1 ASUS いきなりUNIXコマンドじゃないけど、俺はずっとアサステックです。公式ではアスースらしい。 ASUSの日本での読み方は「アスース」が正式です。日本参入時から今まで、1度も変更したことはありません。呼び辛いと言われることは確かに多いのですが、社名なのでお許しください。 http://twitter.com/#!/asusjp/status/17064855018147840 Youtubeの英語発音ではエイサスとしか聞こえない。(2m02sあたり) ASUSの公式サイトの「ブランドネームの由来」だとペガサスからきているから "〜〜サス" がになっていないと格好がつかないと思う。なので俺はアサスでいく。 芸術や学問でのインスピレーションの象徴となっているギリシャ神話の空飛
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
