「Software Foundations(和訳: ソフトウェアの基礎)」はBenjamin Pierce氏らによって書かれたドキュメントであり、Coqによりプログラミングやプログラミング言語の理論が解説されています。基本的な部分から丁寧に解説されているため、Coqの入門書としてもプログラミング言語理論の入門書としても、非常に優れた内容となっています。 今回は、その「ソフトウェアの基礎」のePub版を公開しました。 対応したリーダを用いることで、iPhoneやiPad、Androidで本ドキュメントを読むことができます。 ダウンロード http://proofcafe.org/sf-beta/ からダウンロードできます。 またmobi版もありますが、Kindleを持ってないので、動作確認はしていません。 バグ報告 http://github.com/sfja/sfja へのissues登録
あらすじ あなたはとある業務用 Web アプリケーションの開発・保守を任されています。 このアプリケーションは ASP.NET を用いて作成されており、 クライアントサイドは一部 jQuery を利用してナウなヤングにバカウケの UI を実装しています。 さて、今回は 商品情報の変更履歴を一覧表示する。一覧から2つのバージョンを選んで差分を表示できるようにする。 という機能を実装することになりました。 これ自体はちゃちゃっと実装し、以下のようなHTMLが生成されるようにしました: ... <table> <tr> <th>A</th> <th>B</th> <th>変更日時</th> <th>変更者</th> </tr> <tr> <td><input type="radio" name="new_version" value="9"/></td> <td></td> <td>2012-0
135 名前:名無しは無慈悲な夜の女王[sage] 投稿日:2012/03/14(水) 23:50:14.06 人間が一人も出てこないやつ 138 名前:名無しは無慈悲な夜の女王[sage] 投稿日:2012/03/14(水) 23:55:44.37 >>135 「愛はさだめ、さだめは死」 142 名前:名無しは無慈悲な夜の女王[sage] 投稿日:2012/03/16(金) 17:41:20.97 >>138 ありがとうございます おもしろそうです読んでみます もっと他にもないでしょうか 143 名前:名無しは無慈悲な夜の女王[sage] 投稿日:2012/03/16(金) 19:12:25.39 >>142 大いなる正午(荒巻義雄) たぶん人は出てこなかったと思うが・・・ 柔らかい時計 (1981年) (徳間文庫) 145 名前:名無しは無慈悲な夜の女王[sage] 投稿日:2012/
アメリカ人はアメコミ知らないの?「BRUTUS」アメコミヒーロー特集(エキサイトレビュー) - エキサイトニュース こんな記事書きました。 DCコミックはあんまり詳しくないですが、マーベルは大好きです。 今一番好きなのはこれです。 マーベルゾンビーズ (MARVEL)posted with amazlet at 12.07.15ロバート・カークマン ヴィレッジブックス 売り上げランキング: 43131 Amazon.co.jp で詳細を見るマーベルゾンビーズ。 キャプテンアメリカが脳みそこぼしながら(食うために)戦ってるのに、脳みそ取られると死ぬ(?)ってのはなかなかシュールでした。 ギャラクタスバリバリ食うのは面白いのでぜひ。 さて。 アメコミやハリウッド映画と言えばパロディAVですね! 日本でいうところのTMAのノリと同じで、ハリウッド映画は無駄にクオリティの高いパロディAVが大量に造
「これ知らないMacユーザは損してるよね〜」って思えるMacのTips新年ネタ 前スレで、起動時に明けましておめでとうが出なくなったってありましたよね。 久しぶりに見ましたよ。 スクリーンセーバーでWord of the dayを設定していると、 基本的には、大辞泉(オプションで変更可能)の内容がランダムっぽく表示されるのだが、 年末には、大晦日、正月には明けましておめでとうと出ていた! それから、表示される内容と日付に注意して見ているのだが、結構日付を意識しているっぽい。 システム環境設定で「日付と時刻」から日付を手動で1月1日にしてスクリーンセーバーを「Word of the day」にすれば見ることができます。 関連リンク: OS X Lionのスクリーンセーバーで「Word of the Day」を選択して「あけましておめでとう」を表示する - MACお宝鑑定団 blog(羅針
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く