型安全性と統計計算 | POSTD
私は大ざっぱに言って、統計学のコミュニティはコンピュータサイエンスの概念にもっと触れた方が恩恵を得られると考えています。その考えを基に、本記事では、統計計算システムの振る舞いに関する規範論の展開に 型安全性 の概念を用いる可能性を説明します。また、そのような規範論によって、現行システムの誤用のされ方を明確にできることも論じます。それとともに、統計向けのより型安全な言語を実装しようという現実的提案に立ちはだかる数々の難題についても述べていきます。 コンピュータサイエンスにおける概念としての型安全性 Vijay Saraswat は、型安全な言語を以下のように定義しています。 ある言語内でデータに対して実行できる演算がそのデータの型に許可されたもののみであれば、その言語は型安全である。 個人的にはこの簡潔さは気に入っているのですが、いくつかの例を使って上記の定義を説明すれば多くの読者の皆さんに
Google社員がSEOの質問に答える AMA with Google Search SMX West 2017 ::SEM R (#SEMR)
Google社員がSEOの質問に答える AMA with Google Search SMX West 2017 SMX West 2017 より、Google社員Gary Illyes 氏と Mariya Moeva 氏が答える AMA with Google Search セッションを紹介。 公開日時：2017年03月28日 19:05 2017年3月下旬に米国カリフォルニア州サンノゼで開催された SMX West 2017 より、Google社員がウェブマスターからの質問に答える "AMA with Google Search" (AMA = Ask Me Anything) セッションを紹介。回答者は、Gary Illyes 氏と Mariya Moeva 氏の2名、二人とも Google Webmaster Trends Analyst です。 ドメインオーソリティといったシグナ
紙おむつ、自販機で イクメンの提案実現 （カナロコ by 神奈川新聞） - Yahoo!ニュース
紙おむつと飲料が購入できる自動販売機が、イオンスタイル東戸塚（横浜市戸塚区）に設置された。「こんなモノがあったらいいな」という子育て中の父親の声を受け、地元のＮＰＯ法人「こまちぷらす」（森祐美子代表）や企業が連携、約１年かけて開発した。森代表は「さまざまな人の協力があって実現した。今後、日本中に広がっていったら」と期待する。 こまちぷらすは、ヤマト運輸神奈川主管支店と協働で「ウエルカムベビープロジェクト」を展開中。地域で子どもの誕生を祝う文化を醸成しようと、戸塚区の新生児の家庭に「背守り」と呼ばれる刺しゅうなどを贈っている。 自販機設置のきっかけは同プロジェクトのワークショップ。育児に必要なモノをテーマに意見交換する中で、参加者の一人、同市在住の団体職員池田浩久さん（４０）が提案した。 ６歳、３歳、１歳の３姉妹の父親。一人で子どもを連れて外出した際、いざおむつを交換する段階になって忘
アフリカの村で70万円盗まれたら、いつの間にかあたり一帯がバブルにわいていた。
こんにちは。日本植物燃料株式会社、代表の合田です。 アフリカの呪術師との戦いには辛くも勝利したものの、もちろんアフリカは日本の常識が通用するところではありません。 当たり前ではありますが、「郷に入っては郷に従え」という格言通り、私たちは「現地の常識」に従う必要がありました。 今回はそんな話です。 ————– すこし前、東大の研究員の方とモザンビークで共同研究をやっていた時の話です。 ある時、私は急遽日本に戻らないといけなくなり、現地で同居していた東大の研究員Tくんに100万円ほどを預けて帰ることになりました。 まとまったお金が必要な時は、現金を手元に置くしかないのです。ちなみに、日本円での100万円は現地のお金で4〜5千万円分に相当するほどの大金です。 （モザンビークの集合住宅） 普段はお金を金庫に入れていますが、翌日すぐに使う予定だった100万円だけは、金庫から出してTくんに預けました。
パナソニック：宅配ボックス生産追いつかず 受注５倍超 | 毎日新聞
パナソニックは２８日、戸建て住宅用の宅配ボックスの３月の受注が、前月の５倍を超える２０００台以上に達したと発表した。宅配便の再配達を減らす機運が高まり、受注が急増した格好で、既存製品の生産が追いつかなくなり、４月に予定していたアパート向けなどの新商品の発売は６月に延期する。今後は生産力を２倍に増強するという。 不在時に荷物を受け取れる戸建て向け宅配ボックスの注文は、従来は認知度が上がらず１カ月に４００～５００台程度しか売れなかった。しかし、今年に入って宅配業者の負担増が報道などでクローズアップされ、宅配ボックスの注目度が一気に高まった。工場では新商品を作る余裕がなくなり、アパート向けなど３機種の発売延期を決めた。今後は月産２０００～３０００台まで生産ラインを増強する。
日本コロムビア、上場廃止へ フェイスが完全子会社化
音楽配信などを手がけるフェイスは3月28日、連結子会社のレコード会社、日本コロムビアを8月1日付で完全子会社化すると発表した。1949年に株式上場した日本コロムビアは、7月27日付で上場廃止（東証1部）になる見通し。 フェイスは2010年に日本コロムビアを持分法適用関連会社とし、16年3月に連結子会社化。音楽などコンテンツ事業で協業を進めてきた。市場環境が厳しさを増す中、両社を資本面・事業面で一元化し、人材の効率的な活用や投資を迅速に進めることが企業価値向上につながると判断した。 完全子会社化は株式交換方式で行い、交換比率はフェイス1株に対し日本コロムビア0.59株。 日本コロムビアは1910年（明治43年）に創業した老舗レコード会社。氷川きよしさんや松山千春さんらが所属するほか、「アイドルマスター」シリーズの楽曲などでも知られる。2001年に投資ファンドのリップルウッドの傘下に入り、社名
東京メトロ、終電後深夜の秋葉原駅で駅長定年退職サプライズ
東京地下鉄（台東区、以下東京メトロ）が3月27日から、サプライズ企画「THE LAST TRAIN」の映像を特設サイトと駅構内デジタルサイネージで公開している。 昭和50年に入社して以降、長きにわたり鉄道業務に従事し、3月で定年退職を迎える上野駅務管区の区長（駅長）石山浩治さんに、社員がサプライズで、ねぎらいやはなむけのメッセージを送った同企画。 企画には、サントリーコーヒー「BOSS」が協力し、半年前から準備を進め、終電後の秋葉原駅で駅長にデジタルサイネージを使ったサプライズを仕掛けた。 サプライズ企画に参加した社員の一人は「スケジュールを調整してこっそりビデオメッセージを撮影し、サプライズ当日は休みにも関わらず終電後深夜の秋葉原駅にみんなが集まり、今回の退職サプライズ企画を決行することができた。こんなにみんなが団結したのも、石山駅長のおちゃめでかわいいところや撮影スタッフを気遣ってくれ
衆院、「ペーパーレス化」検討 議員全員にタブレット端末
衆院議院運営委員会の佐藤勉委員長（自民）は２８日の議運委理事会で、日本維新の会の遠藤敬国対委員長が提案した「国会のペーパーレス化」に関し検討を進める考えを示した。 遠藤氏が提案するのは、国会規則を改定して議案の紙での配布をやめ、議員全員に配るタブレット端末で代替する案。国会での印刷費は衆参両院で年間約１２億円に上るとされる。
容姿コンプレックスを克服する方法10選 – こいぴた
容姿に対してコンプレックを持っていない人はまずいません。 あなたにも、どこかしら、見た目のコンプレックスを抱えているはずです。 しかし、そのコンプレックスのせいで、身動きが取れなくなってしまう人が中にはいます。 他人の目や、自分の要旨を気にしすぎて、まともな生活ができなくなってしまう人たちです。 このような状態になってしまっている人は、すぐにでも対処をしないと、ますます悪循環に陥ってしまうことでしょう。 そこで今回は容姿コンプレックスを克服する方法をご紹介していきますので、ぜひ参考にしてみてください。 容姿コンプレックスになる理由 誰かに容姿や外見を馬鹿にされた。 他人と比べて自分のある部分が気になって仕方がない。 自分がモテない、かっこよくない、可愛くないという劣等感を持つようになります。そのため恋愛や人付き合いに臆病になってしまいます。 その人その人でコンプレックスを抱える理由は様々で
FreeBSDで pf で NATを使って jailを運用するメモ
2013年04月24日(水) 最近さくらのVPSとか安価でFreeBSDを使えるサイトが出てきました。 こういったサービスでもjailを使いたいのですが、 悩ましいのが安いサービスはIPアドレスが1つしかもらえないこと。 もちろん適当なプライベートなIPアドレスをIFにaliasで振ってjailを作っちゃえばいいんですが、これだとjail内部から外部へ通信ができないという問題があります。 そこでpfを使ってNATを構築してみました。jailをプライベートIPで外へ出ていくパケットをNATでグローバルIPに変換してやろうという考え方です。 いろいろ試行錯誤してみましたが、結論からいうともう1つIFを作るのが手っ取り早いようです。とりあえずlo1を作ります。 # ifconfig lo1 create # ifconfig lo1 up で、アドレスを振る。ここでは 10.0.0.1にしてみま
PF: OpenBSD $B%Q%1%C%H%U%#%k%?!< (B
$B8@8l (B: [ja] [de] [en] [es] [fr] [id] [pl] [FAQ $B$KLa$k (B] [ $B PF: OpenBSD $B%Q%1%C%H%U%#%k%? (B $BL\ $B4pK\@_Dj (B $B$O$8$a$K (B $B%j%9%H$H%^%/%m (B $B%F! $B%Q%1%C%H%U%#%k%?%j%s%0 (B $B%M%C%H%o! $B%H%i%U%#%C%/%j%@%$%l%/%7%g%s (B ( $B%]! $B%k! $B9bEY$J@_Dj (B $B $B%9%/%i%V (B (scrub: $B%Q%1%C%H$N@55,2= (B) $B%"%s%+!A0IU$- (B ( $B%5%V (B) $B%k! $B%Q%1%C%H$N%-%e! $B%"%I%l%
パケットフィルタの概要 - Oracle® Solaris 11.3 でのネットワークのセキュリティー保護
Oracle Solaris の OpenBSD パケットフィルタ (PF) 機能は、着信パケットを取り込み、それをシステムへの入力およびシステムからの出力のために評価するネットワークファイアウォールです。PF には、ステートフルパケット検査が用意されています。IP アドレスやポート番号だけでなく、受信しているネットワークインタフェースごとにパケットを一致させることができます。 PF は、排他的 IP インスタンスを含むゾーンなどの Oracle Solaris コンポーネントと連携して動作するように拡張された OpenBSD パケットフィルタ (PF) バージョン 5.5 に基づいています。Oracle Solaris 11.3 では、PF と IP フィルタの両方をパケットのフィルタリングに使用できます。PF はより堅牢なフィルタリングモジュールであるため、ファイアウォールポリシーを
PF（パケットフィルタ） on FreeBSD
FreeBSD上でPF設定のメモ。 bruteforceblickerと特定国よけは別エントリーにメモします。 グローバルなIPを振っている環境とかDMZにおいてある環境なら使用しないポートは塞いでしまいましょう。 おいらの環境では、bruteforceblockerを使いたいのでPFを使用してフィルタリングしています。 PFについてはOpenBSDプロジェクトのPF:Packet Filteringを一読されることをお勧めします。最近の日本語訳が見つからなかったのでウィーン工科大に置かれている日本語訳も有用と思いますので貼っておきます（でもたぶん古い）。 FreeBSDでPFを使用する場合は、/etc/pf.confファイルにフィルタリングルールを記述します。（インストール直後はファイルがないので新規作成します） 作業ミスで通信が一切出来なくなるということも考えられるので、作業する場合は
FreeBSDでpfを使う（1/2） - Qiita
OS Xを含むBSD系OSで使われている Firewall の pf の設定メモ．普段は Linux の iptables しか書いていない人なので間違っているところもあるかも．できるだけ iptables と対比させながら書いて見る．pfのテスト環境は10.0-RELEASE-p12．iptablesの方は検証せずに書いているので参考程度に． 参考資料 FreeBSDのドキュメント OpenBSDのpfのドキュメント 原則 pf はルールが上から順番に評価されるが，マッチするルールがあってもそこで評価は停止しない．最後にマッチしたルールが適用される．ただし，quickをつけた場合にはそこで評価が終了し，そのルールが適用される． Rule Syntax フィルタの文法は以下の通り．詳しくはOpenBSDのドキュメントを参照のこと action [direction] [log] [quic
FreeBSD のパケット フィルターを使用して Azure 内にファイアウォールを作成する - Azure Virtual Machines
この記事では、一般的な Web サーバー シナリオで、Azure Resource Manager テンプレートを通して FreeBSD の パケット フィルターを使用することで、NAT ファイアウォールをデプロイする方法について説明します。 PF とは何か PF (パケット フィルター、pf とも表記します) は、BSD ライセンスのステートフルなパケット フィルターであり、ファイアウォール ソフトウェアの中心部です。 PF は急速に進化し、現在は、利用可能なその他のファイアウォールを上回る多様な利点を備えています。 ネットワーク アドレス変換 (NAT) は、最初から PF に含まれており、その後、パケット スケジューラとアクティブ キュー管理が PF に統合され、ALTQ の統合によって PF の構成を通じて構成できるようになっています。 フェールオーバーと冗長性のための pfsyn
マルチ商法にハマった時辞めさせるのに効果的なのは「毒をもって毒を制す」的方法だった
鉄心 @3rdtoy 前にも書いたけど、従姉妹がマルチ商法にハマった時、辞めさせるのに効果的だったのはYoutubeで様々なマルチ商法がアップしている説明動画を逆に観せまくること。観せていくと「このやり方はうちだけって言ってたのに全部一緒だ…」と青ざめて一気に洗脳が解けた。 2017-03-27 10:29:40
「オブジェクト指向でなぜつくるのか」を読んだ - ✘╹◡╹✘
オブジェクト指向でなぜつくるのか 第2版 作者: 平澤章出版社/メーカー: 日経BP社発売日: 2014/03/05メディア: Kindle版この商品を含むブログ (2件) を見る TL;DR 多くの人の「この本を読むべきかどうか」という関心事に先に回答しておくと、「万人が読んでおいて損は無いとまでは言い切れないけれど、オブジェクト指向に興味があって元気もあるという奇特な人間は読んでも良い」です。 オブジェクト指向とは何か 平澤 章さんが書いた「オブジェクト指向でなぜつくるのか」という本を読みました。オブジェクト指向を「難しいソフトウェア開発を楽に行うための総合技術」と表現しながら、「オブジェクト指向とは何か」という問いに対して現実的な解を与えようという一貫した姿勢に親しみを覚えました。 保守や再利用を目的とした技術 目的という側面では「オブジェクト指向はソフトウェアの保守や再利用をしやす
Linuxで2つのファイルの共通行を出力する - 元RX-7乗りの適当な日々
機会があったので、調べてみました。 2ファイルの差分はdiffコマンドで取るけど、その逆の共通している部分はどうやって取得するのか。エレガントなやり方はやっぱりgrepコマンドを使うのかしら？ 前提 $ diff -c5 {a,b}.txt *** a.txt 2013-08-28 18:54:49.293055071 +0900 --- b.txt 2013-08-28 18:53:58.517693404 +0900 *************** *** 1,6 **** 1 - 2 3 5 5 6 --- 1,6 ---- 1 3 + 4 5 5 6こういう2つのファイルがあったとして・・・ grepで $ grep -x -f {a,b}.txt 1 3 5 5 6grepコマンドの"-x"オプションを使うと、こんな感じで、2ファイルの共通部分が出力される。 -x, --line
だから「クォーターパウンダー」は撤退に追い込まれた
スピン経済の歩き方： 日本ではあまり馴染みがないが、海外では政治家や企業が自分に有利な情報操作を行うことを「スピンコントロール」と呼ぶ。企業戦略には実はこの「スピン」という視点が欠かすことができない。 「情報操作」というと日本ではネガティブなイメージが強いが、ビジネスにおいて自社の商品やサービスの優位性を顧客や社会に伝えるのは当然だ。裏を返せばヒットしている商品や成功している企業は「スピン」がうまく機能をしている、と言えるのかもしれない。 そこで、本連載では私たちが普段何気なく接している経済情報、企業のプロモーション、PRにいったいどのような狙いがあり、緻密な戦略があるのかという「スピン」に迫っていきたい。 4月4日でマクドナルドの「クォーターパウンダー」が販売終了する（関連記事）。 そこまで定番商品というイメージがないかもしれないが、「クォーターパウンダー」は本国マックのWebサイトでビ
【ユーザービリティ】Jakob Nielsen博士のAlertbox
標準規格におけるユーザビリティの定義、ユーザビリティを左右する要素、UI改善のためにはユーザーの思考回路の理解が必要であることを、順を追って説明します。 スマートフォンアプリやWebサービスにおいて、ユーザー側とビジネス側、双方の目的達成には、UIの品質をユーザー視点で評価し、ユーザビリティを向上させることが不可欠です。 一昔前までの新製品開発では、一般的にいかに高いユーティリティ（機能・性能）を持つかに多くの力が注がれてきました。その競争の結果、ユーティリティは非常に高いが、その機能・性能を思うように使えない製品があふれることとなってしまいました。しかし今は、ユーティリティの高さだけでなく、高いユーザビリティを持つ製品が求められるような時代になっています。 ここでは、標準規格におけるユーザビリティの定義、ユーザビリティを左右する要素、UI改善のためにはユーザーの思考回路の理解が必要である
トヨタの愛知、日産の神奈川に続け 自動運転で群馬県と富士重工タッグ
■中小参入促しビジネス化 早期実現が求められ、市場拡大が予想される自動運転技術で、県は関連技術分野への参入促進を強化し、富士重工業と連携したプロジェクトを進めている。２１日には自動運転車関連事業参入促進セミナーを開催するなど、「事業集積のある自動車関連以外でも、自動運転に関心を持つ県内各企業を巻き込み、ビジネス化を加速させたい」（県次世代産業課）としている。 県産業技術センターで開かれたセミナーには、自治体職員やＩＴ企業、医療関係など自動車関連以外も含め約６０人が参加した。 高崎市の医療関係機器の開発に携わる２０代男性は「国が熱心に進めるプロジェクトに、車とは直接かかわり合いはないが参加したい」と意欲を示す。 次世代産業課も「運転中の体調急変に対応できる、と医療関係者も自動運転に強い関心を持つ」という。 県は現在、富士重工とはドライバーの責任で「止まる、曲がる」という複数の操作を行う自動運
てるみくらぶ「すでに海外に出国した人は自力で対処を」…38カ国に2500人が旅行中 : 痛いニュース(ﾉ∀`)
てるみくらぶ「すでに海外に出国した人は自力で対処を」…38カ国に2500人が旅行中 1 名前：ばーど ★：2017/03/27(月) 20:40:03.71 ID:CAP_USER9.net 海外ツアーの航空券が発券できなくなるなどのトラブルが相次いでいる旅行会社「てるみくらぶ」が２７日、東京地裁に破産を申請し、認められた。負債額は１５１億円にのぼり、最大９万人となる旅行者へのツアー代金の全額返済は厳しい見通しだ。 ■「詐欺を働くとかは毛頭ない」 ２３日の国際航空運送協会（＝ＩＡＴＡ）への支払いができなくなったとわかったのは前日の２２日だったと話した山田社長。しかし、２３日には、メールマガジンを配信。同じ日には新聞に大きな広告を掲載していた。 経営状態が悪いのにもかかわらずお金を集めていたのではという問いかけに対し、山田社長は「まったくそんなことはなくて、とにかくＩＡＴＡがダメになったとし
「アメリカは70年間、衰退し続けている」——チョムスキーの視点 - Yahoo!ニュース
アメリカにおいて、大統領の権限は小さくありません。トランプが決意すれば、多くのことを実現できます。例えば、キャンペーンで約束した通り、パリ協定から撤退することもできるし、イランとの核協議から撤退することもできる。ただ、こうしたアメリカの決定に、ヨーロッパ諸国が追随しない可能性は十分にあります。そうなるとアメリカは、世界の中でさらに「孤立」を深めることになる。近年ますます顕著になってきているのは、アメリカが世界情勢から孤立しつつあるということです。 西欧地域が、アメリカの完全な支配下にあった時代もありました。しかし現在は、むしろアメリカが疎外されているとさえ言えます。オバマ前大統領がキューバとの関係正常化に踏み出したのは、アメリカが西半球で完全に孤立してしまうのを避けるためです。西半球諸国は、以前からキューバとの関係正常化を望んでいました。それを阻止していたのが、アメリカだった。もしキューバ
スタバとダンキンドーナツが模索する｢モバイル時代のコーヒーショップ｣
モバイル注文はスターバックスの未来を描く重要な要素の1つだ Matt Weinberger/Business Insider スマートフォンがわたしたちの知っているコーヒーショップを変えようとしている。ダンキンドーナツとスターバックスはモバイル社会に対応した｢未来のコーヒーショップ｣を模索している。 21日（現地時間）、ダンキンドーナツのチーフ・デジタル・オフィサー（CDO）スコット・ハドラー（Scott Hudler）氏は、｢コーヒーショップの未来がどのようなものになるかを考えた時、モバイル注文はより重要になるだろう｣と語った。 ハドラー氏は将来の店舗の具体的な方向性につて、現時点で公表できるものはないとしたが、ダンキンドーナツとスターバックスの両社は、モバイル注文の増加に合わせて、コーヒーショップには素早い変化が求められていると認識している。 最近では、ダンキンドーナツの注文の1%強が
CMOS微細化は2024年までに終息する見込み
最新の半導体ロードマップ「IRDS」によると、CMOSの微細化は2024年末ごろまでに終えんを迎える見込みだという。 2024年までに終息か 最新の半導体ロードマップ「International Roadmap for Devices and Systems（IRDS：国際デバイスおよびシステムロードマップ）」の策定に取り組む技術者チームが、2017年3月23日に、ホワイトペーパーを発表した。この中の1つによると、半導体の微細化は、2024年末ごろまでに終息する見込みだという。 ただし、朗報といえるのは、幅広い種類の新しいデバイスやチップスタック、システムイノベーションなどの登場により、コンピューティング性能や電力、コストなどの面で、引き続きさまざまなメリットを享受できる見込みだという点である。 今回、IRDSの一環として発表されたホワイトペーパーは、全部で9本ある。その中の1つは、「これ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
グーグルChromeに証明書関連のバグ、シマンテックが指摘
ニュース：中日新聞Web
ほくほくノンフライドポテト by yaburie
TechCrunch | Startup and Technology News
ロシア軍のレーションを食べてみた