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