Rchr
J-GLOBAL ID：200901006959901755   Update date: Sep. 04, 2023

Toyama Yoshihito

トヤマ ヨシヒト | Toyama Yoshihito
Affiliation and department：
Tohoku University Research Institute of Electrical Communication Systems & Software Division Computing Information Theory

About Tohoku University Research Institute of Electrical Communication Systems & Software Division Computing Information Theory


Job title： Professor
Homepage URL  (2)： http://db.tohoku.ac.jp/whois/detail/0f666409594aae7598be2d54d55fce3d.html ,  http://db.tohoku.ac.jp/whois/e_detail/0f666409594aae7598be2d54d55fce3d.html
Research field  (1)： Information theory
Research theme for competitive and other funds  (3)：
  • 2001 - 現在 Program Transformation
  • 1990 - 現在 Term Rewriting System Theory
  • 1990 - 現在 Automated theorem proving
Papers (42)：
ｍore...
Books (3)：
  • The functional Strategy and transitive term rewriting systems : in"Term Graph Rewriting"
    1993
  • Commutativity of term rewriting systems : in"Programming of Future Generation ComputerII"
    1987
  • T : A Simple reduction language based on combinatory term rewriting : in"Programmig of Future Generation Computer I"
    1986
Lectures and oral presentations  (25)：
  • 等式付き項書き換えシステムの完備化
    (電気関係学会東北支部連合大会 2012)
  • 木オートマトンをもちいた交差不能性判定
    (電気関係学会東北支部連合大会 2012)
  • 木オートマトンに基づく項書き換えシステムの逆計算
    (日本ソフトウェア科学会第29回大会 2012)
  • ボトムアップ書き換えに基づく到達可能性の判定法
    (日本ソフトウェア科学会第29回大会 2012)
  • 片側減少ダイアグラム法による項書き換えシステムの可換性証明法
    (第14回プログラミングおよびプログラミング言語ワークショップ 2012)
ｍore...
Awards (1)：
  • 1997/11/18 - 日本IBM 日本IBM科学賞
Association Membership(s) (6)：
LAシンポジウム ,  EATCS (European Association for Theoretical Computer Science) ,  ACM (the Association for Computing Machinery) ,  ソフトウェア科学会 ,  情報処理学会 ,  電子情報通信学会
※ 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