西田 直樹


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

例外処理付きオブジェクト指向プログラムにおける情報流の安全性解析のための型システム
黒川 翔 桑原 寛明 山本 晋一郎 坂部 俊樹 酒井 正彦 草刈 圭一朗 西田 直樹 
誌名:   電子情報通信学会論文誌 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)