情報処理学会ホームに戻る

最終更新日:2010年1月25日

第77回 プログラミング研究発表会

 

日  程 : 平成22年1月27日(水)
        # プログラム編成上の都合により,1日のみの開催に変更されました.
        # 以前の発表とは異なりますため,ご注意下さい.

会  場 : 大阪電気通信大学 寝屋川キャンパス(大阪府寝屋川市)
         エデュケーションセンター(J号館) 6F 小ホール
         http://www.osakac.ac.jp/oecu/campus/intro/neyagawa.html

問合せ先 : 河辺 義信 (愛知工大) e-mail: kawabe[at]aitech.ac.jp

案内ページ: http://aitech.ac.jp/ ̄kawabe/pro/pro77.html


------ プログラム ------

1月27日(水) 午前

(1) 10:30-11:15
   スクリプトによるWebページの機能拡張について
   後藤 正,境 将彦,長縄 祐輝,森 隆次郎,永松 礼夫(神奈川大学)

(2) 11:15-12:00
   Traceglasses: 効率のよい欠陥の発見手法を実現するトレースに基づくデバッガ
   櫻井 孝平(芝浦工業大学),増原 英彦(東京大学),古宮 誠一(芝浦工業大学)

12:00-13:15 昼休み

1月27日(水) 午後

(3) 13:15-14:00
   確率様相論理による秘匿性の証明
   竹内 泉(産総研),真野 健(NTT)

(4) 14:00-14:45
   ヒープ中の同期ロックの整合性に関するモデル検査
   松田 元彦,前田 俊行,米澤 明憲(東京大学)

 

******↓↓発表募集は終了しました↓↓******************

プログラミング研究会(PRO)は,

  • プログラミング言語の設計、処理系の実装
  • プログラミングの理論、基本概念
  • プログラミング環境、支援システム
  • プログラミング方法論、パラダイム
  • これらを応用したシステムの開発事例
  • その他、プログラミングに関する面白い話題

を対象とした研究発表の場で,1998年度から毎年3〜4回のペースで論文誌を発行しています.PRO論文誌は研究会と密接にリンクしており,研究会で発表されたもののうちあらかじめ論文投稿を希望し,論文原稿を提出されているものが査読の対象となっています(論文誌投稿を希望しない発表も歓迎します).おおむね研究会から3週間で論文の採否が決定されるという迅速さも大きな特徴です.2008年度第3回研究会も多くの発表ならびに論文投稿をお待ちしております.参加費は無料です.申込〆切は11月19日(投稿〆切は12月19日)ですので,よろしくご検討ください.

第77回プログラミング研究発表会 (PRO-2009-4) 発表論文募集

日  程 : 平成22年1月26日(火)〜27日(水)

会  場 :  大阪電気通信大学 寝屋川キャンパス(大阪府寝屋川市)
          エデュケーションセンター(J号館) 6F 小ホール
          http://www.osakac.ac.jp/oecu/access/neyagawa.html(寝屋川キャンパスまで)
          http://www.osakac.ac.jp/oecu/campus/intro/neyagawa.html(キャンパスマップ)

発表申込締切 : 平成21年11月19日(木)
投稿論文原稿提出締切 : 平成21年12月19日(土)

申 込 先 : 河辺義信(愛知工業大学 情報科学部 情報科学科)
         E-mail: kawabe[at]aitech.ac.jp
         Tel: 0565-48-8121 (ext. 2412)  Fax: 0565-48-0509 (学部事務室内)

案内ページ : http://aitech.ac.jp/ ̄kawabe/pro/pro77.html

* 申込みに当たっての注意はプログラミング研究会のページ http://www.ipsj.or.jp/sig/pro/ を参照してください。
* できるだけE-mailでお願いします。
* 申込み後返信がない場合はご連絡下さい。