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
山田俊行 ホームページ
[go: Go Back, main page]
━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━

山田 俊行

三重大学　工学部　情報工学科

━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
[English / Japanese]

研究分野
書き換え
等式論理
関数型プログラミング
自動推論
 
主要論文
 
担当授業
物理学実験
計算機基礎
上級プログラミング演習（木構造と数式処理）
情報工学実験（コンパイラ）
システムプログラム演習
 
研究集会
25th TRS Meeting
Term Rewriting Workshop
 
ＣＳ研ホームページ
研究室メンバー向け：雑記帳