NISHIDA Naoki 西田直樹

… Alternative Names

西田直樹ニシダナオキ

Less

Researcher Number	00397449
Other IDs
Affiliation (Current)	2025: 名古屋大学, 情報学研究科, 准教授
Affiliation (based on the past Project Information) *help	2024: 名古屋大学, 情報学研究科, 准教授 2017 – 2022: 名古屋大学, 情報学研究科, 准教授 2016: 名古屋大学, 情報科学研究科, 准教授 2012: 名古屋大学, 情報科学研究科, 助教 2007 – 2011: Nagoya University, School of Information Science, Assistant Professor … More 2006: 名古屋大学, 大学院情報科学研究科, 助手 2006: 名古屋大学, 大学院情報科学研究科, 助教 2005: Nagoya Univ., Grad.School of Information Science, Aesearch Associate, 大学院・情報科学研究科, 助手 Less
Review Section/Research Field	Principal Investigator Basic Section 60010:Theory of informatics-related / Fundamental theory of informatics / Sections That Are Subject to Joint Review: Basic Section60010:Theory of informatics-related , Basic Section60020:Mathematical informatics-related / Basic Section 60020:Mathematical informatics-related Except Principal Investigator Fundamental theory of informatics / Software / Software
Keywords	Principal Investigator プログラム変換 / 到達可能性 / 実行時エラー検証 / 関数型言語 / 項書換え系 / 情報基礎 / 循環証明 / 論理制約付き項書換えシステム / 補題生成 / 項書換えシステム … More / 帰納法 / 計算モデル / 定理自動証明 / 全パス到達可能性 / 等価性 / 書換え帰納法 / プログラム検証 / 制約付き書換え / ログラム変換 / 単射性 / 逆関数 / プログラム逆化 … More Except Principal Investigator 停止性証明 / 停止性 / 関数型言語 / 項書換え系 / 逆計算 / 再帰定義 / 関数プログラム / 潜在帰納法 / ソフトウェアデバッグ / ソフトウエア学 / 実時間性 / 計算モデル / 並行プログラミング言語 / 離散時間モデル / デバッグモデル / 並行計算 / 因果無矛盾性 / 構造操作意味規則 / バックトラック逆計算 / 逆計算モデル / 通信プロセスモデル / プログラミング言語 / 通信プロセス計算 / 実時間プログラム / 逆方向計算 / 逆方向デバッグ技法 / 可逆抽象機械 / 可逆計算実行環境 / 可逆デバッガ / 可逆実行環境 / 並行プログラム / 並行計算モデル / 可逆計算 / 情報基礎 / 関数型プログラム / Term Rewriting System / Type Inference / Secrecy / Exception Handling / Object-Oriented Program / 通信エラー / 型推論 / 機密性 / 例外処理 / オブジェクト指向計算 / outer-most strategy / implicit induction / termination proof / normalizing strategy / functional language / term rewriting system / 最外戦略 / 正規化戦略 / 静的再帰構造 / 単純型付き書換え系 / 静的依存対法 / 計算理論 / 滞在帰納法 / 定理自動証明 / 単純型書換え系 / 合流性 Less

Development of Program Verification Techniques Based on Coinduction on Logically Constrained RewritingPrincipal Investigator
- Principal Investigator
  
  西田直樹
- Project Period (FY)
  2024 – 2028
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Review Section
  
  Basic Section 60010:Theory of informatics-related
  Basic Section 60020:Mathematical informatics-related
  Sections That Are Subject to Joint Review: Basic Section60010:Theory of informatics-related , Basic Section60020:Mathematical informatics-related
- Research Institution
  Nagoya University
Development of Verification Techniques for Equivalence of Programs via Rewriting InductionPrincipal Investigator
- Principal Investigator
  
  Nishida Naoki
- Project Period (FY)
  2018 – 2022
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60010:Theory of informatics-related
- Research Institution
  Nagoya University
A reversible debugging model for real-time concurrent programs
- Principal Investigator
  
  YUEN SHOJI
- Project Period (FY)
  2017 – 2020
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Software
- Research Institution
  Nagoya University
On Proving Termination of Functional Programs by Static Recursion Analysis
- Principal Investigator
  
  Kusakari Keiichirou
- Project Period (FY)
  2012 – 2016
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  Gifu University
  Nagoya University
Study of Program Inversion for Functional Programs Defining Injective FunctionsPrincipal Investigator
- Principal Investigator
  
  NISHIDA Naoki
- Project Period (FY)
  2009 – 2012
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  Nagoya University
On Proving Termination of Higher-Order Functional Programs
- Principal Investigator
  
  KUSAKARI Keiichirou
- Project Period (FY)
  2008 – 2011
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  Nagoya University
Study on Rewriting Theory for Analysis, Verification and Efficient Execution of Functional Programs
- Principal Investigator
  
  SAKAI Masahiko
- Project Period (FY)
  2006 – 2009
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  Nagoya University
関数型プログラムの逆計算プログラム生成に関する研究Principal Investigator
- Principal Investigator
  
  西田直樹
- Project Period (FY)
  2005 – 2007
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  Nagoya University
Type Inference of Object-Oriented Programs with Exceptions Based on Term Rewriting
- Principal Investigator
  
  SAKABE Toshiki
- Project Period (FY)
  2004 – 2007
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Software
- Research Institution
  Nagoya University
Study on Rewriting Theory for Analysis, Verification and Efficient Execution of Functional Programs
- Principal Investigator
  
  SAKAI Masahiko
- Project Period (FY)
  2003 – 2005
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  Nagoya University

[Journal Article] Transforming orthogonal inductive definition sets into confluent term rewrite systems2022
- Author(s)
  Shujun Zhang and Naoki Nishida
- Journal Title
  
  Journal of Logical and Algebraic Methods in Programming
  
  Volume: 127 Pages: 1-17
- DOI
  10.1016/j.jlamp.2022.100779
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K11160
[Journal Article] Reversible CSP Computations2021
- Author(s)
  Galindo Carlos、Nishida Naoki、Silva Josep、Tamarit Salvador
- Journal Title
  
  IEEE Transactions on Parallel and Distributed Systems
  
  Volume: 32 Issue: 6 Pages: 1425-1436
- DOI
  10.1109/tpds.2021.3051747
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-17H01722
[Journal Article] ReverCSP: Time-Travelling in CSP Computations2020
- Author(s)
  Galindo Carlos、Nishida Naoki、Silva Josep、Tamarit Salvador
- Journal Title
  
  Lecture Notes in Computer Science
  
  Volume: 12227 Pages: 239-245
- DOI
  10.1007/978-3-030-52482-1_14
- ISBN
  9783030524814, 9783030524821
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H01722
[Journal Article] A Case Study for Reversible Computing: Reversible Debugging of Concurrent Programs2020
- Author(s)
  Hoey James、Lanese Ivan、Nishida Naoki、Ulidowski Irek、Vidal Germ?n
- Journal Title
  
  Lecture Notes in Computer Science
  
  Volume: 12070 Pages: 108-127
- DOI
  10.1007/978-3-030-47361-7_5
- ISBN
  9783030473600, 9783030473617
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H01722
[Journal Article] On Transforming Narrowing Trees into Regular Tree Grammars Generating Ranges of Substitutions2019
- Author(s)
  Nishida Naoki、Maeda Yuya
- Journal Title
  
  Electronic Proceedings in Theoretical Computer Science
  
  Volume: 289 Pages: 68-87
- DOI
  10.4204/eptcs.289.5
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-17H01722
[Journal Article] Rewriting induction for constrained inequalities2018
- Author(s)
  Takahiro Nagao and Naoki Nishida
- Journal Title
  
  Science of Computer Programming
  
  Volume: 155 Pages: 76-102
- DOI
  10.1016/j.scico.2017.10.012
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K11160
[Journal Article] A theory of reversibility for Erlang2018
- Author(s)
  Lanese Ivan、Nishida Naoki、Palacios Adrian、Vidal German
- Journal Title
  
  Journal of Logical and Algebraic Methods in Programming
  
  Volume: 100 Pages: 71-97
- DOI
  10.1016/j.jlamp.2018.06.004
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H01722
[Journal Article] CauDEr: A Causal-Consistent Reversible Debugger for Erlang2018
- Author(s)
  Lanese Ivan、Nishida Naoki、Palacios Adrian、Vidal German
- Journal Title
  
  Lecture Notes in Computer Science
  
  Volume: 10818 Pages: 247-263
- DOI
  10.1007/978-3-319-90686-7_16
- ISBN
  9783319906850, 9783319906867
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H01722
[Journal Article] Narrowing Trees for Syntactically Deterministic Conditional Term Rewriting Systems2018
- Author(s)
  Naoki Nishida, Yuya Maeda
- Journal Title
  
  LIPIcs
  
  Volume: 108
- DOI
  10.4230/LIPIcs.FSCD.2018.26
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-17H01722
[Journal Article] Reversible computation in term rewriting2018
- Author(s)
  Nishida Naoki、Palacios Adrian、Vidal German
- Journal Title
  
  Journal of Logical and Algebraic Methods in Programming
  
  Volume: 94 Pages: 128-149
- DOI
  10.1016/j.jlamp.2017.10.003
- NAID
  120006473505
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H01722
[Journal Article] Soundness of Unravelings for Conditional Term Rewriting Systems via Ultra-Properties Related to Linearity2012
- Author(s)
  Naoki Nishida, Masahiko Sakai, and Toshiki Sakabe
