情報処理学会ホームに戻る |
最終更新日:2010年3月1日 |
第78回 プログラミング研究発表会 |
日 程 : 平成22年3月15日(月)〜16日(火) 会 場 : 電気通信大学 西9号館 3階AVホール 案内ページ: http://millsmess.cs.uec.ac.jp/pro/2009-5/ 問い合わせ先: 河内谷清久仁 (日本IBM(株) 東京基礎研究所) E-mail: kawatiya [at] jp.ibm.com
3月15日(月) 9:00- 9:45 (1) IMAD: 操作とその表示を統合した設計支援ツールの実現 9:45-10:30 (2) 帰納的アプローチに基づく理想的電子現金方式のモデル化および証明支援系Isabelle/HOLによる安全性の証明 10:30-10:40 休憩 10:40-11:25 (3) UMLモデルのC言語実装におけるTECSの適用事例 11:25-12:10 (4) ロボット制御プログラミング環境に対する小学校での使用評価 12:10-13:30 昼休み 13:30-14:15 (5) 世代別Mostly-Copying GCのRuby VMへの実装と評価 14:15-15:00 (6) ストリーム処理方式を用いた繰越し依存型多重ループの並列展開法 15:00-15:10 休憩 15:10-15:55 (7) サーバ/クライアント自動分割を備えたWebフレームワークの設計と実装 15:55-16:40 (8) ウェブアプリケーションのソースコード隠蔽機構 16:40-16:50 CS領域奨励賞授与式 18:30-21:00 懇親会
9:00- 9:45 (9) バックトラックのないマッチングオートマトンを用いたXML変換のためのアルゴリズム 9:45-10:30 (10) 等価変換計算モデルに基づく言語処理系を用いたプログラムの並列化 10:30-10:40 休憩 10:40-11:25 (11) ポインタのあるプログラミング言語のための資源使用法解析 11:25-12:10 (12) Improving Error Message in Type System 12:10-13:30 昼休み 13:30-14:15 (13) GUIコンポーネントに基づく視覚的言語に対するエディタの自動生成 14:15-15:00 (14) GPUコンピューティング向け中間言語の研究 15:00-15:10 休憩 15:10-15:55 (15) Design and Implementation of Memory Profiler for Ruby 15:55-16:40 (16) データ列に関するアルゴリズムの逆変換に基づく導出 16:40-17:25 (17) Prologへのラムダ項の導入とマクロとしての展開
******↓↓発表募集は終了しました↓↓****************** プログラミング研究会(PRO)は,
を対象とした研究発表の場で,1998年度から毎年3〜4回のペースで論文誌を発行しています.PRO論文誌は研究会と密接にリンクしており,研究会で発表されたもののうちあらかじめ論文投稿を希望し,論文原稿を提出されているものが査読の対象となっています(論文誌投稿を希望しない発表も歓迎します).おおむね研究会から3週間で論文の採否が決定されるという迅速さも大きな特徴です.2010年3月の研究会も多くの発表ならびに論文投稿をお待ちしております.参加費は無料です.申込締切切は1月15日(投稿締切は2月15日)ですので,よろしくご検討ください. 第78回プログラミング研究発表会 (PRO-2009-5) 発表論文募集 日 程 : 2010年3月15日(月)・16日(火) 会 場 : 電気通信大学 西9号館 3階AVホール 発表申込締切 : 2010年1月15日(金) 申 込 先 : 河内谷清久仁 (日本IBM(株) 東京基礎研究所) 案内ページ : http://millsmess.cs.uec.ac.jp/pro/2009-5/ * 申込みに当たっての注意はプログラミング研究会のページ http://www.ipsj.or.jp/sig/pro/ を参照してください。
|