Search of article List
2009年 情報科学技術フォーラム(FIT)
| 講演番号 | 題目/著者 |
|---|---|
| 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 佐藤 亮介, 末永 幸平, 小林 直樹, |