Faculty - OKUI Satoshi |

（Last updated : 2025-08-20 17:36:29）

OKUI Satoshi

Department / Course

College of Engineering Department of Computer Science

Graduate School of Engineering Department of Computer Science

Job Associate Professor

Academic background
	Graduate School, Division of Engineering University of Tsukuba Doctor of Engineering

Belonging society
～	Information Processing Society of Japan
～	Japan Society for Software Science and Technology

Present specialized field
Symbolic Computation

Research, Studies
Automated Equational Deduction
Functional / Logic Programming
Regular Expression and Automata
Term Rewriting

Curriculum Specialized
コンパイラ

Book and thesis
Papers	Disambiguation in Regular Expression Matching via Position Automata with Augmented Transitions Proceedings of CIAA2010 (LNCS 6482),pp.231-240 (Co-authored) 2011
Papers	Pattern Matching of Incompletely RE-Typed Expressions via Transformation IPSJ Transactions on Programming 47 (6),pp.37-49 (Co-authored) 2006
Papers	Deterministic Lazy Narrowing Calculus J. Symbolic Computation Vol.25 (No.6) 1998
Papers	Lazy Narrowing: Strong Completeness and Eager Variable Elimination Theoretical Computer Science Vol.167 (No.1-2.) 1996
Papers	Lazy Narrowing: Strong Completeness and Eager Variable Elimination (Extended Abstract) Proceeding CAAP1995 (LNCS 915),pp.394-408 1995
Display All（6）

Academic conference presentation
1998	Simultaneous Critical Pairs and Church-Rosser Property (9th RTA （LNCS 1379）)
1998	Simultaneous Critical Pairs and Church-Rosser Property (9th RTA (LNCS 1379))