Rchr
J-GLOBAL ID：200901075842629371
Update date: Jan. 17, 2024
Yamada Toshiyuki
ヤマダ トシユキ | Yamada Toshiyuki
Affiliation and department：
Mie University Faculty of Engineering, Department of Information Engineering
About Mie University Faculty of Engineering, Department of Information Engineering
Search "Mie University Faculty of Engineering, Department of Information Engineering"
Detailed information
Job title：
Lecturer
Homepage URL (1)：
http://www.cs.info.mie-u.ac.jp/~toshi/index-j.html
Research field (1)：
Information theory
Research keywords (8)：
自動推論
, ソフトウェアの解析と検証
, 等式論理
, 項書き換え
, automated reasoning
, functional programming
, equational logic
, rewriting
Research theme for competitive and other funds (3)：
2002 - 2005 書き換えに基づくプログラムの自動検証
プログラムの停止性自動検証
computer science
MISC (11)：
Dependency Pairs for Simply Typed Term Rewriting. Proceedings of the 16th International Conference on Rewriting Techniques and Applications (RTA'05), Lecture Notes in Computer Science. 2005. Vol. 3467, pp.120-134
The Joinability and Unification Problems for Confluent Semi-Constructor TRSs. Proceedings of the 15th International Conference on Rewriting Techniques and Applications (RTA'04), Lecture Notes in Computer Science. 2004. Vol. 3091, pp. 285-300
Inductive Theorems for Higher-Order Rewriting. Proceedings of the 15th International Conference on Rewriting Techniques and Applications (RTA'04), Lecture Notes in Computer Science. 2004. Vol. 3091, pp. 269-284
単項的TRSにおける単一化問題について. 情報処理学会論文誌:プログラミング. 2003. Vol.44(SIG 4 PRO 17) pp.56-66
単純型付き項書換え系における停止性の自動証明. 情報処理学会論文誌:プログラミング. 2003. No.44(SIG 4 PRO 17) pp.67-77
ｍore...
Education (1)：
- 1999 University of Tsukuba
Professional career (1)：
博士(工学) (筑波大学)
Awards (1)：
2003 - FIT2003 (第2回情報科学技術フォーラム) 論文賞
Association Membership(s) (1)：
日本ソフトウェア科学会
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in
researchmap
.
For details, see here
.
Return to Previous Page
TOP
BOTTOM
