筆者は「精度保証付き数値計算」という分野で研究をしている大学院生です． 「数値計算は分かるけど」「精度保証付き数値計算？ナニソレ？」という方がほとんどだと思います． 「精度保証付き数値計算」の研究自体は30年ほど前から盛んに行われていますが，世間に浸透しているとは言えない状況です． 自分の研究分野が世間に知られていないのは何か少し寂しい感じがするので「精度保証付き数値計算」を少しでも広めるべく記事を投稿することにしました．(シリーズ化するかも知れません) 本日は「精度保証付き数値計算」というワードだけでも覚えていただければ幸いです． 今回は"数値計算に潜むとんでもないリスク"に関してカジュアルにお話します． そして筆者の研究分野である「精度保証付き数値計算」の必要性を知ってもらえればなと思います． この記事を読み終える頃には計算機を信頼できなくなっているかも知れません(笑) ※不安を煽るこ

モーニング・アフタヌーン・イブニング合同Webコミックサイト「モアイ」は終了しました。 「コミックDAYS」「モーニング公式サイト」「アフタヌーン公式サイト」をご利用ください。

プログラミング言語 Elixir と Web アプリケーション開発フレームワーク Phoenix をこれから学び始めたい方のための勉強会シリーズの第6回です。 これまでは東京都港区大門（浜松町）周辺の会場で開いてきましたが、今回は隣の目黒区にある株式会社ドリコム様のカフェスペースをお借りして実施します。 この第6回は、プログラミング勉強会とボードゲーム大会を組み合わせたものとなります。初の試みです。ボードゲームで Elixir 仲間との交流を楽しんでください。 午前の部は Elixir のハンズオンセミナーです。午後、参加者たちは3〜4名のグループに分かれてボードゲーム「カタンの開拓者たち」をプレイします。 Elixir にも「カタンの開拓者たち」にも初めて挑戦される方を歓迎します。 このゲームのルールは会場で説明されますが、あらかじめ公式動画を見て学んでおくとより楽しめるでしょう。 ht

訳者口上：秋にピケティの新著が出たところで、The Economistの11/30号に格差についての議論を見直す研究についての話が出ていた。おもしろかったので勝手に翻訳。トップ層がすさまじく豊かになっているという見立ては、実はそんなに正しくないのではないか、という研究がどんどん出てきたというお話。ただし、どれも金持ちの豊かさ増大がピケティらの言うほどはすごくないかも、というだけで、金持ちが豊かになっていること自体を否定するものではないので念のため。なお、途中の見出しはオリジナル通りで、全部ある有名な曲の歌詞から。(山形浩生) www.economist.com 2011年にニューヨークのズコッティ公園での抗議デモに何千人もが集結する10年以上前、フランスのあまり有名でない経済学者が腰を据えて、所得格差についての新しい見方を扱った論文を書き始めた。「我々の研究の焦点は、トップ10％、トップ1

「Nerves」は，関数型言語ElixirによるIoT開発フレームワークです． RaspberryPiなどのIoTボード上で動作する最小構成のLinuxブートローダ＋Elixir実行環境＋各種デバドラのパッケージセットで，Elixir × IoTの文脈で最も活発なプロジェクトです． 「NervesJP」は，Elixir/Nervesをもっと知りたい方，Nervesでなんか作ってみたい方，Nerves Projectに貢献したい方のユーザコミュニティです．基本的にはオンラインミーティングでのMeetUpを実施しています． https://nerves-jp.connpass.com/ 本Advent Calendarでは，「ElixirでIoT」な記事を集めます． - Nerves使ってみた／使ってみてこんなTIPS見つけたよ - Nerves使ってこんなIoTやりたい！技術ポエム - Ne

ガンダムのガ！ガンダムのン！ ガンダムのダ！ガンダムのム！

