動的計画法の問題を機械的に解く方法 - yukobaのブログ

2014/06/28 53 users アルゴリズム 算数 選抜 予選 競技プログラミング

情報オリンピックという中高生向けの競技プログラミングの大会があります。国内予選・選抜が3回あり、最後に世界大会があります。アルゴリズムの問題が出題されます。予選の毎年のパターンは問1, 2は問題文をコードに起すだけの問題で、問3はアルゴリズムの問題だったり、中学受験的な算数の問題だったりします。問4はいつも動的計画法の問題が出ます。競技プログラミングでは動的計画法が一番の入門であり、これがスタート... 続きを読む

JavaScriptでソフトウェアの正しさを数学的厳密に証明してみた - yukobaのブログ

2011/03/08 194 users Uｓｔｒｅａｍ channel Shibuya.js テスト

現在、Shibuya.js が開催中です！Ustream で http://www.ustream.tv/channel/shibuyajs にて放送されています。これから、このブログの内容をしゃべります！今回「テスト」がテーマなうえ、Shibuya.js は「役に立つ話担当」「ネタ担当」に分かれていて、僕は「ネタ担当」なんですが（笑）、いつも通りネタです。でも、遠い未来の役立つネタです！きっかけ... 続きを読む

Windows版FUSE Dokan がオープンソースになったよ！！ - yukobaの日記

2008/05/27 191 users LGPL FUSE カーネルモード オープンソース Space

English blogDokan(Windows版FUSE) が、昨日、オープンソース(LGPL)になりました！http://decas-dev.net/2008/05/26/open-source-dokan-library-032-released/FUSE とは、File system in User space の事で、通常はファイルシステムを作るには、カーネルモードで開発しなくてななら... 続きを読む