夏のプログラミング・シンポジウム2009「予定ベースの計算機フロントエンド」