- Journal Title
  
  Logical Methods in Computer Science
  
  Volume: Vol. 8, No. 3 Pages: 1-49
- NAID
  120005530823
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21700011
[Journal Article] Soundness of Unravelings for Conditional Term Rewriting Systems via Ultra-Properties Related to Linearity2012
- Author(s)
  Naoki Nishida,, Masahiko Sakai, and Toshiki Sakabe
- Journal Title
  
  Logical Methods in Computer Science
  
  Volume: 8 Pages: 1-49
- DOI
  10.2168/lmcs-8(3:4)2012
- NAID
  120005530823
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21700011
[Journal Article] Termination of Narrowing via Termination of Rewriting2010
- Author(s)
  Naoki Nishida, German Vidal
- Journal Title
  
  Applicable Algebra in Engineering, Communication and Computing
  
  Volume: 21 Pages: 177-225
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21700011
[Journal Article] Termination of Narrowing via Termination of Rewriting, Applicable Algebra in Engineering2010
- Author(s)
  Naoki Nishida and German Vidal
- Journal Title
  
  Communication and Computing
  
  Volume: Vo l . 21, No. 3 Pages: 177-225
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21700011
[Journal Article] 条件付き等式の変換に基づくプログラム生成2009
- Author(s)
  長島正憲, 酒井正彦, 坂部俊樹, 西田直樹, 草刈圭一朗
- Journal Title
  
  信学技報 109
  
  Pages: 37-42
- NAID
  120005527807
- Data Source
  KAKENHI-PROJECT-21700011
[Journal Article] Context-Sensitive Innermost Reachability is Decidable for Linear Right-Shallow Term Rewriting Systems2009
- Author(s)
  KOJIMA Yoshiharu, SAKAI Masahiko, NISHIDA Naoki, KUSAKARI Keiichirou, SAKABE Toshiki
- Journal Title
  
  IPSJ Transactions on Programming 2
  
  Pages: 20-32
- NAID
  130000140286
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500008
[Journal Article] Completion after Program Inversion of Injective Functions2009
- Author(s)
  Naoki Nishida, Masahiko Sakai
- Journal Title
  
  Electronic Notes in Theoretical Computer Science 237
  
  Pages: 39-56
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21700011
[Journal Article] Context-sensitive Innermost Reachability is Decidable for Linear Right-shallow Term Rewriting Systems2009
- Author(s)
  Yoshiharu Kojima, Masahiko Sakai, Naoki Nishida, Keiichirou Kusakari, Toshiki Sakabe
- Journal Title
  
  IPSJ Transactions of Programming on Information 2巻
  
  Pages: 20-32
- NAID
  130000140286
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18500011
[Journal Article] Context-Sensitive Innermost Reachability is Decidable for Linear Right-Shallow Term Rewriting Systems2009
- Author(s)
  KOJIMA Yoshiharu, SAKAI Masahiko, NISHIDA Naoki, KUSAKARI Keiichirou, SAKABE Toshiki
- Journal Title
  
  IPSJ Transactions on Programming
  
  Volume: Vol.2, No.3 Pages: 20-32
- NAID
  130000140286
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500008
[Journal Article] Context-sensitive Innermost Reachability is Decidable for Linear Right-shallow Term Rewriting Systems2009
- Author(s)
  Yoshiharu Kojima, Masahiko Sakai, Naoki Nishida, Keiichirou Kusakari, Toshiki Sakabe
- Journal Title
  
  IPSJ Transactions of Programming on Information 2
  
  Pages: 20-32
- NAID
  130000140286
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18500011
[Journal Article] Completion after Program Inversion of Injective Functions2009
- Author(s)
  Naoki Nishida, Masahiko Sakai
- Journal Title
  
  Electronic Notes in Theoretical Computer Science 237巻
  
  Pages: 39-56
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18500011
[Journal Article] Improving the Termination Analysis of Narrowing in Left-Linear Constructor Systems2009
- Author(s)
  Jose Iborra, Naoki Nishida, German Vidal
- Journal Title
  
  Proceedings of the 19th International Symposium on Logic-Based Program Synthesis and Transformation
  
  Pages: 48-56
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21700011
[Journal Article] Completion after Program Inversion of Injective Functions2009
- Author(s)
  Naoki Nishida, Masahiko Sakai
- Journal Title
  
  Electronic Notes in Theoretical Computer Science 237
  
  Pages: 39-56
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18500011
[Journal Article] Completion after Program Inversion of Injective Functions2009
- Author(s)
  Naoki Nishida and Masahiko Sakai
- Journal Title
  
  Electronic Notes in Theoretical Computer Science
  
  Volume: Vol. 237 Pages: 39-56
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21700011
[Journal Article] Error Detection with Soft Typing for Dynamically Typed Language2008
- Author(s)
  Akihisa Yamada, Keiichirou Kusakari, Masahiko Sakai, Toshiki Sakabe and Naoki Nishida
- Journal Title
  
  IEICE Technical Report SS2007-58 107
  
  Pages: 7-12
- NAID
  120005530811
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-16300005
[Journal Article] A Sufficient Condition for Termination of Transforma-tions from Equations to Rewrite Rules2008
- Author(s)
  Kiyotaka, Mizuno, Naoki, Nishida, Toshiki, Sakabe, Masahiko, Sakai, Keiichirou, Kusakari
- Journal Title
  
  IEICE Technical Report (SS2007-6) Vol.107, No.505(Non-refereed)
  
  Pages: 25-30
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-16300005
[Journal Article] 例外処理付きオブジェクト指向プログラムにおける情報流の安全性解析のための型システム2008
- Author(s)
  黒川翔, 桑原寛明, 山本晋一郎, 坂部俊樹, 酒井正彦, 草刈圭一朗, 西田直樹
- Journal Title
  
  電子情報通信学会論文誌 J91-D
  
  Pages: 757-770
- NAID
  120005530809
- Description
  「研究成果報告書概要(和文)」より
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-16300005
[Journal Article] A Type System for Analyzing Secure Information Flow in Object-Oriented Programs with Exception Handling2008
- Author(s)
  Sho, Kurokawa, Hiroaki, Kuwabara, Shin-ichiro, Yamamoto, Toshiki, Sakabe, Masahiko, Sakai, Keiichirou, Kusakari, Naoki, Nishida
- Journal Title
  
  IEICE Transactions on Information and Systems Vol.J91-D, No.3(Refereed)
  
  Pages: 757-770
- NAID
  120005530809
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-16300005
[Journal Article] Error Detection with Soft Typing for Dynamically Typed Language2008
- Author(s)
  Akihisa, Yamada, Keiichirou, Kusakari, Masahiko, Sakai, Toshiki, Sakabe, Naoki, Nishida
- Journal Title
  
  IEICE Technical Report SS2007-58 Vol.107, No.505(Non-refereed)
  
  Pages: 7-12
- NAID
  120005530811
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-16300005
[Journal Article] 等式を規則化する変換の停止条件2008
- Author(s)
  水野清貴, 西田直樹, 坂部俊樹、酒井正彦, 草刈圭一朗
- Journal Title
  
  電子情報通信学会技術研究報告(SS2007-61) 107
  
  Pages: 25-30
- NAID
  120005527805
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-16300005
[Journal Article] Implicit Induction for Proving Behavioral Equivalence by Equational Rewriting2007
- Author(s)
  Yuji, Sasada, Masahiko, Sakai, Naoki, Nishida, Toshiki, Sakabe, Keiichirou, Kusakari
- Journal Title
  
  IEICE Technical Report (SS2007-17) Vol.107, No.176(Non-refereed)
  
  Pages: 7-12
- NAID
  120005526507
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-16300005
[Journal Article] Convergent Term Rewriting Systems for Inverse Computation of Injective Functions2007
- Author(s)
  Naoki Nishida, Masahiko Sakai, and Terutoshi Kato
- Journal Title
  
  Proceedings of the 9th International Workshop on Termination
  
  Pages: 77-81
- NAID
  120000975773
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17700009
[Journal Article] 左線形は定向条件付き項書換え系における到達可能な項集合の近似集合を認識する木オートマトン2007
- Author(s)
  村田俊樹、西田直樹、酒井正彦、坂部俊樹、草刈圭一朗
- Journal Title
  
  電子情報通信学会技術研究報告(SS2007-16) 107
  
  Pages: 1-6
- Data Source
  KAKENHI-PROJECT-16300005
[Journal Article] Static Dependency Pair Method for Proving Termination of Higher-Order Rewriting Systems2007
- Author(s)
  Kiichirou Kusakari, Yasuo Iso-gai, Masahiko Sakai, Toshiki Sakabe Naoki Nishida
- Journal Title
  
  電子情報通信学会技術研究報告(SS2007-61) 107
  
  Pages: 17-22
- NAID
  110006343341
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-16300005
[Journal Article] Usable Rules and Labeling Product-Typed Terms for De-pendency Pair Method in Simply-Typed Term Rewriting Systems2007
- Author(s)
  Takahiro, Sakurai, Keiichirou, Kusakari, Masahiko, Sakai, Toshiki, Sakabe, Naoki, Nishida
