• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

SAKABE Toshiki  坂部 俊樹

ORCIDConnect your ORCID iD *help
Researcher Number 60111829
Other IDs
External Links
Affiliation (based on the past Project Information) *help 2012 – 2016: 名古屋大学, 情報科学研究科, 教授
2007 – 2012: Nagoya University, School of Information Science, Professor
2010: Nagoya University, 情報科学研究科, 教授
2006: 名古屋大学, 大学院情報科学研究科, 教授
2003 – 2005: 名古屋大学, 大学院・情報科学研究科, 教授 … More
2002: 名古屋大学, 大学院・工学系研究科, 教授
2002: Grad.School of Engineering, Nagoya Univ., Prof., 工学研究科, 教授
1996 – 2001: Nagoya University, Graduate School of Engineering, Professor, 大学院・工学研究科, 教授
1999: 名古屋大学, 大学院工学研究科, 教授
1997: Dept.of Engineering Nagoya Univ., Professor, 工学研究科, 教授
1995 – 1997: 名古屋大学, 工学部, 教授
1993: 名古屋大学, 工学部, 教授
1987 – 1992: 名古屋大学, 工学部, 助教授
1986: Faculty of Engineering, Mie University, 工学部, 助教授 Less
Review Section/Research Field
Principal Investigator
Software / Informatics
Except Principal Investigator
計算機科学 / Fundamental theory of informatics / 計算機工学 / Informatics / 情報システム学(含情報図書館学) / Intelligent informatics
Keywords
Principal Investigator
CCS / 項書換え系 / concurrent process / 並行プロセス / tree pattern matching / algebraic specification / equational logic / nonterminating process / 代数的仕様 / 木パタ-ンマッチング … More / 代数的仕様記述 / 等式論理 / 非停止プロセス / Term Rewriting System / Type Inference / Secrecy / Exception Handling / Object-Oriented Program / 逆計算 / 通信エラー / 型推論 / 機密性 / 例外処理 / オブジェクト指向計算 / dynamic term rewriting calculas / term rewriting system / narrowing / broadcast / Functional computation model / concurrent computation / 同期通信 / 論理型計算モデル / 動的項書換 / 動的項書換計算 / 並行プセス / ナロ-イング / ブロ-ドキャスト / 関数型計算モデル / 並行計算 / 車載LANプロトコル / モデル検査 / ホオートマトン / SMTソルバー / 木オートマトン / 項書き換え系 / 非干渉性 / 安全性 / 仕様検証 / 仕様記述 / 論理式変換系 / 被覆集合 / 限量子付き等式仕様 / 構造帰納法 / 書換え型計算モデル / メタ等式論理 / メタプログラミング / 高階論理 / 計算論的学習理論 / 自然言語処理 / 演繹デ-タベ-ス / 仮説推論 / 帰納推論 / 自己認識論理 / 相様論理 … More
Except Principal Investigator
項書換え系 / 関数型言語 / term rewriting system / 検証 / functional language / CCS / 停止性証明 / 停止性 / プログラミング環境 / 代数的仕様 / KJ法 / CSP / normalizing strategy / 正規化戦略 / 時相論理 / verification / rewriting computation / 被覆集合帰納法 / 帰納的定理 / 並行計算 / 書換え計算 / Algebraic Specification Method / 代数的仕様記述法 / ソフトウェアプロセス / 再帰定義 / 関数プログラム / 潜在帰納法 / 視覚化 / 充足可能性問題 / 談話理解 / メタ知識 / 決定手続き / 属性継承 / 自己認識論理 / 非単調論理 / 仕様直接実行 / 形式的仕様 / 仕様デ-タベ-ス / Prototyping / Term rewriting system / Direct implementation / Type constructor / Data type / Algebraic specification / Software / 段階的詳細化 / プロトタイピング / 直接実現 / 型構成子 / データ型 / 代数的仕様記述 / ソフトウェア / Temporal Logic / Verification of Specification / Concurrent System / Parallel Computation System / シストリックアルゴリズム / 通信プロトコルの仕様記述 / 仕様の検証 / 並列計算システム / outer-most strategy / implicit induction / termination proof / 最外戦略 / linear logic / functional logic programming / temporal logic / reactive system / sound parallelization / evolutionary programming mechanism / 適応的発展機構 / 発展的計算モデル / 検証情報 / 検証系 / 実時間論理 / 書換え型メタ計算モデル / 論理・関数型プログラミング / ソフトウェア仕様記述 / 発展的ソフトウェア / 線形論理 / 項書き換え系 / 関数論理型プログラミング / リアクティブシステム / 健全並列化 / 発展的プログラミング機構 / cover set induction / inductive theory / algebraic specification / concurrent computation / meta computation / メタ計算 / Debuggin Procedure / Programming Environment / Formal Semantics / Communicating Processes / Concurrency / メタ計算モデル / 実時間システム / 並行システム / ネットワーク / デバッグ / 形式意味論 / 通信プロセスモデル / 並行プログラミング / formal model / agent / network environment / network protocol / software process / hypergeometric distribution model / LOTOS specification / requirement acquistion / 実時間並行プロセスモデル / 進捗モデル / ソフトウェア文書 / 形式モデル / エージェント / ネットワーク環境 / LOTOS仕様 / 超幾何分布モデル / ソフトウェア信頼性モデル / 要求獲得 / algebraic programming / computational model / programming environment / visual support environment / process algebra / 実時間並行計算 / プログラム変換 / 代数的プログラミング / 計算モデル / 視覚的支援 / プロセス代数 / 書換え計算モデル / 可視化 / Software Process / Virtual Reality / Distributed Artificial Intelligence / Software Development / Human Interface / Network Architecture / Flexible Network / グループウェア / 分散アルゴリズム / ネットワークグラフ / マルチメディアインタフェース / ソフトウェア開発環境 / 分散システム / 知的ネットワーク / やわらかいシステム / ヒューマンインターフェース / 仮想現実感 / 分散人工知能 / ソフトウェア開発 / ヒューマンインタフェース / ネットワークアーキテクチャ / やわらかいネットワーク / Tree pattern matching / Term matching / Equational language / 木パタ-ンマッチング / 項マッチング / 等式言語 / 抽象データ型 / 項書き換え系の意味論 / モニタ / 形式的仕様記述 / 並行プログラム / 並列計算 / 情報基礎 / 関数型プログラム / 低級アセンブリ言語 / Nプログラム / ソフトウェア保護 / 高級アセンブリ言語 / Malbolge / チューリング完全 / 難解言語 / プログラム保護 / 静的再帰構造 / 単純型付き書換え系 / 静的依存対法 / 計算理論 / 滞在帰納法 / 定理自動証明 / 単純型書換え系 / 合流性 / ユーザインターフェース / ウイグル語‐日本語機械翻訳 / ウイグル語‐日本語電子化辞書 / 頂点被覆問題 / 確率モデル / 平均計算量 / アルゴリズム / 構成性原理 / 「対話的知識獲得」 / 部品データベース / 上流工程 / ソフトウェアの自動化 / ソフトウェア開発支援 / ソフトウェア発想機構 / 並行プロセス / 自由知識獲得 / コミュニケ-ション技法 Less
  • Research Projects

    (31 results)
  • Research Products

    (200 results)
  • Co-Researchers

    (48 People)
  •  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
  •  On Esoteric language Malbolge for software protection

    • Principal Investigator
      SAKAI Masahiko
    • Project Period (FY)
      2010 – 2012
    • Research Category
      Grant-in-Aid for Challenging Exploratory Research
    • Research Field
      Fundamental theory of informatics
    • Research Institution
      Nagoya University
  •  Study of Verification of Security of Programs based on Term Rewriting Systems and Tree AutomataPrincipal Investigator

    • Principal Investigator
      SAKABE Toshiki
    • Project Period (FY)
      2008 – 2011
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      Software
    • 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)
      2004 – 2006
    • Research Category
      Grant-in-Aid for Exploratory Research
    • Research Field
      Software
    • Research Institution
      Nagoya University
  •  Type Inference of Object-Oriented Programs with Exceptions Based on Term RewritingPrincipal Investigator

    • 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
  •  Strategies on functional languages

    • Principal Investigator
      SAKAI Masahiro
    • Project Period (FY)
      1999 – 2002
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      計算機科学
    • Research Institution
      Nagoya University
  •  Research on Theoretical Aspects of Evolutionary Software

    • Principal Investigator
      ITO Takayasu
    • Project Period (FY)
      1997 – 1999
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas
    • Research Institution
      Tohoku University
  •  Fundamental Study on Distributed and Cooperative Software Development in Very High Speed Network Environment

    • Principal Investigator
      INAGAKI Yasuyoshi
    • Project Period (FY)
      1996 – 1997
    • Research Category
      Grant-in-Aid for Scientific Research (A)
    • Research Field
      計算機科学
    • Research Institution
      Nagoya University
  •  A Fundamental Research for Formal Models and Verification Techniques of Open Software

    • Principal Investigator
      INAGAKI Yasuyoshi
    • Project Period (FY)
      1996 – 1997
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      計算機科学
    • Research Institution
      Nagoya University
  •  Fundamental research on algebraic meta-programming

    • Principal Investigator
      HAMAGUCHI Takeshi
    • Project Period (FY)
      1996 – 1997
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      計算機科学
    • Research Institution
      Nagoya University
  •  日本語‐ウイグル語機械翻訳のための電子辞書の作成

    • Principal Investigator
      稲垣 康善
    • Project Period (FY)
      1995
    • Research Category
      Grant-in-Aid for Developmental Scientific Research (B)
    • Research Field
      Intelligent informatics
    • Research Institution
      Nagoya University
  •  関数型言語のユーザインターフェースに関する基礎的研究

    • Principal Investigator
      稲垣 康善
    • Project Period (FY)
      1995
    • Research Category
      Grant-in-Aid for General Scientific Research (C)
    • Research Field
      計算機科学
    • Research Institution
      Nagoya University
  •  A Research on a Next Generation Information Processing System

    • Principal Investigator
      SHIRATORI Norio
    • Project Period (FY)
      1995 – 1996
    • Research Category
      Grant-in-Aid for Scientific Research (A)
    • Research Field
      情報システム学(含情報図書館学)
    • Research Institution
      Tohoku University
  •  Implementing Visual Programming Environment for Rewriting ComputationPrincipal Investigator

    • Principal Investigator
      INAGAKI Yasuyoshi, 坂部 俊樹
    • Project Period (FY)
      1995 – 1997
    • Research Category
      Grant-in-Aid for Scientific Research (A)
    • Research Field
      計算機科学
    • Research Institution
      Nagoya University
  •  アルゴリズムの平均計算量に関する基礎的研究

    • Principal Investigator
      平田 富夫
    • Project Period (FY)
      1993
    • Research Category
      Grant-in-Aid for General Scientific Research (C)
    • Research Field
      計算機科学
    • Research Institution
      Nagoya University
  •  不完全情報下における知識の表現とモジュール化に関する研究

    • Principal Investigator
      INAGAKI Yasuyoshi
    • Project Period (FY)
      1992
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas
    • Research Institution
      Nagoya University
  •  メタ等式プログラミングに関する基礎的研究Principal Investigator

    • Principal Investigator
      坂部 俊樹
    • Project Period (FY)
      1992
    • Research Category
      Grant-in-Aid for General Scientific Research (C)
    • Research Field
      Informatics
    • Research Institution
      Nagoya University
  •  不完全情報下における知識の表現とモジュール化に関する研究

    • Principal Investigator
      稲垣 康善
    • Project Period (FY)
      1992 – 1993
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas
    • Research Institution
      Nagoya University
  •  ソフトウェア構成法における発想機構の研究

    • Principal Investigator
      阿草 清滋
    • Project Period (FY)
      1991
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas
    • Research Institution
      Nagoya University
  •  ソフトウェア構成法における発想機構の研究

    • Principal Investigator
      阿草 清滋
    • Project Period (FY)
      1991 – 1993
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas
    • Research Institution
      Nagoya University
  •  人間と機械における学習・推論と認知プロセスに関する研究Principal Investigator

    • Principal Investigator
      坂部 俊樹
    • Project Period (FY)
      1990
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas
    • Research Institution
      Nagoya University
  •  ソフトウェア構成法における発想機構の研究

    • Principal Investigator
      AGUSA Kiyoshi
    • Project Period (FY)
      1990
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas
    • Research Institution
      Nagoya University
  •  Foundamental Study on Fundational Model of Concurrent ComputationPrincipal Investigator

    • Principal Investigator
      SAKABE Toshiki
    • Project Period (FY)
      1990 – 1991
    • Research Category
      Grant-in-Aid for General Scientific Research (C)
    • Research Field
      Informatics
    • Research Institution
      Nagoya University
  •  A Study of Term Matching in the Equational Language Processor

    • Principal Investigator
      HIRATA Tomio
    • Project Period (FY)
      1989 – 1990
    • Research Category
      Grant-in-Aid for General Scientific Research (C)
    • Research Field
      計算機工学
    • Research Institution
      Nagoya University
  •  Abstraction of Nonterminating Processes and Its Algebraic SpecificationPrincipal Investigator

    • Principal Investigator
      SAKABE Toshiki
    • Project Period (FY)
      1988 – 1989
    • Research Category
      Grant-in-Aid for General Scientific Research (C)
    • Research Field
      Informatics
    • Research Institution
      Nagoya University
  •  代数的手法に基づく並列計算システムの仕様記述・検証の基礎的研究

    • Principal Investigator
      稲垣 康善
    • Project Period (FY)
      1987
    • Research Category
      Grant-in-Aid for General Scientific Research (C)
    • Research Field
      計算機工学
    • Research Institution
      Nagoya University
  •  Developmental Studies on Software Development Environment Based on Algebraic Specification Method

    • Principal Investigator
      INAGAKI Yasuyoshi
    • Project Period (FY)
      1987 – 1988
    • Research Category
      Grant-in-Aid for Developmental Scientific Research
    • Research Field
      Informatics
    • Research Institution
      Nagoya University
  •  An Algebraic Approach to the Specification and Verification of Parallel Computation System

    • Principal Investigator
      INAGAKI Yasuyoshi
    • Project Period (FY)
      1985 – 1986
    • Research Category
      Grant-in-Aid for General Scientific Research (C)
    • Research Field
      計算機工学
    • Research Institution
      Nagoya University

