このページは、[[こちら>https://hayatoiijima.jimdo.com/%E7%B5%B1%E8%A8%88%E8%A7%A3%E6%9E%90/mcmc%E3%82%B5%E3%83%B3%E3%83%97%E3%83%A9%E3%83%BC/]]に移転しました。

theta.hat.sp <- matrix(rnorm(1000 * J, mean = Schools$y, sd = Schools$sigma), nrow = 1000, byrow = TRUE) df <- data.frame(y = Schools$y, median = apply(theta.hat.sp, 2, median), lower = apply(theta.hat.sp, 2, function(x) quantile(x, .025)), upper = apply(theta.hat.sp, 2, function(x) quantile(x, .975))) separating <- ggplot(df, aes(x = y, y = median)) + geom_linerange(aes(ymin = lower, ymax = upper

2013/6/12にtwitter上の#tokyorで面白い質問がありました（●Q1と●Q2）。辛抱できず自分で解決したついでに、今後も役に立ちそうな確率変数の変数変換について少しまとめてみました。 ●Q1. 以下は1.00…が出力されます。なぜですか？ sum 10000回を十分大きな数とみなせば、これは変数の平均値が出力されると解釈できます。ここでは平均0, 標準偏差1の正規分布からランダムに抽出された5サンプルであることに注意して式変形すると、 となります。式の変形の途中にあるは母集団の標準偏差を表します。今回は1です。ここで、は教科書に載っているように自由度4のカイ2乗分布に従います（この証明もそんなに難しくなく重要ですが今回はパスします）。また、自由度4のカイ2乗分布の平均値は4です。よっての平均値は、 となります。Q1.の最終的な出力は1となります。 ●Q2. 以下は0.94…

実は業務でもStan使い始めてるんですが、まだまだ単位根ありパネルデータの分析に回すなど低レベルなものが多く、無情報事前分布と階層事前分布を巧みに使いこなして華麗にサンプリング。。。なんて夢のまた夢という情けない状況です（泣）。 で、気が付いたら@berobero11さんのStan関連ブログ記事が超絶充実していて、久保先生もびっくりみたいな状況に。もはや僕が何かをだらだら書くのもアホらしいので、先にStanの使い方を覚えたいという方は是非@berobero11さんのブログから読んで下さい（笑）。僕はひたすらそちらの記事を（例えばinfer.NETあたりの例題を解きながら）トレースしていくだけのショボい記事をだらだら書いていこうと思ってます。 ということで、とりあえずStanマニュアルであるstan-reference-2.1.0.pdfを斜め読みして*1、ざっと僕が興味のある範囲でまとめた

出会い系サイト運営者と繋がりのある方より直接話を聞くことができました。 文才がないながらも出来るだけ当事者側からの目線で解説したいと思います。 先に言いますが、本件は出会い系サイト自身が被害者でもありますので、「出会い系サイトなんて全部サクラサイトだろ?」みたいな先入観をお持ちの方は一旦捨てて頂くと理解しやすいかと思います。真っ当に運営されている出会い系サイトが被害者です。 まず流出したであろう情報とは何なのか?「残高照会ダイヤル」は、契約者が持つ口座の残高や、通帳に「印字されうる」取引明細も音声で知ることができます。例えば 「27-11-27 振込 フグタマスオ *30,000」 「27-11-30 振込 イソノカツオ *10,000」 このような入出金の取引を、音声で知ることができます。 もちろん契約者(契約団体)自身しかアクセスできないはずの情報なわけですが、この残高照会ダイヤルの操

Amazon.co.jpは12月3日、Amazonプライム会員向けサービス「Prime now」の配送対象エリアを川崎市にも拡大したと発表した。 午前6時から深夜1時まで、約1万8000点の商品を1時間以内に届けるサービス。送料は「1時間以内配送」は890円（税込）、2時間単位で配達時間を選ぶ「2時間便」は無料だ。注文は1回当たり2500円以上、商品は1個から購入できる。 11月に港区、渋谷区、新宿区など都内8区で開始しており、初のエリア拡大となる。川崎市内ではまずは高津区、中原区の2区を対象にスタートする。 同社によると、飲料や冷たい酒、手軽に食べられるサイズのスナック類が人気を集めており、子育て家庭にはベビー用歩行器など大型商品も好評だという。 関連記事 Amazon「Prime now」日本でスタート　早朝から深夜まで注文から1時間以内に配達 Amazonプライム会員向けに注文から1

KDDIは12月3日、東京都内で「au発表会 for ママ」を開催した。発表会では、子育て中の女性をターゲットにした新しいAndroidスマートフォン「DIGNO rafre KYV36」を披露したほか、2015年1月に発売した子ども向けスマートフォン「miraie KYL23」への新機能追加と、新サービス「RealTimes for au」の開始を発表した。 →ハンドソープで洗える“ママ”向けスマホ「DIGNO rafre」――KDDIが発売 →KDDI、子供スマホ「miraie」に“親子でルール作り”ができる新機能を追加 発表会の冒頭で、執行役員 商品・CS統括本部長の山本泰英氏がKDDI（au）におけるスマートフォン販売の現状について説明した。現在、au全体のスマホ浸透率は56％に達し、アーリーマジョリティ層に行き渡り、これからレイトマジョリティ層に普及をしていく段階にあるという。

こちらはピクシブ株式会社 Advent Calendar 2015の2日目の記事です。 こんにちは。Vimエンジニアの kana です。 さて、皆さんもご存知の通り、WebサービスのpixivにはPHPが使用されています: PHPについては様々な噂を聞き及んでいた為、 これまでPHPとは関わらないように注意して過ごしてきましたが、 pixiv.netの開発ではPHPを避けて通ることは出来ません。 仕方なくPHPを使うことになる訳ですが、 実際に使ってみると……これが予想していた以上に様々な方向から毎日新鮮な驚きを届けてくれます。 今回は実際に遭遇したPHP初心者が躓くポイントを幾つか紹介しようと思います。 switch の中で continue したら switch の直後に飛ぶ 大量のデータをループでぶん回して処理するのはよくある話です。 その中で特定の種類のデータについては処理をスキッ

Swiftは、Appleが昨年6月に発表したCocoaおよびCocoa Touch向けに設計された新しいプログラミング言語。iOS（iPhone／iPad）、OS X（Mac）、watchOS（Apple Watch）、tvOS（Apple TV）向けのアプリを開発できる。LinkedIn、Yahoo Weather、Hipmunk、ClearなどのアプリがSwiftで開発されているという。 現在はサポートするのはAppleのOSとLinuxだけだが、Appleはサードパーティー開発者とともにさらに多くのプラットフォーム（AndroidやWindowsなど）をサポートできるようになることが待ち切れない、としている。 なお、Appleの公式アプリストアに登録するアプリは、有償のApple Developer Programに登録し、安定版のSwiftを使って開発する必要がある。 関連記事 A

みなさんは普段JavaScriptを使って開発する場合、インデントはどのようにしていますか？ タブ、スペース2個、スペース4個・・・などいくつかの選択肢があります。 個人で開発している方は問題ありませんが、チームで開発している場合は意見が分かれ議論になることもあるでしょう。プロジェクト開始早々インデント論争でチーム内の雰囲気を悪くしたくはありません。 本記事はそんなインデント論争の1つの解決策となるべく、ブラウザベンダーやプロダクトで定めているJavaScriptコーディングのインデントルールを調べてみました。 この記事のポイント* 海外のJS界隈ではスペース2個のインデントが多数派 ESLINTなどの設定ファイルからコーディングルールを調べられる なぜインデント論争が起こるのか？ そもそもなぜインデント論争が起こってしまうのでしょうか？　それはそれぞれ一長一短のため好みが分かれてしまうか

iPhone 5s以来となる4インチ液晶ディスプレイを搭載するiPhoneが2016年初旬にも発売されるという噂が浮上していますが、Mac Rumorsが報じた内容によれば、新型4インチiPhoneはApple Payにも対応するモデルになるとみられています。 New A9-Based 4-Inch iPhone Expected to Launch Early 2016 With Apple Pay and Colorful Metal Casing - Mac Rumors http://www.macrumors.com/2015/12/03/kgi-4-inch-iphone-mid-2016-a9-nfc-metal/ KGI SecuritiesのMing-Chi Kuo氏が公表した調査メモによると、この「新モデル」はTSMCとSamsungが製造を担当するA9チップを搭載し、

This copy is for your personal, non-commercial use only. Distribution and use of this material are governed by our Subscriber Agreement and by copyright law. For non-personal use or to order multiple copies, please contact Dow Jones Reprints at 1-800-843-0008 or visit www.djreprints.com. http://jp.wsj.com/article/SB11911181872401054173104581392644221334596.html

米アイオワ大学は11月18日、断層撮影画像から乳がんの病巣を発見するのにハトが使えることを発見した。 乳がんはX線マンモグラフィーなどによる定期検診で発見できるものの、早期の乳がんは経験を積んだ医者にとっても診断が難しく、専門の訓練を必要とされるほど。一方、鳥類の視力は上空から草むらの上にいる小さな昆虫を見つけるなど、単に視力が良いだけではなく、思いもよらないほどの画像解析能力を発揮することがある。 研究では、8羽のハト（Columba livia）をケージに入れ、乳がんの病理学サンプル画像をスライドで映写。腫瘍画像をつついたときには餌が与えられるという訓練を施した。さまざまな乳がんのサンプル画像を用いてトレーニングを行なったところ、ハトたちは15日間で平均85％の正答率を記録した。また、とくに成績の良かった4羽は30日後に最高99％の正答率を出したという。

“名字”のパワーで戦う。NHKが1500万件の名前ビッグデータを使用した無料ブラウザゲーム「学園名字バトル ネームキングダム」を公開 編集部：Gueed 膨大なビッグデータをこれまでにないビジュアルで表現し続けているNHK総合テレビの番組「データなび」。この番組の連動企画として，1500万件におよぶ“名前ビッグデータ”を使った無料ブラウザゲーム「学園名字バトル ネームキングダム」が開発され，番組内で紹介されると共に，2015年12月1日に一般公開された。ブラウザベースのため，PCでもスマートフォンからでもプレイ可能だ。 「学園名字バトル ネームキングダム」ゲームページ ネーム キングダムは「都道府県ごとに，自分の名前がどのくらい多いのか，少ないのか!?」をテーマに開発されたタイトル。プレイヤーは入力した自分の名字，あるいは作った名字で，都道府県ごとに用意された敵の名字と戦う。都道府県の敵達

東京国際空港ターミナル（TIAT）、日本空港ビルデング（JAT）、日本電信電話（NTT）、パナソニックは2015年12月3日、日本の玄関となる空港における情報ユニバーサルデザイン（UD）高度化に向けた共同実験を同日に羽田空港国際線旅客ターミナルで開始したと発表した。訪日外国人を対象として、「音」「光」「画像」「無線」などによる情報ユニバーサルデザイン高度化の共同実験を2016年3月31日まで展開する。 NTTは、「画像解析技術を用いたかざすUI（ユーザーインタフェース）による情報提供」「ビッグデータ解析技術を用いた動的サインによる人流誘導」「音声処理技術による音サインの明瞭化」などを実験する。 まず、NTTが開発した「アングルフリー物体検索技術」を利用し、到着ロビーの看板・案内板や、商業エリアの店舗建物や料理サンプル・商品に、スマートフォンのカメラを向けるだけで適切かつ有用な情報を得られる

Research indicates that carbon dioxide removal plans will not be enough to meet Paris treaty goals

活用ヒント満載！[2015年11月インスタグラム特集]話題のソーシャルメディアキャンペーンInstagram活用事例まとめ 今月盛り上がっている話題のInstagramキャンペーン事例をまとめてご紹介！ こんにちは、SMMLabの藤田です。 運用型広告の配信も始まり、ますます企業活用が活発になってきている“Instagram”を、上手く利用しているキャンペーンをピックアップしてそのポイントをご紹介します！ ■【基礎知識】Instagramとは？　（2015/11/25更新情報） ・写真や動画をアート作品のように、フィルタ加工できる画像共有スマホアプリ。 「フィルター加工した写真＋ハッシュタグ」が20代女性を中心に人気。 ・MAU（Monthly Active Users・月間アクティブユーザー数）： 全世界で4億人を突破！(アメリカ以外のユーザーが75%以上) ・1日に投稿される写真は、平

米Googleは12月3日（現地時間）、Android端末で3DのVR（仮想現実）写真を撮影できるアプリ「Cardboardカメラ」を公開したと発表した。日本のGoogle Playからも無料でダウンロードできる。 同社は10月、スマートフォンで仮想現実（VR）を楽しむためのAndroid／iOSアプリ「Cardboard」を公開した。CardboardカメラはCardboardアプリで見るためのコンテンツを作れるアプリだ。CardboardカメラのiOS版についてはまだ発表されていない。 VR写真を撮影するには、Androidのカメラアプリのパノラマ撮影と同じ要領でCardboardカメラアプリで360度撮影するだけ。アプリが撮影データをCardboardアプリ用に加工してくれるので、Cardboardビューアなどのゴーグルにセットした端末でCardboardアプリで再生すると奥行きのあ

関連キーワード Windows 10 | OS | Microsoft（マイクロソフト） | Silverlight | プライバシー 「Windows 10」の標準Webブラウザになる「Microsoft Edge」《クリックで拡大》 「Windows 10」の一般提供から数カ月が経過した。恐らく米MicrosoftによるWindows 10の宣伝を耳にしたり、Windows 10の機能に関する特集記事を読んだりしたことがあるだろう。だが、実際に使用しているユーザーはどのように感じているのだろうか。 初期の普及率から考えると、文句の付けようがない製品を想像するかもしれない。だが実際のところ、Windows 10には問題がある。 併せて読みたいお薦め記事 「Windows 10」移行時の課題とは “無料OS”「Windows 10」を怪しむ人たち 見過ごせない「Windows 10」の互換

米Googleは12月3日（現地時間）、モバイルアプリ広告の新書式「Trial Run Ads」を発表した。現在限定β版をテスト中という。 アプリ広告に表示される「Try Now」をタップすると、アプリをインストールせずにその場で60秒間だけアプリを試せる。カジュアルゲームであれば、60秒あれば十分遊べるだろう。ユーザーは60秒遊んでみて、気に入れば画面右上の「Install」ボタンをタップすることであらためてアプリをインストールできる。 Googleは11月に、モバイル版Google検索結果でインストールしていないアプリを“ストリーミング”で利用できるサービス「Stream」を発表しており、Trial Run Adsでもこの技術を応用しているようだ。 同社はまた、広告主がHTML5を使ってインタラクティブな広告を作成できる広告フォーマット「Interactive Interstitial

「2015 国際ロボット展」（12月5日まで、東京ビッグサイト）では、DMM.make ROBOTSのブースに“卓上ロボットアイドル”「プリメイドAI」が登場。通りがかりの人も思わず足を止めて見入るほど、キレッキレのダンスを披露し、ギャラリーを湧かせた。 「プリメイドAI」はダンスを踊り、アイドルのように振る舞えるロボット。ベンチャー企業の「ロボットゆうえんち」が、「自宅に劇場を作る」「自分のためだけに踊ってくれるアイドル」をコンセプトに開発した。25個のサーボモーターを搭載し、「激しいダンスに加え、手を振ったり、投げキスをしたり――といった細かな動作も可能になった」（担当者）という。 記者がブースを訪れた際は、テクノポップアイドル・Cupitron（キュピトロン）の「ロボットボーイ ロボットガール」に合わせ、激しいダンスを披露。バランスを崩すことなく、2分以上にわたって踊り続けた。 現在

東芝、富士通と、ソニーのPC部門が独立したVAIOの3社がPC事業を統合する検討に入ったと伝えた4日付けの一部報道について、東芝と富士通はそれぞれ「当社が発表したものではない」とするコメントを出した。 4日の日本経済新聞朝刊は、PC事業統合について3社が年内にも基本合意し、来年4月に新体制を発足させる考えで、VAIOが存続会社となり、各社が出資して事業を移管する案が有力――などと伝えた。また、4日の読売新聞朝刊は、東芝がPC事業を切り離し、富士通と合弁会社を設立する方向で交渉に入た。海外メーカーなどとの提携も同時に模索している――などと報じた。

PCで書類仕事をする人には便利な日本語入力システム「ATOK」の新製品が発表になった。また賢くなったもよう。2016年2月6日に発売する。希望小売価格は8,000円（税別、以下同じ）で、さまざまな専門用語の辞書などが付いたプレミアム版が1万2,000円。 スマートフォンやタブレットを仕事に使う機会も増えたが、まだPCで書類作りをしている人には、用字用語を高精度で漢字やアルファベットに変換してくれ、誤字を修正してくれるATOKは役立つ。 今回の「ATOK 2016」はさまざまな書類の内容を読み取って、それをもとに適切なことばやフレーズを変換候補や推測候補として表示してくれる「ATOKインサイト」という機能を新たに搭載した。 「この書類を参照して新しい書類を作ります」と宣言することで、過去の書類にならった言葉使いで変換を行えるようになる。参照する書類としては、Wordや一太郎のファイル、それに

『MarkeZine』が主催するマーケティング・イベント『MarkeZine Day』『MarkeZine Academy』『MarkeZine プレミアムセミナー』の 最新情報をはじめ、様々なイベント情報をまとめてご紹介します。 MarkeZine Day