この記事はCAMPHOR- Advent Calendar 2017 11日目の記事です． アブストラクト 漸進的型付けは，ひとつの言語の中で静的型付けと動的型付けをスムーズに組み合わせるための技術です． よく知られた特徴は any 型を使った静的型付けで， TypeScript や Python といったプログラミング言語には既に実装されています． しかし，理論と実際のプログラミング言語の間には大きなギャップが存在します． 特に，漸進的型付けの理論で提案されているキャストを用いた動的型検査が実装されていないために， 静的型付けの恩恵を十分に得られていないという問題があります． この記事では，まず漸進的型付けの理論をコード例を用いて紹介し， 現状の漸進的型付き言語が抱える問題を解説します． そのあとで，漸進的型付き言語が目指すべき目標を理論的視点から論じます． それらの目標は，静的型付けを

はじめに どうも@toRisouPと申します。ドワンゴにてニコニコ生放送（新配信）の開発を行っています。 皆さんはニコニコ生放送、利用されてますでしょうか？ 自分はたまに生放送を行っています！ 自分が配信する放送のうち8割はゲーム配信なのですが、残り2割は思いついた技術ネタを作ってみて生放送で実演するという内容になっています。 今回は自分の過去のネタの中から1つピックアップして紹介したいと思います。 ゆかりごっこ 「ゆかりごっこ」は過去に自分が行った生放送の中で一番好きなネタです。 成人男性の9割は美少女になりたいという願望があるはずです。 その願いを叶えるために、VRで結月ゆかりさんになれるアプリを作り、それを実際に使って行った生放送が「ゆかりごっこ」です。 具体的にどのような生放送を行ったかは以下のアーカイブをご覧頂けるとよいかと思います。 ゆかりごっこ1 ゆかりごっこ2 ゆかりごっこ

Twitterで「実は、和式便器では金隠し（※）側を後ろにして座るのが正解」というツイートが拡散されています。TOTOに真偽を聞いてみました。 ※金隠し：和式便器の出っ張っている部分。和式トイレでは入って奥側にあることが多い。 さあ、どう座る？ 元のツイートは、古来の和式便器では和服を着た人が袴を引っ掛ける「衣かけ」（きぬかけ、金隠しの語源となった）が後ろ側にあったことや、和式便器の穴が金隠し側にあることから、「キレイに使えればどちらでもOKだけど、実は後ろが正しい」と呼びかける内容。「知らなかった」「そのほうが理にかなってる」といった驚きの声が上がる一方、「金隠し側が後ろだと紙が取りにくい」「金隠しを前にしないと汚れる」という意見もあるようです。 金隠しを後ろにするのが正解？ 和式便器はどちら側に座るのが正しいのか、TOTOに聞いてみたところ「金隠し側が前です」との回答がありました。金隠

公園内のバーベキュー施設から漂う焼き肉のにおいで平穏な生活が害され、精神的苦痛を受けたとして、釧路市の男性が市にバーベキューの禁止と５００万円の損害賠償を求めた訴訟の上告審で、男性の敗訴が確定した。最高裁第一小法廷（木沢克之裁判長）が７日付の決定で、男性の上告を退けた。 一、二審判決によると、市は２０１４年、地元住民から「三世代交流の場」を要望され、住宅街の一角にある緑ケ岡公園内にバーベキュー施設を設置した。だが、この施設から約１２０メートルの場所に住む男性は「焼き肉のにおいが、くさくてたまらない」と提訴した。 ３月の一審・釧路地裁判決は「においは周辺の一定範囲に達している」とし、市の住民調査で「洗濯物ににおいがつくので外には干さない」との意見もあったと認定。だが、「生活に支障はない」という回答が多く、市が公園内に常緑樹のニオイヒバ１８本を植え、においを軽減する対策をしていたとし「耐えられ

なんかもうこういうタイトルでいいよ… さて、12月上旬の日本HPC業界をにわかに騒がせているのがこの事件。 PEZY社長逮捕、スパコンの旗手に何が起きたのか PEZY Computing社の齊藤元章氏が詐欺容疑で逮捕されたというものである。 ここで僕の立場を明らかにしておくと、僕は12/10現在、PEZY Computing社員である。実はSC17のマイナビにも載ったぞ。いぇーい。 まぁあれは頼んで書いてもらった感がありありとするので微妙だが。 Hisa Andoさんありがとうございます！！ というわけで、僕のこの件に関するスタンスは以下。 この件の捜査状況、あらゆる疑惑については、その真偽を問わず、基本的にコメントしない NEDOの助成金について、事実と反する主張が見られる場合には指摘する 技術的に間違った批判については反論する である。 今の所それを前提として動いているので、逸脱してい

