はじめに もう先々週のことになりますが、前回告知した『AWS DevDay Tokyo 2018』というイベントがAmazon Web Services Japan主催で10月29日（月）〜11月2日（金）に渡って開催されました。 www.keisuke69.net イベント自体の紹介は前回の投稿に詳しいので割愛して、当日あったセッションの資料をまとめます。が、その前にいくつか。 まず、最終日のアフターパーティでも発表した好きな言語、好きなエディタの集計結果を改めて載せておきますね。Pythonが1位ってのも数年前だと考えにくかったと思いますが、Javaがまだまだ元気なことだったりVimとEmacsで2倍以上の差がついたりというのも面白い結果かなと。面白いと言えば1位のVS Codeってのも少し驚きましたが確かにいいエディタだと思います。かくいう自分も今はVS Codeです。秀丸とVim

Webサイトをどうやって作っているか？を調べるツールがありました。 「Wappalyzer」というツールです。 www.wappalyzer.com Wappalyzerは、ChromeやFirefoxのプラグインとして提供されており、インストールすると使えます。 ブラウザーでWebサイトを閲覧したとき、Wappalyzerのアイコンをクリックすると、そのWebサイトで使われているソフトやサービスなどが表示されます。 （例）はてなブックマークを見たときは、以下のような内容が表示されました。 Webサーバーソフトは「Nginx」、キャッシュソフトには「Varnish」を使っていることなどが分かります。 これでいろんなWebサービスを調査してみれば、Webサイト制作の参考になりそうですね！ Wappalyzerの参考情報 forest.watch.impress.co.jp www.leon-

円周率を100桁近く記憶している人にはガチ悲報。円周率（π：パイ）は4であることが証明されてしまいました。何かがおかしいことはわかるけど、どうおかしいのか明確な反論ができないヘリクツ証明にたくさんのコメントが集まっています。 半径が2で、中心角が直角の扇形を考えます。弧の長さは「2×（半径）×π（円周率）÷4」、半径は2なので、弧の長さはπ（円周率）になります。 次に扇形を囲む、辺の長さが2の正方形を考えます。弧の上に点を取り、正方形の辺から弧に向かい直角に降ろした線を考えます。線の総和は、正方形の2辺と同じなので4になります。 弧の上に取られる点を増やしていきます。 点の数をどれだけ増やしても、線分の長さは常に4になります。 では、点の数を無限大にします。そうすると、弧の長さと線分の長さは等しくなります。ゆえに円周率は4。 この詐欺のような証明にコメント欄は大紛糾。「一般的な極限と数学的

保育所の入所選考にAI（人工知能）技術を使い、わずか数秒で数千人規模の児童を各施設に割り当てる――富士通は11月12日、市町区村の役所など向けに保育所の入所選考業務を支援するソフトウェアの提供を始めた。自治体が定める入所選考基準と保護者の希望を基に、AIが保護者の優先順位に沿って児童を各保育所に割り当てる。これまで30以上の自治体で実証実験を行っており、2018年中に滋賀県大津市が導入する予定。 保育所に入所するには、（1）保護者が自治体に入所希望申請書（紙）を提出する、（2）自治体の職員が受け取った申請情報をシステムに入力する、（3）職員が申請情報を基に、優先順位や入所条件を考慮しながら入所選考を行う、（3）選考結果をシステムに入力し、結果を保護者に通知する――というプロセスを経る必要がある。 （3）の入所選考業務を同社のAI技術「Zinrai」を用いたソフトに代替させる。児童の割り当て

現在IETFで仕様策定が進められている、UDPをベースに効率的で高速な通信を実現するためのプロトコル「QUIC」をトラスポート層に用いる新しいHTTPの名称が「HTTP/3」になることが決まりました。 HTTP/3のベースはGoogleが開発したQUIC。IETFで標準化へ もともとQUICは、Googleが高速なHTTPの通信を実現するためのプロトコルとして2013年に発表し、同社のChromeブラウザやクラウドサービスなどに実装してきました。 QUICは、従来のHTTPでトランスポート層に用いられているTCPの代わりに、UDPを用いています。 TCPはエラー訂正機能などを備え信頼性の高い通信が可能な一方、比較的オーバーヘッドの大きなプロトコルです。そこでTCPの代わりに通信の信頼性は保証されないもののオーバーヘッドの小さいUDPを用い、独自に一定の信頼性を保つ実装を組み込みつつHTTP