Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Toshiyuki Yamada's Homepage
---------------------------------------------------------------------------

Toshiyuki Yamada

Department of Information Engineering
Faculty of Engineering
Mie University

---------------------------------------------------------------------------
[English / Japanese]

Research Interests
rewriting
equational logic
functional programming
automated reasoning
 
Publications
 
Lectures
Physics Laboratory
Introduction to Computers
Advanced Programming Exercies (tree and graph structures)
Infomation Engineering Laboratory I, II (compiler construction)
Exercises on System Programming
 
Events
25th TRS Meeting
Term Rewriting Workshop
CS Lab. Homepage
for lab. members: notebook