「Software Foundations(和訳: ソフトウェアの基礎)」はBenjamin Pierce氏らによって書かれたドキュメントであり、Coqによりプログラミングやプログラミング言語の理論が解説されています。基本的な部分から丁寧に解説されているため、Coqの入門書としてもプログラミング言語理論の入門書としても、非常に優れた内容となっています。 今回は、その「ソフトウェアの基礎」のePub版を公開しました。 対応したリーダを用いることで、iPhoneやiPad、Androidで本ドキュメントを読むことができます。 ダウンロード http://proofcafe.org/sf-beta/ からダウンロードできます。 またmobi版もありますが、Kindleを持ってないので、動作確認はしていません。 バグ報告 http://github.com/sfja/sfja へのissues登録

スマートフォン（スマホ）の利便性に魅力を感じるものの、使い勝手やバッテリー駆動時間などに不安を覚え、従来型の携帯電話との「2台持ち」をする人は少なくありません。もちろんそのままでは通信料はかさむばかり。今回（連載第3回）は、人気のスマートフォン「iPhone（アイフォーン）」などと携帯電話の2台持ちを安く済ます方法を披露します。スマートフォンの人気が高まり、携帯電話からの移行が進みつつある。そ

あぁ、これはいいかも。 Don’t fear the Internetでは、HTMLとCSSのざっくりとした仕組みを説明してくれているサイトだ。 HTMLのマークアップはどういう仕組みになっているのか、CSSでできる事はなにか、などを（英語だが）、デザイナーではない人向けに映像で解説してくれるのだ。 インターネットを恐れるな！というタイトルどおり、極めて初心者向けに作られている点に好感が持てる。 苦手意識を持っている人に映像で何かを説明する、というのは悪くないかもですな（ドットインストールもそうだが）。

コカコーラに発ガン性物質が含まれていることが判明 - ねとらぼ コカコーラに発ガン性物質が含まれている、という甘党の肝を冷やすような検査結果が発表されている。 発表したのは、「NPO法人　食品と暮らしの安全」の協力団体CSPI（アメリカの公益科学センター）。日本を含む世界各国のコカコーラには、発ガン性物質の4-メチルイミダゾール（4-MI）が含まれているという。 なんで今頃言い出したのかよくわからないんだが、これはもうだいぶ前に公表されてる話。 http://jp.ibtimes.com/articles/27730/20120309/631410.htm FDAの広報担当、Doug Karas氏によると、「1日1,000缶以上」の炭酸飲料を飲まなければ、がんにつながることはないという。 と、殊更発がん性を恐れる必要もないんだが、なぜこんな煽ったような題名のプレスリリースを出したのかが気に

自民党の麻生太郎元首相は５日の麻生派会合で、小沢一郎元民主党代表らの新党について「国民の生活が第一という新会派だそうだが、『選挙が第一の党』という政党名の方が現実的ではないか」と皮肉った。 引用元：http://uni.2ch.net/test/read.cgi/newsplus/1341469890/

By GeometerArtist 図形が最も美しく見えるとして1：1.618という比率は黄金比と呼ばれ、その他にも図形が美しく見える白銀比（1：1.414）や青銅比（1：1.303）といった比率が存在しますが、「Metallic Ratio」では縦や横の幅を記入すると自動的にそれらの比率に従って長方形を作ってくれるので、デザインの仕事をしていたり、ポスターなどを描く際に役立つはずです。 Metallic Ratio http://ratio.b-shiki.com/ 比率には縦横比タイプと分割比のタイプがあり、縦横比タイプには、1：1、1：1.333、白銀比である1：1.414、黄金比の1：1.618、1：2、1：2.414（白銀比）、1：2.618、1：3.303（青銅比）の8種類の比率があります。 使い方は、縦横比のタイプを選択した場合、8種類の比率から使いたいものをクリックし、表示

1. レスポンシブ ウェブデザイン基礎 Responsive Web Design Basic ・ レスポンシブ・ウ ブデザイ ェ ン基礎 Responsive Web Design Basic こもりまさあき 2012. 06. 11 at Yahoo! JAPAN | Komori, Masaaki 2. レスポンシブ ウェブデザイン基礎 Responsive Web Design Basic ・ 自己紹介 こもりまさあき http://blog.gaspanik.com  http://protean.im 1990年代前半に都内のDTP系デザイン会社にてアルバイトをはじめる。大学卒業後 そのまま正社員となり、入出力業務、デザイン業務、ネットワーク関連業務に並行し て従事。2001年、会社を退職しそのままフリーランスの道へ。案件ごとに業務内容 や立ち位置が異なるため、職域的な肩書きは

【テスト】きちんと色が見えていますか？ オンラインで「色覚」のチェックをしてみよう 佐藤英典 2012年6月30日 女性の255人にひとり、男性では12人にひとりが色覚に何らかの問題があるという。あなたは大丈夫だろうか？　カラーサイエンスおよびテクノロジー分野の世界的な企業の「エックスライト」は、オンラインでできる色覚のテストを提供している。気になる方はぜひともチェックして頂きたい。 同社が提供している「Online Color Challenge」は、マスに並ぶ色の順番をかえて、きれいなグラデーションを完成させるというもの。左端と右端のマスにはベースとなる色が配置されている。隣り合う色を見極めて、ドラッグ・ドロップで並べ替えていくのだ。 4つの並べ替えを終えて、「score test」のボタンをクリックすると、すぐに評価点がわかる。評価点は低いほど良い結果で、ゼロ点が最高の評価。100点

