「オーバードクター」の死…　九州大学箱崎キャンパスで発生した火災現場から発見された遺体の身元が、46歳の元学生であることが明らかになった。 福岡市東区箱崎6丁目の九州大箱崎キャンパスで7日朝に研究室を焼いた火災で、福岡東署は15日、焼け跡から見つかった遺体は研究室に出入りしていた同区の職業不詳の男性（46）と発表した。署によると、死因はやけどによる火傷死。男性が放火、自殺したとみて調べている。 出典:西日本新聞記事 記事によれば、研究者を志したものの貧困に苦しんでいたという。 詳細はみわよしこさんの記事にまとめられている。 九大箱崎キャンパス放火・自殺事件～「貧困」という切り口から見えてくるもの　いったい何が起こったのか… 記事によれば、男性は大学院中退後も研究者を志していたという。いわゆる「オーバードクター」だったといえるだろう。 「オーバードクター」とは、「大学院博士課程に三年以上在学

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