木村 晋二 | 神戸大学工学部
スポンサーリンク
概要
関連著者
-
木村 晋二
神戸大学工学部
-
羽根田 博正
神戸大学
-
羽根田 博正
神戸大学工学部
-
矢島 脩三
京都大学工学部情報工学教室
-
芳井 隆
神戸大学工学部
-
芳井 隆
神戸大学工学部電子工学科
-
井垣 努
神戸大学工学部
-
羽根田 博正
神戸大学 工学部
-
是方 研二
神戸大学工学部
-
角田 岳夫
セイコーエプソン(株)
-
松本 高明
日立製作所ソフトウエア事業部
-
矢島 脩三
京都大学工学研究科情報工学専攻
-
松本 高明
神戸大学
-
木村 晋二
神戸大学・工学部
-
塚本 泰隆
神戸大学工学部
著作論文
- GKSを用いたマルチスクリーン・マルチウィンドウグラフィックスシステム
- テンポラル・ロジックで用いられている連接について(アルゴリズムの数学的基礎理論とその応用)
- 二分決定グラフの並列構成アルゴリズムについて(理論計算機科学とその周辺)
- 非共有記憶型並列計算機上での二分決定グラフの並列化とその応用
- 論理回路シミュレータの入出力インタフェースについて
- 共有記憶型並列計算機上での共有二分決定グラフの並列化について
- ゲートレベル論理回路の閉路の切断について
- 系列集合と時間の階層の関係について(計算アルゴリズムと計算量の基礎理論)
- 論理回路における閉路の切断について(計算アルゴリズムの基礎理論)
- タイミング検証に適した系列集合論理シミュレータについて