情報処理学会ホームに戻る
最終更新日:2007年1月5日

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

 

日  程 : 平成19年1月18日(木)・19日(金)

会  場 : 沖縄県那覇市字松川20 メルパルク沖縄
         http://www.mielparque.or.jp/okn/okn01.html

問合せ先 : 磯部 祥尚 (産総研) e-mail: y-isobe"at"aist.go.jp   ※"at"を@に変換してください。

案内ページ : http://staff.aist.go.jp/y-isobe/PRO/PRO62-okinawa.html

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

1月18日(木)午後

(1) 12:50-13:35
  一対多非同期結合型のデバッガによるWebアプリケーションのセッションアウェアな連続追跡
  小菅圭介、佐藤規男(金沢工大)

(2) 13:35-14:20
  COINS を用いるためのコンパイラの自動生成の一方式
  舞田純一、中井 央、佐藤 聡(筑波大)

(3) 14:20-15:05
  世代管理を保守的に行う世代別GCアルゴリズムの提案およびRubyへの実装と評価
  五百蔵重典、西尾孝典、野木兼六(神奈川工科大)

15:05-15:15 休憩

(4) 15:15-16:00
  On-the-fly model checking security protocols and its implementation by Maude
  Li Guoqiang、Mizuhito Ogawa(北陸先端大)

(5) 16:00-16:45
  双方向CTLによるJava最適化器の生成
  方  玲、佐々政孝(東工大)

16:45-16:55 休憩

(6) 16:55-17:40
  Ajax による Collaborative 分散 MVC アーキテクチャ
  長尾雄行、土屋陽介、森本祥一、中鉢欣秀(産業技術大学院大)

(7) 17:40-18:25
  An Equivalence Relation for Typed Ambient Calculus
  加藤 暢(近畿大)


1月19日(金)午前

(8) 8:50-9:35
  並行プログラミング言語へのチャネル使用法宣言の導入
  須藤 崇、小林直樹(東北大)

(9) 9:35-10:20
  部分計算に基づく遷移述語抽象化
  フレデリクセン カール クリスチャン、萩谷昌己(東大)

10:20-10:30 休憩

(10) 10:30-11:15
  階層化コントロールオペレータに対する型システムの構築
  鈴木輝信、亀山幸義(筑波大)

(11) 11:15-12:00
  連邦型タプルスペースを使ったコンパクトルーティングの実験
  淵田良彦、河野真治(琉球大)

12:00-13:00 昼休み

(12) 13:00-13:45
  Ambient Calculusを用いた物流検査システム
  森本大輔、加藤 暢、樋口昌宏(近畿大)

(13) 13:45-14:30
  Java向け動的コンパイラによる冗長なBox化の削除
  千葉雄司(日立)

(14) 14:30-15:15
  効率的なプロファイリングを目的としたメソッドキャッシュにおけるエントリ置換アルゴリズムの提案
  長田 忍、 楢崎修二(長崎大)

15:15-15:30 休憩

(15) 15:30-16:15
  OSカーネル用アスペクト指向システム KLASY
  柳澤佳里、光来健一、千葉 滋、石川 零(東工大)

(16) 16:15-17:00
  例外処理のためのアスペクト指向言語
  熊原奈津子、千葉 滋(東工大)

 

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

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

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

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

第62回プログラミング研究会(PRO-2006-4)発表募集


日  程
 : 平成19年1月18日(木)・19日(金)

会  場  メルパルク沖縄(沖縄県那覇市字松川20)
        (那覇空港から「ゆいレール」で安里駅下車約1km)

発表申込締切 : 平成18年11月10日(金) (CLOSED)
投稿論文原稿提出締切 : 平成18年12月15日(金)

申 込 先 : 磯部祥尚 (産業技術総合研究所 情報技術研究部門)
         E-mail: y-isobe"at"aist.go.jp   ※"at"を@に変換してください。
         Tel: 029-861-5892  Fax: 029-861-5918

案内ページ : http://staff.aist.go.jp/y-isobe/PRO/PRO62-okinawa.html

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