Faculty - OKUI Satoshi |

（Last updated : 2023-11-22 14:14:25）

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 TsukubaDoctor 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	Deterministic Lazy Narrowing Calculus J. Symbolic Computation Vol.25 (No.6) 1998
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 Theoretical Computer Science Vol. 167 (No. 1-2.) 1996
Papers	Outside-In Conditional Narrowing IEICE Trans Vol.E77-D (No.6) 1994
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))