夏のプログラミング・シンポジウム2003「スケーラブルなダイナミックなプログラミングによる情報検索システム」