- Journal Title
  
  IEICE Transactions on Information and Systems Vol.J90-D, No.4(Refereed)
  
  Pages: 978-989
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-16300005
[Journal Article] Recognizable Approximation of Descendant Sets for Left-Linear Oriented Conditional Term Rewriting Systems2007
- Author(s)
  Toshiki, Murata, Naoki, Nishida, Masahiko, Sakai, Toshiki, Sakabe, Keiichirou, Kusakari
- Journal Title
  
  IEICE Technical Report (SS2007-16) Vol.107, No.176(Non-refereed)
  
  Pages: 1-6
- NAID
  120005526506
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-16300005
[Journal Article] 単純型項書き換え系上の依存対法における実効規則と直積型項へのラベル付け2007
- Author(s)
  櫻井敬大、草刈圭一朗、酒井正彦、坂部俊樹、西田直樹
- Journal Title
  
  電子情報通信学会論文誌 J90-D
  
  Pages: 978-989
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18500011
[Journal Article] Convergent Term Rewriting Systems for Inverse Computation of Injec-tive Fhnctions2007
- Author(s)
  Naoki Nishida, Masahiko Sakai, and Terutoshi Kato
- Journal Title
  
  Proc. of the 9th International Workshop on Ter-mination
  
  Pages: 77-81
- Description
  「研究成果報告書概要(和文)」より
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-16300005
[Journal Article] プログラム生成系GeneSysにおける等式仕様への否定の導入2007
- Author(s)
  近藤悟, 酒井正彦, 坂部俊樹, 草刈圭一朗, 西田直樹
- Journal Title
  
  信学技報 107
  
  Pages: 43-48
- NAID
  120005527804
- Data Source
  KAKENHI-PROJECT-17700009
[Journal Article] Convergent Term Rewriting Systems for Inverse Compu-tation of Injective Functions2007
- Author(s)
  Naoki, Nishida, Masahiko, Sakai, Terutoshi, Kato
- Journal Title
  
  Proc. of the 9th International Workshop on Ter-mination (Refereed)
  
  Pages: 77-81
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-16300005
[Journal Article] Static Dependency Pair Method for Proving Termination of Higher-Order Rewriting Systems2007
- Author(s)
  Kiichirou Kusakari, Yasuo Iso-gai, Masahiko Sakai, Toshiki Sakabe Naoki Nishida
- Journal Title
  
  電子情報通信学会技術研究報告(SS2007-12) 107
  
  Pages: 17-22
- NAID
  110006343341
- Data Source
  KAKENHI-PROJECT-16300005
[Journal Article] 単純型項書き換え系上の依存対法における実効規則と直積型項へのラベル付け2007
- Author(s)
  櫻井敬大、草刈圭一朗、酒井正彦、坂部俊樹、西田直樹
- Journal Title
  
  電子情報通信学会論文誌 J90-D
  
  Pages: 978-989
- Description
  「研究成果報告書概要(和文)」より
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-16300005
[Journal Article] 左線形は定向条件付き項書換え系における到達可能な項集合の近似集合を認識する木オートマトン2007
- Author(s)
  村田俊樹、西田直樹、酒井正彦、坂部俊樹、草刈圭一朗
- Journal Title
  
  電子情報通信学会技術研究報告(SS2007-61) 107
  
  Pages: 1-6
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-16300005
[Journal Article] Convergent Term Rewriting Systems for Inverse Computation of Injec-tive Functions2007
- Author(s)
  Naoki Nishida, Masahiko Sakai, and Terutoshi Kato
- Journal Title
  
  Proc. of the 9th International Workshop on Ter-mination
  
  Pages: 77-81
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-16300005
[Journal Article] Static Dependency Pair Method for Proving Termination of Higher-Order Rewriting Systems2007
- Author(s)
  Keichirou, Kusakari, Yasuo, Isogai, Masahiko, Sakai, Toshiki, Sakabe Naoki, Nishida
- Journal Title
  
  IEICE Technical Report (SS2007-61) Vol.107, No.505(Non-refereed)
  
  Pages: 17-22
- NAID
  110006343341
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-16300005
[Journal Article] 単純型項書き換え系上の依存対法における実効規則と直積型項へのラベル付け2007
- Author(s)
  櫻井敬大, 草刈圭一朗, 酒井正彦, 坂部俊樹, 西田直樹
- Journal Title
  
  電子情報通信学会論文誌 (採録決定済)
- Data Source
  KAKENHI-PROJECT-18500011
[Journal Article] 単純型項書き換え系上の依存対法における実効規則と直積型項へのラベル付け2007
- Author(s)
  櫻井敬大、草刈圭一朗、酒井正彦、坂部俊樹、西田直樹
- Journal Title
  
  電子情報通信学会論文誌 J90-D巻
  
  Pages: 978-989
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18500011
[Journal Article] 振舞等価性の証明のための等式付き書換えに基づく潜在帰納法2007
- Author(s)
  笹田悠司、酒井正彦、西田直樹、坂部俊樹、草刈圭一朗
- Journal Title
  
  電子情報通信学会技術研究報告(SS2007-17) 107
  
  Pages: 7-12
- NAID
  120005526507
- Data Source
  KAKENHI-PROJECT-16300005
[Journal Article] Transformation for Refining Unraveled Conditional Term Rewriting Sys-tems2007
- Author(s)
  Naoki Nishida, Tomohiro Mizu-tani, and Masahiko Sakai
- Journal Title
  
  Electronic Notes in Theoretical Computer Science 174
  
  Pages: 75-95
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17700009
[Journal Article] 振舞等価性の証明のための等式付き書換えに基づく潜在帰納法2007
- Author(s)
  笹田悠司、酒井正彦、西田直樹、坂部俊樹、草刈圭一朗
- Journal Title
  
  電子情報通信学会技術研究報告(SS2007-61) 107
  
  Pages: 7-12
- NAID
  120005526507
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-16300005
[Journal Article] Lexicographic Path Ordering for Proving Termination of Functional Programs2006
- Author(s)
  Yumi, Hoshino, Keiichirou, Kusakari, Masahiko, Sakai, Toshiki, Sakabe, Naoki, Nishida
- Journal Title
  
  IEICE Technical Report (SS2005-85) Vol.105, No.596(Non-refereed)
  
  Pages: 35-40
- NAID
  110004662816
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-16300005
[Journal Article] 関数プログラムの停止性証明に関する辞書式経路順序2006
- Author(s)
  星野由美, 草刈圭一朗, 酒井正彦, 坂部俊樹, 西田直樹
- Journal Title
  
  電子情報通信学会技術研究報告 105・596
  
  Pages: 35-40
- Data Source
  KAKENHI-PROJECT-15500007
[Journal Article] Transformation for Refining Unraveled Conditional Term Rewriting Sys-tems2006
- Author(s)
  Naoki Nishida, Tomohiro Mizu-tarsi, and Masahiko Sakai
- Journal Title
  
  Proc. of 6th International Workshop on Reduc-tion Strategies in Rewriting and Programming(WRS2006)
  
  Pages: 34-48
- Description
  「研究成果報告書概要(和文)」より
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-16300005
[Journal Article] 所属制約を持つ条件付き項書換え系の紐解き変換2006
- Author(s)
  村田俊樹, 西田直樹, 酒井正彦, 坂部俊樹, 草刈圭一朗
- Journal Title
  
  平成18年度電気関係学会東海支部連合大会論文集 O-438
  
  Pages: 1-1
- Data Source
  KAKENHI-PROJECT-17700009
[Journal Article] Dependency Graph Method for Proving Termination of Narrowing2006
- Author(s)
  N.Nishida, K.Miura
- Journal Title
  
  Proceedings of the 8th International Workshop on Termi-nation
  
  Pages: 12-16
- NAID
  10016575794
- Data Source
  KAKENHI-PROJECT-17700009
[Journal Article] 紐解かれた項書換え系の文脈依存条件の除去のための変換2006
- Author(s)
  水谷知博, 西田直樹, 酒井正彦, 草刈圭一朗, 坂部俊樹
- Journal Title
  
  冬のLAシンポジウム
- Data Source
  KAKENHI-PROJECT-16300005
[Journal Article] 手続き型プログラムから書換え系への変換に基づくソフトウェア検証の試み2006
- Author(s)
  古市祐樹, 西田直樹, 酒井正彦, 草刈圭一朗, 坂部俊樹
- Journal Title
  
  電子情報通信学会技術研究報告 (SS2006-41) 106・324
  
  Pages: 7-12
- NAID
  110004851223
- Data Source
  KAKENHI-PROJECT-16300005
[Journal Article] Secrecy Verification of Spi Calculus based on Term Reg-ular Expressions2006
- Author(s)
  Yoshihiko, Tashiro, Toshiki, Sakabe, Masahiko, Sakai, Keiichirou, Kusakari, Naoki, Nishida
- Journal Title
  
  IEICE Technical Report IEICE (SS2005-82) Vol.105, No.596(Non-refereed)
  
  Pages: 35-40
- NAID
  110004662813
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-16300005
[Journal Article] 関数プログラムの停止性証明に関する辞書式経路順序2006
- Author(s)
  星野由美, 草刈圭一朗, 酒井正彦, 坂部俊樹, 西田直樹
- Journal Title
  
  電子情報通信学会技術研究報告 105・596
  
  Pages: 35-40
- Data Source
  KAKENHI-PROJECT-16300005
[Journal Article] 所属制約を持つ条件付き項書換え系の紐解き変換2006
- Author(s)
  村田俊樹, 西田直樹, 酒井正彦, 坂部俊樹, 草刈圭一朗
