山田 俊行 | 三重大学大学院工学研究科情報工学専攻

スポンサーリンク

概要

• 山田 俊行[他]の詳細を見る
• 同名の論文著者
• 三重大学大学院工学研究科情報工学専攻の論文著者

関連著者

• 山田 俊行

  三重大学大学院工学研究科情報工学専攻

• 大山口 通夫

  三重大学大学院工学研究科情報工学専攻

• 大山口 通夫

  三重大学工学研究科

• 山田 俊行

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

• 三橋 一郎

  三重大学総合情報処理センター

• MITSUHASHI ICHIRO

  Faculty of Engineering, Mie University

• 三橋 一郎

  三重大学工学部

• Mitsuhashi Ichiro

  Mie Univ. Tsu‐shi Jpn

• 太田 義勝

  Faculty Of Engineering Mie University

• 大山口 通夫

  三重大学大学院工学研究科

• 清水 豪樹

  三重大学工学部

• 岡村 洋

  三重大学大学院工学研究科情報工学専攻

• 太田 義勝

  三重大学工学部

• OYAMAGUCHI MICHIO

  Faculty of Engineering, Mie University

• OHTA YOSHIKATSU

  Faculty of Engineering, Mie University

• YAMADA TOSHIYUKI

  Faculty of Engineering, Mie University

• 大田 義勝

  三重大学工学部

• 渡辺 和樹

  三重大学大学院工学研究科

• 平井 智宏

  三重大学大学院工学研究科

• Ohta Yoshikatsu

  Faculty Of Engineering Mie University

• Oyamaguchi Michio

  Faculty Of Engineering Mie University

• 紅林 清志

  三重大学工学部

• 山田 俊行[他]

  三重大学工学部

もっと見る 閉じる

著作論文

• 単純型付き等式系に基づく定理自動証明に関する一考察(計算機科学の理論とその応用)
• The Joinability and Related Decision Problems for Semi-constructor TRSs(計算理論)
• The Reachability and Related Decision Problems for Semi-Constructor TRSs (Theoretical Computer Science and its Applications)
• The Joinability and Unification Problems for Confluent Semi-Constructor TRSs (Evolutionary Advancement in Fundamental Theories of Computer Science)
• 単項的TRSにおける単ー化問題について
• A-016 DAGの高さを4以下に制限したタスクスケジューリングの近似アルゴリズムについて(A分野:モデル・アルゴリズム・プログラミング)
• D-3-4 教育用C言語とそのコンパイラに関する一考察(D-3.ソフトウェアサイエンス,一般講演)
• DAG の高さを4以下に制限したタスクスケジューリングの近似アルゴリズムについて(計算機科学の理論とその応用)

スポンサーリンク