WEB+DB PRESS plus 関数プログラミング実践入門 ──簡潔で、正しいコードを書くために 著者 大川徳之 著 発売日 2014年11月14日 更新日 2014年12月3日
WEB+DB PRESS plus 関数プログラミング実践入門 ──簡潔で、正しいコードを書くために 著者 大川徳之 著 発売日 2014年11月14日 更新日 2014年12月3日
グーグルやフェイスブックに続き、空からのネット接続提供へ？ 空からのネット接続といえば、グーグルの気球やドローン、フェイスブックの飛行機などが、へき地や発展途上国でのネット接続提供に向けて動きだしています。そして今、シリコンバレーのビッグネームがもうひとつそこに参戦しつつあるようです。ウォールストリート・ジャーナルによると、テスラ・モーターズやSpace XのCEO、イーロン・マスク氏が衛星700機を使って世界中にネット接続を広げようとしているようです。 たくさんの衛星で地球全体を覆いネット接続を提供するというアイデアは、衛星スタートアップのWorldVu Satellitesが提案しているものです。その創業者のGreg Wyler氏は、以前グーグルに買収された衛星会社O3b Networksの創業者でもあり、買収後はグーグル役員を務めていましたが、今年9月に退職していました。マスク氏はそ
投資家のバフェット氏は一日の仕事の80%は『読んで考える（reading and thinking』ことに使っているそうだ。 この記事に自身が語っておられることだ。 「あなたのように賢くなるにはどうしたらよいのか」と訊ねられて、新聞や雑誌の束を指さしてこう答えもしたそうだ。 「毎日500ページ読みなさい。そうやって知識を築きあげるのです」*1 人というものは、アドバイスを求めておいて、得られた答えを真剣に取りはしないものだ。 僕もそのアドバイスをリアルに感じるために、『500ページ』ってどんなものか、事務所にある一番分厚そうな本『原色染織大辞典』を取り出して、500ページ目を開いてみた。 その厚みと情報量を見て、バフェット氏が一日の80%を読むことにあてているということが実感できた。そうでなければ、とてもではないが読み込めない量である。 その記事によれば、バフェット氏のこのアドバイスを文字
テスト自動化研究会のメンバーで翻訳・執筆した、『システムテスト自動化 標準ガイド』が12月16日に発売されます。 システムテスト自動化 標準ガイド (CodeZine BOOKS) 作者: Mark Fewster,Dorothy Graham,テスト自動化研究会出版社/メーカー: 翔泳社発売日: 2014/12/16メディア: 大型本この商品を含むブログを見る 原書は、10年前に書かれた書籍ながらいまだにテスト自動化界隈のアンケートなどで「参考になった」書籍に挙げられることの多い『Software Test Automation (ACM Press)』です。 原書は2部構成になっており、第1部には自動化に関する原理原則、第2部には事例が書かれていました。 本書では、第1部の翻訳に加え、第2部には近年の技術や事例を紹介する形で書きおろしという構成になっています。 第14章 CI（継続的イ
スマートフォン（スマホ）でメッセージをやりとりする無料対話アプリLINEを運営するLINE（東京・渋谷）が年内の上場を見送った。LINEは韓国IT大手ネイバーの完全子会社で、東京証券取引所とニューヨーク証券取引所への上場を検討していたが、共に延期する意向をすでに固めた。上場時の時価総額は1兆円超の呼び声が高かっただけに、市場関係者の落胆は大きい。「事業拡大に集中する」というのが見送りの理由だが、「株式上場するには未解決の事案が多すぎる」（市場関係者）という見方がもっぱらだ。 上場延期の理由のひとつとして、実際の利用者数をめぐる疑問が指摘されている。無料アプリのサービス開始は2011年6月で、世界全体の登録者数が5億人を突破したのは今年8月10日。交流サイト最大手の米フェイスブックですら、5億人という大台に乗せるには開設から6年5カ月かかっており、LINEはわずか3年足らずでの猛スピードで大
This is the web site for a textbook about practical engineering with the Coq proof assistant. The focus is on building programs with proofs of correctness, using dependent types and scripted proof automation. I'm following an unusual philosophy in this book, so it may be of interest even to long-time Coq users. At the same time, I hope that it provides an easier introduction for newcomers, since s
試合だけでなくユニフォーム、スパイク、スタジアム、ファン・サポーター、カルチャー、ビジネス、テクノロジーなどなど、サッカーの様々な面白さを発信します。現場好き。週末フットボーラー。 モダンフットボールに合わせて進化した「新しいゴールキーパー像」の象徴と言えばやはりバイエルン・ミュンヘンのドイツ代表GK、マヌエル・ノイアー。あの超攻撃的なスタイルは驚き以上の何物でもないが、そんな彼でもやらなさそうな驚愕のスーパープレーが8日、アルゼンチンで見られた。 絶妙に枠をとらえた相手のロングシュートに対し、懸命に戻るアルゼンチン3部UAIウルキサのGK、マティアス・カノ。そんな彼が最後に繰り出したのは、なんとオーバーヘッドキックでセーブ！ 1点リードされる展開で後半もなかばを過ぎており、追い込まれた状況だからこそ生まれた“神セーブ”と言えるだろうか。しかし、残念ながら試合は0-1のまま終了している。
ケラチンブローアウトはチェルシー独自開発の癖毛が伸びる髪質改善トリートメント「乾かすだけでストレートになる、縮毛矯正をやめられた」との声を多く頂いています。「カラーと縮毛矯正で毛先が傷んでる 根元にだけ縮毛矯正や酸性ストレートをしたが なぜか毛先が傷んできた」こんな方の為の髪質改善！[学割U24 髪質改善]
クラウド資金調達サイトIndiegogoで新記録、ザッカーバーグやビルゲイツも支援する｢Hour of Code｣2014.11.10 19:00 そうこ コンピューターサイエンスを学ぼう。 10月にIndiegogoにて、目標調達額500万ドルを掲げプロジェクトを開始したHour of Codeが、Idiegogoでの資金調達記録を更新しました。プロジェクト開始からたったの1週間で10万ドル（約1,069万円）を調達。1,602人の資金調達者、合計284万2038ドル（約3億38万円）を集めた時点で、Indiegogog史上最大のプロジェクトとなり新たな記録を打ち立てました。プロジェクトは現在進行形なので、その数字はまだまだ伸び続けています。 プロジェクトを進める非営利団体Code.orgが行なうHour of Codeは、1万人のコンピューターサイエンスの先生を訓練しようというもの。目
信頼できない語り手（しんらいできないかたりて、英語: Unreliable narrator）は、小説や映画などで物語を進める手法の一つ（叙述トリックの一種）で、語り手（ナレーター、語り部）の信頼性を著しく低いものにすることにより、読者や観客を惑わせたりミスリードしたりするものである[1]。 この用語はアメリカの文芸評論家ウェイン・ブース（Wayne C. Booth）の1961年の著書『フィクションの修辞学』[1][2]（The Rhetoric of Fiction）の中で初めて紹介され、語り手に関する議論において「一人称の語り手は信頼できない語り手である」との論が張られた。 信頼できない語り手の現れる語りは、普通一人称小説[注 1]であるが、三人称小説[注 2]の語り手も、限られた視点からの情報を語ることなどによって信頼できない語り手となることがある[3]。読者が語り手を信頼できなく
シリア北部アインアルアラブ（Ain al-Arab、クルド名：コバニ、Kobane）でイスラム教スンニ派（Sunni）の過激派組織「イスラム国（Islamic State、IS）」との戦闘に参加し、死亡したクルド人女性部隊兵士の葬儀に参加する人たち。シリア国境に近いトルコ南東部スルチ（Suruc）で（2014年11月7日撮影、資料写真）。(c)AFP/ARIS MESSINIS 【11月10日 AFP】住民の多数をクルド人が占めるシリアのハサカ（Hasakeh）の自治体で、女性に男性と同等の権利を付与する法令が可決された。英国に拠点を置く非政府組織（NGO）「シリア人権監視団（Syrian Observatory for Human Rights）」によれば、イスラム過激派組織「イスラム国（Islamic State、IS）」が成立させた女性に差別的な法律に対抗する動きだという。 クルド人
イスラム過激派組織「ボコ・ハラム（Boko Haram）」が、支配する街を装甲車で走る戦闘員として公開した動画の一部（2014年11月9日公開、資料写真）。(c)AFP/BOKO HARAM 【11月10日 AFP】ナイジェリア北東部の学校で10日、イスラム過激派組織「ボコ・ハラム（Boko Haram）」の犯行とみられる自爆攻撃があり、少なくとも生徒47人が死亡、79人が負傷した。警察当局が発表した。 同国北東部ヨベ（Yobe）州最大の商業都市ポティスクム（Potiskum）にある理系の国営男子中等教育学校で、朝礼のために生徒が集まっていたところ、午前7時50分（日本時間午後3時50分）に爆発が起きた。教師の1人は「多くの生徒が被害を受けたと思うが、現在100メートル離れた病院へ生徒を避難させている最中で、負傷者の数はつかめていない」と話した。目撃者によれば、現場周辺にはたくさんの靴が散
中国・北京（Beijing）で開かれたアジア太平洋経済協力会議（Asia-Pacific Economic Cooperation、APEC）最高経営責任者（CEO）サミットで演説するの習近平（Xi Jinping）国家主席（2014年11月9日撮影）。(c)AFP/WANG ZHAO 【11月10日 AFP】中国の習近平（Xi Jinping）国家主席は9日、北京（Beijing）で開かれたアジア太平洋経済協力会議（Asia-Pacific Economic Cooperation、APEC）最高経営責任者（CEO）サミットで演説し、中国主導の「アジア太平洋の夢」のビジョンを世界に向けて提示した。 習氏は「われわれには、アジア太平洋地域の夢を、同地域の諸国民のために創造し実現する責任がある」と表明。そのような夢は「アジア太平洋全体の共有する運命に基づくもの」であり、「中国はすべての隣国と
大沖「ひらめきはつめちゃん」5巻が、本日11月10日に発売された。これを記念して、応募者全員に大沖の直筆サイン入りハガキが届くキャンペーンが開催される。 申し込みには「ひらめきはつめちゃん」5巻帯に付属する応募券と往復ハガキが必要。2015年1月10日までに応募をすると、2月下旬に大沖からの返信がもらえる。詳細は5巻の帯にて確認を。 「ひらめきはつめちゃん」は、オンライン雑誌のコミックブレイド（マッグガーデン）にて連載中。天才小学生の平目木はつめが、家族や同級生と過ごす日常を4コマで描いている。
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Amazon.co.jp: Fuzoku実践入門: 裏打ちされた知識で正々堂々とデビューする: 村雨秋乃: Digital Ebook Purchas
Amazon.com: Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant (The MIT Press): Chlipala, Adam: Books
Thinking Functionally with Haskell