山田俊行 Yamada Toshiyuki

研究者番号	60312831
その他のID
外部サイト
所属 (現在)	2025年度: 三重大学, 工学研究科, 講師
所属 (過去の研究課題情報に基づく) *注記	2007年度: 三重大学, 大学院・工学研究科, 講師 2006年度: 三重大学, 大学院工学研究科, 講師 2005年度: 三重大学, 工学部, 講師 2004年度: 三重大学, 工学部, 助手 2002年度: 筑波大学, 電子・情報工学系, 助手 2001年度 – 2002年度: 三重大学, 工学部, 助手 1999年度 – 2000年度: 筑波大学, 電子・情報工学系, 助手
審査区分/研究分野	研究代表者情報学基礎 / ソフトウエア研究代表者以外計算機科学
キーワード	研究代表者関数型プログラム / 停止性 / 関数プログラム / 自動検証 / 型付き項書き換え / 自動証明 / 帰納的定理 / 単純型付き項書き換え系 / プログラム検証 / 到達可能性 / 項書き換え … もっと見る研究代表者以外 … もっと見る 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 / 変換法 / 文脈依存書き換え / 完全性 / 停止性 / モジュラー性 / 必要呼び計算 / 記号計算 / 項書き換え隠す

型付き項書換え系の変換に基づく関数型プログラムの自動検証研究代表者
- 研究代表者
  
  山田俊行
- 研究期間 (年度)
  2006 – 2007
- 研究種目
  
  若手研究(B)
- 研究分野
  
  情報学基礎
- 研究機関
  三重大学
型付き項書き換え系の停止性自動証明とそのプログラム検証への応用研究代表者
- 研究代表者
  
  山田俊行
- 研究期間 (年度)
  2004 – 2005
- 研究種目
  
  若手研究(B)
- 研究分野
  
  ソフトウエア
- 研究機関
  三重大学
等式制約解消系のネットワークによるグローバルコンピューティング
- 研究代表者
  
  井田哲雄
- 研究期間 (年度)
  2000 – 2002
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  計算機科学
- 研究機関
  筑波大学
簡約戦略に関する研究
- 研究代表者
  
  ミデルドープアート
- 研究期間 (年度)
  1999 – 2000
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  計算機科学
- 研究機関
  筑波大学
分散制約解消系を融合する関数論理型プログラミング
- 研究代表者
  
  井田哲雄
- 研究期間 (年度)
  1998 – 1999
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  計算機科学
- 研究機関
  筑波大学

すべて 2007 2006 2005 2004

すべて雑誌論文学会発表

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

1. 井田哲雄 (70100047)

共同の研究課題数: 3件

共同の研究成果数: 0件
2. ミデルドープアート (30251044)

共同の研究課題数: 3件

共同の研究成果数: 0件
3. 南出靖彦 (50252531)

共同の研究課題数: 2件

共同の研究成果数: 0件
4. チャクラヴァーティマヌエル (30292535)

共同の研究課題数: 1件

共同の研究成果数: 0件
5. 鈴木大郎 (90272179)

共同の研究課題数: 1件

共同の研究成果数: 0件

山田 俊行 Yamada Toshiyuki

研究課題

研究成果

共同研究者

型付き項書換え系の変換に基づく関数型プログラムの自動検証研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

型付き項書き換え系の停止性自動証明とそのプログラム検証への応用研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

等式制約解消系のネットワークによるグローバルコンピューティング

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

簡約戦略に関する研究

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

分散制約解消系を融合する関数論理型プログラミング

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

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

著者名/発表者名

雑誌名

データソース

[雑誌論文] The Reachability and Related Decision Problems for Monadic and Semi-Constructor TRSs2006

著者名/発表者名

雑誌名

データソース

[雑誌論文] The Reachability and Related Descision Problems for Monadic and Semi-Constructor TRSs2006

著者名/発表者名

雑誌名

データソース

[雑誌論文] The Joinability and Related Decision Problems for Confluent Semi-Constructor TRSs2006

著者名/発表者名

雑誌名

データソース

[雑誌論文] Dependency Pairs for Simply Typed Term Rewriting2005

著者名/発表者名

雑誌名

データソース

[雑誌論文] Dependency Pairs for Simply Typed Term Rewriting2005

著者名/発表者名

雑誌名

データソース

[雑誌論文] Inductive Theorems for Higher-Order Rewriting2004

著者名/発表者名

雑誌名

データソース

[雑誌論文] The Joinability and Unification Problems for Confluent Semi-Constructor TRSs2004

著者名/発表者名

雑誌名

データソース

[学会発表] Argument Filterings and Usable Rules for Simply Typed Dependency Pairs2007

著者名/発表者名

学会等名

発表場所

データソース

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

著者名/発表者名

学会等名

発表場所

年月日

データソース

[学会発表] Automatically Proving Termination of Simply Typed Term Rewriting Systems2007

著者名/発表者名

学会等名

山田俊行 Yamada Toshiyuki