「Software Foundations(和訳: ソフトウェアの基礎)」はBenjamin Pierce氏らによって書かれたドキュメントであり、Coqによりプログラミングやプログラミング言語の理論が解説されています。基本的な部分から丁寧に解説されているため、Coqの入門書としてもプログラミング言語理論の入門書としても、非常に優れた内容となっています。 今回は、その「ソフトウェアの基礎」のePub版を公開しました。 対応したリーダを用いることで、iPhoneやiPad、Androidで本ドキュメントを読むことができます。 ダウンロード http://proofcafe.org/sf-beta/ からダウンロードできます。 またmobi版もありますが、Kindleを持ってないので、動作確認はしていません。 バグ報告 http://github.com/sfja/sfja へのissues登録
For full functionality of this site it is necessary to enable JavaScript. Here are the instructions how to enable JavaScript in your web browser.
ども!ともぞう(@tomozo_1975)です。 昨日、Windowsで外付けHDDにiTunesデータを移動する方法をご紹介しましたが、今日はMac でiTunesのデータを丸ごとUSBメモリに移動する方法をご紹介いたします。 Windowsとほとんど同じ手順で簡単に移動する事ができますよ! MacでiTunesデータを移動する手順はWindowsと一緒です。違うのはデータの場所だけです。 iTunesのデータはMac OS Xの場合、「/ユーザ/”あなたのユーザ名”/ミュージック」に入っています。 私のMacでフォルダ容量を確認すると、25GBもありました! 私のMac Book AirはSSD128GBなのでこれは痛いです。なんとか空き容量を増やしたい! そこで今回はUSBに接続したMicroSDHCカードへデータを移動させてみます。 iTunesから環境設定の詳細にある「[iTun
「これ知らないMacユーザは損してるよね〜」って思えるMacのTips新年ネタ 前スレで、起動時に明けましておめでとうが出なくなったってありましたよね。 久しぶりに見ましたよ。 スクリーンセーバーでWord of the dayを設定していると、 基本的には、大辞泉(オプションで変更可能)の内容がランダムっぽく表示されるのだが、 年末には、大晦日、正月には明けましておめでとうと出ていた! それから、表示される内容と日付に注意して見ているのだが、結構日付を意識しているっぽい。 システム環境設定で「日付と時刻」から日付を手動で1月1日にしてスクリーンセーバーを「Word of the day」にすれば見ることができます。 関連リンク: OS X Lionのスクリーンセーバーで「Word of the Day」を選択して「あけましておめでとう」を表示する - MACお宝鑑定団 blog(羅針
ナウで世界一周旅行に出ている日本人は推定3000人と言われるぐらい、密かに世界一周ブームな訳ですが、バックパッカ―経験のない初心者がいきなり世界一周に出たらどんなことが待ち受けているのかという367日の全記録です。 皆さんこんにちは。世界新聞社の松崎敦史です。世界一周中のわたくし、現在タイのバンコクにいます。僕の旅も残すところあと3日となりました。 この連載も今回が最終回ということで、少しでも旅行気分を味わっていただきたいと思い、旅のまとめを地域ごとに2~3トピックスづつ時系列でお送りします。 メインのバックパックはマム―ト(最大65リットル) サブバックを前に抱えてこんな感じで旅をしていました 2011年7月15日。早朝、空港へ向かう心境としては「俺本当に行っちゃうんだ」と思ったら笑いが込み上げてきたといった普通ではない感じです。 茨城空港から春秋航空にて最初の目的地・上海へ。 2011
ついっぷる - サービスは終了しました。 「ついっぷる」は 2017年10月31日 をもちましてサービス提供を終了いたしました。 2009年12月のサービス開始より8年近くもの間、沢山の皆さまにご愛用いただきましたことを心よりお礼申し上げます。 「ついっぷるフォト」サービスおよび画像一括ダウンロードは 2017年11月30日 13:00 を以って終了いたしました。 「ついっぷるトレンド」サービスは 2021年8月31日 12:00 を以って終了いたしました。 長らく「ついっぷる」をご愛用頂きまして誠にありがとうございました。 今後とも、BIGLOBEをご愛顧賜りますよう、よろしくお願い申し上げます。 BIGLOBEのサービス一覧
あらすじ あなたはとある業務用 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
言葉を失うほどの美しさ…どうしても見ておきたい世界16の絶景 世界の死ぬまでに見ておきたい絶景ポイントは、過去にも何度かご紹介したことがありますが、まだまだ紹介しきれるものではないようです。 海外サイトで紹介されていた、一度はこの目に焼き付けておきたいと思えるような16の絶景をご覧ください。 1. スコゥガフォス アイスランド島南部にある同国最大級の滝で「雑木林の滝」の意味します。晴天時には、落水により生じる水煙により一重あるいは二重の虹が見られるそうです。 スコゥガフォス - Wikipedia 2. コルマール フランス東部、アルザス地域圏の街。、かつての神聖ローマ帝国自由都市という歴史を持ちます。自由の女神像などを製作した彫刻家フレデリク・バルトルディはコルマールの出身で、その生家は現在記念館となっているそうです。 コルマール - Wikipedia 3. プロヴァンスのラベンダー畑
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く