【パリ時事】フランス製薬大手サノフィは3日、デング熱の予防を目指して開発を進めている初のワクチンに関し、臨床試験で効果が確認されたと発表した。仏メディアによると、2015年中にも実用化できる見通しという。

えっ、ロシア大使館はまだ「ソ連領」 解体から17年。狸穴も高輪も登記の名義変更を認めず、再開発に支障。誰が邪魔しているのか。 2009年1月号 DEEP ソビエト連邦の解体から17年の歳月が経過した。1991年12月、連邦政府の活動停止を宣言したゴルバチョフ大統領は過去の人となり、革命の赤に槌と鎌、五大陸の労働者の団結を意味する五芒星を配した国旗も記憶の彼方に遠のいた。 そのソ連が亡霊のように生きている場所が日本にある。東京・麻布台の外苑東通りに面した狸穴の一等地、ロシア大使館の所有権者として。大使館敷地1万325平方メートルと記された不動産登記簿謄本には「所有者　ソヴィエト社会主義共和国聯邦」といまだに記されている。 大使館だけではない。JR山手線品川駅に近い高級住宅街の港区高輪4丁目には、5835平方メートルの敷地にロシア通商代表部が事務所を構え、住居棟も併設しており、この敷地の所有者

Table of contents MLプログラマ向けATS言語ガイド ATSのすばらしき世界 ノート: 線形論理(Linear Logic)について 拡張子 めくるめく静 異型(Atypical)の複合型 ノート: intの型はフラット 落ち着かない関数たち タグ付きのアロー型 stdio.h から例を この文書のTODO この記事は Theorem Prover Advent Calendar 2013 - Qiita [キータ] の12/23(月曜)分じゃなイカ。 ATS http://www.ats-lang.org/ という言語を知っているでゲソ？ 依存型と線形型が使えて、もちろん証明器にもなるでゲソ。 以下のようなプログラミングパラダイムをサポートしているでゲソ。 関数プログラミング 命令プログラミング 並列プログラミング モジュールシステム ATSのHello Worldの実

9/6の毎日新聞夕刊に、円城塔さんの「屍者帝」がらみの記事が載りました。 そこで円城さん、インタビューに答えていわく、 「『死者が動く』話でなければ、やらなかった。当人が亡くなって、冗談のようであっても、誰かが引き受けなければならないだろうと思いました。追悼というわけではなく、悪ふざけは続けようと」 「『伊藤計劃ならどう考えただろう』という自問自答はしないようにしました。自分の中の記憶や思い出にからめ捕られると、ウエットで『冗談の構図』ではなくなる。伊藤のことは全部わかっている、という態度は出ないよう心がけました」 相変わらず、飄々とした風貌に似合わぬ漢な発言の数々、感涙でございます！ それにしても、やはり「死者が動く話」という点が、大きな執筆動機だったのですね。呪術的でなおかつ悪い冗談のような。･･･っていうか、冗談だったのか！ その冗談に、５年４カ月の作家生活うち、３年４カ月を費やした