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
[go: Go Back, main page]
 

Toshiyuki Yamada

Department of Information Engineering
Faculty of Engineering
Mie University

 
[English / Japanese]

Research Interests
(conditional / higher-order) rewriting
equational logic
functional programming
automated reasoning
Publications

Lectures
Fundamentals of Computer Programming
Laboratory Work on Data Communication
Laboratory Work on Compiler
CS Lab. Homepage
for lab. members: my notebook