プログラミング初心者が写経する時に気をつけると良い事を4つ説明します。 画像はイメージです プログラムを勉強する時に、写経しろ（すでに完成しているプログラムを本から書き写せ）とか言われるが、ちょっと意識するとだいぶ違うと思う 1. 外から書け 例えば、1からnまでの数字を全部表示するプログラムがあるとする。 def run(max) 1.upto(max).each do |i| puts i end end run(10) これを写経する時、上から下に1行目から順に書くのではなくて、まず def run(max) end いちばん外側を書いて def run(max) 1.upto(max).each do |i| end end 中を書いて def run(max) 1.upto(max).each do |i| puts i end end こうなる。 上から書かないのが重要。プログ

HTML5で開発をするために必要な実践的なコードを提供します。基本的な構文からプログレッシブなマークアップ、フォーム、各種メディア、マイクロデータ、位置情報、canvasなど幅広い内容をカバー。 また、どのブラウザが仕様のどの部分をサポートしているのかを調べるためのヒントやブラウザによるサポートにばらつきがある場合の対応策と、それらが必要かどうかを見きわめる方法についても解説。これによって、読者はそれらの機能が開発中の案件に必要かどうかを判断できるようになるでしょう。実践的な解決策を求めるエンジニアのためのレシピ集です。 本書に寄せて はじめに 1章　基本的な構文とセマンティクス はじめに レシピ1.1　DOCTYPEを指定する レシピ1.2　文字セットを指定する レシピ1.3　言語を指定する レシピ1.4　<script>と<link>を最適化する レシピ1.5　HTML5の新しい要素を

松井大輔さんがナチュラル嫌味に耐えながら、ユーロ解説のアルバイトをやり切った件。 Tweet Share on Tumblr カテゴリ:サッカー 2012年06月05日11:53 男の責任を果たすパートタイムサッカー解説者誕生！ 日本代表がワールドカップ最終予選を戦い、心地よい疲れを癒していた頃、あの男は生活のために働いていました。元日本代表・松井大輔。南アフリカでベスト16進出の原動力となった男は、代表に合流するわけでもなくニュース番組に登場。相変わらずのオシャレヒゲで、何故かユーロ2012の解説を始めたのです。 近年の松井さんはどこかの大事なボタンを掛け違ったかのように、迷走をつづけています。ル・マンの太陽と呼ばれたあの頃は遠い昔。サンテティエンヌはまだしも、グルノーブルへの移籍でバッドエンドルートへ突入。南アフリカワールドカップの活躍で、ボタンをリセットするチャンスをつかんだものの、

第1回Ruby開発環境勉強会 - delirious thoughts http://kentaro.hatenablog.com/entry/2012/05/29/230254 という勉強会があったので、「見よう見まねでカスタマイズしてもどうせ使いこなせないからギリギリまでやらなくてよし」などという意識の低い感じの話をしました。 スライドには書いてないこともけっこう喋ったので捕捉: リファレンスマニュアルについて Emacs (anything) から perldoc とかるりまとか引けるようにしたこともあるけど、コマンド名やキーバインドを覚えられず定着しませんでした。あと、用例も見たいので結局ほかのページもぐぐることになり、もうブラウザでいいや、というのが今のところの結論です。わざわざキーワードを当てたのは、「赤い背景」のページばかり上位に出てくるのが嫌だったからで、単にキーボードから

This webpage was generated by the domain owner using Sedo Domain Parking. Disclaimer: Sedo maintains no relationship with third party advertisers. Reference to any specific service or trade mark is not controlled by Sedo nor does it constitute or imply its association, endorsement or recommendation.

やさしさゴシックボールドはどんなフリーフォント？ フリーフォントのやさしさゴシックボールドは、自由にダウンロードし、商用・非商用問わず使用可能です。 やさしさゴシックレギュラーよりも太くタイトル、見出し向けのフォントになります。 このフリーフォントをご使用になるには、ダウンロードファイルに含まれる 「M+FONT-TESTFLIGHT」の内容を読みください。 It is requested to read and accept “M+FONT” before downloading
 Font. ページ最下段のフォントのダウンロードボタンを押してダウンロードして下さい。 ライセンス フォントは以下のライセンスに準じます。フォント同梱のテキストをお読み下さい。 * M+ (LICENSE_J,LICENSE_E) Copyright(c) 2012 M+ FONTS PROJECT ひらがな

» 桐生市議会議員が「放射能汚染地域に住む人の血って、ほしいですか？」と衝撃発言 / 事務局「検討し対処する」 特集 群馬県桐生市の議員が、Twitterで驚くべき発言をして物議をかもしている。庭山由紀議員は、市役所前に停車している献血車の画像を公開し、「放射能汚染地域に住む人の血って、ほしいですか？」と投稿しているのだ。 これに他のネットユーザーから批判が続出。「公的立場の人の発言じゃないですよ！」や「こんな最低最悪な人が……」など、衝撃を受ける人が相次ぎ炎上状態となっている。問題の発言は次の通りだ。 「献血の車が止まっているけど、放射能汚染地域に住む人の血って、ほしいですか？」（Twitterより引用） 本当に桐生市役所前に停車している車なのか、同市に尋ねてみたところ、現在（14時頃）も停まっているとのことだった。そして、市議会事務局に電話を取り次いでもらうと、電話が殺到している状態と