酒井 正彦


基本対称関数に基づく節をもつCNF論理式の充足可能性判定
馬野 洋平 酒井 正彦 西田 直樹 坂部 俊樹 草刈 圭一朗 
誌名:   電子情報通信学会論文誌 D
発行日: 2010/01/01
Vol. J93-D  No. 1  pp. 1-9
論文種別:  論文
専門分野: 計算論,計算モデル
キーワード: 
SATソルバ充足可能性基本対称関数高速化
 あらまし | 本文:PDF(383KB)

フォーマルアプローチ論文特集の発行にあたって
酒井 正彦 
誌名:   電子情報通信学会論文誌 D
発行日: 2008/04/01
Vol. J91-D  No. 4  pp. 845-846
論文種別:  巻頭言
専門分野: 
キーワード: 
 あらまし | 本文:PDF(205.3KB)

例外処理付きオブジェクト指向プログラムにおける情報流の安全性解析のための型システム
黒川 翔 桑原 寛明 山本 晋一郎 坂部 俊樹 酒井 正彦 草刈 圭一朗 西田 直樹 
誌名:   電子情報通信学会論文誌 D
発行日: 2008/03/01
Vol. J91-D  No. 3  pp. 757-770
論文種別:  論文
専門分野: ディペンダブルコンピューティング
キーワード: 
セキュリティ検査情報流解析型システム例外処理
 あらまし | 本文:PDF(449.9KB)

単純型項書換え系上の依存対法における実効規則と直積型項へのラベル付け
櫻井 敬大 草刈 圭一朗 酒井 正彦 坂部 俊樹 西田 直樹 
誌名:   電子情報通信学会論文誌 D
発行日: 2007/04/01
Vol. J90-D  No. 4  pp. 978-989
論文種別:  特集論文 (フォーマルアプローチ論文特集)
専門分野: 基礎理論
キーワード: 
単純型項書換え系停止性強計算依存対法実効規則ラベル付け
 あらまし | 本文:PDF(301.2KB)

構成子項書換え系の逆計算プログラムの生成
西田 直樹 酒井 正彦 坂部 俊樹 
誌名:   電子情報通信学会論文誌 D
発行日: 2005/08/01
Vol. J88-D1  No. 8  pp. 1171-1183
論文種別:  論文
専門分野: 計算論,計算モデル
キーワード: 
条件付きTRSナローイング逆計算プログラム変換余剰変数
 あらまし | 本文:PDF(337.2KB)

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

条件付き項書換え系の合流性について
高橋 宜孝 酒井 正彦 外山 芳人 
誌名:   電子情報通信学会論文誌 D
発行日: 1996/11/25
Vol. J79-D1  No. 11  pp. 897-902
論文種別:  論文
専門分野: オートマン,言語理論,計算論
キーワード: 
条件付き項書換え系合流性危険対不能性
 あらまし | 本文:PDF(353.2KB)

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

エラー付き代数的仕様とエラー記述の自動付加
濱口 毅 酒井 正彦 山本 晋一郎 阿草 清滋 
誌名:   電子情報通信学会論文誌 D
発行日: 1995/03/25
Vol. J78-D1  No. 3  pp. 323-330
論文種別:  論文
専門分野: ソフトウェアシステム
キーワード: 
代数的仕様記述エラー記述
 あらまし | 本文:PDF(566.5KB)

代数的仕様の検証のための被覆集合帰納法
酒井 正彦 坂部 俊樹 稲垣 康善 
誌名:   電子情報通信学会論文誌 D
発行日: 1992/03/25
Vol. J75-D1  No. 3  pp. 170-179
論文種別:  論文
専門分野: ソフトウェア基礎
キーワード: 
帰納法仕様記述検証等式論理
 あらまし | 本文:PDF(650KB)

コンパイラの代数的仕様記述と自動生成
酒井 正彦 坂部 俊樹 稲垣 康善 
誌名:   電子情報通信学会論文誌 D
発行日: 1990/12/25
Vol. J73-D1  No. 12  pp. 979-989
論文種別:  論文
専門分野: ソフトウェアシステム
キーワード: 
 あらまし | 本文:PDF(943.6KB)

代数的仕様記述法に基づく言語処理系の自動生成システムLass
酒井 正彦 坂部 俊樹 稲垣 康善 
誌名:   電子情報通信学会論文誌 D
発行日: 1990/10/25
Vol. J73-D1  No. 10  pp. 829-838
論文種別:  論文
専門分野: ソフトウェアシステム
キーワード: 
 あらまし | 本文:PDF(901KB)