栗原 正仁


ステータス付き再帰的経路順序による項書換え系多重完備化手続きの実装と性能評価
佐藤 晴彦 栗原 正仁 
誌名:   電子情報通信学会論文誌 D
発行日: 2006/04/01
Vol. J89-D  No. 4  pp. 624-631
論文種別:  特集論文 (フォーマルアプローチ論文特集)
専門分野: 計算モデル
キーワード: 
項書換え系ステータス付き再帰的経路順序多重完備化手続きBDD
 あらまし | 本文:PDF(406.7KB)

複数の簡約順序のもとでの項書換えシステム完備化手続き
近藤 久 栗原 正仁 大内 東 
誌名:   電子情報通信学会論文誌 D
発行日: 1995/01/25
Vol. J78-D1  No. 1  pp. 1-10
論文種別:  論文
専門分野: ソフトウェア基礎
キーワード: 
Knuth-Bendix完備化手続き停止性合流性項書換えシステムATMS(Assumption-based TMS)
 あらまし | 本文:PDF(655.5KB)

混合戦略に基づいて制御されるCVS駅システムとその挙動解析
米山 忠 中田 勝啓 栗原 正仁 加地 郁夫 
誌名:   電子情報通信学会論文誌 A
発行日: 1989/04/25
Vol. J72-A  No. 4  pp. 666-677
論文種別:  論文
専門分野: システムと制御
キーワード: 
 あらまし | 本文:PDF(971.9KB)

スイッチング回路における互換グラフの決定問題とアルゴリズム
呉 敦 栗原 正仁 加地 郁夫 
誌名:   電子情報通信学会論文誌 A
発行日: 1988/06/25
Vol. J71-A  No. 6  pp. 1291-1298
論文種別:  論文
専門分野: グラフとネットワーク
キーワード: 
 あらまし | 本文:PDF(640.7KB)

置換ネットワーク上の互換操作について
呉 敦 栗原 正仁 加地 郁夫 
誌名:   電子情報通信学会論文誌 A
発行日: 1988/04/25
Vol. J71-A  No. 4  pp. 999-1010
論文種別:  論文
専門分野: グラフとネットワーク
キーワード: 
 あらまし | 本文:PDF(981.2KB)

CVS側線駅のモデル化と解析
米山 忠 中田 勝啓 栗原 正仁 加地 郁夫 
誌名:   電子情報通信学会論文誌 A
発行日: 1986/05/25
Vol. J69-A  No. 5  pp. 548-559
論文種別:  論文
専門分野: 基礎一般
キーワード: 
 あらまし | 本文:PDF(935.8KB)

最小平均メディアン基準に従ったサイクル・グラフ上の施設配置問題
山口 忠 栗原 正仁 加地 郁夫 
誌名:   電子情報通信学会論文誌 A
発行日: 1986/02/25
Vol. J69-A  No. 2  pp. 179-185
論文種別:  論文
専門分野: 組合せ・グラフ理論
キーワード: 
 あらまし | 本文:PDF(475.9KB)

可到達行列モデルの推論構造
加瀬 誠志 大内 東 栗原 正仁 加地 郁夫 
誌名:   電子情報通信学会論文誌 A
発行日: 1986/01/25
Vol. J69-A  No. 1  pp. 17-24
論文種別:  論文
専門分野: 基礎一般
キーワード: 
 あらまし | 本文:PDF(582.6KB)

マルコフ連鎖モデルによる個別軌道輸送システム2バース駅の解析
中村 隆志 栗原 正仁 加地 郁夫 米山 忠 
誌名:   電子情報通信学会論文誌 A
発行日: 1984/12/25
Vol. J67-A  No. 12  pp. 1130-1137
論文種別:  論文
専門分野: 
キーワード: 
 あらまし | 本文:PDF(540.7KB)

個別軌道輸送システムにおける立体交差同期制御方式とそのトラヒック解析
佐藤 公成 栗原 正仁 加地 郁夫 浜松 芳夫 
誌名:   電子情報通信学会論文誌 A
発行日: 1984/09/25
Vol. J67-A  No. 9  pp. 904-911
論文種別:  論文
専門分野: 
キーワード: 
 あらまし | 本文:PDF(658.6KB)

離散時間系で扱ったCVS駅部モデルの入駅時間分布の解析
米山 忠 中田 勝啓 栗原 正仁 加地 郁夫 
誌名:   電子情報通信学会論文誌 A
発行日: 1984/03/25
Vol. J67-A  No. 3  pp. 242-249
論文種別:  論文
専門分野: 
キーワード: 
 あらまし | 本文:PDF(665KB)

個別軌道輸送システム平面交差点のトラヒック解析
栗原 正仁 加地 郁夫 浜松 芳夫 中田 勝啓 
誌名:   電子情報通信学会論文誌 A
発行日: 1983/09/25
Vol. J66-A  No. 9  pp. 836-843
論文種別:  論文
専門分野: 
キーワード: 
 あらまし | 本文:PDF(610KB)

直進車を考慮したPRT十字路モデルの車両挙動の解析
浜松 芳夫 栗原 正仁 中田 勝啓 加地 郁夫 
誌名:   電子情報通信学会論文誌 A
発行日: 1983/08/25
Vol. J66-A  No. 8  pp. 717-724
論文種別:  論文
専門分野: 
キーワード: 
 あらまし | 本文:PDF(600.3KB)

個別軌道輸送システム多バース駅における出発待ち行列の解析
栗原 正仁 中田 勝啓 加地 郁夫 
誌名:   電子情報通信学会論文誌 A
発行日: 1983/04/25
Vol. J66-A  No. 4  pp. 360-367
論文種別:  論文
専門分野: 
キーワード: 
 あらまし | 本文:PDF(562.3KB)

異種の故障時間分布から成る2ユニット待機冗長システムの予防保全と信頼度解析
菅澤 喜男 加地 郁夫 栗原 正仁 
誌名:   電子情報通信学会論文誌 A
発行日: 1983/02/25
Vol. J66-A  No. 2  pp. 145-151
論文種別:  論文
専門分野: 
キーワード: 
 あらまし | 本文:PDF(502.1KB)

個別軌道輸送システム合流部における車両待ち時間の解析
浜松 芳夫 栗原 正仁 中田 勝啓 加地 郁夫 
誌名:   電子情報通信学会論文誌 A
発行日: 1982/11/25
Vol. J65-A  No. 11  pp. 1144-1151
論文種別:  論文
専門分野: 
キーワード: 
 あらまし | 本文:PDF(607.7KB)

状態部分集合での再帰時間を考慮したマルコフ再生理論によるCVS多バース駅モデルの解析
栗原 正仁 中田 勝啓 加地 郁夫 
誌名:   電子情報通信学会論文誌 A
発行日: 1982/07/25
Vol. J65-A  No. 7  pp. 655-662
論文種別:  論文
専門分野: 
キーワード: 
 あらまし | 本文:PDF(616.4KB)

CVS多バース駅モデルのマルコフ再生理論による解析
栗原 正仁 中田 勝啓 加地 郁夫 
誌名:   電子情報通信学会論文誌 A
発行日: 1981/09/25
Vol. J64-A  No. 9  pp. 715-722
論文種別:  論文
専門分野: 
キーワード: 
 あらまし | 本文:PDF(541.6KB)