漸進的型付けの未来を考える - -
この記事はCAMPHOR- Advent Calendar 2017 11日目の記事です． アブストラクト 漸進的型付けは，ひとつの言語の中で静的型付けと動的型付けをスムーズに組み合わせるための技術です． よく知られた特徴は any 型を使った静的型付けで， TypeScript や Python といったプログラミング言語には既に実装されています． しかし，理論と実際のプログラミング言語の間には大きなギャップが存在します． 特に，漸進的型付けの理論で提案されているキャストを用いた動的型検査が実装されていないために， 静的型付けの恩恵を十分に得られていないという問題があります． この記事では，まず漸進的型付けの理論をコード例を用いて紹介し， 現状の漸進的型付き言語が抱える問題を解説します． そのあとで，漸進的型付き言語が目指すべき目標を理論的視点から論じます． それらの目標は，静的型付けを
なぜオッサンはかわいいに憧れるのか 「バーチャルのじゃロリ狐娘YouTuberおじさん」独占インタビュー（前編）
PANORAでもインタビューした「キズナアイ」をはじめ、このところ3DCGがまるで生きているように動くバーチャルキャラ界隈がアツい。アニメやゲームの作品中に登場するのではなく、人格を持った一人としてYouTubeなどに動画や生放送を公開し、視聴者とともに身近な話題を楽しむというのが今風だ。 そんな界隈で先週、怒涛の勢いで知名度を上げたのが「ねこます」氏、通称「バーチャルのじゃロリ狐娘Youtuberおじさん」になる。にゃるら氏のブログ「根室記念館」の記事をきっかけに火がついて、わずか数日でYouTubeの登録者数が300から9000に急増するほど注目を集めている。なぜそんなに受けているのか。まずは動画を見てほしい。 そう、見た目はかわいい狐娘なのに、声が明らかに男性なのだ。それもボイスチェンジャーのような生ぬるい妥協は一切入れないという、まごうことなきストロングスタイルだ。語尾に「のじゃ」
VRで「結月ゆかり」になって生放送する - Qiita
#はじめに どうも@toRisouPと申します。ドワンゴにてニコニコ生放送（新配信）の開発を行っています。 皆さんはニコニコ生放送、利用されてますでしょうか？ 自分はたまに生放送を行っています！ 自分が配信する放送のうち8割はゲーム配信なのですが、残り2割は思いついた技術ネタを作ってみて生放送で実演するという内容になっています。 今回は自分の過去のネタの中から1つピックアップして紹介したいと思います。 #ゆかりごっこ 「ゆかりごっこ」は過去に自分が行った生放送の中で一番好きなネタです。 成人男性の9割は美少女になりたいという願望があるはずです。 その願いを叶えるために、VRで結月ゆかりさんになれるアプリを作り、それを実際に使って行った生放送が「ゆかりごっこ」です。 具体的にどのような生放送を行ったかは以下のアーカイブをご覧頂けるとよいかと思います。 ゆかりごっこ1 ゆかりごっこ2 ゆかりご
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