- Journal Title
  
  平成18年度電気関係学会東海支部連合大会講演論文集
- Data Source
  KAKENHI-PROJECT-16300005
[Journal Article] Security Analysis of Information Flow for an Object-Oriented Language with Exception Handling2006
- Author(s)
  Sho, Kurokawa, Hiroaki, Kuwabara, Shin-ichiro, Yamamoto, Toshiki, Sakabe, Masahiko, Sakai, Keiichirou, Kusakari, Naoki, Nishida
- Journal Title
  
  IEICE Technical Report (SS2006-42) Vol.106, No.324(Non-refereed)
  
  Pages: 13-18
- NAID
  110004851224
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-16300005
[Journal Article] 例外処理付きオブジェクト指向言語における情報流の安全性解析2006
- Author(s)
  黒川翔, 桑原寛明, 山本晋一郎, 坂部俊樹, 酒井正彦, 草刈圭一朗, 西田直樹
- Journal Title
  
  電子情報通信学会技術研究報告(SS2006-42) 106
  
  Pages: 13-18
- NAID
  110004851224
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-16300005
[Journal Article] Transformation of Equational Rewriting Systems for Re-moving Some Equations2006
- Author(s)
  Kiochi, Miura, Naoki, Nishida, Masahiko, Sakai, Toshiki, Sakabe, Keiichirou, Kusakari
- Journal Title
  
  IEICE Technical Report (SS2006-14) Vol.106, No.120(Non-refereed)
  
  Pages: 7-12
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-16300005
[Journal Article] 等式付き書換え系の等式数を削減する変換2006
- Author(s)
  三浦浩一, 西田直樹, 酒井正彦, 坂部俊樹, 草刈圭一朗
- Journal Title
  
  電子情報通信学会技術研究報告 106・120
  
  Pages: 7-12
- NAID
  110004750957
- Data Source
  KAKENHI-PROJECT-18500011
[Journal Article] 項正規表現に基づくSpi計算の機密性検証2006
- Author(s)
  田代善彦, 坂部俊樹, 酒井正彦, 草刈圭一朗, 西田直樹
- Journal Title
  
  電子情報通信学会技術研究報告(SS2005-82) 105
  
  Pages: 35-40
- NAID
  110004662813
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-16300005
[Journal Article] Transformation for Refining Unraveled Conditional Term Rewriting Systems2006
- Author(s)
  Naoki Nishida, Tomohiro Mizutani, Masahiko Sakai
- Journal Title
  
  Proc. of 6th International Workshop on Reduction Strategies in Rewriting and Programming (WRS2006)
  
  Pages: 34-48
- NAID
  120000975771
- Data Source
  KAKENHI-PROJECT-16300005
[Journal Article] 関数プログラムの停止性証明に関する辞書式経路順序2006
- Author(s)
  星野由美, 草刈圭一朗, 酒井正彦, 坂部俊樹, 西田直樹
- Journal Title
  
  電子情報通信学会技術研究報告(SS2005-82) 105
  
  Pages: 35-40
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-16300005
[Journal Article] 手続き型プログラムから書換え系への変換に基づくソフトウェア検証の試み2006
- Author(s)
  古市祐樹, 西田直樹, 酒井正彦, 草刈圭一朗, 坂部俊樹
- Journal Title
  
  電子情報通信学会技術研究報告(SS2006-41) 106
  
  Pages: 7-12
- NAID
  110004851223
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-16300005
[Journal Article] 例外処理付きオブジェクト指向言語における情報流の安全性解析2006
- Author(s)
  黒川翔, 桑原寛明, 山本晋一郎, 坂部俊樹, 酒井正彦, 草刈圭一朗, 西田直樹
- Journal Title
  
  電子情報通信学会技術研究報告 (SS2006-42) 106・324
  
  Pages: 13-18
- NAID
  110004851224
- Data Source
  KAKENHI-PROJECT-16300005
[Journal Article] 等式付き書換え系の等式数を削減する変換2006
- Author(s)
  三浦浩一, 西田直樹, 酒井正彦, 坂部俊樹, 草刈圭一朗
- Journal Title
  
  電子情報通信学会技術研究報告(SS2006-14) 106
  
  Pages: 7-12
- NAID
  110004750957
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-16300005
[Journal Article] Approach to Software Verification Based on Transform-ing from Procedural Programs to Rewrite Systems2006
- Author(s)
  Yuki, Furuichi, Naoki, Nishida, Masahiko, Sakai, Keiichi-rou, Kusakari, Toshiki, Sakabe
- Journal Title
  
  IEICE Technical Report (SS2006-41) Vol.106, No.324(No-refereed)
  
  Pages: 7-12
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-16300005
[Journal Article] 等式付き書換え系の等式数を削減する変換2006
- Author(s)
  三浦浩一, 西田直樹, 酒井正彦, 坂部俊樹, 草刈圭一朗
- Journal Title
  
  電子情報通信学会技術研究報告 (SS2006-6) 106・120
  
  Pages: 7-12
- NAID
  110004750957
- Data Source
  KAKENHI-PROJECT-16300005
[Journal Article] 項正規表現に基づくSpi計算の機密性検証2006
- Author(s)
  田代善彦, 坂部俊樹, 酒井正彦, 草刈圭一朗, 西田直樹
- Journal Title
  
  電子情報通信学会技術研究報告SS2005-82 105・596
- NAID
  110004662813
- Data Source
  KAKENHI-PROJECT-16300005
[Journal Article] 単純型項書換え系における定理自動証明系HOPSYS2006
- Author(s)
  蒲田明憲, 草刈圭一朗, 西田直樹, 酒井正彦, 坂部俊樹
- Journal Title
  
  電子情報通信学会技術研究報告 106・424
  
  Pages: 7-12
- NAID
  110006163165
- Data Source
  KAKENHI-PROJECT-18500011
[Journal Article] Transformation for Refining Unraveled Conditional Term Rewriting Systems2006
- Author(s)
  N.Nishida, T.Mizutani, M.Sakai
- Journal Title
  
  Proceedings of the 6th International Workshop on Reduction Strategies in Rewriting and Programming
  
  Pages: 34-48
- NAID
  120000975771
- Data Source
  KAKENHI-PROJECT-17700009
[Journal Article] Transformation for Refining Unraveled Conditional Term Rewriting Systems2006
- Author(s)
  Naoki, Nishida, Tomohiro, Mizutani, Masahiko, Sakai
- Journal Title
  
  Proc. of 6th International Workshop on Reduc-tion Strategies in Rewriting and Programming (WRS2006) (Refereed)
  
  Pages: 34-48
- NAID
  120000975771
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-16300005
[Journal Article] Computation Programs for Constructor Term Rewriting Systems2005
- Author(s)
  Naoki Nishida, Masahiko Sakai, Toshiki Sakabe
- Journal Title
  
  IEICE Trans. on Information and Systems(in Japanese) Vol.J88-D-I, No.8
  
  Pages: 1171-1183
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15500007
[Journal Article] 構成子項書換え系の逆計算プログラムの生成2005
- Author(s)
  西田直樹, 酒井正彦, 坂部俊樹
- Journal Title
  
  電子情報通信学会論文誌 J88-D-1・8
  
  Pages: 1171-1183
- NAID
  120000976020
- Data Source
  KAKENHI-PROJECT-15500007
[Journal Article] 分散JoinJAVAプログラムの通信エラーに対する型判定システム2005
- Author(s)
  佐伯昌樹, 坂部俊樹, 酒井正彦, 草刈圭一朗, 西田直樹
- Journal Title
  
  電子情報通信学会技術研究報告(SS2005-67) 105
  
  Pages: 25-30
- NAID
  110003488400
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-16300005
[Journal Article] Partial Inversion of Constructor Term Rewriting Systems2005
- Author(s)
  N.Nishida, M.Sakai, T.Sakabe
- Journal Title
  
  Lecture Notes in Computer Science 3467
  
  Pages: 264-278
- NAID
  120000975766
- Data Source
  KAKENHI-PROJECT-17700009
[Journal Article] Secrecy Verification by Transforming Cryptographic Pro-tocol Descripstions to Coloured Petri Nets2005
- Author(s)
  Okuya, Daisuke, Toshiki, Sakabe, Masahiko, Sakai, Keiichirou, Kusakari, Naoki, Nishida
- Journal Title
  
  IEICE Technical Report (SS2005-58) Vol.105, No.490(Non-refereed)
  
  Pages: 19-24
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-16300005
[Journal Article] 関数プログラムの再帰構造解析と強計算性に基づく十分完全性の証明法2005
- Author(s)
  櫻井敬大, 草刈圭一朗, 西田直樹, 酒井正彦, 坂部俊樹
- Journal Title
  
  情報科学技術レターズ LA-001
  
  Pages: 1-4
- Data Source
  KAKENHI-PROJECT-15500007
[Journal Article] On Completeness of Outermost Strategy for Overlapping TRSs2005
- Author(s)
  Atsushi, Iwata, Masahiko, Sakai, Naoki, Nishida, Keiichirou, Kusakari, Toshiki, Sakabe
- Journal Title
  
  IEICE Technical Report (SS2005-46) Vol.105, No.331(Non-refereed)
  
  Pages: 39-44
- NAID
  110003498383
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-16300005
[Journal Article] 重なりを持つTRSにおける最外戦略の完全性について2005
- Author(s)
  岩田篤史, 酒井正彦, 西田直樹, 草刈圭一朗, 西田直樹
- Journal Title
  
  電子情報通信学会技術報告 105・331
  
  Pages: 39-44
- NAID
  110003498383
- Data Source
  KAKENHI-PROJECT-16300005
[Journal Article] 構成子項書換え系の逆計算プログラムの生成2005
- Author(s)
  西田直樹, 酒井正彦, 坂部俊樹
- Journal Title
  
  電子情報通信学会論文誌 J88-D-I・8
  
  Pages: 1171-1183
- NAID
  120000976020
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15500007
[Journal Article] ナローイング計算の停止性証明のための依存グラフ法2005
- Author(s)
  三浦浩一, 西田直樹, 酒井正彦, 草刈圭一朗, 坂部俊樹
- Journal Title
  
  電子情報通信学会技術報告 105・129
  
  Pages: 31-36
- NAID
  10016575794
- Data Source
  KAKENHI-PROJECT-17700009
[Journal Article] Proving Sufficient Completeness of Functional Programs based on Recursive Structure Analysis and Strong Computability2005
- Author(s)
  Keita Sakurai, Keiichirou Kusakari, Naoki Nishida, Masahiko Sakai, Toshiki Sakabe
- Journal Title
  
  Information Technology Letters(in Japanese) Vol.LA-001
  
  Pages: 1-4
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15500007
[Journal Article] 関数プログラムの再帰構造解析と強計算性に基づく十分完全性の証明法2005
- Author(s)
  櫻井, 草刈, 西田, 酒井, 坂部
- Journal Title
  
  情報科学技術レターズ LA-001
  
  Pages: 1-4
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15500007
[Journal Article] Type Judgement System for Communication Error in Distributed Join JAVA Programs2005
- Author(s)
  Saeki, Masaki, Toshiki, Sakabe, Masahiko, Sakai, Keiichirou, Kusakari, Naoki, Nishida
- Journal Title
  
  IEICE Technical Report (SS2005-67) Vol.105, No.491(Non-refereed)
  
  Pages: 25-30
- NAID
  110003488400
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-16300005
[Journal Article] 重なりを持つTRSにおける最外戦略の完全性について2005
- Author(s)
  岩田篤史, 酒井正彦, 西田直樹, 草刈圭一朗, 西田直樹
- Journal Title
  
  電子情報通信学会技術報告 105・331
  
  Pages: 39-44
- NAID
  110003498383
- Data Source
  KAKENHI-PROJECT-15500007
[Journal Article] 構成子項書換え系の逆計算プログラムの生成2005
- Author(s)
  西田直樹, 酒井正彦, 坂部俊樹
- Journal Title
  
  電子情報通信学会論文誌 J88-D-I・8
  
  Pages: 1171-1183
- NAID
  120000976020
- Data Source
  KAKENHI-PROJECT-17700009
[Journal Article] 暗号プロトコル記述からカラーペトリネットへの変換による機密性検証2005
- Author(s)
  奥谷大介, 坂部俊樹, 酒井正彦, 草刈圭一朗, 西田直樹
- Journal Title
  
  電子情報通信学会技術研究報告(SS2005-58) 105
  
  Pages: 19-24
- NAID
  110003488391
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-16300005
[Journal Article] 分散JoinJAVAプログラムの通信エラーに対する型判定システム2005
- Author(s)
  佐伯昌樹, 坂部俊樹, 酒井正彦, 草刈圭一朗, 西田直樹
- Journal Title
  
  電子情報通信学会技術研究報告SS2005-67 105・491
  
  Pages: 25-30
- NAID
  110003488400
- Data Source
  KAKENHI-PROJECT-16300005
[Journal Article] 暗号プロトコル記述からカラーペトリネットへの変換による機密性検証2005
- Author(s)
  奥谷大介, 坂部俊樹, 酒井正彦, 草刈圭一朗, 西田直樹
- Journal Title
  
  電子情報通信学会技術研究報告SS2005-58 105・490
  
  Pages: 19-24
- NAID
  110003488391
- Data Source
  KAKENHI-PROJECT-16300005
[Journal Article] Partial Inversion of Constructor Term Rewriting Systems2005
- Author(s)
  Naoki Nishida, Masahiko Sakai, Toshiki Sakabe
- Journal Title
  
  Proc.of RTA'05, LNCS 3467
  
  Pages: 264-278
- NAID
  120000975766
- Data Source
  KAKENHI-PROJECT-16300005
[Journal Article] 重なりを持つTRSにおける最外戦略の完全性について2005
- Author(s)
  岩田篤史, 酒井正彦, 西田直樹, 草刈圭一朗, 坂部俊樹
- Journal Title
  
  電子情報通信学会技術報告(SS2005-46) 105
  
  Pages: 39-44
- NAID
  110003498383
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-16300005
[Journal Article] On Simulation-Completeness of Unraveling for Conditional Term Rewriting Systems2004
- Author(s)
  N.Nishida, M.Sakai, T.Sakabe
- Journal Title
  
  電子情報通信学会技術報告 SS2004-18
  
  Pages: 25-30
- NAID
  110003276724
- Data Source
  KAKENHI-PROJECT-15500007
[Journal Article] 右辺のみに現れる変数を持つ線形構成子項書換え系の計算の効率化2004
- Author(s)
  西田直樹, 酒井正彦, 坂部俊樹
- Journal Title
  
  コンピュータソフトウェア 21・3
  
  Pages: 40-47
- NAID
  110003743167
- Data Source
  KAKENHI-PROJECT-15500007
[Journal Article] 右辺のみに現れる変数を持つ線形構成子項書換え系の計算の効率化2004
- Author(s)
  西田直樹, 酒井正彦, 坂部俊樹
- Journal Title
  
  コンピュータソフトウェア 21・3
  
  Pages: 40-47
- NAID
  110003743167
- Data Source
  KAKENHI-PROJECT-16300005
[Journal Article] A Computation Model of Term Rewriting Systems with Extra Variables2003
- Author(s)
  Naoki Nishida, Masahiko Sakai, Toshiki Sakabe
- Journal Title
  
  Computer Software (in Japanese) Vol.20, No.5
  
  Pages: 85-89
- NAID
  130004548996
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15500007
[Journal Article] 右辺のみに現れる変数を持つ項書換え系の計算モデル2003
- Author(s)
  西田直樹, 酒井正彦, 坂部俊樹
- Journal Title
  
  コンピュータソフトウェア 20・5
  
  Pages: 85-89
- NAID
  130004548996
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15500007
[Presentation] ビットベクトル制約付き項書換え系の停止性証明のための多項式解釈プロセッサについて2023
- Author(s)
  松見歩佳，西田直樹，小嶋美咲，申東訓
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会
- Data Source
  KAKENHI-PROJECT-18K11160
[Presentation] From Starvation Freedom to All-Path Reachability Problems in Constrained Rewriting2023
- Author(s)
  Misaki Kojima and Naoki Nishida
- Organizer
  the 25th International Symposium on Practical Aspects of Declarative Languages
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K11160
[Presentation] On Transforming Imperative Programs into LCTRSs via Injective Functions from Configurations to Terms2022
- Author(s)
  Naoki Nishida
- Organizer
  the 57th TRS meeting
- Data Source
  KAKENHI-PROJECT-18K11160
[Presentation] On Transforming Imperative Programs into Logically Constrained Term Rewrite Systems via Injective Functions from Configurations to Terms2022
- Author(s)
  Naoki Nishida, Misaki Kojima, and Takumi Kato
- Organizer
  the 9th International Workshop on Rewriting Techniques for Program Transformations and Evaluation
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K11160
[Presentation] On Reducing Non-Occurrence of Specified Runtime Errors to All-Path Reachability Problems of Constrained Rewriting2022
- Author(s)
  Misaki Kojima and Naoki Nishida
- Organizer
  the 9th International Workshop on Rewriting Techniques for Program Transformations and Evaluation
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K11160
[Presentation] On Transforming Cut- and Quantifier-Free Cyclic Proofs into Rewriting-Induction Proofs2022
- Author(s)
  Shujun Zhang and Naoki Nishida
- Organizer
  the 16th International Symposium on Functional and Logic Programming
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K11160
[Presentation] On Transforming Rewriting-Induction Proofs for Logical-Connective-Free Sequents into Cyclic Proofs2022
- Author(s)
  Shujun Zhang and Naoki Nishida
- Organizer
  the 9th International Workshop on Rewriting Techniques for Program Transformations and Evaluation
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K11160
[Presentation] LLVM中間表現の意味論規則を表現する制約付き書換え規則について2022
- Author(s)
  加藤拓洋，西田直樹，酒井正彦
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会
- Data Source
  KAKENHI-PROJECT-18K11160
[Presentation] 制約付き書換え帰納法におけるラグランジュ補間を用いた補題生成2021
- Author(s)
  比嘉慎哉，西田直樹，酒井正彦
- Organizer
  日本ソフトウェア科学会第38回大会
- Data Source
  KAKENHI-PROJECT-18K11160
[Presentation] Transformation of Concurrent Programs with Semaphores into LCTRSs2021
- Author(s)
  Naoki Nishida
- Organizer
  the 54th TRS meeting
- Data Source
  KAKENHI-PROJECT-18K11160
[Presentation] On Transforming Cut-free Cyclic Proofs into Rewriting Induction Proofs2021
- Author(s)
  Shujun Zhang and Naoki Nishida
- Organizer
  5th Workshop on "Women in Logic" (WiL 2021)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K11160
[Presentation] On Transforming Inductive Definition Sets into Term Rewrite Systems2021
- Author(s)
  Shujun Zhang and Naoki Nishida
- Organizer
  8th International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2021)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K11160
[Presentation] 計数セマフォを含むプログラムから論理制約付き項書換え系への変換2021
- Author(s)
  小嶋美咲, 西田直樹, 酒井正彦
- Organizer
  情報処理学会第83回全国大会
- Data Source
  KAKENHI-PROJECT-18K11160
[Presentation] Transforming Concurrent Programs with Semaphores into Logically Constrained Term Rewrite Systems2020
- Author(s)
  Misaki Kojima, Naoki Nishida, and Yutaka Matsubara
- Organizer
  the 7th International Workshop on Rewriting Techniques for Program Transformations and Evaluation
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K11160
[Presentation] 排他制御を含むプログラムから論理制約付き項書換え系への変換2020
- Author(s)
  小嶋美咲，西田直樹，松原豊，酒井正彦
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会
- Data Source
  KAKENHI-PROJECT-18K11160
[Presentation] On Formalizing a Transformation of IMP Programs into Logically Constrained Term Rewriting Systems in Isabelle/HOL2019
- Author(s)
  Ryota Nakayama and Naoki Nishida
- Organizer
  6th International Workshop on Rewriting Techniques for Program Transformations and Evaluation
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K11160
[Presentation] 存在限量子付き等式を証明するための書換え帰納法の拡張2019
- Author(s)
  西江一志，西田直樹，酒井正彦
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会
- Data Source
  KAKENHI-PROJECT-18K11160
[Presentation] Proving Program Equivalence with Constrained Rewriting Induction and Ctrl2019
- Author(s)
  Carsten Fuhs, Cynthia Kop, and Naoki Nishida
- Organizer
  3rd Workshop on Program Equivalence and Relational Reasoning
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K11160
[Presentation] 論理制約付き書換えにおける構造体および共用体の表現について2019
- Author(s)
  金澤慶明，西田直樹，酒井正彦
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会
- Data Source
  KAKENHI-PROJECT-18K11160
[Presentation] Logically Constrained Rewriting over Bit Vectors2019
- Author(s)
  Naoki Nishida
- Organizer
  Dagstuhl Seminar 19371: Deduction Beyond Satisfiability
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K11160
[Presentation] 書換え解析ツールを利用した漸近的計算量解析のためのC言語プログラムの簡易化について2018
- Author(s)
  西江一志，西田直樹，酒井正彦
- Organizer
  平成30年度電気・電子・情報関係学会東海支部連合大会
- Data Source
  KAKENHI-PROJECT-18K11160
[Presentation] Loop Detection by Logically Constrained Term Rewriting2018
- Author(s)
  Naoki Nishida and Sarah Winkler
- Organizer
  the 10th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 2018)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K11160
[Presentation] On Transforming Functions Accessing Global Variables into Logically Constrained Term Rewriting Systems2018
- Author(s)
  Yoshiaki Kanazawa and Naoki Nishida
- Organizer
  the 5th International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2018)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K11160
[Presentation] カリー化を組み込んだ高階辞書式経路順序の設計2013
- Author(s)
  松原穂波, 草刈圭一朗, 酒井正彦, 坂部俊樹, 西田直樹
- Organizer
  平成25年度電気関係学会東海支部連合大会講演論文集
- Place of Presentation
  静岡大学浜松キャンパス
- Data Source
  KAKENHI-PROJECT-24500012
[Presentation] 単純型付き項書換え系における帰納的定理自動証明の局所戦略について2013
- Author(s)
  神谷尚史, 草刈圭一朗, 酒井正彦, 坂部俊樹, 西田直樹
- Organizer
  平成25年度電気関係学会東海支部連合大会
- Place of Presentation
  静岡大学浜松キャンパス
- Data Source
  KAKENHI-PROJECT-24500012
[Presentation] 手続き型プログラムから書換え系への変換における停止性をより保存するためのループ不変式の利用2013
- Author(s)
  片岡巧, 西田直樹, 酒井正彦, 坂部俊樹, 草刈圭一朗
- Organizer
  平成25年度電気関係学会東海支部連合大会
- Place of Presentation
  静岡大学浜松キャンパス
- Data Source
  KAKENHI-PROJECT-24500012
[Presentation] 単純型付き項書換え系における書換え帰納法について2012
- Author(s)
  尾関朗,草刈圭一朗,坂田翼,西田直樹,酒井正彦,坂部俊樹
- Organizer
  Tech. Rep. of IEICE(SS2011-48)
- Place of Presentation
  高知
- Data Source
  KAKENHI-PROJECT-20500008
[Presentation] 単純型付き項書換え系の停止性証明におけるカリー化の利用2012
- Author(s)
  倉田佳佑, 草刈圭一朗, 酒井正彦, 坂部俊樹, 西田直樹
- Organizer
  平成24年度電気関係学会東海支部連合大会
- Place of Presentation
  豊橋技術科学大学
- Data Source
  KAKENHI-PROJECT-24500012
[Presentation] Extending Matching Operation in Grammar Program for Program Inversion2012
- Author(s)
  Minami Niwa, Naoki Nishida, and Masahiko Sakai
- Organizer
  the 22nd International Symposium on Logic-Based Program Synthesis and Transformation
- Place of Presentation
  ルーベン(ベルギー)
- Year and Date
  2012-09-20
- Data Source
  KAKENHI-PROJECT-21700011
[Presentation] Computing More Specific Versions of Conditional Rewriting Systems2012
- Author(s)
  Naoki Nishida and German Vidal
- Organizer
  the 22nd International Symposium on Logic-Based Program Synthesis and Transformation
- Place of Presentation
  ルーベン(ベルギー)
- Year and Date
  2012-09-20
- Data Source
  KAKENHI-PROJECT-21700011
[Presentation] More Specific Term Rewriting Systems2012
- Author(s)
  Naoki Nishida and German Vidal
- Organizer
  the 21st International Workshop on Functional and (Constraint) Logic Programming
- Place of Presentation
  名古屋
- Year and Date
  2012-05-29
- Data Source
  KAKENHI-PROJECT-21700011
[Presentation] 高階書換え系における引数切り落とし関数の下での実効規則について2012
- Author(s)
  大井一展,草刈圭一朗,酒井正彦,坂部俊樹,西田直樹
- Organizer
  Tech. Rep. of IEICE(SS2011-49)
- Place of Presentation
  高知
- Data Source
  KAKENHI-PROJECT-20500008
[Presentation] 単純型付き項書換え系における書換え帰納法について2012
- Author(s)
  尾関朗, 草刈圭一朗, 坂田翼, 西田直樹, 酒井正彦, 坂部俊樹
- Organizer
  電気情報通信学会
- Place of Presentation
  高知
- Data Source
  KAKENHI-PROJECT-20500008
[Presentation] 高階書換え系における引数切り落とし関数の下での実効規則について2012
- Author(s)
  大井一展, 草刈圭一朗, 酒井正彦, 坂部俊樹,西田直樹
- Organizer
  電気情報通信学会
- Place of Presentation
  高知
- Data Source
  KAKENHI-PROJECT-20500008
[Presentation] Program Inversion for Tail Recursive Functions2011
- Author(s)
  Naoki Nishida and German Vidal
- Organizer
  the 22nd International Conference on Rewriting Techniques and Applications
- Place of Presentation
  ノビサド(セルビア)
- Year and Date
  2011-05-31
- Data Source
  KAKENHI-PROJECT-21700011
[Presentation] Soundness of Unravelings for Deterministic Conditional Term Rewriting Systems via Ultra-Properties Related to Linearity2011
- Author(s)
  Naoki Nishida, Masahiko Sakai, Toshiki Sakabe
- Organizer
  the 22nd International Conference on Rewriting Techniques and Applications (RTA 2011)
- Place of Presentation
  ノビサド大学(セルビア)
- Year and Date
  2011-06-01
- Data Source
  KAKENHI-PROJECT-21700011
[Presentation] 多重文脈書換え帰納法における反証と補題追加2011
- Author(s)
  坂田翼,西田直樹,酒井正彦,草刈圭一朗,坂部俊樹
- Organizer
  日本ソフトウェア科学会第28回大会
- Place of Presentation
  那覇
- Data Source
  KAKENHI-PROJECT-20500008
[Presentation] Program Inversion for Tail Recursive Functions2011
- Author(s)
  Naoki Nishida, German Vidal
- Organizer
  the 22nd International Conference on Rewriting Techniques and Applications (RTA 2011)
- Place of Presentation
  ノビサド大学(セルビア)
- Year and Date
  2011-05-31
- Data Source
  KAKENHI-PROJECT-21700011
[Presentation] 制約付き項書換え系における木準同型写像を用いた関数等価性検証2011
- Author(s)
  高桑一也,西田直樹,酒井正彦,坂部俊樹,草刈圭一朗
- Organizer
  日本ソフトウェア科学会第28回大会
- Place of Presentation
  那覇
- Data Source
  KAKENHI-PROJECT-20500008
[Presentation] 制約付き木オートマトンとその閉包性2011
- Author(s)
  倉橋克尚, 酒井正彦, 西田直樹, 野村太志, 坂部俊樹, 草刈圭一朗
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会
- Place of Presentation
  那覇市
- Year and Date
  2011-03-07
- Data Source
  KAKENHI-PROJECT-20500008
[Presentation] Soundness of Unravelings for Deterministic Conditional Term Rewriting Systems via Ultra-Properties Related to Linearity2011
- Author(s)
  Naoki Nishida, Masahiko Sakai, and Toshiki Sakabe
- Organizer
  the 22nd International Conference on Rewriting Techniques and Applicationthe 22nd International Conference on Rewriting Techniques and Applicationthe 22nd International Conference on Rewriting Techniques and Applicationthe 22nd International Conference on Rewriting Techniques and Applicationthe 22nd International Conference on Rewriting Techniques and Applicationthe 22nd International Conference on Rewriting Techniques and Applicationthe 22nd International Conference on Rewriting Techniques and Applicationthe 22nd International Conference on Rewriting Techniques and Applicationthe 22nd International Conference on Rewriting Techniques and Applications
- Place of Presentation
  ノビサド(セルビア)
- Year and Date
  2011-06-01
- Data Source
  KAKENHI-PROJECT-21700011
[Presentation] 多重文脈書換え帰納法における反証と補題追加2011
- Author(s)
  坂田翼, 西田直樹, 酒井正彦, 草刈圭一朗, 坂部俊樹
- Organizer
  日本ソフトウェア科学会
- Place of Presentation
  那覇
- Data Source
  KAKENHI-PROJECT-20500008
[Presentation] 制約付き木オートマトンとその閉包性2011
- Author(s)
  倉橋克尚,酒井正彦,西田直樹,野村太志,坂部俊樹,草刈圭一朗
- Organizer
  Tech. Rep. of IEICE(SS2010-63)
- Place of Presentation
  那覇
- Data Source
  KAKENHI-PROJECT-20500008
[Presentation] On Soundness of CTRS Transformations2011
- Author(s)
  Naoki Nishida
- Organizer
  the 35th TRS meeting
- Place of Presentation
  名古屋大学(名古屋)
- Year and Date
  2011-09-13
- Data Source
  KAKENHI-PROJECT-21700011
[Presentation] 制約付き項書換え系における木準同型写像を用いた関数等価性検証2011
- Author(s)
  高桑一也, 西田直樹, 酒井正彦, 坂部俊樹, 草刈圭一朗
- Organizer
  日本ソフトウェア科学会
- Place of Presentation
  那覇
- Data Source
  KAKENHI-PROJECT-20500008
[Presentation] 例外処理を持つ関数型プログラムの停止性証明法2010
- Author(s)
  馬場正貴、酒井正彦、濱口毅、西田直樹、坂部俊樹、草刈圭一朗
- Organizer
  第12回プログラミングおよびプログラミング言語ワークショップPPL2010
- Place of Presentation
  ポスター・デモ発表、琴平市
- Year and Date
  2010-03-03
- Data Source
  KAKENHI-PROJECT-18500011
[Presentation] 等式理論を法とするDPLL遷移系について2010
- Author(s)
  馬場達也,坂部俊樹,西田直樹,草刈圭一朗,酒井正彦
- Organizer
  Tech. Rep. of IEICE(SS2010-36)
- Place of Presentation
  滝沢村(岩手県)
- Data Source
  KAKENHI-PROJECT-20500008
[Presentation] 例外処理を持つ関数型プログラムの停止性証明法2010
- Author(s)
  馬場正貴, 酒井正彦, 濱口毅, 西田直樹, 坂部俊樹, 草刈圭一朗
- Organizer
  第12回プログラミングおよびプログラミング言語ワークショップPPL2010
- Place of Presentation
  琴平
- Data Source
  KAKENHI-PROJECT-20500008
[Presentation] 例外処理を持つ関数型プログラムの停止性証明法2010
- Author(s)
  馬場正貴,酒井正彦,濱口毅,西田直樹,坂部俊樹,草刈圭一朗
- Organizer
  第12回プログラミングおよびプログラミング言語ワークショップ
- Place of Presentation
  琴平
- Data Source
  KAKENHI-PROJECT-20500008
[Presentation] 等式理論を法とするDPLL遷移系について2010
- Author(s)
  馬場達也, 坂部俊樹, 西田直樹, 草刈圭一朗, 酒井正彦
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会
- Place of Presentation
  岩手県
- Year and Date
  2010-10-15
- Data Source
  KAKENHI-PROJECT-20500008
[Presentation] 順方向ナローイングに基づく右線形右シャロー項書換え系の非停止性証明について2010
- Author(s)
  服部達哉,酒井正彦,西田直樹,草刈圭一朗,坂部俊樹
- Organizer
  Tech. Rep. of IEICE(SS2010-44)
- Place of Presentation
  渋川
- Data Source
  KAKENHI-PROJECT-20500008
[Presentation] 順方向ナローイングに基づく右線形右シャロー項書換え系の非停止性証明について2010
- Author(s)
  服部達哉, 酒井正彦, 西田直樹, 草刈圭一朗, 坂部俊樹
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会
- Place of Presentation
  渋川市
- Year and Date
  2010-12-14
- Data Source
  KAKENHI-PROJECT-20500008
[Presentation] Proving Injectivity of Functions via Program Inversion in Term Rewriting2010
- Author(s)
  Naoki Nishida and Masahiko Sakai
- Organizer
  the 10th International Symposium on Functional and Logic Programming
- Place of Presentation
  仙台
- Year and Date
  2010-04-21
- Data Source
  KAKENHI-PROJECT-21700011
[Presentation] 例外処理を持つ関数型プログラムの停止性証明法2010
- Author(s)
  馬場正貴、酒井正彦、濱口毅、西田直樹、坂部俊樹、草刈圭一朗
- Organizer
  第12回プログラミングおよびプログラミング言語ワークショップPPL2010、ポスター・デモ発表
- Place of Presentation
  琴平市
- Year and Date
  2010-03-03
- Data Source
  KAKENHI-PROJECT-18500011
[Presentation] Proving Injectivity of Functions via Program Inversion in Term Rewriting2010
- Author(s)
  Naoki Nishida, Masahiko Sakai
- Organizer
  the 10th International Symposium on Functional and Logic Programming
- Place of Presentation
  東北大学(宮城県)
- Year and Date
  2010-04-20
- Data Source
  KAKENHI-PROJECT-21700011
[Presentation] 高階書換え系における引数切り落とし方と実効規則2009
- Author(s)
  鈴木翔、草刈圭一朗、坂部俊樹、酒井正彦、西田直樹
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会
- Place of Presentation
  香川市
- Year and Date
  2009-12-17
- Data Source
  KAKENHI-PROJECT-18500011
[Presentation] 高階書換え系における引数切り落とし法と実効規則2009
- Author(s)
  鈴木翔, 草刈圭一朗, 坂部俊樹, 酒井正彦, 西田直樹
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会
- Place of Presentation
  高松
- Data Source
  KAKENHI-PROJECT-20500008
[Presentation] Improving the Termination Analysis of Narrowing in Left-Linear Constructor Systems2009
- Author(s)
  Jose Iborra, Naoki Nishida, German Vidal
- Organizer
  19th International Symposium on Logic-Based Program Synthesis and Transformation(査読有)
- Place of Presentation
  コインブラ(ポルトガル)
- Year and Date
  2009-09-10
- Data Source
  KAKENHI-PROJECT-18500011
[Presentation] 制約付き等式の定理自動証明器の試作2009
- Author(s)
  西田直樹, 中林直生, 酒井正彦, 草刈圭一朗, 坂部俊樹
- Organizer
  日本ソフトウェア科学会第26回大会
- Place of Presentation
  松江
- Year and Date
  2009-09-17
- Data Source
  KAKENHI-PROJECT-21700011
[Presentation] Context-Sensitive Innermost Reduction of Linear Right-Shallow Term Rewriting Systems Effectively Preserves Regularity2009
- Author(s)
  KOJIMA Yoshiharu, SAKAI Masahiko, NISHIDA Naoki, KUSAKARI Keiichirou, SAKABE Toshiki
- Organizer
  LA-Symposium 2009(Summer)
- Place of Presentation
  東松島
- Data Source
  KAKENHI-PROJECT-20500008
[Presentation] 高階書換え系における引数切り落とし法と実効規則2009
- Author(s)
  鈴木翔,草刈圭一朗,坂部俊樹,酒井正彦,西田直樹
- Organizer
  Tech. Rep. of IEICE(SS2009-39)
- Place of Presentation
  高松
- Data Source
  KAKENHI-PROJECT-20500008
[Presentation] Context-Sensitive Innermost Reduction of Linear Right-Shallow Term Rewriting Systems Effectively Preserves Regularity2009
- Author(s)
  Yoshiharu Kojima, Masahiko Sakai, Naoki Nishida, Toshiki Sakabe, Keiichirou Kusakari
- Organizer
  夏のLAシンポジュウム
- Place of Presentation
  東松島市
- Year and Date
  2009-07-23
- Data Source
  KAKENHI-PROJECT-18500011
[Presentation] 右線形右シャローな項書換え系における文脈依存停止性の決定可能性について2009
- Author(s)
  御宿義勝,酒井正彦,坂部俊樹,草刈圭一朗,西田直樹
- Organizer
  Tech. Rep. of IEICE(SS2009-40)
- Place of Presentation
  高松
- Data Source
  KAKENHI-PROJECT-20500008
[Presentation] 右線形右シャローな項書換え系における文脈依存停止性の決定可能性について2009
- Author(s)
  御宿義勝、酒井正彦、坂部俊樹、草刈圭一朗、西田直樹
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会
- Place of Presentation
  香川市
- Year and Date
  2009-12-17
- Data Source
  KAKENHI-PROJECT-18500011
[Presentation] Improving the Termination Analysis of Narrowing in Left-Linear Constructor Systems2009
- Author(s)
  Jose Iborra, Naoki Nishida, German Vidal
- Organizer
  19th International Symposium on Logic-Based Program Synthesis and Transformation
- Place of Presentation
  Coimbra(有)
- Year and Date
  2009-09-10
- Data Source
  KAKENHI-PROJECT-18500011
[Presentation] 右線形右シャローな項書換え系における文脈依存停止性の決定可能性について2009
- Author(s)
  御宿義勝, 酒井正彦, 坂部俊樹, 草刈圭一朗, 西田直樹
- Organizer
  電子悟報通信学会ソフトウェアサイエンス研究会
- Place of Presentation
  高松
- Data Source
  KAKENHI-PROJECT-20500008
[Presentation] プレスブルガー文付き項書換え系における書換え帰納法について2008
- Author(s)
  坂田翼, 西田直樹, 酒井正彦、草刈圭一朗, 坂部俊樹
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会
- Place of Presentation
  宮崎市
- Year and Date
  2008-05-29
- Data Source
  KAKENHI-PROJECT-18500011
[Presentation] 制約付き項書換え系の定理自動証明における等式の方向付けのための簡約化順序2008
- Author(s)
  西田直樹, 坂田翼, 酒井正彦, 草刈圭一朗, 坂部俊樹
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会
- Place of Presentation
  函館市
- Year and Date
  2008-07-31
- Data Source
  KAKENHI-PROJECT-18500011
[Presentation] 制約付き項書換え系の定理自動証明における等式の方向付けのための簡約化順序2008
- Author(s)
  西田直樹, 坂田翼, 酒井正彦, 草刈圭一朗, 坂部俊樹
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会
- Place of Presentation
  松江市
- Year and Date
  2008-09-17
- Data Source
  KAKENHI-PROJECT-18500011
[Presentation] 等式を規則化する変換の停止条件2008
- Author(s)
  水野清貴, 西田直樹, 坂部俊樹、酒井正彦, 草刈圭一朗
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会
- Place of Presentation
  長崎市
- Year and Date
  2008-03-03
- Data Source
  KAKENHI-PROJECT-18500011
[Presentation] 振舞等価性の証明のための等式付き書換えに基づく潜在帰納法2008
- Author(s)
  笹田悠司、酒井正彦、西田直樹、坂部俊樹、草刈圭一朗
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会
- Place of Presentation
  札幌市
- Year and Date
  2008-08-02
- Data Source
  KAKENHI-PROJECT-18500011
[Presentation] Decidability of Termination Properties for Term Rewriting Systems consisting of Shallow Dependency Pairs2008
- Author(s)
  Keita Uchiyama, Masahiko Sakai, Toshiki Sakabe, Keiichirou kusakari, Naoki Nishida
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会
- Place of Presentation
  高知市
- Year and Date
  2008-12-19
- Data Source
  KAKENHI-PROJECT-18500011
[Presentation] Static Dependency Pair Method for Proving Termination of Higher-Order Rewriting Systems2007
- Author(s)
  Kiichirou Kusakari, Yasuo Isogai, Masahiko Sakai, Toshiki Sakabe, Naoki Nishida
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会
- Place of Presentation
  能美市
- Year and Date
  2007-06-22
- Data Source
  KAKENHI-PROJECT-18500011
[Presentation] 二階の書換え系における引数切り落とし法2007
- Author(s)
  磯谷泰巨、草刈圭一朗、酒井正彦、坂部俊樹、西田直樹
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会
- Place of Presentation
  能美市
- Year and Date
  2007-06-22
- Data Source
  KAKENHI-PROJECT-18500011
[Presentation] Convergent Term Rewriting Systems for Inverse Computation of Injective Functions2007
- Author(s)
  Naoki Nishida, Masahiko Sakai, Terutoshi Kato
- Organizer
  9th International Workshop on Termination
- Place of Presentation
  Paris
- Year and Date
  2007-06-29
- Data Source
  KAKENHI-PROJECT-18500011
[Presentation] 左線形は定向条件付き項書換え系における到達可能な項集合の近似集合を認識する木オートマトン2007
- Author(s)
  村田俊樹、西田直樹、酒井正彦、坂部俊樹、草刈圭一朗
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会
- Place of Presentation
  札幌市
- Year and Date
  2007-08-02
- Data Source
  KAKENHI-PROJECT-18500011
[Presentation] Convergent Term Rewriting Systems for Inverse Computation of Injective Functions2007
- Author(s)
  Naoki Nishida
- Organizer
  the 9th International Workshop on Termination
- Place of Presentation
  Paris
- Year and Date
  2007-06-29
- Data Source
  KAKENHI-PROJECT-17700009
[Presentation] 導出木からのループ検出による論理プログラムの非停止性証明法2007
- Author(s)
  水谷知博、西田直樹、酒井正彦、坂部俊樹、草刈圭一朗
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会
- Place of Presentation
  黒川郡
- Year and Date
  2007-10-22
- Data Source
  KAKENHI-PROJECT-18500011
[Presentation] Convergent Term Rewriting Systems for Inverse Computation of Injective Functions2007
- Author(s)
  Naoki Nishida, Masahiko Sakai, Terutoshi Kato
- Organizer
  9th International Workshop on Termination(査読有)
- Place of Presentation
  パリ
- Year and Date
  2007-06-29
- Data Source
  KAKENHI-PROJECT-18500011
[Presentation] 単純型項書換え系における定理自動証明系HOPSYS2006
- Author(s)
  蒲田明憲, 草刈圭一朗, 西田直樹, 酒井正彦, 坂部俊樹
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会
- Place of Presentation
  福岡市
- Year and Date
  2006-12-14
- Data Source
  KAKENHI-PROJECT-18500011
[Presentation] 等式付き書換え系の等式数を削減する変換2006
- Author(s)
  三浦浩一, 西田直樹, 酒井正彦, 坂部俊樹, 草刈圭一朗
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会
- Place of Presentation
  岡山市
- Year and Date
  2006-06-22
- Data Source
  KAKENHI-PROJECT-18500011
[Presentation] Computing More Specific Versions of Conditional Rewriting Systems
- Author(s)
  Naoki Nishida and German Vidal
- Organizer
  the 22nd International Symposium on Logic-Based Program Synthesis and Transformation
- Place of Presentation
  Leuven, Belgium
- Data Source
  KAKENHI-PROJECT-21700011
[Presentation] More Specific Term Rewriting Systems
- Author(s)
  Naoki Nishida and German Vidal
- Organizer
  the 21st International Workshop on Functional and (Constraint) Logic Programming
- Place of Presentation
  Nagoya, Japan
- Data Source
  KAKENHI-PROJECT-21700011
[Presentation] Extending Matching Operation in Grammar Program for Program Inversion
- Author(s)
  Minami Niwa, Naoki Nishida, and Masahiko Sakai
- Organizer
  the 22nd International Symposium on Logic-Based Program Synthesis and Transformation
- Place of Presentation
  Leuven, Belgium
- Data Source
  KAKENHI-PROJECT-21700011

1. SAKAI Masahiko (50215597)

# of Collaborated Projects: 5 results

# of Collaborated Products: 118 results
2. SAKABE Toshiki (60111829)

# of Collaborated Projects: 5 results

# of Collaborated Products: 106 results
3. KUSAKARI Keiichirou (90323112)

# of Collaborated Projects: 5 results

# of Collaborated Products: 99 results
4. KASUYA Hideto (10295579)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
5. 中澤巧爾 (80362581)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
6. YUEN SHOJI (70230612)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
7. 関浩之 (80196948)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
8. 松原豊 (30547500)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

NISHIDA Naoki 西田 直樹

西田 直樹 ニシダ ナオキ

Research Projects

Research Products

Co-Researchers

Development of Program Verification Techniques Based on Coinduction on Logically Constrained RewritingPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Development of Verification Techniques for Equivalence of Programs via Rewriting InductionPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

A reversible debugging model for real-time concurrent programs

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

On Proving Termination of Functional Programs by Static Recursion Analysis

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Study of Program Inversion for Functional Programs Defining Injective FunctionsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

On Proving Termination of Higher-Order Functional Programs

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Study on Rewriting Theory for Analysis, Verification and Efficient Execution of Functional Programs

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

関数型プログラムの逆計算プログラム生成に関する研究Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Type Inference of Object-Oriented Programs with Exceptions Based on Term Rewriting

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Study on Rewriting Theory for Analysis, Verification and Efficient Execution of Functional Programs

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] Transforming orthogonal inductive definition sets into confluent term rewrite systems2022

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Reversible CSP Computations2021

Author(s)

Journal Title

DOI

Data Source

[Journal Article] ReverCSP: Time-Travelling in CSP Computations2020

Author(s)

Journal Title

DOI

ISBN

NISHIDA Naoki 西田直樹

西田直樹ニシダナオキ