Yamada Toshiyuki 山田俊行

… Alternative Names

山田俊行ヤマダトシユキ

YAMADA Toshiyuki 山田俊行

Less

Researcher Number	60312831
Other IDs
External Links
Affiliation (Current)	2025: 三重大学, 工学研究科, 講師
Affiliation (based on the past Project Information) *help	2007: Mie University, 大学院・工学研究科, 講師 2006: 三重大学, 大学院工学研究科, 講師 2005: 三重大学, 工学部, 講師 2004: 三重大学, 工学部, 助手 2002: 筑波大学, 電子・情報工学系, 助手 2001 – 2002: 三重大学, 工学部, 助手 1999 – 2000: Institute of Information Sciences and Electronics University of Tsukuba Research Associate, 電子・情報工学系, 助手
Review Section/Research Field	Principal Investigator Fundamental theory of informatics / Software Except Principal Investigator 計算機科学
Keywords	Principal Investigator 関数型プログラム / 停止性 / 関数プログラム / 自動検証 / 型付き項書き換え / 自動証明 / 帰納的定理 / 単純型付き項書き換え系 / プログラム検証 / 到達可能性 / 項書き換え … More Except Principal Investigator … More completeness / ナローイング / Mathematica / narrowing calculus / computation model / constraint solving system / functional logic languages / CFLP / 求解完全性 / ナローイング計算系 / 計算モデル / 制約解消系 / 関数論理型言語 / collaborative system / open CFLP / 高階遅延ナローイング / CORBA / 分散協調制約解決 / オープンコンピューティング / termination / modularity / call-by-need strategies / symbolic computation / narrowing / term rewriting / 変換法 / 文脈依存書き換え / 完全性 / 停止性 / モジュラー性 / 必要呼び計算 / 記号計算 / 項書き換え Less

型付き項書換え系の変換に基づく関数型プログラムの自動検証Principal Investigator
- Principal Investigator
  
  山田俊行
- Project Period (FY)
  2006 – 2007
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  Mie University
型付き項書き換え系の停止性自動証明とそのプログラム検証への応用Principal Investigator
- Principal Investigator
  
  山田俊行
- Project Period (FY)
  2004 – 2005
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Software
- Research Institution
  Mie University
Global computing by networked equational constraint solvers
- Principal Investigator
  
  IDA Tetsuo
- Project Period (FY)
  2000 – 2002
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  計算機科学
- Research Institution
  University of Tsukuba
Reduction Strategy
- Principal Investigator
  
  MIDDELDORP Aart
- Project Period (FY)
  1999 – 2000
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  計算機科学
- Research Institution
  University of Tsukuba
Functional Logic Programming with Distributed Constraint Solving System
- Principal Investigator
  
  IDA Tetsuo
- Project Period (FY)
  1998 – 1999
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  計算機科学
- Research Institution
  University of Tsukuba

All 2007 2006 2005 2004

All Journal Article Presentation

[Journal Article] 単純型付き等式系に基づく定理自動証明に関する一考察2007
- Author(s)
  岡村, 大山口, 山田
- Journal Title
  
  数理解析研究所講究録 28
  
  Pages: 1-8
- Data Source
  KAKENHI-PROJECT-18700007
[Journal Article] The Reachability and Related Decision Problems for Monadic and Semi-Constructor TRSs2006
- Author(s)
  Mitsuhashi, Oyamaguchi, Yamada
- Journal Title
  
  Information Processing Letters 98・6
  
  Pages: 219-224
- Data Source
  KAKENHI-PROJECT-18700007
[Journal Article] The Reachability and Related Descision Problems for Monadic and Semi-Constructor TRSs2006
- Author(s)
  I.Mitsuhashi, M.Oyamaguchi, T.Yamada
- Journal Title
  
  Information Processing Letters (掲載決定)
- Data Source
  KAKENHI-PROJECT-16700030
[Journal Article] The Joinability and Related Decision Problems for Confluent Semi-Constructor TRSs2006
- Author(s)
  Mitsuhashi, Oyamaguchi, Yamada
- Journal Title
  
  Transactions of Information Processing Society of Japan 47・5
  
  Pages: 1502-1514
- Data Source
  KAKENHI-PROJECT-18700007
[Journal Article] Dependency Pairs for Simply Typed Term Rewriting2005
- Author(s)
  T.Aoto, T.Yamada
- Journal Title
  
  Proc.16th RTA, Lecture Notes in Computer Science (発表予定)
