2013年10月15日のブックマーク (27件)

  • カントールの対角線論法 - Wikipedia

    カントールの対角線論法(カントールのたいかくせんろんぽう、英: Cantor's diagonal argument)は、数学における証明テクニック(背理法)の一つ。1891年にゲオルク・カントールによって非可算濃度を持つ集合の存在を示した論文[1]の中で用いられたのが最初だとされている。 その後対角線論法は、数学基礎論や計算機科学において写像やアルゴリズム等が存在しないことを示す為の代表的な手法の一つとなり、例えばゲーデルの不完全性定理、停止性問題の決定不能性、時間階層定理といった重要な定理の証明で使われている。 対角線論法[編集] 集合による表現[編集] 対角線論法とは、以下の補題を使って定理を証明する背理法のことである。 を集合とし、をのべき集合とする。さらにをからへの写像とする。の部分集合をにより定義すると、となるは存在しない。 上の補題は以下のように示せる。となるが存在すると仮定

  • ログ解析環境についてなんとなく書いてみる - wyukawa's diary

    ふとログ解析環境についてなんとなく書いてみたくなったので書いてみる。 データサイエンティストブームなるものがあると思いますが、データサイエンティストって言ったときに、Hadoop/Hiveあたりを使ってデータをきれいに整理して分析しやすいように加工するデータエンジニア(某氏が命名)と加工されたデータを使って分析するアナリストの2種類いると思うんですよね。両方できればもちろん良いんですけどさすがにそれは難しいので分業が必要です。ただアナリストもHadoopの運用ができる必要性は低いと思いますがSQLは書けた方が良いとは思います。 ちなみに僕は仕事でログ解析周りを担当しており現状はアナリストではなくデータエンジニアですね。 KPIというか統計値は毎日レポーティングする仕組みは既にあるのですが新しい統計値を知りたいという要望もちょいちょいあります。 最近は自社サービスも安定して運用されているので

    ログ解析環境についてなんとなく書いてみる - wyukawa's diary
    k_wizard
    k_wizard 2013/10/15
  • いまさら聞けない「DevOps」

    最近さまざまなイベントやブログエントリで見かける「DevOps」。この言葉をひもとき、なぜ「Dev」と「Ops」が衝突するのか、その解決に必要な要素とは何かを分かりやすく解説します。 DevOpsとは 2009年にオライリーが開催した「Velocity 2009」というイベントにおいて、Flickrエンジニアが、“開発と運用が協力することで、1日に10回以上のペースでリリースが可能になること”を紹介しました。いまさまざまなシーンで見かける「DevOps」という言葉は、このプレゼンの中で登場したものです。 DevOpsとは、開発(Development)と運用(Operations)が協力し、ビジネス要求に対して、より柔軟に、スピーディに対応できるシステムを作り上げるためのプラクティスです。多くの人々により議論は続けられていますが、ITILとは異なり、現時点においては、DevOpsに厳密な

    いまさら聞けない「DevOps」
    k_wizard
    k_wizard 2013/10/15
  • 運用担当者、激減中

    ユーザー企業の情報システム部門で今、運用担当者の人数が大きく減り始めていることをご存じだろうか。 運用業務には、「アプリケーション保守」や「OS/ミドルウエア運用」、「ITインフラ運用」などがあるが、あらゆる業務に関わる運用担当者が減少しているのだ。まずは4社の事例を紹介しよう。 サイバーエージェント 運用担当者の人数 20人→0人(予定) サイバーエージェントで消費者向けWebサービスを手がけるアメーバ事業部では、現時点で20人いるOS/ミドルウエアの運用担当者を、2年後の2015年までにゼロにする計画だ。 彼らは現在、OS/ミドルウエアをサーバーにインストールしたり、パッチを適用したり、アプリケーションの負荷に応じてサーバー台数を増減したりする業務を行っている。これらの業務を、オープンソースソフトウエアの運用管理ツール「Chef」を導入することで、自動化する計画だ(図1)。

    運用担当者、激減中
    k_wizard
    k_wizard 2013/10/15
  • http://www.keishicho.metro.tokyo.jp/anzen/movie/13_pipo/00.htm

    k_wizard
    k_wizard 2013/10/15
  • 日立ソリューションズの「IT用語辞典」が妙にマニアック IT用語とはいったい…… ※追記

    日立ソリューションズのサイト内にある「IT用語辞典」が無駄にマニアックだと話題になっています。IT用語辞典がマニアックとは一体……? ところどころ「おや?」という項目が…… 基的にはマジメな用語辞典なのですが、特徴は何と言っても「コンピュータ企業と団体」や「コンピュータ関連人物」など、いわゆるオタク方面の異様な充実ぶり。「TOKYOナンパストリート」や「マリちゃん危機一髪」、「天使たちの午後」といった妙にマニアックなゲームはもちろん、TYPE-MOON代表の「武内崇」さん、セガ社員であり漫画家の「ゾルゲ市蔵」さんなど、「それIT用語か!?」といったものまで幅広くカバーしており、担当者の懐の深さがうかがえます。美少女ゲーム関連項目の説明がやたら充実しているのはたぶん偶然だと思います。 TOKYOナンパストリート(エニックスから発売された恋愛シミュレーションゲーム) マリちゃん危機一髪(エニ

    日立ソリューションズの「IT用語辞典」が妙にマニアック IT用語とはいったい…… ※追記
    k_wizard
    k_wizard 2013/10/15
  • 生レバー提供:「焼き肉用」生食黙認 「脱法」横行- 毎日jp(毎日新聞)

    k_wizard
    k_wizard 2013/10/15
  • 酷い英語をもっとお願いします | gihyo.jp

    メーリングリストでもっとたくさん酷い英語を見かけたい。ネイティブじゃない人が英語が上手くなくてと謝る場面がもっと減ってくれたらとも思う。母語ではない第二、第三、あるいは第四の言語を、たとえ熟達していない状態でも、とにかく使ってコミュケーションを図ろうとするのは全く恥じるようなことなんかじゃない。もし、外国語だというのを理由に不安や気後れを感じて重要な貢献を果たさなかったり、FLOSSツールへ貢献する方法やその使い方について質問を控えたりしたのなら、そういうことが恥になるんだ。 訳注 FLOSSは Free/Libre and Open Source Software の略。フリーソフトウェアとオープンソースソフトウェアとをまとめた言葉 オープンソースの美点の一つは多国籍ということ。それも“⁠るつぼ⁠”と見なしうる物事のうち最も真に“⁠るつぼ⁠”らしい多国籍なんだ。数百万もの人たちが英語で運

    酷い英語をもっとお願いします | gihyo.jp
    k_wizard
    k_wizard 2013/10/15
  • 朝日新聞デジタル:漫画「黒子のバスケ」菓子撤去 コンビニに「毒入れた」 - 社会

    人気漫画「黒子のバスケ」をめぐって作者に恨みがあるという人物から、毒入りの菓子を店頭に置いたとの封書がコンビニ最大手のセブン―イレブン・ジャパン(東京都千代田区)に届いていることがわかった。同社は15日、店頭から玩具つき菓子「ボイコレ 黒子のバスケウエハース2」の一時撤去を始めた。  黒子のバスケは、週刊少年ジャンプ(集英社)に連載中のバスケットボールを題材にした漫画。この漫画に関連するイベントの中止を求める脅迫事件が昨年から各地で相次いでおり、警視庁は一連の事件との関連について捜査を始めた。  セブン―イレブン・ジャパンの説明では、封書は15日までに郵送で届き、文面は菓子に毒を入れたという趣旨だった。名指しされた玩具つき菓子はこの漫画の関連商品で、キャラクターカードが入っている。全国約1万6千店舗のうち、約1500店で取り扱いがあるという。  一方、関連とみられる手紙は菓子の製造元や報道

    k_wizard
    k_wizard 2013/10/15
  • パレスチナおふくろの味が東京に

    先日、知人より、東京の十条という場所に「パレスチナ料理の専門店がある」との情報を得た。これまで世界各地のグルメを喰い倒してきた当サイトも、さすがにパレスチナ料理はノーマークだった。 ということで、未体験の文化を堪能してきました。

    k_wizard
    k_wizard 2013/10/15
  • ggsoku.com

    ggsoku.com
    k_wizard
    k_wizard 2013/10/15
  • 皿洗いヲ極める

    03/9/8 皿 洗 い を 極 め る さて、皿洗いのエクスパートを目指す修業の次第をお話ししよう。前回は少し話を面白くし過ぎた。今回は淡々とことの次第をお話しするので、面白さには欠けるのをおゆるしいただきたい。 まず、とにかく洗えばいいんだろうと、皿洗いを始めたのが最初の段階である。間もなく、やるからには、ピカピカにしてみせるぞ、と持ち前のチャレンジ精神が出てきた。ていねいに、徹底的に洗うのである。全ての器に洗剤を使い、何度も濯ぐ。鍋は徹底的に磨く。ワイフは物もちが非常にいいのである。鍋のなかには、独身時代から使っているというような年代物がある。いくらアライグマと呼ばれ、台所をきれいにきちんとするのが性分のワイフといえども、年期を経た鍋には、あちこち黒ずんだしつこい汚れが付いている。取っ手の奥まったところや、へりの下部、あるいは鍋がぺこぺこに歪んでいる凹部などに積年の黒ずみが

    k_wizard
    k_wizard 2013/10/15
  • 「ドアの向こうのカルト」佐藤典雅 著 - うさうさメモ

    ドアの向こうのカルト ---9歳から35歳まで過ごしたエホバの証人の記録 作者: 佐藤典雅出版社/メーカー: 河出書房新社発売日: 2013/01/18メディア: 単行(ソフトカバー)購入: 1人 クリック: 23回この商品を含むブログ (14件) を見る著者の佐藤氏は、米国駐在の銀行員のお父さんを持ち、9歳から大人になるまで、ほとんど米国で生活されていた方です。このには、その中でお母さんが米国のエホバの証人の勧誘を受けて信者となり、家族全員がバプテスマと呼ばれる洗礼を受け、後に佐藤氏の「脱洗脳」をきっかけに妹さん以外が脱会するまでの経験が書かれています。「エホバの証人」というと、冊子を配って勧誘している宗教団体というイメージしかありませんでしたが、このを読んでその独自の考え方、ライフスタイルを知しました。それは以下のようなものです。 「エホバの証人」は聖書研究会で、新規会員を勧誘す

    「ドアの向こうのカルト」佐藤典雅 著 - うさうさメモ
  • Redmine Slides — Redmineを知るためのスライド集

    Redmine Slides はオープンソースのプロジェクト管理ソフトウェア Redmine を知るために役立つスライドを紹介するサイトです。 入門 5 これからRedmineを使う方向けに、Redmineの概要・用途・利用するメリット・基操作を説明するスライドです。Redmineの使い方を学べます。

    Redmine Slides — Redmineを知るためのスライド集
    k_wizard
    k_wizard 2013/10/15
  • 入試面接0点、なぜ 今年医学部不合格「採点基準は」

    入試面接0点、なぜ 今年医学部不合格「採点基準は」
    k_wizard
    k_wizard 2013/10/15
  • 【人類が凄い】地球一周し、少数民族の文化を記録した壮大なプロジェクト『彼らが消えて行く前に』:DDN JAPAN

    DDN は 音楽 ・ 映像 に関する デジタル アート を中心に情報ミックスを配信中

    【人類が凄い】地球一周し、少数民族の文化を記録した壮大なプロジェクト『彼らが消えて行く前に』:DDN JAPAN
    k_wizard
    k_wizard 2013/10/15
  • 漫画家やなせたかしさん死去 NHKニュース

    「それいけ!アンパンマン」などの漫画や「手のひらを太陽に」の作詞で知られる漫画家の、やなせたかしさんが、13日に心不全のため東京都内の病院で亡くなりました。 94歳でした。

    k_wizard
    k_wizard 2013/10/15
  • ヒッグス粒子ってなあに?

    このファイルは 高校生程度の知識を持っている人向けに、図とアニメーションで「ヒッグス粒子って何なのか、を雰囲気だけでも理解してもらおう、という意図で作りました。 数式などは使っていませんが、 ヒッグス粒子って何なのか、を理解するために必要なのは、 です。実はこれは、数式を操って物理を理解することよりもずっとずっと難しいことかもしれません。 では、その1から挑戦をはじめましょう。 なお、ファイル中で このような枠と緑の字で示したのは実際にこのファイルを元に講演した時に出た質問 であり、 このような枠と赤の字で示したのはそれに対する答 です(ただし、質問も答も実際のままではなく、編集してあります)。 android(2.1以上)をお持ちの方は、アプリ化したもの(apkファイル)を右のアイコンからダウンロードできます(apkファイルには、Q&Aの部分は入っていません)。 プログラムについて御質問

    k_wizard
    k_wizard 2013/10/15
  • 平均月収9万円! 生活が苦しい若手アニメーターを応援する「寮」の設立に賛同集まる

    アニメスタジオが集まる東京の杉並区に月3万円で暮らせる「寮」を作り、若手アニメーターを応援する――そんなプロジェクトがクラウドファンディングサイト「CAMPFIRE」に掲載され、趣旨に賛同する人々から多くの支援が集まりました。寮開設のための資金募集を行った結果、目標の75万円を上回る96万円の資金調達に成功。集まった資金を物件の敷金礼金や改装費用などに充てて寮を完成させ、10月中旬ごろから入居者を募集する予定です。 CAMPFIREのプロジェクトページ 動画が取得できませんでした プロジェクトの紹介動画 日が世界に誇るアニメーション産業ですが、日アニメーター・演出家協会が2009年に発表した実態調査によると、20代のアニメーターの平均月収はわずか9万円だそうです。にもかかわらず、アニメスタジオは東京(特に杉並区や練馬区)に集中しており、少ない収入で都内の高い家賃を支払わなければいけませ

    平均月収9万円! 生活が苦しい若手アニメーターを応援する「寮」の設立に賛同集まる
    k_wizard
    k_wizard 2013/10/15
  • 前代未聞のねつ造論文 学会発表したデータを基に第三者が論文を発表 | Chem-Station (ケムステ)

    一般的な話題 前代未聞のねつ造論文 学会発表したデータを基に第三者が論文を発表 2013/10/15 一般的な話題, 化学者のつぶやき, 論文 投稿者: ペリプラノン 巷はハロウィーンムード一色ですね。お菓子をねだる子供の幽霊はかわいいものですが、趣向を変えて不気味な幽霊が引き起こしたミステリーをひとつ紹介しましょう。 ミステリーとはずばり、自分の研究が幽霊によって先に発表されてしまったというものです。 これを読めば研究者の方なら誰でも背筋に冷たいものを感じるはずです。 その幽霊による被害者はHarvard Medical Schoolの細胞生物学者Bruce Spiegelman教授です。 科学者たるもの論文を書いてなんぼです。日々の研究成果を論文として出版したときに初めてその研究の記録が人類史に刻まれていきます。よって論文とは研究者の命と言えるでしょう。今回のポストでは化学とは関係あり

    k_wizard
    k_wizard 2013/10/15
  • 200万~400万円は妥当か、映画原作料のお値段 日経エンタテインメント! - 日本経済新聞

    『テルマエ・ロマエ』の原作者であるヤマザキマリが、「映画化で受け取ったお金は100万円」と告白したことで物議を醸した「映画原作使用料」。映画化において原作者が受け取れるお金について、日経エンタテインメント!が独自に調査した。その仕組みとルールを解いていくと、日映画ビジネスの構造的な問題が浮かんできた。今、日のメジャー映画小説かマンガ原作がほとんどだ。映画会社最大手・東宝の2013年公開

    200万~400万円は妥当か、映画原作料のお値段 日経エンタテインメント! - 日本経済新聞
    k_wizard
    k_wizard 2013/10/15
  • 朝日新聞と読売新聞が「美味しんぼ」の「究極と至高の対決」をリアルで実現する企画が始動

    「美味しんぼ」は1983年の連載開始から現在まで連載が続いており、アニメ・ドラマ・ゲーム映画化なども果たし、単行売り上げは累計1億冊を突破している日を代表するグルメ漫画です。そんな美味しんぼの中でストーリーの中枢となっている「究極と至高の対決」が朝日新聞と読売新聞により、現実の3勝負として実現することが決定しました。 リアル美味しんぼ 朝日新聞VS読売新聞 究極と至高の対決 http://realoishinbo.com/ 3勝負のテーマは以下の通り。 ◆岩手県 生産量・消費量日トップクラス!東北の地で挑む究極と至高のわかめ料理 ◆長野県 長寿 No1の秘訣は事にあった!究極と至高の長生き料理 ◆福岡県 料理の可能性は無限大!低カロリーで栄養豊富な究極と至高の鶏料理 朝日新聞チームの代表は元AERA編集長の一色清さん、対する読売新聞チームの代表は読売新聞東京社編集委員の永峰

    朝日新聞と読売新聞が「美味しんぼ」の「究極と至高の対決」をリアルで実現する企画が始動
    k_wizard
    k_wizard 2013/10/15
  • アングル:中国で高まる「クルミ」投資熱、富裕層のステータスシンボルに

    8月28日、中国では低迷する株式市場を横目に、クルミなど「文化的玩具」と呼ばれる小物への投資熱が高まっている。写真は北京近郊の市場でクルミの大きさを計る業者。27日撮影(2012年 ロイター) [北京 28日 ロイター] 中国では低迷する株式市場を横目に、クルミなど「文化的玩具」と呼ばれる小物への投資熱が高まっている。株式や不動産など伝統的な資産への投資リターンが低迷し、場合によってはマイナスとなっていることに業を煮やした資産家らが多額の資金を投入。年代物で大きく均整の取れたクルミには、数万ドルの値がつく場合もある。 クルミは手のひらで触っていれば血行を良くする効果があるとされ、中国の歴代皇帝らに愛用されてきた。一時は人気が離散したものの、最近になって富裕層の間で再びブームが起こり、投資対象としてばかりでなく、クルミ保有が「ステータスシンボル」にもなっている。

    アングル:中国で高まる「クルミ」投資熱、富裕層のステータスシンボルに
    k_wizard
    k_wizard 2013/10/15
  • StaticPress × S3 × Vagrant 勉強会 で WordPress のサイトメンテナンスについて話しました

    StaticPress × S3 × Vagrant 勉強会 で WordPress のサイトメンテナンスについて話しました 昨日「StaticPress × S3 × Vagrant 勉強会」というイベントで WordPress のメンテナンス(主にアップグレード関係)についての発表をしました。このイベントは、ブログで StaticPress プラグインを使い始めたという増井さんの Facebook 書き込みから始まった企画だったのですが(詳しくは川井さんのスライドにて)、AWS や Vagrant といった WordPress 以外の知識もたっぷり学べるという濃い半日でした。 WordPress のサイトメンテナンスやバックアップなどについての「あれがいい、これがいい」という情報はネット上にあふれていますし、プラグインやサービスも探せば驚くほどたくさんあります。でも WordPress

    StaticPress × S3 × Vagrant 勉強会 で WordPress のサイトメンテナンスについて話しました
    k_wizard
    k_wizard 2013/10/15
  • 地球の周りをキモい軌道でグルグル回っていた不思議な物体「J002E3」の動きが一発で分かるGIFアニメ

    地球の周りをキモい軌道でグルグル回っていた不思議な物体「J002E3」の動きが一発で分かるGIFアニメ GO羽鳥 2013年10月14日 今から11年前の2002年、ひとりのアマチュア天文学者が宇宙に漂う不思議な物体を発見した。その物体は地球周回軌道上に存在しており、「な、なんと! 月以外に地球の周りを回る物体があったなんて……!」と研究者たちはビックリ仰天したという。 この未知なる物体は「J002E3」と名付けられ、しばらくは隕石や小惑星だと思われていたが、やがて意外な事実が発覚する。「こ、これは……人工的な物体だ……ッ!!」と。今回は、そんな J002E3 の動きが一発で分かるGIFアニメをご紹介したい。 ・月よりも地球に接近していた 金星の方向から地球に向かって突っ込んできた J002E3。月の軌道もぶっちぎり、月よりも地球に近い位置をグルリとカーブ。その後も、楕円の軌道で月と地球の

    地球の周りをキモい軌道でグルグル回っていた不思議な物体「J002E3」の動きが一発で分かるGIFアニメ
    k_wizard
    k_wizard 2013/10/15
  • 朝日新聞デジタル:国産初小型ジェット、夜の名古屋をゆく 最終組み立てへ - 経済・マネー

    トレーラーで運ばれるMRJの胴体。背景の愛知県庁(右)と名古屋市役所(中央)は特別にライトアップされた=13日午前2時45分、名古屋市中区、奈良部健撮影トレーラーで運ばれるMRJの胴体。背景の愛知県庁(右)と名古屋市役所(左)は特別にライトアップされた=13日午前2時45分、名古屋市中区、奈良部健撮影トレーラーで運ばれるMRJの胴体=13日午前1時11分、愛知県飛島村、奈良部健撮影トレーラーで運ばれるMRJの胴体=13日午前1時、愛知県飛島村、奈良部健撮影  【奈良部健】国産初の小型ジェット旅客機「MRJ(ミツビシ・リージョナル・ジェット)」の初号機の胴体部分が13日未明、三菱重工業飛島工場(愛知県飛島村)から、最終組み立てをする小牧南工場(同県豊山町)に運ばれた。  全長約9・5メートルと約12・9メートルの二つの胴体を載せたトレーラー2台が、時速約20〜40キロで走行。道路が混乱しない

    k_wizard
    k_wizard 2013/10/15
  • ポール・ワイス - Wikipedia

    Weiss in 1963 ポール・アルフレッド・ワイス (Paul Alfred Weiss, 1898年3月21日 – 1989年9月8日) は、形態形成、生物学的発達、細胞分化、神経科学の分野を専門としたオーストリア生まれのアメリカ人生物学者である。ドイツ語読みではパウル・アルフレート・ヴァイスとの表記になる。 教師として、実験者として、理論家として、異なる分野の専門家と交流し見識を分かち合うための働きかけに努め、その長いキャリアの中で科学に対し恒常的な貢献をした。 経歴[編集] オーストリアのウィーンにて、実業家カール・ヴァイス (Carl S. Weiss) とそのロザリー (Rosalie Kohn Weiss) の息子として生まれた。彼の一家の文化的関心は、科学ではなく音楽や詩や哲学に向けられており、ワイス自身もヴァイオリニストであったが、叔父によって科学への興味を掻き立て

    ポール・ワイス - Wikipedia