情報処理学会ホームに戻る |
最終更新日:2010年10月13日 |
第81回 プログラミング研究発表会 |
日 程 : 2010年 10月28日(木)〜29日(金) 担 当 : 首藤一幸(東京工業大学)、Jacques Garrigue(名古屋大学)
※ 1件あたり45分 (発表25分,質疑・討論20分) 10月28日(木) [13:00〜15:15] 2. 例外処理を持つ関数型プログラムの停止性・非停止性証明法 3. 文脈自由言語と超決定性言語の包含判定問題の決定可能性の型理論を用いた証明 [15:30〜17:00] 5. SH4A向けコンパイラにおける [19:00〜 ]懇親会 10月29日(金) [9:00〜10:30] 7. 最適化Packrat Parserの空間計算量の計算手法の提案 [10:45〜11:30] [11:30〜13:00] 昼休み [13:00〜14:30] 10. Scheme言語によるリスト構造に特化したXMLデータ処理の効率化と記述性の向上 [14:45〜16:15] 12. 領域限定言語に基づく最適経路問合せ
******↓↓発表募集は終了しました↓↓****************** プログラミング研究会(PRO)は,
を対象とした研究発表の場で,1998年度から毎年3〜4回のペースで論文誌を発行しています.PRO論文誌は研究会と密接にリンクしており,研究会で発表さ れたもののうちあらかじめ論文投稿を希望し,論文原稿を提出されているもの が査読の対象となっています (論文誌投稿を希望しない発表も歓迎します). おおむね研究会から3週間で論文の採否が決定されるという迅速さも大きな特徴です.2010年第3回研究会も多くの発表ならびに論文投稿をお待ちしており ます.参加費は無料です.申込締切は8月27日(投稿締切は9月27日)ですので, よろしくご検討ください. 第81回プログラミング研究発表会 (PRO-2010-3) 発表論文募集 日 程 : 2010年10月28日(木)・29日(金) 会 場 : 高知県立文学館 発表申込締切 : 2010年8月27日(金) 申 込 先 : 首藤一幸(東京工業大学) 案内ページ : http://www.shudo.net/sigpro/2010-3/ * 申込みに当たっての注意はプログラミング研究会のページ http://www.ipsj.or.jp/sig/pro/ を参照してください。
|