ドワンゴは12月21日、同社代表取締役会長である川上量生氏について、同日行われた取締役会をもって、代表取締役会長から退任することになったと発表しました。川上氏は今後、新たにIT全般の最高責任者として「取締役CTO」の職に就く形となります。退任理由については「（川上氏は）新技術の開発により集中することがグループの価値を極大化できる」との判断からとしています。 niconico（く）発表会に登壇した川上氏（関連記事） 川上氏は1997年にドワンゴを設立し、代表取締役社長に就任。2009年9月からは代表取締役会長としてグループの運営を担っていました。川上氏は今後、人工知能や教育事業などのIT先端技術関連の新規事業開発に注力していくとのこと。ドワンゴの中核サービスであるniconicoについては、既報の通り取締役の栗田穣崇氏が現在、川上氏に代わって責任者となっています（関連記事）。 11月28日に

この記事は以下のページに移転しました． blog.ryota-ka.me この記事は CAMPHOR- Advent Calendar 2017 の21日目の記事です． @ryota-ka です．普段は HERP という会社でリードエンジニアとして働いています．一昨日19日にサービスのティザーサイトを公開したばかりなので見てください． herp.cloud さて，12月といえば，万人受けしなさそうなネタでブログを書いては「はてブが付かねえ」と文句を言う季節ですが，今年もそういう方針で，TypeScript での型レベル計算について書きます．型レベルでの自然数などが定義できると，リストに型レベルで長さを付けることができて，空リストの先頭の要素を取ろうとしてランタイムで落ちる，という悲劇が生じる可能性をコンパイル時に排除できてとても嬉しいですね． なお，使用している TypeScript のバ