西谷 泰昭


可逆論理回路のToffoliゲート数の下界
東大野 雅之 平山 貴司 西谷 泰昭 
誌名:   電子情報通信学会論文誌 A
発行日: 2009/04/01
Vol. J92-A  No. 4  pp. 263-266
論文種別:  レター
専門分野: 
キーワード: 
可逆論理回路Toffoliゲート下界
 あらまし | 本文:PDF(127.9KB)

パワーリスト記述からのハイパキューブアルゴリズムの生成
東大野 雅之 西谷 泰昭 
誌名:   電子情報通信学会論文誌 D
発行日: 2007/11/01
Vol. J90-D  No. 11  pp. 2959-2969
論文種別:  論文
専門分野: 計算論,計算モデル
キーワード: 
パワーリストハイパキューブ並列アルゴリズムプログラム導出
 あらまし | 本文:PDF(394.2KB)

故障があるアレンジメントグラフのブロードキャスティング
熊 亜平 西谷 泰昭 
誌名:   電子情報通信学会論文誌 A
発行日: 1999/03/25
Vol. J82-A  No. 3  pp. 463-470
論文種別:  論文
専門分野: コンカレント工学
キーワード: 
ネットワークブロードキャストフォールトトレラントアレンジメントグラフ
 あらまし | 本文:PDF(150.3KB)

論理関数のあるクラスについて最小性を保証するAND-EXOR論理式の簡単化アルゴリズム
平山 貴司 西谷 泰昭 
誌名:   電子情報通信学会論文誌 D
発行日: 1995/04/25
Vol. J78-D1  No. 4  pp. 409-415
論文種別:  論文
専門分野: 計算機構成要素
キーワード: 
論理設計AND-EXOR論理式論理式最小化アルゴリズム時間計算量
 あらまし | 本文:PDF(515.2KB)

2段MOS論理回路網設計のための論理関数のグラフによる表現
西谷 泰昭 南雲 正彦 清水 賢資 
誌名:   電子情報通信学会論文誌 D
発行日: 1991/06/25
Vol. J74-D1  No. 6  pp. 352-359
論文種別:  論文
専門分野: 計算機構成要素
キーワード: 
 あらまし | 本文:PDF(518.4KB)

Gλ型ペトリネット言語の記述能力と閉包性
西谷 泰昭 
誌名:   電子情報通信学会論文誌 D
発行日: 1987/03/25
Vol. J70-D  No. 3  pp. 507-514
論文種別:  論文
専門分野: オートマン・言語理論
キーワード: 
 あらまし | 本文:PDF(663KB)

G型ペトリネット言語のp節点の個数による階層性
西谷 泰昭 
誌名:   電子情報通信学会論文誌 D
発行日: 1987/02/25
Vol. J70-D  No. 2  pp. 490-492
論文種別:  レター
専門分野: 
キーワード: 
 あらまし | 本文:PDF(225.3KB)

同期制御された正規表現の記述能力
西谷 泰昭 伊藤 貴康 
誌名:   電子情報通信学会論文誌 D
発行日: 1981/12/25
Vol. J64-D  No. 12  pp. 1089-1096
論文種別:  論文
専門分野: 
キーワード: 
 あらまし | 本文:PDF(651.7KB)

同期機構を持つ並行プロセスの記述能力について―フロー表現の拡張とその記述能力―
西谷 泰昭 伊藤 貴康 
誌名:   電子情報通信学会論文誌 D
発行日: 1981/09/25
Vol. J64-D  No. 9  pp. 831-838
論文種別:  論文
専門分野: 
キーワード: 
 あらまし | 本文:PDF(638.4KB)

k-グラフ生成文法
大川 知 那須 正和 西谷 泰昭 
誌名:   電子情報通信学会論文誌 D
発行日: 1980/09/25
Vol. J63-D  No. 9  pp. 699-706
論文種別:  論文
専門分野: 
キーワード: 
 あらまし | 本文:PDF(625.1KB)

点の次数3以下のグラフに対する2部グラフ化問題
大川 知 西谷 泰昭 本多 波雄 
誌名:   電子情報通信学会論文誌 D
発行日: 1979/05/25
Vol. J62-D  No. 5  pp. 348-355
論文種別:  論文
専門分野: 
キーワード: 
 あらまし | 本文:PDF(620.3KB)