キーワード : 項書換え系


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

項書換え系の並列分散実行のためのメモリ管理機構
山本 晋一郎 坂部 俊樹 稲垣 康善 
誌名:   電子情報通信学会論文誌 D
発行日: 2000/11/25
Vol. J83-D1  No. 11 ; pp. 1209-1213
論文種別:  レター
専門分野: 
キーワード: 
項書換え系並列処理メモリ管理
 あらまし | 本文:PDF(263KB)

消去法による項書換え系の停止性判定について
中村 正樹 草刈 圭一朗 外山 芳人 
誌名:   電子情報通信学会論文誌 D
発行日: 1999/10/25
Vol. J82-D1  No. 10 ; pp. 1225-1231
論文種別:  論文
専門分野: 計算論,計算モデル
キーワード: 
項書換え系停止性変換消去法依存対
 あらまし | 本文:PDF(294.2KB)

共有メモリ型並列計算機上での正則な項書換え系の一実装法
松石 航也 服部 哲 岡野 浩三 東野 輝夫 谷口 健一 
誌名:   電子情報通信学会論文誌 D
発行日: 1998/01/25
Vol. J81-D1  No. 1 ; pp. 28-37
論文種別:  論文
専門分野: ソフトウェア基礎
キーワード: 
項書換え系正則共有メモリ型マルチプロセッサマッチングオートマトン
 あらまし | 本文:PDF(755.8KB)

項集合書換え系とその合流性
粕谷 英人 酒井 正彦 山本 晋一郎 阿草 清滋 
誌名:   電子情報通信学会論文誌 D
発行日: 1997/04/25
Vol. J80-D1  No. 4 ; pp. 325-334
論文種別:  論文
専門分野: オートマン,言語理論,計算論
キーワード: 
項書換え系合流性停止性完備化
 あらまし | 本文:PDF(582.9KB)

高階書換え系の単一正規形性
真野 健 小川 瑞史 
誌名:   電子情報通信学会論文誌 D
発行日: 1997/03/25
Vol. J80-D1  No. 3 ; pp. 258-268
論文種別:  論文
専門分野: ソフトウェア基礎
キーワード: 
項書換え系高階書換え系合流性単一正規形性
 あらまし | 本文:PDF(739.2KB)

共有メモリ型並列計算機における項書換え系の実現方式
山本 晋一郎 石川 亮 酒井 正彦 阿草 清滋 
誌名:   電子情報通信学会論文誌 D
発行日: 1995/06/25
Vol. J78-D1  No. 6 ; pp. 559-562
論文種別:  レター
専門分野: 
キーワード: 
項書換え系並列処理共有メモリ型並列計算機
 あらまし | 本文:PDF(246.1KB)

項書換え系における並列最外戦略の効率的な実現法
山本 晋一郎 坂部 俊樹 稲垣 康善 
誌名:   電子情報通信学会論文誌 D
発行日: 1994/10/25
Vol. J77-D1  No. 10 ; pp. 693-702
論文種別:  論文
専門分野: ソフトウェア基礎
キーワード: 
項書換え系マッチング並列最外戦略正規化戦略マッチングオートマトン
 あらまし | 本文:PDF(672.2KB)

等式論理の帰納的定理を証明する手続き
大須賀 昭彦 坂井 公 本位田 真一 
誌名:   電子情報通信学会論文誌 D
発行日: 1993/03/25
Vol. J76-D1  No. 3 ; pp. 130-138
論文種別:  論文
専門分野: ソフトウェア基礎
キーワード: 
帰納的定理証明等式論理項書換え系証明順序法
 あらまし | 本文:PDF(687.5KB)