研究者詳細 - 西田　直樹

論文 - 西田　直樹

分割表示 245 件中 181 - 200 件目／全件表示 >>

例外処理付きオブジェクト指向プログラムにおける情報流の安全性解析のための型システム査読有り

黒川翔, 桑原寛明, 山本晋一郎, 坂部俊樹, 酒井正彦, 草刈圭一朗, 西田直樹

電子情報通信学会論文誌 D J91-D 巻 ( 3 ) 頁： 757-770 2008年3月

潜在帰納法を利用した手続き型プログラム検証の試み

古市祐樹, 西田直樹, 酒井正彦, 草刈圭一朗, 坂部俊樹

第68回情報処理学会・プログラミング研究会配布資料頁： 1-22 2008年3月

等式を規則化する変換の停止条件

水野清貴, 西田直樹, 坂部俊樹, 酒井正彦, 草刈圭一朗

信学技報 SS2007-61 107 巻 ( 505 ) 頁： 25-30 2008年3月

動的型言語への柔らかい型付けによるエラー検出

山田晃久, 草刈圭一朗, 酒井正彦, 坂部俊樹, 西田直樹

信学技報 SS2007-58 107 巻 ( 505 ) 頁： 7-12 2008年3月

プログラム生成系GeneSysにおける等式仕様への否定の導入

近藤悟, 酒井正彦, 坂部俊樹, 草刈圭一朗, 西田直樹

信学技報 SS2007-45 107 巻 ( 392 ) 頁： 43-48 2007年12月

対話型埋込みによる数独問題の設計ツール

馬野洋平, 酒井正彦, 西田直樹, 坂部俊樹, 草刈圭一朗

信学技報 SS2007-50 107 巻 ( 392 ) 頁： 73-78 2007年12月

導出木からのループ検出による論理プログラムの非停止性証明法

水谷知博, 西田直樹, 酒井正彦, 坂部俊樹, 草刈圭一朗

信学技報 SS2007-30 107 巻 ( 275 ) 頁： 1-6 2007年10月

論理式への変換に基づく魔方陣の発見

伊藤寛之, 酒井正彦, 草刈圭一朗, 坂部俊樹, 西田直樹

平成19年度電気関係学会東海支部連合大会論文集 ( O-012 ) 頁： 1 2007年9月

左線形な定向条件付き項書換え系における到達可能な項集合の近似集合を認識する木オートマトン

村田俊樹, 西田直樹, 酒井正彦, 坂部俊樹, 草刈圭一朗

信学技報 SS2007-16 107 巻 ( 176 ) 頁： 1-6 2007年8月

振舞等価性の証明のための等式付き書換えに基づく潜在帰納法

笹田悠司, 酒井正彦, 西田直樹, 坂部俊樹, 草刈圭一朗

信学技報 SS2007-17 107 巻 ( 176 ) 頁： 7-12 2007年8月

* Transformation for Refining Unraveled Conditional Term Rewriting Systems 査読有り

Naoki Nishida, Tomohiro Mizutani, and Masahiko Sakai

Electronic Notes in Theoretical Computer Science 174 巻 ( 10 ) 頁： 75-95 2007年7月

担当区分：筆頭著者記述言語：英語掲載種別：研究論文（学術雑誌）

Unravelings, transformations from conditional term rewriting systems (CTRSs, for short) into unconditional
term rewriting systems, are valuable for analyzing properties of CTRSs. In order to completely simulate
rewrite sequences of CTRSs, the restriction by a particular context-sensitive and membership condition that
is determined by extra function symbols introduced due to the unravelings, must be imposed on the rewrite
relations of the unraveled CTRSs. In this paper, in order to weaken the context-sensitive and membership
condition, we propose a transformation applied to the unraveled CTRSs, that reduces the number of the
extra symbols. In the transformation, updating the context-sensitive condition properly, we remove the
extra symbols that satisfy a certain condition. If the transformation succeeds in removing all of the extra
symbols, we obtain the TRSs that are computationally equivalent with the original CTRSs.

Static Dependeycy Pair Method for Proving Termination of Higher-Order Rewriting Systems

Keiichirou Kusakari, Yasuo Isogai, , Masahiko Sakai, Toshiki Sakabe, and Naoki Nishida

IEICE Technical Report SS2007-12 107 巻 ( 99 ) 頁： 17-22 2007年6月

Convergent Term Rewriting Systems for Inverse Computation of Injective Functions 査読有り

Naoki Nishida, Masahiko Sakai, and Terutoshi Kato

Proceedings of the 9th International Workshop on Termination (WST'07) 頁： 77-81 2007年6月

二階の書換え系における引数切り落とし法

磯谷泰巨, 草刈圭一朗, 酒井正彦, 坂部俊樹, 西田直樹

信学技報 SS2007-13 107 巻 ( 99 ) 頁： 23-28 2007年6月

Decidability of Innermost Termination for Semi-Constructor Term Rewriting Systems

Keita Uchiyama, Masahiko Sakai, Naoki Nishida, Toshiki Sakabe, and Keiichirou Kusakari

Theory of Computer Science and Its Applications, RIMS Kokyuroku (LA Symposium 2006 Winter) 1554 巻頁： 166-170 2007年5月

Confluence of Length Preserving String Rewriting Systems is Undecidable

Yi Wang, Masahiko Sakai, Naoki Nishida, Toshiki Sakabe, and Keiichirou Kusakari

Theory of Computer Science and Its Applications, RIMS Kokyuroku (LA Symposium 2006 Winter) 1554 巻頁： 171-177 2007年5月

単純型項書換え系上の依存対法における実効規則と直積型項へのラベル付け査読有り

櫻井敬大, 草刈圭一朗, 酒井正彦, 坂部俊樹, 西田直樹

電子情報通信学会論文誌 D J90-D 巻 ( 4 ) 頁： 978-989 2007年4月

単純型項書換え系における定理自動証明系HOPSYS

蒲田明憲, 草刈圭一朗, 西田直樹, 酒井正彦, 坂部俊樹

信学技報 SS2006-57 106 巻 ( 426 ) 頁： 7-12 2006年12月

手続き型プログラムから書換え系への変換に基づくソフトウェア検証の試み

古市祐樹, 西田直樹, 酒井正彦, 草刈圭一朗, 坂部俊樹

信学技報 SS2006-41 (KBSE2006-17) 106 巻 ( 324 ) 頁： 7-12 2006年10月

GeneSysによるプログラム生成例とIntroduction規則の追加

近藤悟, 酒井正彦, 西田直樹, 坂部俊樹, 草刈圭一朗

信学技報 SS2006-46 (KBSE2006-22) 106 巻 ( 324 ) 頁： 37-42 2006年10月

　前のページ - 次のページ　

<西田 直樹>

論文 - 西田 直樹

<西田　直樹>

論文 - 西田　直樹