講演番号 | 題目/著者 |
---|---|
A-029 | SPEサーバを用いたプログラミング環境の構築 出宮 健彦, 高山 征大, 境 隆二, |
A-030 | MLとC間の多相型外部関数インターフェース 上野 雄大, 大堀 淳, |
A-031 | コンパイラ構築の証明論的枠組み 大堀 淳, |
A-032 | 多重Knuth-Bendix完備化における危険対除去手法の導入 道又 淳一, 青戸 等人, 外山 芳人, |
A-033 | S式書き換えシステムの停止性を保証するカリー化について 磯部 耕己, 青戸 等人, 外山 芳人, |
A-034 | 基底項書き換え系の合流性自動判定 村井 正勝, 青戸 等人, 外山 芳人, |
RA-009 | 日本語プログラミング言語における字句解析 馬場 祐人, 筧 捷彦, |
RA-010 | Ordered Types for Stream Processing of Tree-Structured Data 佐藤 亮介, 末永 幸平, 小林 直樹, |