大山口 通夫 | 三重大学大学院工学研究科情報工学専攻
スポンサーリンク
概要
関連著者
-
大山口 通夫
三重大学大学院工学研究科情報工学専攻
-
大山口 通夫
三重大学工学研究科
-
太田 義勝
三重大学工学部
-
太田 義勝
Faculty Of Engineering Mie University
-
山田 俊行
三重大学大学院工学研究科情報工学専攻
-
山田 俊行
三重大学工学部情報工学科
-
松原 義和
日立製作所
-
三橋 一郎
三重大学総合情報処理センター
-
松原 義和
三重大学工学部
-
五味 弘
三重大学工学部
-
MITSUHASHI ICHIRO
Faculty of Engineering, Mie University
-
三橋 一郎
三重大学工学部
-
Mitsuhashi Ichiro
Mie Univ. Tsu‐shi Jpn
-
那須 隆
Mitsubishi Electric Corporation
-
大山口 通夫
三重大学大学院工学研究科
-
山本 浩平
三重大学工学部
-
松浦 邦博
三重大学工学部情報工学科
-
外山 芳人
北陸先端科学技術大学院大学
-
松浦 邦博
三重大
-
OHTA YOSHIKATSU
Faculty of Engineering, Mie University
-
新美 信之助
三重大学工学部
-
清水 豪樹
三重大学工学部
-
Ohta Yoshikatsu
Faculty Of Engineering Mie University
-
細川 剛
三重大学工学部
-
岡村 洋
三重大学大学院工学研究科情報工学専攻
-
小川 瑞史
北陸先端科学技術大学院大学
-
小川 瑞史
Ntt基礎研究所
-
小川 瑞史
Ntt
-
大山口 通夫
Department of Information Processing, Faculty of Engineering, Mie University
-
太田 義勝
Department of Information Processing, Faculty of Engineering, Mie University
-
那須 隆
三重大学工学部
-
下岡 健一
三重大学工学部情報工学科
-
小川 瑞史
Ntt ソフトウェア研究所
-
Gomi Hiroshi
Faculty Of Engineering Mie University
-
Gomi Hiroshi
Faculty Of Engineering Mie University:oki Technosystems Laboratory Inc.
-
OYAMAGUCHI MICHIO
Faculty of Engineering, Mie University
-
YAMADA TOSHIYUKI
Faculty of Engineering, Mie University
-
大田 義勝
三重大学工学部
-
服部 忠幸
(株)ユニデン
-
渡辺 和樹
三重大学大学院工学研究科
-
加藤 雅之
三重大学工学部
-
大山口 通夫
Department Of Information Engineering Faculty Of Engineering Mie University
-
平井 智宏
三重大学大学院工学研究科
-
OYAMAGUCHI MICHIO
Oki TechnoSystems Laboratory, Inc.
-
Oyamaguchi Michio
Faculty Of Engineering Mie University
-
紅林 清志
三重大学工学部
-
片柳 賢二
三重大学工学部
-
砂坂 明宏
三重大学工学部
-
河田 俊郎
三重大学工学部
-
武市 雅俊
三重大学工学部
-
河田 俊郎
三重大学工学部:(現)沖ソフトウェア株式会社
-
山田 俊行[他]
三重大学工学部
-
紀伊 康之
三重大学工学部
-
宮川 祐史
三重大学工学部
著作論文
- ルートE重なりな深さ保存項書き換えシステムのチャーチ・ロッサー性について
- ルートE重なりな深さ保存項書き換えシステムのチャーチ・ロッサー性について
- On the Church-Rosser Property of Non-E-overlapping and Weight-Preserving TRS's
- 再帰手続きに対する新しいコード最適化
- 非線形TRSのE重なり性について
- 単純型付き等式系に基づく定理自動証明に関する一考察(計算機科学の理論とその応用)
- プロセス間通信に基づく並列処理言語の表示的意味記述について
- 非同期通信に基づく並列処理言語の表示的意味記述について(計算アルゴリズムと計算量の基礎理論)
- 非線形TRSのE重なり性判定問題について(計算量理論)
- 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分野:モデル・アルゴリズム・プログラミング)
- 通信遅延を考慮したタスクスケジューリングアルゴリズムについて(研究速報)
- 最大マッチングを利用したタスクスケジューリングアルゴリズムの近似度の改善について (計算機科学基礎理論とその応用)
- 最大マッチングを利用したタスクスケジューリングアルゴリズムの近似度の改善について (計算機科学基礎理論の新展開)
- 3大プロセッサスケジューリングに関する一考察
- 単純右線形項書換えシステムの合流性について
- E重なりのある単純右線形項書き換えシステムの合流性について
- D-3-4 教育用C言語とそのコンパイラに関する一考察(D-3.ソフトウェアサイエンス,一般講演)
- On the Church-Rosser Property of Non-E-overlapping and Strongly Depth-preserving Term Rewriting Systems
- DAG の高さを4以下に制限したタスクスケジューリングの近似アルゴリズムについて(計算機科学の理論とその応用)
- タスクスケジューリングに関する新しい近似アルゴリズムについて (計算機科学基礎理論の新展開)
- マルチプロセッサ向き目的コードスケジューリングについて
- レベル付き依存グラフを用いた効率のよいソフトウェア・パイプライン化法について (計算機科学の基礎理論 : 21世紀の計算パラダイムを目指して)
- マルチプロセッサ向き目的コードスケジューリングについて
- マルチプロセッサ向き目的コードスケジューリングについて
- マルチプロセッサ向き目的コードスケジューリングについて (アルゴリズムと計算の理論)
- 左線形項書換えシステムのチャーチ・ロッサー性に対する新しいParallel Closed条件
- レジスタ割り当てにおける循環区間グラフの彩色アルゴリズムについて
- 右定項-項書換えシステムの合流性について
- 分散オペレーティング・システムISEとその並列処理言語について