- Data Source
  KAKENHI-PROJECT-16700030
[Journal Article] Dependency Pairs for Simply Typed Term Rewriting2005
- Author(s)
  T.Aoto, T.Yamada
- Journal Title
  
  Proc.16th RTA, Lecture Notes in Computer Science 3467
  
  Pages: 120-134
- Data Source
  KAKENHI-PROJECT-16700030
[Journal Article] Inductive Theorems for Higher-Order Rewriting2004
- Author(s)
  T.Aoto, T.Yamada, Y.Toyama
- Journal Title
  
  Proc.15th RTA, Lecture Notes in Computer Science 3091
  
  Pages: 269-284
- Data Source
  KAKENHI-PROJECT-16700030
[Journal Article] The Joinability and Unification Problems for Confluent Semi-Constructor TRSs2004
- Author(s)
  I.Mitsuhashi, M.Oyamaguchi, Y.Ohta, T.Yamada
- Journal Title
  
  Proc.15th RTA, Lecture Notes in Computer Science 3091
  
  Pages: 285-300
- Data Source
  KAKENHI-PROJECT-16700030
[Presentation] Argument Filterings and Usable Rules for Simply Typed Dependency Pairs2007
- Author(s)
  T. Aoto, T. Yamada
- Organizer
  International Workshop on Higher-Order Rewriting
- Place of Presentation
  フランス,パリ,CNAM
- Data Source
  KAKENHI-PROJECT-18700007
[Presentation] プログラムの検証技術:停止性と型検査2007
- Author(s)
  山田俊行
- Organizer
  電気関係学会東海支部連合大会
- Place of Presentation
  長野県,長野市,信州大学
- Year and Date
  2007-09-27
- Data Source
  KAKENHI-PROJECT-18700007
[Presentation] Automatically Proving Termination of Simply Typed Term Rewriting Systems2007
- Author(s)
  T. Yamada
- Organizer
  SCORE Summer Workshop on Symbolic Computation and Software Verification
- Place of Presentation
  静岡県,富士裾野市,富士教育研修所
- Year and Date
  2007-09-01
- Data Source
  KAKENHI-PROJECT-18700007

1. IDA Tetsuo (70100047)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
2. MIDDELDORP Aart (30251044)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
3. MINAMIDE Yasuhiko (50252531)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
4. CHAKRAVARTY Manuel (30292535)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
5. SUZUKI Taro (90272179)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

Yamada Toshiyuki 山田 俊行

山田 俊行 ヤマダ トシユキ

YAMADA Toshiyuki 山田 俊行

Research Projects

Research Products

Co-Researchers

型付き項書換え系の変換に基づく関数型プログラムの自動検証Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

型付き項書き換え系の停止性自動証明とそのプログラム検証への応用Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Global computing by networked equational constraint solvers

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Reduction Strategy

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Functional Logic Programming with Distributed Constraint Solving System

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] 単純型付き等式系に基づく定理自動証明に関する一考察2007

Author(s)

Journal Title

Data Source

[Journal Article] The Reachability and Related Decision Problems for Monadic and Semi-Constructor TRSs2006

Author(s)

Journal Title

Data Source

[Journal Article] The Reachability and Related Descision Problems for Monadic and Semi-Constructor TRSs2006

Author(s)

Journal Title

Data Source

[Journal Article] The Joinability and Related Decision Problems for Confluent Semi-Constructor TRSs2006

Author(s)

Journal Title

Data Source

[Journal Article] Dependency Pairs for Simply Typed Term Rewriting2005

Author(s)

Journal Title

Data Source

[Journal Article] Dependency Pairs for Simply Typed Term Rewriting2005

Author(s)

Journal Title

Data Source

[Journal Article] Inductive Theorems for Higher-Order Rewriting2004

Author(s)

Journal Title

Data Source

[Journal Article] The Joinability and Unification Problems for Confluent Semi-Constructor TRSs2004

Author(s)

Journal Title

Data Source

[Presentation] Argument Filterings and Usable Rules for Simply Typed Dependency Pairs2007

Author(s)

Organizer

Place of Presentation

Data Source

[Presentation] プログラムの検証技術:停止性と型検査2007

Author(s)

Organizer

Place of Presentation

Year and Date

Data Source

[Presentation] Automatically Proving Termination of Simply Typed Term Rewriting Systems2007

Yamada Toshiyuki 山田俊行

山田俊行ヤマダトシユキ

YAMADA Toshiyuki 山田俊行