「Software Foundations(和訳: ソフトウェアの基礎)」はBenjamin Pierce氏らによって書かれたドキュメントであり、Coqによりプログラミングやプログラミング言語の理論が解説されています。基本的な部分から丁寧に解説されているため、Coqの入門書としてもプログラミング言語理論の入門書としても、非常に優れた内容となっています。 今回は、その「ソフトウェアの基礎」のePub版を公開しました。 対応したリーダを用いることで、iPhoneやiPad、Androidで本ドキュメントを読むことができます。 ダウンロード http://proofcafe.org/sf-beta/ からダウンロードできます。 またmobi版もありますが、Kindleを持ってないので、動作確認はしていません。 バグ報告 http://github.com/sfja/sfja へのissues登録
すでに報じられているように、6/26に民主、自民、公明三党などの賛成多数で、消費税増税法案が衆議院で可決されました。その際、民主党からは多くの反対・棄権票が出て、その中でも小沢一郎氏を中心としたグループは民主党を離党し、新たな政党「国民の生活が第一」を結成しました。 これから参議院での審議が始まりますが、採決前に内閣不信任案が可決されるような事態がない限り、法案の成立は避けられないと思われます。 消費税関連のニュースでは政局絡みの話ばかり報道されますが、本当に重要なのはこの増税で私たちの生活や日本経済がどうなるかでしょう。今回はまずそのことを考えてみたいと思います。 ニッセイ基礎研究所で、消費税が実質GDPに与える影響が試算されています。 それによると、2013年度は駆け込み需要で成長率が0.7%押し上げられるものの、2014年度は実質GDPが1.4%押し下げられ、成長率への影響はマイナス
しっとりとした仕上がりの鶏ハム。おかずにはもちろん、サンドイッチの具材にもぴったり。そんな人気メニューの鶏ハムを、今回は炊飯器を使ってお手軽につくる。チーズケーキや豚の角煮づくりで大活躍してきた炊飯器、今回も絶品鶏ハムづくりに役立った。 鶏ハムは通常、一晩以上塩漬けにしてつくるのだが、「そんなには待っておれぬ!! 」ということで、漬け込み時間を2時間に短縮。丸1日漬け込みバーションと食べ比べをしたが、遜色なし! ぜひ試してみてほしい。 炊飯器でつくるしっとり「鶏ハム」 材料(1本分) 鶏モモ肉(ムネ肉でも可) 1枚 / ハーブソルト 小さじ1 / 砂糖 小さじ1 つくり方 鶏肉はモモ肉を使う場合は皮や筋を取り除いておく。キッチンばさみを使うと便利。その後、ハーブソルトと砂糖を両面にすりこみ、ラップをかけて冷蔵庫で2時間ほど寝かせる。 新しいラップを広げ、その上に1をのせる。鶏肉の端からクル
手作りマウスウォッシュ 意外に買うと高いマウスウォッシュが簡単に手作りできます。小さじ1杯の塩と小さじ1杯の重曹を、1/2カップの水に溶いて、口をすすぐだけです。 引火した油の消火 油に引火した場合は「絶対に」水をかけてはいけません。水の代わりに、塩をガバッと振りかけましょう。いつでもかけられるように、火元のそばに塩を置いておくといいです。 雑草の除草剤 雑草に直接塩を振りかければ、除草剤代わりになります。 しみ抜き ・ワインのしみ:直接塩をつけます。 ・血液のしみ:冷たい塩水に浸した後、洗剤や石けんをつけてお湯で洗います。 ・汗じみ:約1リットルのお湯に大さじ4杯の塩を溶かし、スポンジでつけます。 手軽なお掃除用洗剤 ・スポンジの除菌:約1リットルの水に1/4カップの塩を溶かし、スポンジを一晩浸け置きします。 ・レンジの吹きこぼれ掃除:何かを調理していて吹きこぼれてしまった場合は、まだ水
ども!ともぞう(@tomozo_1975)です。 iPhoneのバックアップや音楽の管理と大活躍のiTunesですが、いつの間にか容量が大きくなって、あなたのハードディスクの容量を圧迫していませんか? そこで今日はWindowsのパソコンにあるiTunesのデータを丸ごと他のドライブやメディアに移動する方法を紹介いたします。 最初にiTunesデータの場所を確認して、どのくらいの容量を使っているか確認しましょう。 iTunesデータはWindows OSの種類によって、それぞれ以下の場所に入っています。 Windows7、vistaの場合は「C:¥Users¥”あなたのユーザー名”¥マイミュージック¥」 WindowsXPの場合は「C:¥Documents and Settings¥”あなたのユーザー名”¥My Documents¥マイ ミュージック¥」 私のWindowsで容量を確認する
ナウで世界一周旅行に出ている日本人は推定3000人と言われるぐらい、密かに世界一周ブームな訳ですが、バックパッカ―経験のない初心者がいきなり世界一周に出たらどんなことが待ち受けているのかという367日の全記録です。 皆さんこんにちは。世界新聞社の松崎敦史です。世界一周中のわたくし、現在タイのバンコクにいます。僕の旅も残すところあと3日となりました。 この連載も今回が最終回ということで、少しでも旅行気分を味わっていただきたいと思い、旅のまとめを地域ごとに2~3トピックスづつ時系列でお送りします。 メインのバックパックはマム―ト(最大65リットル) サブバックを前に抱えてこんな感じで旅をしていました 2011年7月15日。早朝、空港へ向かう心境としては「俺本当に行っちゃうんだ」と思ったら笑いが込み上げてきたといった普通ではない感じです。 茨城空港から春秋航空にて最初の目的地・上海へ。 2011
編集元:http://livedoor.blogimg.jp/sg3lqj86/imgs/7/e/7e925d79.jpg 「ν速発「読まなきゃ人生八割損する小説」」より173 : でんちゃん(東京都):2011/02/13(日) 15:43:16.76 ID:BmTkD6KcP 超名作 赤と黒 失われた時を求めて カラマーゾフの兄弟 城 神曲 戦争と平和 特性のない男 ドン・キホーテ 白鯨 ファウスト ボヴァリー夫人 魔の山 ユリシーズ ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 名作 悪霊 嵐が丘 アンナ・カレーニナ 異邦人 史記 大いなる遺産 審判 罪と罰 人間の絆 白痴 響きと怒り 百年の孤独 パルムの僧院 ブッデンブローク家の人々 ペスト レ・ミゼラブル ロリータ ━━━━━━━━━━━━━━━━━━━━━
複数の画像のリサイズやフォーマット変換を一括で行うツールです。 主な特徴 SIMD化やマルチコア対応による高速な一括処理 αチャンネル付き画像に対応 多彩なリサイズアルゴリズム(Lanczos,Spline36,Bicubic,etc. 全9種類) 回転、トリミング、縁取り、色調補正、アンシャープマスク、文字入れ、画像の合成・連結等の加工 Exif情報、ICCプロファイルの引継ぎが可能 連番や写真の撮影日を使用したリネーム Susie Plug-in,WIC(Windows Imaging Component)対応 外部ツールと連携する事で追加される機能(jpegtranのみ同梱) JPEGファイルのロスレス変換・最適化 (jpegtran) 減色 (Yukari, iZYINS, Improved pngnq) PNGファイルの最適化 (pngout) 標準対応フォーマット 入力 JPE
ついっぷる - サービスは終了しました。 「ついっぷる」は 2017年10月31日 をもちましてサービス提供を終了いたしました。 2009年12月のサービス開始より8年近くもの間、沢山の皆さまにご愛用いただきましたことを心よりお礼申し上げます。 「ついっぷるフォト」サービスおよび画像一括ダウンロードは 2017年11月30日 13:00 を以って終了いたしました。 「ついっぷるトレンド」サービスは 2021年8月31日 12:00 を以って終了いたしました。 長らく「ついっぷる」をご愛用頂きまして誠にありがとうございました。 今後とも、BIGLOBEをご愛顧賜りますよう、よろしくお願い申し上げます。 BIGLOBEのサービス一覧
全国から選りすぐられた発酵バターを使用した焼きたてのパンケーキを食べられるのが「Butter」。発酵バターもさることながら、トッピングの生クリームにもこだわり、北海道酪農公社の生乳を使用したコクのある純生クリームを使用しているようです。7月5日(木)には3号店がオープンしたとのことで、この機会にどんな味なのか食べに行ってみることにしました。 ふわっカリッの食感!外側カリカリ、中もっちり。高級発酵バターを使用した、焼きたてパンケーキ専門店Butter http://www.butter-pancake.com/chayamachi/index.html 場所は「大阪市北区茶屋町4番4号茶屋町ガーデンビル2階」。阪急梅田駅から徒歩5分程度です。 大きな地図で見る カラフルな特徴的なデザインの建物ですが、お店はこの2階。 入口が見えてきました。 一歩お店に踏み入れると、白を基調としたオシャレな作
ようこそ 時代遅れの情報がウェブ上にあふれている。そんな情報を見たPHP初心者は戸惑ってしまうだろう。そして、まずい手法やまずいコードが広まってしまう。 そんなのはもうやめよう。PHP: The Right Way は気軽に読めるクイックリファレンスだ。PHPの一般的なコーディング規約、 ウェブ上のよくできたチュートリアルへのリンク、そして現時点でのベストプラクティスだと執筆者が考えていることをまとめた。 大事なのは、 PHPを使うための正式なお作法など存在しない ってこと。 このサイトの狙いは、はじめて PHP を使うことになった開発者に、いろんなトピックを紹介すること。 経験豊富なプロの人にとっても、これまで深く考えることなく使ってきた内容について、新鮮な見方を伝えられるだろう。 このサイトは、決して「どのツールを使えばいいのか」を教えるものじゃない。 いくつかの選択肢を示して、それぞ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く