講演番号 | 題目/著者 |
---|---|
A-033 | 正規表現をNFAに変換するためのアルゴリズムについて 山本 博章, 宮崎 敬, 岡本 正行, |
A-034 | Persistence of Termination for Non-Overlapping Term Rewriting Systems 岩見 宗弘, |
A-035 | SATはNP完全か? : Cookの証明は間違っていた! 山口 人生, |
A-036 | 高速なLZ77型圧縮アルゴリズム 井谷 宣子, 小田切 淳一, 吉田 茂, |
A-037 | 格子縮約を用いた素因数分解アルゴリズムについて 伊豆 哲也, |
LA-005 | 項書換えシステムにおける可簡約演算子とその応用 中村 正樹, 二木 厚吉, |