石浦 菜岐佐 | 京都大学工学部情報工学教室
スポンサーリンク
概要
関連著者
-
石浦 菜岐佐
京都大学工学部情報工学教室
-
石浦 菜岐佐
京都大学工学部
-
矢島 脩三
京都大学工学部情報工学教室
-
矢島 脩三
京都大学工学研究科情報工学専攻
-
伊藤 雅樹
京都大学工学部
-
石浦 菜岐佐
関西学院大学
-
安浦 寛人
京都大学工学部情報工学教室
-
矢島 脩三
京都大学大学院工学研究科情報工学教室
-
大井 康
京都大学工学部情報工学教室
-
越智 裕之
京都大学工学部情報工学教室
-
越智 裕之
京都大学工学部
-
蚊野 浩
京都大学工学部情報工学教室
-
木村 晋二
京都大学工学部情報工学教室
-
矢島 脩三
京都大学工学部
-
高橋 紀之
京都大学工学部
-
矢島 傭三
京都大学工学部
-
出口 豊
京都大学工学部情報工学科
著作論文
- 入力制約監視機能をもつ会話型シミュレーション・システムISS
- ベクトル計算機向き共有二分決定グラフ処理法
- 共有二分決定グラフを用いた論理回路の多重故障シミュレ一ション
- 時間記号シミュレーションについて
- 高速シミュレータを用いた重み付き乱数によるテスト生成
- 高速故障シミュレータを用いたテスト生成
- ベクトル計算機による高速故障シミュレーションのための動的二次元並列法
- 確率的符号化時間記号シミュレーションによるタイミングエラー確率の解析
- 多項式サイズの二分決定グラフで表現可能な論理関数のクラス(計算および計算量理論とその周辺)
- 組合せ論理回路のハザード検出問題の計算複雑さについて(計算アルゴリズムと計算量の基礎理論)