なぜかミクシィ社でエンジニアだった人々がアドベントカレンダーを書くことになってしまったex-mixi Advent Calendar 2017、12月11日担当の @tnj です。 一般的に、会社を退職することになったら退職届というものを会社に提出することになります。その退職理由には「一身上の都合」と書くのが通例だと思いますが、私はちょっと変わった退職の経緯を持っているので、今回はそれについて共有してみたいと思います。思いのほか長くなってしまいましたが、社会人歴10年目のソフトウェアエンジニアのキャリアの変遷の一例としてお楽しみください。 TL;DR Android開発者としての自分の経験を基に新規事業を立ち上げることになり、エンジニアとして参画したつもりが気がつくと事業責任者になり、果ては事業を買い取って経営者になった 好きでやってる話だしまあなんだかんだ乗り越えていけるよねと思ってたら

Rails Developers Meetup 2017で発表した「Rails❤️SQL」のサンプルコードです。 スライド スライドはこちらにあります。この記事とあわせてどうぞ。 Rails❤️SQL #railsdm // Speaker Deck 1. ちょっと凝った検索条件 Formモデル target_none?やxxx_selected?は独自のprivateメソッドです（コード例は省略）。 class ProjectSearchForm include ActiveModel::Model attr_accessor :keyword, :project, :customer, :member def result scope = Project.all if keyword.present? conditions = [] if target_none? || project

※本稿はピクシブ株式会社 Advent Calendar 2017 の9日目の記事です。 さる技術書典で書く原稿のためにHTTPについて調べていたら、こんな記述を見つけた。 HTTP/0.9 は、1991年以来使われている HTTP の最初の版です。 極めて単純ですが、あまりに低機能なので、現在ではほとんど使われなくなっています。 それでも HTTP プロトコルの一部として依然として広く実装されています。 ― HTTP/0.9 - SuikaWiki (強調引用者) 本当だろうか。 HTTP/0.9といえば、HTTP/1.0やHTTP/1.1に上書きされて悠久の昔に忘れ去られた、古のプロトコルであるという認識である。NetScapeもバージョン2.0からHTTP/1.1を実装している。 HTTP/0.9とは GETリクエストしか存在しない HTTPヘッダなんてない HTTPステータスコード

(おはようございます|こん(にちは|ばんは))。 この記事は mixi OB/OGによる ex-mixi Advent Calendar 2017 の10日目です。 例によって技術的な話ではない上に、個人的な話題ばかり書いてしまったため、自分も個人ブログにて投稿します。 想定する読者 お世話になった現役ミクシィの皆様 (近況報告です) お世話になったミクシィOB/OGの皆様 (ご無沙汰しております) これからWebベンチャー→メーカーエンジニアへシフトチェンジしようとしている稀有な方 長いのでTL;DR 大学が電子情報系だと電機メーカーは結構楽しい ワークライフバランスがだいじな件 大企業をテラフォームするのは正直シンドい 職場環境、東京で消耗しなくなった話 ミクシィで学べたこと、今後について 在職期間のこと 自分がミクシィに在籍した期間は、2012年9月から2017年3月末日までの4年7

さくらインターネットのアドベントカレンダー9日目として、サーバ屋らしく、運用に関するコマンドの使い方を紹介します。 サーバの負荷が高まってきたときに、vmstatやtopなどのコマンドで調査する事が出来ますが、I/O負荷をwa(iowait)によって判断する人も多いと思います。 ただ、結論から言うと、iowaitは正確にI/Oの負荷を表しているわけではありません。 これらを、実際に演習をしながら見ていきたいと思います。 iowaitとidle iowaitとはあくまでも、CPUが空いているのにI/Oがボトルネックになっているプロセスを示しているだけで、CPUの利用率が高いときにはI/Oがボトルネックになっていてもiowaitが上がりません。 同様に勘違いされがちなのが、id(idle)はCPUの空きを示しているというものですが、idleは必ずしもCPUの空き時間を示しているものではありませ