概要 インターネットに晒されているWebサービスでは TV等で紹介されたことによる大量流入 悪意ある人物からの攻撃 クライアントのバグに依る大量リクエスト など、本来想定していた以上のトラフィックが来ることはよくあります。 単純にシステムを構築すると大規模トラフィックに対応できずシステムがスローダウンしてしまうため、何かしらrate limitをかけておいた方が良いです。 ただしrate limitと一口に入っても色々あるため、今回は主なrate limitアルゴリズムを紹介します。 Leaky bucket Leaky bucketはデータ転送レートを一定にする（＝上限を設定する）アルゴリズムです。 下の図のように、様々な流量の水流がそのバケツに流れ込んでも小さな穴からは一定の水流が流れ出す仕組みです。 ref: What is the difference between token

JRが東京周辺ほぼすべての電車の運行を停止した歴史的な土曜日の翌日、2019年の10月13日の夜8時、あなたは台風19号の後始末に追われていたかもしれない。ようやく動き始めた電車に乗って、日曜日の職場で前日の後始末をして月曜に備えていたかもしれない。避難勧告で家を出たまま、避難所ですごしていたかもしれない。 そしてもちろん、多くの視聴者と同じように、家で、あるいはスポーツバーで、視聴率39％を記録したラグビー日本代表のスコットランド戦に声援を送っていたかもしれない。 色々な状況があり、いろいろな価値観がある。僕が今から書くのは、あの日、日本を覆った台風被害とスポーツの熱狂の裏で『いだてん』宮藤官九郎が何を語っていたかということについての話だ。夜に放送された第39回『懐かしの満州』は、第二章の最終幕であるだけでなく、『いだてん』という大河ドラマの本質、宮藤官九郎本人が「最も描きたかった」と語

首都圏を直撃した非常に強い台風19号。 東京でこそ、可能性が視野に入れられていた荒川の氾濫などは起きなかったものの、全国各地で河川の氾濫などが発生し、多くの被害を与えた。 3・11炉心融解を予言した医師が警鐘　台風に続く「噴火と地震」 自民党の二階幹事長は被害について、「まずまずに収まった」と論じたが、実際の被害、特に氾濫などによる流通の停滞や倉庫の浸水、工場機械の破損など、産業に対する経済的影響はまだ十分に算出されておらず、なにをもって「まずまず」と論じたのか不明である。 少なくとも、大規模な自然災害による被害の大きさがハッキリと判明するのは、だいぶ経って後というのは常識であり、二階氏の発言は大規模災害を理解していないとしか考えられないのである。 さて、広い地域に被害を与え、まだ被害の全貌は明らかではない台風19号だが、台風も峠を越したころに、ネットでは「八ッ場ダムの奇跡」というツイート

民主党政権で国土交通相を務めた無所属の馬淵澄夫衆院議員とれいわ新選組の山本太郎代表が、消費税５％への減税を目指す「消費税減税研究会」を立ち上げる。次期衆院選を見据え、５％への減税を、他の主要野党も含めた連携の旗印にする狙いがある。 馬淵、山本両氏は３０日に国会内で初会合を開き、今後の運営方針を話し合う。研究会には、馬淵氏が率いる、次期選挙で当選を目指す落選議員らの勉強会「一丸の会」のメンバー約５０人の大半が参加する見込み。減税による経済への影響や減収を補う財源などを研究する見通しだ。 馬淵氏は５％への減税が持論。れいわは７月の参院選で「消費税廃止」を訴えて２議席を獲得。参院選後は当面の目標として税率５％を訴え、野党間の共通政策化を目指している。 両氏はこれまで会談を重ね、９月の一丸の会に山本氏を講師として招くなどして、５％への減税政策を共有していた。

久しぶりのyahoo個人への投稿となりますが、この記事を公開するのは、正直、気が重いな、と思いつつ、公開します。 というのも、今、食べログに対して非常にネガティブな解釈が広がっているわけですが、何かしらポジティブな材料を提供するとなると、確実にいろいろ言われるだろうなあと思って気が重くて仕方がないのですが、ただ、人生の一時期、食べログにハマっていた人間として、論点として提供されるべきポイントが、提供されていないと感じましたので、本記事を公開する次第です。 ◆食べログの評価点数分布の「不自然さ」　さて、近年、食べログの点数評価アルゴリズムは、頻繁にその不正を疑われ議論になっています。 2016年には、評価アルゴリズムのリセットがあった際には、いくつかの店舗がいきなり3.0の点数にリセットされるなどといったことがあり、記事にもなりました。 そして10月8日に、藍屋えんさんという方が、ご自身のブ