All 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 2003

All Journal Article Presentation

  • [Journal Article] A Unified Ordering for Termination Proving2014

    • Author(s)
      YAMADA Akihisa, KUSAKARI Keiichirou, SAKABE Toshiki
    • Journal Title

      Science of Computer Programming

      Volume: In Press, Corrected Proof Pages: 1-38

    • Peer Reviewed / Acknowledgement Compliant / Open Access
    • Data Source
      KAKENHI-PROJECT-24500012
  • [Journal Article] Malbolge 低級アセンブリプログラミングにおける制御命令の配置設計のためのSATソルバの利用2013

    • Author(s)
      安藤聡, 酒井正彦, 坂部俊樹, 草刈圭一朗, 西田直樹
    • Journal Title

      電子情報通信学会技術報告

      Volume: Vol.112, No.373 Pages: 25-30

    • Data Source
      KAKENHI-PROJECT-22650003
  • [Journal Article] 三値関数を実現するMalbolge命令列の発見のためのSATエンコーディング2012

    • Author(s)
      安藤聡, 酒井正彦, 坂部俊樹, 草刈圭一朗, 西田直樹 (安藤聡)
    • Journal Title

      電子情報通信学会 電子情報通信学会技術報告

      Volume: Vol.112, No.275 (SS2012-37) Pages: 7-12

    • NAID

      110009642349

    • Data Source
      KAKENHI-PROJECT-22650003
  • [Journal Article] 語問題を基底等式集合の語問題に帰着可能な等式集合のクラスについて2012

    • Author(s)
      坂井利光, 酒井正彦, 坂部俊樹, 西田直樹, 草刈圭一朗
    • Journal Title

      電子情報通信学会ソフトウェアサイエンス研究会SS2011-47

      Pages: 45-49

    • NAID

      10031102346

    • Data Source
      KAKENHI-PROJECT-20300010
  • [Journal Article] 関数呼び出しを持つプログラムの非線形ループ不変式の自動生成2012

    • Author(s)
      鈴木英一, 坂部俊樹, 酒井正彦, 草刈圭一朗, 西田直樹
    • Journal Title

      電子情報通信学会ソフトウェアサイエンス研究会

      Volume: SS2011-46 Pages: 39-44

    • NAID

      10031113536

    • Data Source
      KAKENHI-PROJECT-20300010
  • [Journal Article] 関数呼び出しを持つプログラムの非線形ループ不変式の自動生成2012

    • Author(s)
      鈴木英一, 坂部俊樹, 酒井正彦, 草刈圭一朗, 西田直樹
    • Journal Title

      電子情報通信学会ソフトウェアサイエンス研究会SS2011-46

      Pages: 39-44

    • NAID

      10031113536

    • Data Source
      KAKENHI-PROJECT-20300010
  • [Journal Article] 三値関数を実現するMalbolge命令列の発見のためのSATエンコーディング2012

    • Author(s)
      安藤聡, 酒井正彦, 坂部俊樹, 草刈圭一朗, 西田直樹
    • Journal Title

      電子情報通信学会技術報告

      Volume: Vol.112, No.275 Pages: 7-12

    • NAID

      110009642349

    • Data Source
      KAKENHI-PROJECT-22650003
  • [Journal Article] Malbolgeの高級アセンブリ言語への配列機能の追加2012

    • Author(s)
      安藤聡, 酒井正彦, 坂部俊樹, 草刈圭一朗, 西田直樹 (安藤聡)
    • Journal Title

      電子情報通信学会 電子情報通信学会技術報告

      Volume: Vol.112, No.23 (SS2012-8) Pages: 43-49

    • NAID

      110009569241

    • Data Source
      KAKENHI-PROJECT-22650003
  • [Journal Article] Malbolge の高級アセンブリ言語への加算命令の追加2012

    • Author(s)
      安藤聡, 酒井正彦, 坂部俊樹, 草刈圭一朗, 西田直樹
    • Journal Title

      日本ソフトウェア科学会第28回大会講演論文集

      Volume: No.5A-3 Pages: 12-12

    • NAID

      40020659384

    • Data Source
      KAKENHI-PROJECT-22650003
  • [Journal Article] Malbolge の高級アセンブリ言語への配列機能の追加2012

    • Author(s)
      安藤聡, 酒井正彦, 坂部俊樹, 草刈圭一朗, 西田直樹
    • Journal Title

      電子情報通信学会技術報告

      Volume: Vol.112, No.23 Pages: 43-49

    • NAID

      110009569241

    • Data Source
      KAKENHI-PROJECT-22650003
  • [Journal Article] 語問題を基底等式集合の語問題に帰着可能な等式集合のクラスについて2012

    • Author(s)
      坂井利光, 酒井正彦, 坂部俊樹, 西田直樹, 草刈圭一朗
    • Journal Title

      電子情報通信学会ソフトウェアサイエンス研究会

      Volume: SS2011-47 Pages: 45-49

    • NAID

      10031102346

    • Data Source
      KAKENHI-PROJECT-20300010
  • [Journal Article] Malbolge低級アセンブリプログラミングにおける制御命令の配置設計のためのSATソルバの利用2012

    • Author(s)
      安藤聡, 酒井正彦, 坂部俊樹, 草刈圭一朗, 西田直樹 (安藤聡)
    • Journal Title

      電子情報通信学会 電子情報通信学会技術報告

      Volume: Vol.112, No.373 (SS2012-50) Pages: 25-30

    • Data Source
      KAKENHI-PROJECT-22650003
  • [Journal Article] Determinization of Conditional Term Rewriting Systems for Program Generation2011

    • Author(s)
      NAGASHIMA Masanori, SAKAI Masahiko, SAKABE Toshiki
    • Journal Title

      第83回情報処理学会・プログラミング研究会配布資料

      Pages: 1-16

    • Data Source
      KAKENHI-PROJECT-20300010
  • [Journal Article] 制約付き木オートマトンとその閉包性2011

    • Author(s)
      倉橋克尚, 酒井正彦, 西田直樹, 坂部俊樹, 草刈圭一朗
    • Journal Title

      電子情報通信学会ソフトウェアサイエンス研究会SS2010-63

      Pages: 61-66

    • NAID

      110008689415

    • Data Source
      KAKENHI-PROJECT-20300010
  • [Journal Article] Decidability of Reachability for Right-shallow Context-sensitive Term Rewriting Systems2011

    • Author(s)
      Yoshiharu Kojima, Masahiko Sakai, Naoki Nishida, KeiichirouKusakari, Toshiki Sakabe
    • Journal Title

      IPSJ Transactions on Programming

      Volume: 4 Pages: 12-35

    • NAID

      130002073525

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20300010
  • [Journal Article] Malbolgeの高級アセンブリ言語への加算命令の追加2011

    • Author(s)
      安藤、酒井、坂部、草刈、西田
    • Journal Title

      日本ソフトウェア科学会第28回大会講演論文集

    • NAID

      40020659384

    • Data Source
      KAKENHI-PROJECT-22650003
  • [Journal Article] 制約付き項書換え系の書換え帰納法における補題等式の自動生成法2011

    • Author(s)
      中林直生, 西田直樹, 草刈圭一朗, 坂部俊樹, 酒井正彦
    • Journal Title

      コンピュータソフトウェア

      Volume: 28 Pages: 173-189

    • NAID

      120006668020

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20300010
  • [Journal Article] On Proving Termination of Constrained Term Rewriting Systemsby Elim-inating Edges from Dependency Graphs2011

    • Author(s)
      SAKATA Tsubasa, NISHIDA Naoki, SAKABE Toshiki
    • Journal Title

      LNCS

      Volume: 6846 Pages: 138-155

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20300010
  • [Journal Article] 2リテラル監視法で実装されたSATソルバへの基本対称節処理機能の組み込み2011

    • Author(s)
      日野善信, 酒井正彦, 坂部俊樹, 草刈圭一朗, 西田直樹
    • Journal Title

      電子情報通信学会ソフトウェアサイエンス研究会SS2011-38

      Pages: 67-72

    • NAID

      110008900205

    • Data Source
      KAKENHI-PROJECT-20300010
  • [Journal Article] 制約付き項書換え系における木準同型写像を用いた関数等価性検証2011

    • Author(s)
      高桑一也, 西田直樹, 酒井正彦, 坂部俊樹, 草刈圭一朗
    • Journal Title

      日本ソフトウェア科学会第28回大会

      Volume: 7B-1 Pages: 1-12

    • NAID

      40020660897

    • Data Source
      KAKENHI-PROJECT-20300010
  • [Journal Article] 順方向ナローイングに基づく右線形右シャロー項書換え系の非停止性証明について2011

    • Author(s)
      服部達哉, 酒井正彦, 西田直樹, 草刈圭一朗, 坂部俊樹
    • Journal Title

      電子情報通信学会ソフトウェアサイエンス研究会SS2010-44

      Pages: 31-36

    • NAID

      120005530808

    • Data Source
      KAKENHI-PROJECT-20300010
  • [Journal Article] 順方向ナローイングに基づく右線形右シャロー項書換え系の非停止性証明について2011

    • Author(s)
      服部達哉, 酒井正彦, 西田直樹, 草刈圭一朗, 坂部俊樹
    • Journal Title

      電子情報通信学会ソフトウェアサイエンス研究会

      Volume: SS2010-44 Pages: 31-36

    • NAID

      120005530808

    • Data Source
      KAKENHI-PROJECT-20300010
  • [Journal Article] 制約付き項書換え系の書換え帰納法における補題等式の自動生成法2011

    • Author(s)
      中林直生, 西田直樹, 草刈圭一朗, 坂部俊樹, 酒井正彦
    • Journal Title

      コンピュータソフトウェア 28

      Pages: 173-189

    • NAID

      120006668020

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20300010
  • [Journal Article] 2リテラル監視法で実装されたSATソルバへの基本対称節処理機能の組み込み2011

    • Author(s)
      日野善信, 酒井正彦, 坂部俊樹, 草刈圭一朗, 西田直樹
    • Journal Title

      電子情報通信学会ソフトウェアサイエンス研究会

      Volume: SS2011-38 Pages: 67-72

    • NAID

      110008900205

    • Data Source
      KAKENHI-PROJECT-20300010
  • [Journal Article] 制約付き木オートマトンとその閉包性2011

    • Author(s)
      倉橋克尚, 酒井正彦, 西田直樹, 坂部俊樹, 草刈圭一朗
    • Journal Title

      電子情報通信学会ソフトウェアサイエンス研究会

      Volume: SS2010-63 Pages: 61-66

    • NAID

      110008689415

    • Data Source
      KAKENHI-PROJECT-20300010
  • [Journal Article] On Proving Termination of Constrained Term Rewriting Systems by Eliminating Edges from Dependency Graphs2011

    • Author(s)
      SAKATA Tsubasa, NISHIDA Naoki, SAKABE Toshiki
    • Journal Title

      Proceedings of the 20th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2011), LNCS

      Volume: 6816 Pages: 138-155

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20300010
  • [Journal Article] Determinization of Condi-tional Term Rewriting Systems for Program Generation2011

    • Author(s)
      NAGASHIMA Masanori, SAKAI Masahiko, SAKABE Toshiki
    • Journal Title

      第83回情報処理学会・プログラミング研究会配布資料

      Pages: 1-16

    • Data Source
      KAKENHI-PROJECT-20300010
  • [Journal Article] 線形左シャロー項書換え系の停止性の決定可能性について2011

    • Author(s)
      服部達哉, 酒井正彦, 坂部俊樹, 草刈圭一朗, 西田直樹
    • Journal Title

      平成23年度電気関係学会東海支部連合大会講演論文集

      Volume: H1-6 Pages: 1-1

    • Data Source
      KAKENHI-PROJECT-20300010
  • [Journal Article] Decidability of Reachability for Right-shallow Context-sensitive Term Rewritig Systems2011

    • Author(s)
      Yoshiharu Kojima, Masahiko Sakai, Naoki Nishida, Keiichirou Kusakari, Toshiki Sakabe
    • Journal Title

      IPSJ Transactions on Programming

      Volume: 4 Pages: 12-35

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20300010
  • [Journal Article] 等式理論を法とするDPLL遷移系について2010

    • Author(s)
      馬場達也, 坂部俊樹, 西田直樹, 草刈圭一朗, 酒井正彦
    • Journal Title

      電子情報通信学会ソフトウェアサイエンス研究会

      Volume: SS2010-36 Pages: 49-54

    • NAID

      120005530807

    • Data Source
      KAKENHI-PROJECT-20300010
  • [Journal Article] 等式理論を法とする抽象DPLLアルゴリズムの提案2010

    • Author(s)
      馬場達也, 坂部俊樹, 西田直樹, 草刈圭一朗, 酒井正彦
    • Journal Title

      平成22年度電気関係学会東海支部連合大会講演論文集

      Volume: D3-4 Pages: 1-1

    • Data Source
      KAKENHI-PROJECT-20300010
  • [Journal Article] Decidability of Termination and Innermost Termination for Term Rewriting S ystems with Right-Shallow Dependency Pairs2010

    • Author(s)
      Keita Uchiyam, Masahiko Sakai, Toshiki Sakabe
    • Journal Title

      IEICE Trans. on Information and Systems E93-D

      Pages: 953-962

    • NAID

      10026815231

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20300010
  • [Journal Article] Decidability of Termination and Innermost Termination for Term Rewrit-ing S ystems with Right-Shallow Dependency Pairs2010

    • Author(s)
      Keita Uchiyam, Masahiko Sakai, Toshiki Sakabe
    • Journal Title

      IEICE Trans. on Information and Sys-tems

      Volume: E93-D Pages: 953-962

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20300010
  • [Journal Article] 等式理論を法とするDPLL遷移系について2010

    • Author(s)
      馬場達也, 坂部俊樹, 西田直樹, 草刈圭一朗, 酒井正彦
    • Journal Title

      電子情報通信学会ソフトウェアサイエンス研究会SS2010-36

      Pages: 49-54

    • NAID

      120005530807

    • Data Source
      KAKENHI-PROJECT-20300010
  • [Journal Article] 条件付き等式の変換に基づくプログラム生成2010

    • Author(s)
      長島正憲, 酒井正彦, 坂部俊樹, 西田直樹, 草刈圭一朗
    • Journal Title

      電子情報通信学会ソフトウェアサイエンス研究会

      Volume: SS2009-41 Pages: 37-42

    • NAID

      110008001255

    • Data Source
      KAKENHI-PROJECT-20300010
  • [Journal Article] Decidability of Termination and Innermost Termination for Term Rewriting Systems with Right-Shallow Dependency Pairs2010

    • Author(s)
      Keita Uchiyam, Masahiko Sakai, Toshiki Sakabe
    • Journal Title

      IEICE Trans.on Information and Systems

      Volume: E93-D Pages: 953-962

    • NAID

      10026815231

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20300010
  • [Journal Article] 等式理論を法とするDPLL遷移系について2010

    • Author(s)
      馬場達也, 坂部俊樹, 西田直樹, 草刈圭一朗, 酒井正彦
    • Journal Title

      電子情報通信学会ソフトウェアサイエンス研究会 SS2010-36

      Pages: 49-54

    • NAID

      120005530807

    • Data Source
      KAKENHI-PROJECT-20300010
  • [Journal Article] 基本対称関数に基づく節をもつCNF論理式の充足可能性判定2010

    • Author(s)
      馬野洋平, 酒井正彦, 西田直樹, 坂部俊樹, 草刈圭一朗
    • Journal Title

      電子情報通信学会論文誌D

      Volume: J93-D Pages: 1-9

    • NAID

      130005433597

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20300010
  • [Journal Article] 基本対称関数に基づく節をもつCNF論理式の充足可能性判定2010

    • Author(s)
      馬野洋平, 酒井正彦, 西田直樹, 坂部俊樹, 草刈圭一朗
    • Journal Title

      電子情報通信学会論文誌D J93-D

      Pages: 1-9

    • NAID

      130005433597

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20300010
  • [Journal Article] 難解言語Malbolgeのチューリング完全性について2010

    • Author(s)
      長坂哲, 酒井正彦, 坂部俊樹, 草刈圭一朗, 西田直樹
    • Journal Title

      電子情報通信学会技術研究報告

      Volume: Vol.110, No.227 Pages: 55-60

    • NAID

      120005527809

    • Data Source
      KAKENHI-PROJECT-22650003
  • [Journal Article] 条件付き等式の変換に基づくプログラム生成2010

    • Author(s)
      長島正憲, 酒井正彦, 坂部俊樹, 西田直樹, 草刈圭一朗
    • Journal Title

      電子情報通信学会ソフトウェアサイエンス研究会SS2009-41

      Pages: 37-42

    • NAID

      110008001255

    • Data Source
      KAKENHI-PROJECT-20300010
  • [Journal Article] 高階書換え系における引数切り落とし法と実効規則2009

    • Author(s)
      鈴木翔, 草刈圭一朗, 坂部俊樹, 酒井正彦, 西田直樹
    • Journal Title

      電子情報通信学会ソフトウェアサイエンス研究会, 信学技報SS2009-41 109

      Pages: 25-30

    • NAID

      110008001253

    • Data Source
      KAKENHI-PROJECT-20300010
  • [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] 制約付き項書換え系の書換え帰納法における補題等式の自動生成法2009

    • Author(s)
      中林直生, 西田直樹, 草刈圭一朗, 坂部俊樹, 酒井正彦
    • Journal Title

      日本ソフトウェア科学会第26回大会講演論文集 7B-2

      Pages: 14-14

    • NAID

      120006668020

    • Data Source
      KAKENHI-PROJECT-20300010
  • [Journal Article] 右線形右シャローな項書換え系における文脈依存停止性の決定可能性について2009

    • Author(s)
      御宿義勝, 酒井正彦, 坂部俊樹, 草刈圭一朗, 西田直樹
    • Journal Title

      電子情報通信学会ソフトウェアサイエンス研究会, 信学技報SS2009-41 109

      Pages: 31-36

    • NAID

      110008001254

    • Data Source
      KAKENHI-PROJECT-20300010
  • [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] 右線形右シャローな項書換え系における文脈依存停止性の決定可能性について2009

    • Author(s)
      御宿義勝, 酒井正彦, 坂部俊樹, 草刈圭一朗, 西田直樹
    • Journal Title

      信学技報SS2009-41

      Volume: 109 Pages: 31-36

    • NAID

      110008001254

    • Data Source
      KAKENHI-PROJECT-20300010
  • [Journal Article] 条件付き等式の変換に基づくプログラム生成2009

    • Author(s)
      長島正憲, 酒井正彦, 坂部俊樹, 西田直樹, 草刈圭一朗
    • Journal Title

      電子情報通信学会ソフトウェアサイエンス研究会, 信学技報SS2009-41 109-343

      Pages: 37-42

    • NAID

      110008001255

    • Data Source
      KAKENHI-PROJECT-20300010
  • [Journal Article] 制約付き項書換え系における書換え帰納法2009

    • Author(s)
      坂田翼, 西田直樹, 坂部俊樹, 酒井正彦, 草刈圭一郎
    • Journal Title

      情報処理学会論文誌プログラミング 2

      Pages: 80-96

    • NAID

      120005530815

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20300010
  • [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] 高階書換え系における引数切り落とし法と実効規則2009

    • Author(s)
      鈴木翔, 草刈圭一朗, 坂部俊樹, 酒井正彦, 西田直樹
    • Journal Title

      信学技報SS2009-41

      Volume: 109 Pages: 25-30

    • NAID

      110008001253

    • Data Source
      KAKENHI-PROJECT-20300010
  • [Journal Article] 制約付き項書換え系における書換え帰納法2009

    • Author(s)
      坂田翼, 西田直樹, 坂部俊樹, 酒井正彦, 草刈圭一郎
    • Journal Title

      情報処理学会論文誌プログラミング

      Volume: 2 Pages: 80-96

    • NAID

      120005530815

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20300010
  • [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)
      長島正憲, 酒井正彦, 西田直樹, 草刈圭一朗, 坂部俊樹
    • Journal Title

      IPSJ Transactions on Programming 2

      Pages: 20-32

    • NAID

      130000140286

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20300010
  • [Journal Article] Context-Sensitive Inner-most Reachability is Decidable for Lin-ear Right-Shallow Term Rewriting Systems2009

    • Author(s)
      KOJIMA Yoshiharu, SAKAI Masahiko, NISHIDA Naoki, KUSAKARI Keiichirou, SAKABE Toshiki
    • Journal Title

      IPSJ Transactions onProgramming

      Volume: 2 Pages: 20-32

    • NAID

      130000140286

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20300010
  • [Journal Article] 制約付き項書換え系の書換え帰納法における補題等式の自動生成法2009

    • Author(s)
      中林直生, 西田直樹, 草刈圭一朗, 坂部俊樹, 酒井正彦
    • Journal Title

      日本ソフトウェア科学会第26回大会講演論文集

      Volume: 7B-2 Pages: 14-14

    • NAID

      120006668020

    • Data Source
      KAKENHI-PROJECT-20300010
  • [Journal Article] 条件付き等式の変換に基づくプログラム生成2009

    • Author(s)
      長島正憲, 酒井正彦, 坂部俊樹, 西田直樹, 草刈圭一朗
    • Journal Title

      信学技報SS2009-41

      Volume: 109-343 Pages: 37-42

    • NAID

      110008001255

    • Data Source
      KAKENHI-PROJECT-20300010
  • [Journal Article] プレスブルガー文付き項書換え系における書換え帰納法について2008

    • Author(s)
      坂田翼, 西田直樹, 酒井正彦, 草刈圭一朗, 坂部俊樹
    • Journal Title

      電子情報通信学会技術研究報告(SS2008-1) 108

      Pages: 1-6

    • NAID

      110006881092

    • Data Source
      KAKENHI-PROJECT-20300010
  • [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] ビットエラー通信路におけるスケーラブルCANの動作解析2008

    • Author(s)
      鵜飼謙児, 坂部俊樹, 高田広章, 倉地亮, 酒井正彦, 草刈圭一朗, 西田直樹
    • Journal Title

      電子情報通信学会技術研究報告(SS2008-37)

      Volume: 108 Pages: 61-66

    • NAID

      110007081804

    • Data Source
      KAKENHI-PROJECT-20300010
  • [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

      電子情報通信学会技術研究報告(SS2008-20)

      Volume: 108 Pages: 43-48

    • NAID

      110006967579

    • Data Source
      KAKENHI-PROJECT-20300010
  • [Journal Article] 制約付き項書換え系の定理自動証明における等式の方向付けのための簡約化順序2008

    • Author(s)
      西田直樹, 坂田翼, 酒井正彦, 草刈圭一朗, 坂部俊樹
    • Journal Title

      電子情報通信学会技術研究報告(SS2008-20) 108

      Pages: 43-48

    • NAID

      110006967579

    • Data Source
      KAKENHI-PROJECT-20300010
  • [Journal Article] 例外処理付きオブジェクト指向プログラムにおける情報流の安全性解析のための型システム2008

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

      電子情報通信学会論文誌 J91-D

      Pages: 757-770

    • NAID

      120005530809

    • Description
      「研究成果報告書概要(和文)」より
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-16300005
  • [Journal Article] 基本対称関数を付加したCNF論理式の充足可能性判定2008

    • Author(s)
      馬野洋平, 酒井正彦, 西田直樹, 坂部俊樹, 草刈圭一朗
    • Journal Title

      電子情報通信学会ソフトウェアサイエンス研究会(SS2008-44) 108

      Pages: 31-36

    • NAID

      110007114884

    • Data Source
      KAKENHI-PROJECT-20300010
  • [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] 基本対称関数を付加したCNF論理式の充足可能性判定2008

    • Author(s)
      馬野洋平, 酒井正彦, 西田直樹, 坂部俊樹, 草刈圭一朗
    • Journal Title

      電子情報通信学会ソフトウェアサイエンス研究会(SS2008-44)

      Volume: 108 Pages: 31-36

    • NAID

      110007114884

    • Data Source
      KAKENHI-PROJECT-20300010
  • [Journal Article] ビットエラー通信路におけるスケーラブルCANの動作解析2008

    • Author(s)
      鵜飼謙児, 坂部俊樹, 高田広章, 倉地亮, 酒井正彦, 草刈圭一朗, 西田直樹
    • Journal Title

      電子情報通信学会技術研究報告(SS2008-37) 108

      Pages: 61-66

    • NAID

      110007081804

    • Data Source
      KAKENHI-PROJECT-20300010
  • [Journal Article] 制約付き項書換え系の潜在帰納法を利用した手続き型プログラム検証の試み2008

    • Author(s)
      古市祐樹, 西田直樹, 酒井正彦, 草刈圭一朗, 坂部俊樹
    • Journal Title

      情報処理学会論文誌プログラミング 1

      Pages: 100-121

    • NAID

      120005530814

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20300010
  • [Journal Article] スケーラブルCANプロトコルの動作解析に関する予備的考察2008

    • Author(s)
      鵜飼謙児, 坂部俊樹, 高田広章, 倉地亮, 酒井正彦, 草刈圭一朗, 西田直樹
    • Journal Title

      平成20年度電気関係学会東海支部連合大会講演論文集 O-262

      Pages: 1-1

    • Data Source
      KAKENHI-PROJECT-20300010
  • [Journal Article] 制約付き項書換え系の潜在帰納法を利用した手続き型プログラム検証の試み2008

    • Author(s)
      古市祐樹, 西田直樹, 酒井正彦, 草刈圭一朗, 坂部俊樹
    • Journal Title

      情報処理学会論文誌プログラミング

      Volume: 1 Pages: 100-121

    • NAID

      120005530814

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20300010
  • [Journal Article] Decidability of Termination Properties for Term Rewriting Systems Con-sisting of Shallow Dependency Pairs2008

    • Author(s)
      UCHIYAMA Keita, SAKAI Masahiko, SAKABE Toshiki, KUSAKARI Keiichirou, ISHIDA Naoki
    • Journal Title

      IEICE(SS2008-45)

      Volume: 108 Pages: 37-42

    • NAID

      110007114893

    • Data Source
      KAKENHI-PROJECT-20300010
  • [Journal Article] プレスブルガー文付き項書換え系における書換え帰納法について2008

    • Author(s)
      坂田翼, 西田直樹, 酒井正彦, 草刈圭一朗, 坂部俊樹
    • Journal Title

      電子情報通信学会技術研究報告(SS2008-1)

      Volume: 108 Pages: 1-6

    • NAID

      110006881092

    • Data Source
      KAKENHI-PROJECT-20300010
  • [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] Decidability of Termination Properties for Term Rewriting Systems Con-sisting of Shallow Dependency Pairs2008

    • Author(s)
      UCHIYAMA Keita, SAKAI Masahiko, SAKABE Toshiki, KUSAKARI Keiichirou, ISHIDA Naoki
    • Journal Title

      Tech. Rep. of IEICE (SS2008-45) 108

      Pages: 37-42

    • NAID

      110007114893

    • Data Source
      KAKENHI-PROJECT-20300010
  • [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] 左線形は定向条件付き項書換え系における到達可能な項集合の近似集合を認識する木オートマトン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] Decidability of Innermost Termination and Context-Sensitive Termina-tion for Semi-Constructor Term Rewriting Systems2007

    • Author(s)
      Keita Uchiyama, Masahiko Sakai and Toshiki Sakabe
    • Journal Title

      Proc. of 7th International Workshop on Reduc-tion Strategies in Rewriting and Programming

      Pages: 16-27

    • Description
      「研究成果報告書概要(和文)」より
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-16300005
  • [Journal Article] Decidability of Innermost Termination for Semi-Constructor Term Rewriting Systems2007

    • Author(s)
      Keita Uchiyama, Masahiko Sakai, Naoki Nishida, Toshiki Sakabe, Keiichirou Kusakari
    • Journal Title

      LA-Symposium 2005 (Winter)

    • Data Source
      KAKENHI-PROJECT-16650005
  • [Journal Article] Decidability of Innermost Termination and Context-Sensitive Termination for Semi-Constructor Term Rewriting Systems2007

    • Author(s)
      Keita, Uchiyama, Masahiko, Sakai, Toshiki, Sakabe
    • Journal Title

      Proc. of 7th International Workshop on Reduc-tion Strategies in Rewriting and Programming (Refereed)

      Pages: 16-27

    • NAID

      120000975778

    • 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] 単純型項書き換え系上の依存対法における実効規則と直積型項へのラベル付け2007

    • Author(s)
      櫻井敬大, 草刈圭一朗, 酒井正彦, 坂部俊樹, 西田直樹
    • Journal Title

      電子情報通信学会論文誌 J90-D・4

      Pages: 978-989

    • Data Source
      KAKENHI-PROJECT-16650005
  • [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] 振舞等価性の証明のための等式付き書換えに基づく潜在帰納法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] 紐解かれた項書換え系の文脈依存条件の除去のための変換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] 関数プログラムの停止性証明に関する辞書式経路順序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] GeneSysによるプログラム生成例とIntroduction規則の追加2006

    • Author(s)
      近藤 悟, 酒井 正彦, 西田 直樹, 坂部 俊樹, 草刈 圭一朗
    • Journal Title

      電子情報通信学会技術研究報告(SS2006-46) 106・324

      Pages: 37-42

    • NAID

      110004851228

    • Data Source
      KAKENHI-PROJECT-16650005
  • [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・15

      Pages: 31-36

    • NAID

      110004718943

    • Data Source
      KAKENHI-PROJECT-16650005
  • [Journal Article] 等式付き書換え系の等式数を削減する変換2006

    • Author(s)
      三浦浩一, 西田直樹, 酒井正彦, 坂部俊樹, 草刈圭一朗
    • Journal Title

      電子情報通信学会技術研究報告 (SS2006-6) 106・120

      Pages: 7-12

    • NAID

      110004750957

    • Data Source
      KAKENHI-PROJECT-16300005
  • [Journal Article] ナローイング計算の停止性証明のための依存グラフ法2006

    • Author(s)
      三浦浩一, 西田直樹, 酒井正彦, 草刈圭一朗, 坂部俊樹
    • Journal Title

      電子情報通信学会技術研究報告SS2005-23 105・129

      Pages: 31-36

    • NAID

      10016575794

    • Data Source
      KAKENHI-PROJECT-16650005
  • [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] 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

      情報科学技術レターズ LA-001

      Pages: 1-4

    • Data Source
      KAKENHI-PROJECT-16650005
  • [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] Primitive Inductive Theorems Bridge Implicit Induction Methods and Inductive Theorems in Higher-Order Rewriting2005

    • Author(s)
      Keiichiro Kusakari, Masahiko Sakai, Toshiki Sakabe
    • Journal Title

      IEICE Transactions on Information and Systems E88-D・12

      Pages: 2715-2726

    • NAID

      110004019494

    • Data Source
      KAKENHI-PROJECT-16650005
  • [Journal Article] Primitive Indeuctive Theorems Bridge Implicit Induction Methods and Inductive Theorems in Higher-Order Rewriting2005

    • Author(s)
      K.Kusakari, M.Sakai, T.Sakabe
    • Journal Title

      IEICE Trans. on Information and Systems Vol.E88-D, No.12

      Pages: 2715-2726

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-15500007
  • [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-16650005
  • [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] 難読プログラミング言語Malbolgeにおけるプログラム構成手法2005

    • Author(s)
      飯澤恒, 坂部俊樹, 酒井正彦, 草刈圭一朗, 西田直樹
    • Journal Title

      電子情報通信学会技術研究報告SS2005-52 105・129

      Pages: 25-30

    • NAID

      10016575789

    • Data Source
      KAKENHI-PROJECT-16650005
  • [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] 構成子項書換え系の逆計算プログラムの生成2005

    • Author(s)
      西田直樹, 酒井正彦, 坂部俊樹
    • Journal Title

      電子情報通信学会論文誌 J88-D-I・8

      Pages: 1171-1183

    • NAID

      120000976020

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-15500007
  • [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] Primitive Indeuctive Theorems Bridge Implicit Induction Methods and Inductive Theorems in Higher-Order Rewriting2005

    • Author(s)
      K.Kusakari, M.Sakai, T.Sakabe
    • Journal Title

      IEICE Trans. on Information and Systems E88-D・12

      Pages: 2715-2726

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-15500007
  • [Journal Article] 暗号プロトコル記述からカラーペトリネットへの変換による機密性検証2005

    • Author(s)
      奥谷大介, 坂部俊樹, 酒井正彦, 草刈圭一朗, 西田直樹
    • Journal Title

      電子情報通信学会技術研究報告(SS2005-58) 105

      Pages: 19-24

    • NAID

      110003488391

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-16300005
  • [Journal Article] 構成子項書換え系の逆計算プログラムの生成2005

    • Author(s)
      西田直樹, 酒井正彦, 坂部俊樹
    • Journal Title

      電子情報通信学会論文誌 J88-D-I・8

      Pages: 1171-1183

    • NAID

      120000976020

    • Data Source
      KAKENHI-PROJECT-16650005
  • [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-16650005
  • [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

      電子情報通信学会技術研究報告 SS2004-33

      Pages: 43-48

    • NAID

      110003277237

    • Data Source
      KAKENHI-PROJECT-16650005
  • [Journal Article] 限量子付き等式理論の変換に基づく仕様からのプログラム生成2004

    • Author(s)
      長島正徳, 酒井正彦, 坂部俊樹, 草刈圭一朗
    • Journal Title

      コンピュータソフトウェア 21・4

      Pages: 49-54

    • NAID

      130004549022

    • Data Source
      KAKENHI-PROJECT-16650005
  • [Journal Article] Characterizing, Proving and Disproving Inductive Theorems in Higher-Order Rewriting2004

    • Author(s)
      K.Kusakari, M.Sakai, T.Sakabe
    • Journal Title

      LA-Symposium 2004(Summer)

    • Data Source
      KAKENHI-PROJECT-16300005
  • [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] Nagoya Termination Tool2014

    • Author(s)
      YAMADA Akihisa, KUSAKARI Keiichirou, SAKABE Toshiki
    • Organizer
      n Proc. Joint 25th International Conference on Rewriting Techniques and Applications and 12th International Conference on Typed Lambda Calculi and Applications
    • Place of Presentation
      Vienna (Austria)
    • Year and Date
      2014-07-15
    • Data Source
      KAKENHI-PROJECT-24500012
  • [Presentation] カリー化を組み込んだ高階辞書式経路順序の設計2013

    • Author(s)
      松原穂波, 草刈圭一朗, 酒井正彦, 坂部俊樹, 西田直樹
    • Organizer
      平成25年度電気関係学会東海支部連合大会講演論文集
    • Place of Presentation
      静岡大学 浜松キャンパス
    • Data Source
      KAKENHI-PROJECT-24500012
  • [Presentation] Unifying the Knuth-Bendix, Recursive Path and Polynomial Orders2013

    • Author(s)
      YAMADA Akihisa, KUSAKARI Keiichirou, SAKABE Toshiki
    • Organizer
      In Proc. of the 15th International Symposium on Principles and Practice of Declarative Programming (PPDP2013)
    • Place of Presentation
      Madrid, Spain
    • 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] Partial Status for KBO2013

    • Author(s)
      YAMADA Akihisa, KUSAKARI Keiichirou, SAKABE Toshiki
    • Organizer
      In Proc. of the 13th International Workshop on Termination (WST2013)
    • Place of Presentation
      Bertinoro, Italy
    • 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] 高階書換え系における引数切り落とし関数の下での実効規則について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] 難解言語Malbolge における高級アセンブリ言語への加算命令の追加2011

    • Author(s)
      安藤聡, 長坂哲, 酒井正彦, 坂部俊樹, 草刈圭一朗, 西田直樹
    • Organizer
      第13回プログラミングおよびプログラミング言語ワークショップ (PPL2011)
    • Place of Presentation
      札幌市(ポスター・デモ発表)
    • Data Source
      KAKENHI-PROJECT-22650003
  • [Presentation] 多重文脈書換え帰納法における反証と補題追加2011

    • Author(s)
      坂田翼,西田直樹,酒井正彦,草刈圭一朗,坂部俊樹
    • Organizer
      日本ソフトウェア科学会第28回大会
    • Place of Presentation
      那覇
    • Data Source
      KAKENHI-PROJECT-20500008
  • [Presentation] 難解言語Malbolgeにおける高級アセンブリ言語への加算命令の追加2011

    • Author(s)
      安藤聡, 長坂哲, 酒井正彦, 坂部俊樹, 草刈圭一朗, 西田直樹
    • Organizer
      第13回プログラミングおよびプログラミング言語ワークショップPPL2011、ポスター・デモ発表
    • Place of Presentation
      定山渓ビューホテル(札幌市)
    • Year and Date
      2011-03-10
    • Data Source
      KAKENHI-PROJECT-22650003
  • [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] 難解言語Malbolgeにおけるプログラミング環境の構築と改良2011

    • Author(s)
      長坂哲, 安藤聡, 酒井正彦, 坂部俊樹, 草刈圭一朗, 西田直樹
    • Organizer
      第13回プログラミングおよびプログラミング言語ワークショップPPL2011、ポスター・デモ発表
    • Place of Presentation
      定山渓ビューホテル(札幌市)
    • Year and Date
      2011-03-10
    • Data Source
      KAKENHI-PROJECT-22650003
  • [Presentation] 難解言語Malbolge におけるプログラミング環境の構築と改良2011

    • Author(s)
      長坂哲, 安藤聡, 酒井正彦, 坂部俊樹, 草刈圭一朗, 西田直樹
    • Organizer
      第13回プログラミングおよびプログラミング言語ワークショップ (PPL2011)
    • Place of Presentation
      札幌市(ポスター・デモ発表)
    • Data Source
      KAKENHI-PROJECT-22650003
  • [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] 制約付き項書換え系における木準同型写像を用いた関数等価性検証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] 難解言語Malbolgeのチューリング完全性について2010

    • Author(s)
      長坂哲、酒井正彦、坂部俊樹、草刈圭一朗、西田直樹
    • Organizer
      電子情報通信学会ソフトウェアサイエンス研究会
    • Place of Presentation
      岩手県立大学(盛岡市)
    • Year and Date
      2010-12-15
    • Data Source
      KAKENHI-PROJECT-22650003
  • [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] 例外処理を持つ関数型プログラムの停止性証明法2010

    • Author(s)
      馬場正貴、酒井正彦、濱口毅、西田直樹、坂部俊樹、草刈圭一朗
    • Organizer
      第12回プログラミングおよびプログラミング言語ワークショップPPL2010、ポスター・デモ発表
    • Place of Presentation
      琴平市
    • Year and Date
      2010-03-03
    • Data Source
      KAKENHI-PROJECT-18500011
  • [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] 高階書換え系における引数切り落とし法と実効規則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)
      KOJIMA Yoshiharu, SAKAI Masahiko, NISHIDA Naoki, KUSAKARI Keiichirou, SAKABE Toshiki
    • Organizer
      LA-Symposium 2009(Summer)
    • 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] 右線形右シャローな項書換え系における文脈依存停止性の決定可能性について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] Decidability of Innermost Termination and Context-Sensitive Termination for Semi-Constructor Term Rewriting Systems2007

    • Author(s)
      Keita Uchiyama, Masahiko Sakai, Toshiki Sakabe
    • Organizer
      7th International Workshop on Reduction Strategies in Rewriting and Programming
    • Place of Presentation
      Paris
    • Year and Date
      2007-06-25
    • 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] 左線形は定向条件付き項書換え系における到達可能な項集合の近似集合を認識する木オートマトン2007

    • Author(s)
      村田俊樹、西田直樹、酒井正彦、坂部俊樹、草刈圭一朗
    • Organizer
      電子情報通信学会ソフトウェアサイエンス研究会
    • Place of Presentation
      札幌市
    • Year and Date
      2007-08-02
    • Data Source
      KAKENHI-PROJECT-18500011
  • [Presentation] 導出木からのループ検出による論理プログラムの非停止性証明法2007

    • Author(s)
      水谷知博、西田直樹、酒井正彦、坂部俊樹、草刈圭一朗
    • Organizer
      電子情報通信学会ソフトウェアサイエンス研究会
    • Place of Presentation
      黒川郡
    • Year and Date
      2007-10-22
    • Data Source
      KAKENHI-PROJECT-18500011
  • [Presentation] Decidability of Innermost Termination and Context-Sensitive Termination for Semi-Constructor Term Rewriting Systems2007

    • Author(s)
      Keita Uchiyama, Masahiko Sakai, Toshiki Sakabe
    • Organizer
      7th International Workshop on Reduction Strat-egies in Rewriting and Programming(査読有)
    • Place of Presentation
      パリ
    • Year and Date
      2007-06-25
    • 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
  • 1.  INAGAKI Yasuyoshi (10023079)
    # of Collaborated Projects: 17 results
    # of Collaborated Products: 0 results
  • 2.  SAKAI Masahiko (50215597)
    # of Collaborated Projects: 13 results
    # of Collaborated Products: 194 results
  • 3.  HIRATA Tomio (10144205)
    # of Collaborated Projects: 7 results
    # of Collaborated Products: 0 results
  • 4.  YUEN Shoji (70230612)
    # of Collaborated Projects: 6 results
    # of Collaborated Products: 0 results
  • 5.  KUSAKARI Keiichirou (90323112)
    # of Collaborated Projects: 6 results
    # of Collaborated Products: 114 results
  • 6.  AGUSA Kiyoshi (90026360)
    # of Collaborated Projects: 5 results
    # of Collaborated Products: 0 results
  • 7.  NISHIDA Naoki (00397449)
    # of Collaborated Projects: 5 results
    # of Collaborated Products: 138 results
  • 8.  KAWAGUCHI Nobuo (10273286)
    # of Collaborated Projects: 4 results
    # of Collaborated Products: 0 results
  • 9.  KASUYA Hideto (10295579)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 10.  小谷 善行 (20111627)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 11.  大岩 元 (20011679)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 12.  杉野 花津江 (40023155)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 13.  外山 勝彦 (70217561)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 14.  YONEZAKI Naoki (00126286)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 15.  TOYAMA Yoshihito (00251968)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 16.  渡辺 豊英 (80093342)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 17.  山本 晋一郎 (40240098)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 18.  馮 速 (90262881)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 19.  NAOI Tohru (10207699)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 20.  SHIRATORI Norio (60111316)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 21.  SUGAWARA Kinji (00137853)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 22.  KIKUNO Toru (50093745)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 23.  EBIHARA Yoshihiko (00101155)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 24.  ISHIDA Toru (20252489)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 25.  ARAKI Keijiro (40117057)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 26.  AJISAKA Tsuneo (30175864)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 27.  OCHIMIZU Koichiro (10022310)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 28.  TOHMA Yoshihiro (50016317)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 29.  HAMAGUCHI Takeshi (90273284)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 30.  ITO Takayasu (80124551)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 31.  IDA Tetsuo (70100047)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 32.  HAGIYA Masami (30156252)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 33.  ASO Hirotomo (10005522)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 34.  YOSHIDA Yuji (50023247)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 35.  石塚 満 (50114369)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 36.  茨木 俊秀 (50026192)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 37.  有川 節夫 (40037221)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 38.  小野 寛晰 (90055319)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 39.  程 子学 (40254049)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 40.  小野 良司 (10271991)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 41.  柴田 義孝 (80129791)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 42.  滝沢 誠 (80188119)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 43.  鳥居 宏次 (10172222)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 44.  佐伯 元司 (80162254)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 45.  椎野 努
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 46.  太田 義勝
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 47.  OHTA Yoshikatsu
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 48.  SHIINO Tsutomu
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results

URL: 

Are you sure that you want to link your ORCID iD to your KAKEN Researcher profile?
* This action can be performed only by the researcher himself/herself who is listed on the KAKEN Researcher’s page. Are you sure that this KAKEN Researcher’s page is your page?

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi