Metasepi作戦会議 第10回 議事録

Table of contents

• 論文
• 会議の雰囲気

Metasepi作戦会議 第10回を 「第55回プログラミング・シンポジウム」 にて開催したでゲソ。

ワシはこれまでソフトウェア開発者にはプロジェクトの宣伝をしてきたでゲソが、 ソフトウェア研究者には宣伝してこなかったでゲソ。 今年は研究ドメインへの宣伝を増やすためにまずはプロシンに行ってみたのでゲソ。

論文を2ページだけ書いたのでゲソ。 できればこのページにPDFへのリンクを貼りたいのでゲソがまだ許可がおりていないでゲソ。。。 この論文は @mzp 殿にかなり念入りな推敲をしてもらったじゃなイカ。 この場を通じで感謝でゲッソ!

論文

「強い型によるOSの開発手法の提案」(pdf)

会議の雰囲気