10:50-12:20
- Ruby処理系へのスナップショットGCの実装
○相川 光 笹田 耕一 本位田 真一
(東京大学)
- Ricsin: RubyにCを埋め込むシステム
○笹田 耕一
(東京大学)
13:30-15:00
- Rubyにおける実用的な多言語処理の実装
○松本 行弘
(ネットワーク応用通信研究所)
- atomic-Ruby: 世界でたった一つだけのRuby
○奈須 翔太 辻 良繁 相川 光 笹田 耕一 竹内 郁雄
(東京大学)
15:10-17:25
- メモリ共有を考慮したRPCシステム
○安積 卓也 (名古屋大学)
大山 博司 (オークマ株式会社)
高田 広章 (名古屋大学)
- 動的電圧制御システムにおけるエネルギー効率的なプログラムの導出
○横山 哲郎 今井 敬吾 曾 剛 冨山 宏之 高田 広章 結縁 祥治
(名古屋大学)
- 並列コピーの導入による生存区間分割手法の性能向上
○中林 淳一郎 (早稲田大学)
片岡 正樹 古関 聰 小松 秀昭 (日本IBM)
深澤 良彰 (早稲田大学)
19:00 懇親会
10月29日 (水)
09:10-10:40
- 制約付き項書換え系における書換え帰納法
○坂田 翼 西田 直樹 坂部 俊樹 酒井 正彦 草刈 圭一朗
(名古屋大学)
- On the Inclusion Problem for Context-free Real-time Languages
○Nguyen Van Tang Mizuhito Ogawa
(JAIST)
10:50-12:20
- 組合せ子の非循環性と関連する性質について
○岩見 宗弘 (島根大学)
- 型安全な再利用可能アスペクトを目指したMJベースのAOP言語と
その型システムの提案
○草野 直樹 鎌田 十三郎
(神戸大学)
13:30-15:00
- Recognizability of Redexes for Higher-Order Rewrite Systems
○Hideto Kasuya (愛知県立大学)
Masahiko Sakai Kiyoshi Agusa (名古屋大学)
- データ列に対する各種アルゴリズムの逆変換に基づく統一的導出
○森本 真一
(日本電気航空宇宙システム)
15:10-16:40
- 並列プログラムの候補生成と適合性検査による並列化
○森畑 明昌 松崎 公紀 (東京大学)
胡 振江 (NII)
武市 正人 (東京大学)
- Head-Needed Strategy of Higher-Order Rewrite Systems and
its Decidable Classes
○Hideto Kasuya Masahiko Sakai Kiyoshi Agusa
Updated: 2008.10.21 09:20