教員情報 - 奥居　哲 | 中部大学

オクイ　サトシ OKUI Satoshi
奥居　哲

所属

工学部情報工学科

大学院工学研究科情報工学専攻

職名准教授

著書・論文歴
論文	Disambiguation in Regular Expression Matching via Position Automata with Augmented Transitions Proceedings of CIAA2010 (LNCS 6482),231-240頁 (共著) 2011
論文	Pattern Matching of Incompletely RE-Typed Expressions via Transformation IPSJ Transactions on Programming 47 (6),37-49頁 (共著) 2006
論文	Deterministic Lazy Narrowing Calculus J. Symbolic Computation Vol.25 (No.6) 1998
論文	Lazy Narrowing: Strong Completeness and Eager Variable Elimination Theoretical Computer Science Vol.167 (No.1-2.) 1996
論文	Lazy Narrowing: Strong Completeness and Eager Variable Elimination (Extended Abstract) Proceeding CAAP1995 (LNCS 915),394-408頁 1995
論文	Outside-In Conditional Narrowing IEICE Trans Vol.E77-D (No.6) 1994