先日、twitter上で食べログの星の数について、 ある問題が話題になりました。 食べログの闇として話題になったその問題とは、 「評価3.8以上は年会費を払わなければ3.6に下げられる」 というものです。 食べログは飲食店についての口コミを集めるサイトで、 その評価は実際のユーザーによって形成されるものとして広く認知されています。 専門的なグルメリポーターでもなく、 一般の人々の素直な感想を集めることで、 その飲食店のリアルな価値が知れると期待して、 利用しているユーザーも多いでしょう。 それだけに、 「食べログが評価を恣意的に操作しているかもしれない」という話は、 瞬く間にネットで話題となりました。 さて、この話は実際に行われていることなのでしょうか。 食べログでは、当然評価点は公開されているので、 このような恣意的な操作があれば、 何らかの形で偏りが見つかるはずです。 ということで、食

コミュニケーションが生まれるツイートまとめツール

Appleは10月8日（日本時間）、Mac向け新OS「macOS Catalina（カタリナ）」の製品版をリリースした。対応デバイス（後述）を利用中の場合、macOS（OS X）の「ソフトウェア・アップデート」（Mojave稼働中の場合）または「App Store」（El Capitan、Sierra、High Sierra稼働中の場合）から無料でバージョンアップすることができる（※）。 →使い勝手を強化した「macOS Catalina」2019年秋に登場　iTunesアプリは3分割　iPadでマルチディスプレイも →「macOS Catalina」製品版は10月リリース ※ High Sierra以前で稼働中の場合は、一度OSをHigh Sierra以降にバージョンアップしてからもう一度バージョンアップを実行します 【訂正・追記：8時15分】初出時、バージョンアップを「App Stor

RDBMS 理解度の壁: プロダクションや運用保守で困らないシステムを作れる知識 ＜＜＜それっぽく動くものを作れる知識 実際のシステムで遭遇・見聞きした事象をもとに、上記のスキマにある各種 RDBMS 知識を説明します。 RDBMS 本体の運用よりも、現実のアプリケーションにおける設計・実装上のハマリどころが中心。

This article includes a list of references, related reading, or external links, but its sources remain unclear because it lacks inline citations. Please help to improve this article by introducing more precise citations. (May 2018) (Learn how and when to remove this template message) An associative entity is a term used in relational and entity–relationship theory. A relational database requires t

「PhoenixLiveViewとNervesをさわるElixirへのいざない」というタイトルのElixir入門本を2019年9月22日の技術書典7で頒布する予定です。 タイトルが長いので「えりいざ」とでも略してください。 本のタイトルの通り、Phoenix LiveViewとNervesと呼ばれるプログラミング言語Elixirの2つのフレームワークについて、『実際にさわって体験をしてみよう』な内容となっています。 先日、「ねこのしっぽ」さんで早割入稿してきました。 これで、本については会場で受け取って頒布するだけです。 比較的余裕もできたので、紹介ページを用意しました。 サークル名は「URAMASU」です。 また、配置場所は「せ27D」で、会場の2F側です。詳細は下の会場画像を参照ください。 紹介文を読んで興味を持たれた方は、ぜひお寄りください。 また、サークルチェックもつけてくださると

送信元表記が送信者IDのケース SMSのメッセージを受信した際に表示される送信元には、電話番号の代わりに任意の英数字も表記できる。この英数字の送信元表記を「送信者ID（Sender ID）」という。JC3の図では 通信事業者Ａ が送信者IDに当たる。 なお送信者IDの利用可否は受信側の通信事業者の対応状況によって異なる。Twilioの販売パートナーであるKWCの説明によると、日本国内ではNTT DOCOMOとSoftBankが送信者IDに対応し、KDDIは対応していないとのこと²。私はKDDIの回線を所有していないため、受信側がKDDIの電話番号を使用している場合の挙動は検証できていない。 まずはiOSの公式メッセージアプリに届いていたAmazonからのメッセージのスレッドで偽装を試みる。送信者IDは Amazon となっているため、TwilioでSMSを送信する際のFromの値に Ama