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

Sakai Masahiko  酒井 正彦

ORCIDConnect your ORCID iD *help
… Alternative Names

SAKAI Masahiko  酒井 正彦

Less
Researcher Number 50215597
Other IDs
External Links
Affiliation (Current) 2025: 名古屋大学, 情報学研究科, 教授
Affiliation (based on the past Project Information) *help 2016 – 2024: 名古屋大学, 情報学研究科, 教授
2014 – 2016: 名古屋大学, 情報科学研究科, 教授
2012: 名古屋大学, 情報科学研究科, 教授
2007 – 2011: Nagoya University, School of Information Science, Professor
2006: 名古屋大学, 大学院情報科学研究科, 教授 … More
2004 – 2005: 名古屋大学, 大学院・情報科学研究科, 教授
2003: 名古屋大学, 大学院・情報科学研究科, 助教授
2002: 名古屋大学, 大学院・工学系研究科, 助教授
2002: Grad.School of Engineering, Nagoya Univ., Prof., 工学研究科, 教授
1997 – 2001: Nagoya University, Graduate School of Engineering, Associate Professor, 大学院・工学研究科, 助教授
1997: Nagoya University, School of Engineering, Associate Professor, 工学研究科, 助教授
1995 – 1996: 北陸先端科学技術大学院大学, 情報工学研究科, 助教授
1995 – 1996: 北陸先端科学技術大学院大学, 情報科学研究科, 助教授
1990 – 1992: Nagoya Univ., Faculty of Eng., Research Associate, 工学部, 助手 Less
Review Section/Research Field
Principal Investigator
Fundamental theory of informatics / 計算機科学 / Software / Basic Section 62040:Entertainment and game informatics-related
Except Principal Investigator
計算機科学 / Software / Informatics / Fundamental theory of informatics
Keywords
Principal Investigator
項書換え系 / term rewriting system / 関数型言語 / functional language / normalizing strategy / 正規化戦略 / Malbolge / 停止性証明 / 潜在帰納法 / テンポと拍子の取得 … More / MIDI演奏 / 生成音楽理論 / 演奏への表情付け / MIDI解析 / トークン / MIDIイベントのトークン化 / リズム量子化 / 自動採譜 / 充足可能性判定 / 組合せ問題記述 / 拡張データ代数 / プログラム変換 / 組合せ最適化 / SQL言語 / SMTソルバ / 組合せ最適化問題 / outer-most strategy / implicit induction / termination proof / 最外戦略 / completion / E-unification / termination / confluence / 完備化 / E単一化 / 停止条件 / 合流条件 / コンパイラ / 難読プログラム / 低級アセンブリ言語 / Nプログラム / ソフトウェア保護 / 高級アセンブリ言語 / 充足可能性問題 / チューリング完全 / 難解言語 / プログラム保護 / 滞在帰納法 / 定理自動証明 / 単純型書換え系 / 合流性 / 停止性 … More
Except Principal Investigator
項書換え系 / 停止性 / term rewriting system / 項書き換えシステム / 検証 / プログラミング環境 / 代数的仕様 / CCS / 並行計算 / ソフトウェア部品 / プログラム変換 / 関数型言語 / 再帰定義 / 関数プログラム / 項書き換え系 / 合流性 / メタプログラミング / 情報基礎 / 関数型プログラム / Term Rewriting System / Type Inference / Secrecy / Exception Handling / Object-Oriented Program / 逆計算 / 通信エラー / 型推論 / 機密性 / 例外処理 / オブジェクト指向計算 / constructive mathematics / term rewriting systems / modal logic / substructural logic / 時間論理 / 構成的数学 / 様相論理 / 部分構造論理 / Debuggin Procedure / Programming Environment / Formal Semantics / Communicating Processes / Concurrency / メタ計算モデル / 実時間システム / 並行システム / ネットワーク / デバッグ / 形式意味論 / 通信プロセスモデル / 並行プログラミング / reduction / termination / confluence property / higher order rewriting / リダクション / 高階書き換えシステム / algebraic programming / computational model / functional language / programming environment / visual support environment / process algebra / rewriting computation / 被覆集合帰納法 / 帰納的定理 / 実時間並行計算 / 視覚化 / 書換え計算 / 代数的プログラミング / 計算モデル / 視覚的支援 / プロセス代数 / 書換え計算モデル / 可視化 / software parts database / software reuse / similarity of specification / retrieval of specification / formal specification / 検索 / 類似性 / 依存解析 / ソフトウェアリポジトリ / 部品データベース / ソフトウェアの再利用 / ソフトウェア部品データベース / 再利用 / 仕様の類似性 / 仕様の検索 / 形式的仕様 / dynamic term rewriting calculas / concurrent process / narrowing / broadcast / Functional computation model / concurrent computation / 同期通信 / 論理型計算モデル / 動的項書換 / 並行プロセス / 動的項書換計算 / 並行プセス / ナロ-イング / ブロ-ドキャスト / 関数型計算モデル / Program transformation / Customization / Metaーprogramming / Automatic program generation / Software parts / Programming reusing / カスタマイゼ-ション / ソフトウェア仕様 / メタプログラム / プラグラム自動生成 / カスタマイズ / プログラム自動生成 / プログラム部品 / プログラム再利用 / 静的再帰構造 / 停止性証明 / 単純型付き書換え系 / 静的依存対法 / 計算理論 / 車載LANプロトコル / モデル検査 / ホオートマトン / SMTソルバー / 木オートマトン / 非干渉性 / 安全性 / 仕様検証 / 仕様記述 / 論理式変換系 / 被覆集合 / 限量子付き等式仕様 / 高階システム / 決定可能性 / 正規化戦略 / 優先順位付き書き換えシステム / 構造帰納法 / 書換え型計算モデル / メタ等式論理 Less
  • Research Projects

    (23 results)
  • Research Products

    (277 results)
  • Co-Researchers

    (25 People)
  •  Automated transcription based on formal language theoryPrincipal Investigator

    • Principal Investigator
      酒井 正彦
    • Project Period (FY)
      2020 – 2024
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Review Section
      Basic Section 62040:Entertainment and game informatics-related
    • Research Institution
      Nagoya University
  •  An extension of SQL language for constraint programming on database and its processing systemPrincipal Investigator

    • Principal Investigator
      Sakai Masahiko
    • Project Period (FY)
      2017 – 2019
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      Software
    • Research Institution
      Nagoya University
  •  Development methods of programs in tamper-resistant languagePrincipal Investigator

    • Principal Investigator
      Sakai Masahiko
    • Project Period (FY)
      2014 – 2016
    • Research Category
      Grant-in-Aid for Challenging Exploratory Research
    • 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
  •  On Esoteric language Malbolge for software protectionPrincipal Investigator

    • 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 Automata

    • 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 ProgramsPrincipal Investigator

    • 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
      坂部 俊樹
    • 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 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 ProgramsPrincipal Investigator

    • 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 languagesPrincipal Investigator

    • Principal Investigator
      SAKAI Masahiro
    • Project Period (FY)
      1999 – 2002
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      計算機科学
    • Research Institution
      Nagoya University
  •  書き換えシステムに基づく発展的プログラミングの研究

    • Principal Investigator
      外山 芳人
    • Project Period (FY)
      1998
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas (A)
    • Research Institution
      Japan Advanced Institute of Science and Technology
  •  書き換えシステムに基づく発展的プログラミングの研究

    • Principal Investigator
      TOYAMA Yoshihito
    • Project Period (FY)
      1997
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas
    • Research Institution
      Japan Advanced Institute of Science and Technology
  •  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
  •  Applications of Mathematical Logic in Theoretical Computer Science

    • Principal Investigator
      ONO Hiroakira
    • Project Period (FY)
      1996 – 1997
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      計算機科学
    • Research Institution
      Japan Advanced Institute of Science and Technology, Hokuriku
  •  Semantic Similarity of Specification and its Application to Software Automatic Composition

    • Principal Investigator
      AGUSA Kiyoshi
    • Project Period (FY)
      1995 – 1997
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      計算機科学
    • Research Institution
      Nagoya University
  •  Implementing Visual Programming Environment for Rewriting Computation

    • Principal Investigator
      INAGAKI Yasuyoshi, 坂部 俊樹
    • Project Period (FY)
      1995 – 1997
    • Research Category
      Grant-in-Aid for Scientific Research (A)
    • Research Field
      計算機科学
    • Research Institution
      Nagoya University
  •  Program verification based on higher order rewriting systems

    • Principal Investigator
      TOYAMA Yoshihito
    • Project Period (FY)
      1995 – 1997
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      計算機科学
    • Research Institution
      Japan Advanced Institute of Science and Technology, Hokuriku
  •  Fundamental research on software verification based on algebraic methodPrincipal Investigator

    • Principal Investigator
      SAKAI Masahiko
    • Project Period (FY)
      1995 – 1997
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      計算機科学
    • Research Institution
      Nagoya University
      Japan Advanced Institute of Science and Technology
  •  メタ等式プログラミングに関する基礎的研究

    • Principal Investigator
      SAKABE Toshiki
    • Project Period (FY)
      1992
    • Research Category
      Grant-in-Aid for General Scientific Research (C)
    • Research Field
      Informatics
    • Research Institution
      Nagoya University
  •  Foundamental Study on Fundational Model of Concurrent Computation

    • 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
  •  Fundamental Researches on Meta-Programming

    • Principal Investigator
      AGUSA Kiyoshi
    • Project Period (FY)
      1989 – 1990
    • Research Category
      Grant-in-Aid for General Scientific Research (C)
    • Research Field
      Informatics
    • Research Institution
      Nagoya Univ.

All 2023 2022 2021 2020 2019 2018 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 Other

All Journal Article Presentation

  • [Journal Article] 演奏MIDIのリズム量子化のためのトークン化の提案2023

    • Author(s)
      天春 陽介, 酒井 正彦
    • Journal Title

      情報処理学会研究報告

      Volume: 2024-MUS-139

    • Data Source
      KAKENHI-PROJECT-23K20392
  • [Journal Article] 8+8=4: Formalizing Time Units to Handle Symbolic Music Durations2023

    • Author(s)
      Emmanouil Karystinaios, Francesco Foscarin, Florent Jacquemard, Masahiko Sakai, Satoshi Tojo, Gerhard Widmer
    • Journal Title

      Peoceeding of CMMR 2023

      Volume: 2c0O6

    • Peer Reviewed / Open Access / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-23K20392
  • [Journal Article] Automatic Phrasing System for Expressive Performance Based on The Generative Theory of Tonal Music2023

    • Author(s)
      Madoka Goto, Masahiko Sakai and Satoshi Tojo
    • Journal Title

      Proceeding of CMMR 2023

      Volume: 4c-P2

    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-23K20392
  • [Journal Article] 擬ブール制約の導入による組合せ最適化ソルバCombSQL+の高速化2021

    • Author(s)
      岸潤一郎, 酒井正彦, 西田直樹, 橋本健二
    • Journal Title

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

      Volume: 120(343) Pages: 66-71

    • Data Source
      KAKENHI-PROJECT-17H01721
  • [Journal Article] ASAP: a dataset of aligned scores and performances for piano transcription2020

    • Author(s)
      Francesco Foscarin, Andrew McLeod, Philippe Rigaux, Florent Jacquemard, and Masahiko Sakai
    • Journal Title

      ISMIR 2020

      Volume: 1 Pages: 534-541

    • Peer Reviewed / Open Access / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-23K20392
  • [Journal Article] Transformation of SQL-based Combinatorial Optimization Problems into Constraint Problems2020

    • Author(s)
      Genki Sakanashi, Masahiko Sakai
    • Journal Title

      SIG-FPAI

      Volume: B5 Pages: 12-17

    • NAID

      130008061521

    • Data Source
      KAKENHI-PROJECT-17H01721
  • [Journal Article] Transformation of Combinatorial Optimization Problems Written in Extended SQL into Constraint Problems2018

    • Author(s)
      Sakanashi Genki、Sakai Masahiko
    • Journal Title

      Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming (PPDP 2018), ACM, isbn:978-1-4503-6441-6

      Volume: PPDP2018 Pages: 1-13

    • DOI

      10.1145/3236950.3236963

    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-17H01721
  • [Journal Article] 難読性の高いMalbolgeコードを生成するコンパイラのための中間言語2016

    • Author(s)
      河邉翔平, 酒井正彦, 西田直樹, 関 浩之
    • Journal Title

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

      Volume: SS2016-12 Pages: 105-101

    • Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-26540027
  • [Journal Article] Construction of an ROBDD for a PB-constraint in band form and related techniques for PB-solvers2015

    • Author(s)
      Masahiko Sakai and Hidetomo Nabeshima
    • Journal Title

      IEICE Transaction on Information and Systems

      Volume: E98-D Pages: 1121-1127

    • NAID

      130005072390

    • Peer Reviewed / Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-26540027
  • [Journal Article] Malbolge 低級アセンブラにおけるコード配置アドレスの決定法2014

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

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

      Volume: 114 Pages: 99-104

    • NAID

      110009803955

    • Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-26540027
  • [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] 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] 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] Static Dependency Pair Method based on Strong Computability for Higher-Order Rewrite Systems2010

    • Author(s)
      KUSAKARI Keiichirou, ISOGAI Yasuo, SAKAI Masahiko, Frederic Blanqui
    • Journal Title

      IEICE Transactions on Information and Systems E92-D

      Pages: 2007-2015

    • NAID

      10026811591

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20500008
  • [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 J93-D

      Pages: 1-9

    • NAID

      130005433597

    • Peer Reviewed
    • 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] 難解言語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] Head-Needed Strategy of Higher-Order Rewrite Systems and Its Decidable Classes2009

    • Author(s)
      Hideto Kasuya Masahiko Sakai, Kiyoshi Agusa
    • Journal Title

      IPSJ Transactions of Programming 2

      Pages: 144-165

    • NAID

      130000107986

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18500011
  • [Journal Article] Head-Needed Strategy of Higher-Order Rewrite Systems and Its Decidable Classes2009

    • Author(s)
      Hideto Kasuya, Masahiko Sakai, Kiyoshi Agusa
    • Journal Title

      IPSJ Transactions of Programming 2巻

      Pages: 144-165

    • NAID

      130000107986

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

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

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

      Pages: 31-36

    • NAID

      110008001254

    • Data Source
      KAKENHI-PROJECT-20300010
  • [Journal Article] Static Dependency Pair Method for Simply-Typed Term Rewriting and Related Techniques2009

    • Author(s)
      KUSAKARI Keiichirou, SAKAI Masahiko
    • Journal Title

      IEICE Transactions on Information and Systems, D Vol.E92, No.2

      Pages: 235-247

    • NAID

      120005530810

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20500008
  • [Journal Article] Static Dependency Pair Method based on Strong Computability for Higher-Order Rewrite Systems2009

    • Author(s)
      KUSAKARI Keiichirou, ISOGAI Yasuo, SAKAI Masahiko, Frederic Blanqui
    • Journal Title

      IEICE Transactions on Information and Systems

      Volume: Vol.E92-D, No.10 Pages: 2007-2015

    • NAID

      10026811591

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20500008
  • [Journal Article] Head-Needed Strategy of Higher-Order Rewrite Systems and Its Decidable Classes2009

    • Author(s)
      Hideto Kasuya, Masahiko Sakai, Kiyoshi Agusa
    • Journal Title

      IPSJ Transactions of Programming Vol.2

      Pages: 144-165

    • NAID

      130000107986

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18500011
  • [Journal Article] Com-pletion after Program Inversion of Injective Functions2009

    • Author(s)
      ISHIDANaoki, SAKAI Masahiko
    • Journal Title

      Electronic Notes in Theoretical Computer Science

      Volume: 237 Pages: 39-56

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20300010
  • [Journal Article] Static Dependency Pair Method for Simply-Typed Term Rewriting and Related Techniques2009

    • Author(s)
      Keiichirou Kusakari, Masahiko Sakai
    • Journal Title

      IEICE Transactions on Information and Systems E92-D

      Pages: 235-247

    • NAID

      120005530810

    • 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] Recognizability of Redexes for Higher-Order Rewrite Systems2009

    • Author(s)
      Hideto Kasuya, Masahiko Sakai, Kiyoshi Agusa
    • Journal Title

      IPSJ Transactions of Programming 2巻

      Pages: 166-175

    • NAID

      130000107987

    • 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] Completion after Program Inversion of Injective Functions2009

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

      Postproceedings of the 8th International Workshop on Reduction Strategies in Rewriting and Programming (WRS'08), Electronic Notes in Theoretical Computer Science 237

      Pages: 39-56

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

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

      信学技報SS2009-41

      Volume: 109 Pages: 25-30

    • NAID

      110008001253

    • Data Source
      KAKENHI-PROJECT-20300010
  • [Journal Article] Static Dependency Pair Method based on Strong Computability for Higher-Order Rewrite Systems2009

    • Author(s)
      KUSAKARI Keiichirou, ISOGAI Yasuo, SAKAI Masahiko, Frederic Blanqui
    • Journal Title

      IEICE Transactions on Information and Systems,D Vol.E92, No.10

      Pages: 2007-2015

    • NAID

      10026811591

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20500008
  • [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] 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] Static Dependency Pair Method based on Strong Computability for Higher-Order Rewrite Systems2009

    • Author(s)
      Keiichirou Kusakari, Yasuo Isogai, Masahiko Sakai, Frederic Blanqui
    • Journal Title

      IEICE Transactions on Information and Systems E92-D巻

      Pages: 2007-2015

    • NAID

      10026811591

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18500011
  • [Journal Article] Rcognizability of Redexes for Higher-Order Rewrite Systems2009

    • Author(s)
      Hideto Kasuya, Masahiko Sakai, Kiyoshi Agusa
    • Journal Title

      IPSJ Transactions of Programming Vol.2

      Pages: 166-175

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18500011
  • [Journal Article] Static Dependency Pair Method for Simply-Typed Term Rewriting and Related Techniques2009

    • Author(s)
      Keiichirou Kusakari, Masahiko Sakai
    • Journal Title

      IEICE Transactions on Information and Systems E92-D

      Pages: 235-247

    • NAID

      120005530810

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18500011
  • [Journal Article] Recognizability of Redexes for Higher-Order Rewrite Systems2009

    • Author(s)
      Hideto Kasuya, Masahiko Sakai, Kiyoshi Agusa
    • Journal Title

      IPSJ Transactions of Programming 2

      Pages: 166-175

    • NAID

      130000107987

    • 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] Static Dependency Pair Method for Simply-Typed Term Rewriting and Related Techniques2009

    • Author(s)
      KUSAKARI Keiichirou, SAKAI Masahiko
    • Journal Title

      IEICE Transactions on Information and Systems

      Volume: Vol.E92-D, No.2 Pages: 235-247

    • NAID

      120005530810

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20500008
  • [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] 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] 制約付き項書換え系の書換え帰納法における補題等式の自動生成法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] Static Dependency Pair Method based on Strong Computability for Higher-Order Rewrite Systems2009

    • Author(s)
      Keiichirou Kusakari, Yasuo Isogai, Masahiko Sakai, Frederic Blanqui
    • Journal Title

      IEICE Transactions on Information and Systems E92-D

      Pages: 2007-2015

    • NAID

      10026811591

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18500011
  • [Journal Article] Static Dependency Pair Method for Simply-Typed Term Rewriting and Related Techniques2009

    • Author(s)
      Keiichirou Kusakari, Masahiko Sakai
    • Journal Title

      IEICE Transactions on Information and Systems E92-D巻

      Pages: 235-247

    • NAID

      120005530810

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18500011
  • [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] Static Dependency Pair Method for Simply-Typed Term Rewriting and Related Techniques2008

    • Author(s)
      Keiichirou Kusakari, Masahiko Sakai
    • Journal Title

      IEICE Technical Report SS2007-60 107

      Pages: 19-24

    • NAID

      120005530810

    • 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

      IEICE(SS2008-45)

      Volume: 108 Pages: 37-42

    • NAID

      110007114893

    • Data Source
      KAKENHI-PROJECT-20300010
  • [Journal Article] Static Dependency Pair Method for Simply-Typed Term Rewriting and Related Techniques2008

    • Author(s)
      Keiichirou, Kusakari, Masahiko, Sakai
    • Journal Title

      IEICE Technical Report SS2007-60 107(Non-refereed)

      Pages: 19-24

    • NAID

      120005530810

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-16300005
  • [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] Enhancing Dependency Pair Method by Strong Computability in Simply-Typed Term Rewriting2007

    • Author(s)
      Keiichirou Kusakari, Masahiko Sakai
    • Journal Title

      Applicable Algebra in Engineering, Communica-tion and Computing 18

      Pages: 407-431

    • Description
      「研究成果報告書概要(和文)」より
    • Peer Reviewed
    • 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] Enhancing Dependency Pair Method by Strong Com-putability in Simply-Typed Term Rewriting2007

    • Author(s)
      Keiichirou, Kusakari, Masahiko, Sakai
    • Journal Title

      Applicable Algebra in Engineering, Communica-tion and Computing Vol.18, No.5(Refereed)

      Pages: 407-431

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-16300005
  • [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] 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] 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] Enhancing Dependency Pair Method by Strong Computability in Simply-Typed Term Rewriting2007

    • Author(s)
      Keiichirou Kusakari, Masahiko Sakai
    • Journal Title

      Applicable Algebra in Engineering, Communi-cation and Computing 18

      Pages: 407-431

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18500011
  • [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] 単純型項書き換え系上の依存対法における実効規則と直積型項へのラベル付け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] Enhancing Dependency Pair Method by Strong Computability in Simply-Typed Term Rewriting2007

    • Author(s)
      Keiichirou Kusakari, Masahiko Sakai
    • Journal Title

      Applicable Algebra in Engineering, Communication and Computing Vol.18

      Pages: 407-431

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18500011
  • [Journal Article] Enhancing Dependency Pair Method by Strong Computability in Simply-Typed Term Rewriting2007

    • Author(s)
      Keiichirou Kusakari, Masahiko Sakai
    • Journal Title

      Applicable Algebra in Engineering, Communication and Computing 18巻

      Pages: 407-431

    • Peer Reviewed
    • 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] 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] Decidability of Termination for Semi-Constructor TRSs, Left-Linear Shallow TRSs and Related Systems2006

    • Author(s)
      Wang Yi, Masahiko Sakai
    • Journal Title

      Proc. of 17th Int'l Conference on Rewriting Techniges and Applications LNCS 4098

      Pages: 343-356

    • NAID

      120000975763

    • Data Source
      KAKENHI-PROJECT-18500011
  • [Journal Article] On Non-looping Term Rewriting2006

    • Author(s)
      Wang Yi, Masahiko Sakai
    • Journal Title

      Proc. of 8th International Workshop on Termination WST2006

      Pages: 17-21

    • NAID

      120000975761

    • Data Source
      KAKENHI-PROJECT-18500011
  • [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] 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] On Non-looping Term Rewriting2006

    • Author(s)
      Wang Yi, Masahiko Sakai
    • Journal Title

      Proc. of Eighth International Workshop on Termination

      Pages: 17-21

    • NAID

      120000975761

    • 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] 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

      情報科学技術レターズ 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] On Dependency Pair Method for Proving Termination of Higher-Order Rewrite Systems2005

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

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

      Pages: 583-593

    • NAID

      110003214222

    • Description
      「研究成果報告書概要(和文)」より
    • 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] 重なりを持つ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] On Dependency Pair Method for Proving Termination of Higher-Order Rewrite Systems2005

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

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

      Pages: 583-593

    • NAID

      110003214222

    • 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] 重なりを持つTRSにおける最外戦略の完全性について2005

    • Author(s)
      岩田篤史, 酒井正彦, 西田直樹, 草刈圭一朗, 西田直樹
    • Journal Title

      電子情報通信学会技術報告 105・331

      Pages: 39-44

    • NAID

      110003498383

    • Data Source
      KAKENHI-PROJECT-15500007
  • [Journal Article] On Dependency Pair Method for Proving Termination of Higher-Order Rewrite Systems2005

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

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

      Pages: 583-593

    • NAID

      110003214222

    • 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

      電子情報通信学会技術報告 SS2004-6

      Pages: 1-6

    • NAID

      110003276712

    • Data Source
      KAKENHI-PROJECT-15500007
  • [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] 高階書換え系の決定可能な計算戦略について2004

    • Author(s)
      粕谷英人, 酒井正彦, 阿草青滋
    • Journal Title

      電子情報通信学会技術報告 SS2004-6

      Pages: 1-6

    • NAID

      110003276712

    • 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
  • [Journal Article] Enhancing Dependency Pair Method by Strong Computability in Simply-Typed Term Rewriting

    • Author(s)
      Keiichirou Kusakari, Masahiko Sakai
    • Journal Title

      Applicable Algebra in Engineering, Communication and Computing (採録決定済)

    • Data Source
      KAKENHI-PROJECT-18500011
  • [Journal Article] On Dependency Pair Method for Procing Termination of Higher-Order Rewrite Systems

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

      IEICE Trans.on Information and Systems to appear

    • Data Source
      KAKENHI-PROJECT-15500007
  • [Presentation] 自動演奏への表情付けのための生成音楽理論に基づくフレーズ情報の生成法2022

    • Author(s)
      後藤 円香, 酒井 正彦, 東条 敏
    • Organizer
      第135回音楽情報科学研究発表会, 情報処理学会
    • Data Source
      KAKENHI-PROJECT-23K20392
  • [Presentation] 組合せ最適化問題の記述からSMTソルバの入力式を生成するSQL問合せ2019

    • Author(s)
      坂梨元軌, 酒井正彦,西田直樹, 橋本健二
    • Organizer
      電子情報通信学会ソフトウェアサイエンス研究会
    • Data Source
      KAKENHI-PROJECT-17H01721
  • [Presentation] SQL for combinatorial optimization problems and SMT-based solving by SQL transformation2019

    • Author(s)
      Masahiko Sakai
    • Organizer
      6th International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2019)
    • Invited / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17H01721
  • [Presentation] Transformation of combinatorial optimization problems written in extended SQL into constraint problems2018

    • Author(s)
      Genki Sakanashi and Masahiko Sakai
    • Organizer
      IPSJ-SIGPRO
    • Data Source
      KAKENHI-PROJECT-17H01721
  • [Presentation] An extended SQL for combinatorial optimization problems and transformation into constraint problems2018

    • Author(s)
      Masahiko Sakai
    • Organizer
      the 49th TRS meeting
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17H01721
  • [Presentation] 組合せ最適化問題を記述するための関係代数の集合上への拡張2018

    • Author(s)
      坂梨元軌, 酒井正彦, 西田直樹, 橋本健二
    • Organizer
      第20回プログラミングおよびプログラミング言語ワークショップ PPL2018
    • Data Source
      KAKENHI-PROJECT-17H01721
  • [Presentation] Size Complexity of BDD Construction of Pseudo-Boolean Constraints in binary/mixed-radix Base Form2014

    • Author(s)
      Naoki Nagatsuka, Masahiko Sakai, Zankl Harald, Keiichirou Kusakari
    • Organizer
      The 28th Annual Conference of the Japan Society of Artifical Intelligence
    • Place of Presentation
      松山
    • Year and Date
      2014-05-12
    • Data Source
      KAKENHI-PROJECT-24500012
  • [Presentation] Esoteric Programming Language Malbolge and Its Low-Level Assembler2014

    • Author(s)
      Masahiko Sakai and Tatsuki Kato
    • Organizer
      Meeting of IPSJ Special Interest Group on Programming
    • Place of Presentation
      Asahikawa
    • Year and Date
      2014-07-20
    • Data Source
      KAKENHI-PROJECT-26540027
  • [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] 高階書換え系における引数切り落とし関数の下での実効規則について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] Decidability of Termination for CS-TRSs with Right-Linear Right-Shallow DPs2010

    • Author(s)
      Masahiko Sakai
    • Organizer
      he 33rd Workshop on Term Rewriting Systems
    • Place of Presentation
      Tsu
    • Year and Date
      2010-02-23
    • Data Source
      KAKENHI-PROJECT-18500011
  • [Presentation] Introduction to Esoteric Language Malbolge2010

    • Author(s)
      Masahiko Sakai
    • Organizer
      Japan-Vietnam Workshop on Software Engineering 2010 (JVSE 2010)
    • Place of Presentation
      UET-VNU(ハノイ) 招待講演
    • Year and Date
      2010-12-10
    • Data Source
      KAKENHI-PROJECT-22650003
  • [Presentation] Introduction to Esoteric Language Malbolge2010

    • Author(s)
      Masahiko Sakai
    • Organizer
      Japan-Vietnam Workshop on Software Engineering 2010 (JVSE 2010)
    • Place of Presentation
      Hanoi(招待講演)
    • Data Source
      KAKENHI-PROJECT-22650003
  • [Presentation] Decidability of Termination for CS-TRSs with Right-Linear Right-Shallow DPs2010

    • Author(s)
      Masahiko Sakai
    • Organizer
      The 33rd Workshop on Term Rewriting Systems
    • Place of Presentation
      津市
    • Year and Date
      2010-02-23
    • Data Source
      KAKENHI-PROJECT-18500011
  • [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] Decidability of termination for TRSs with right-shallow DPs2009

    • Author(s)
      Masahiko Sakai
    • Organizer
      The 31st Workshop on Term Rewriting Systems
    • Place of Presentation
      加賀市
    • Year and Date
      2009-02-24
    • Data Source
      KAKENHI-PROJECT-18500011
  • [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] Decidability of termination for TRSs with right-shallow DPs2009

    • Author(s)
      Masahiko Sakai
    • Organizer
      The 31st Workshop on Term Rewriting Systems
    • Place of Presentation
      Yamanaka
    • Year and Date
      2009-02-24
    • Data Source
      KAKENHI-PROJECT-18500011
  • [Presentation] 右線形右シャローな項書換え系における文脈依存停止性の決定可能性について2009

    • Author(s)
      御宿義勝, 酒井正彦, 坂部俊樹, 草刈圭一朗, 西田直樹
    • Organizer
      電子悟報通信学会ソフトウェアサイエンス研究会
    • Place of Presentation
      高松
    • Data Source
      KAKENHI-PROJECT-20500008
  • [Presentation] Static Dependency Pair Method for Simply-Typed Term Rewriting and Related Techniques2008

    • Author(s)
      Keiichirou Kusakari, Masahiko Sakai
    • 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-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] On Decidability of Innermost Termination for Shallow Term Rewriting Systems2008

    • Author(s)
      Masahiko Sakai
    • Organizer
      Mini-Workshop on Rewriting Techniques
    • Place of Presentation
      能美市
    • Year and Date
      2008-08-01
    • 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] Innermost Reachability and Context Sensitive Reachability Properties are Decidable for Linear Right-Shallow Term Rewriting Systems2008

    • Author(s)
      Yoshiharu Kojima, Masahiko Sakai
    • Organizer
      19th International Conference on Rewriting Techniques and Applications
    • Place of Presentation
      ハーゲンベルグ
    • Year and Date
      2008-07-15
    • Data Source
      KAKENHI-PROJECT-18500011
  • [Presentation] On confluent property of shallow term rewriting systems2008

    • Author(s)
      Masahiko Sakai
    • Organizer
      The 30th Workshop on Term Rewriting Systems
    • Place of Presentation
      Sapporo
    • 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] On confluent property of shallow term rewriting systems2008

    • Author(s)
      Masahiko Sakai
    • Organizer
      The 30th Workshop on Term Rewriting Systems
    • Place of Presentation
      札幌市
    • Year and Date
      2008-08-26
    • Data Source
      KAKENHI-PROJECT-18500011
  • [Presentation] Innermost Reachability and Context Sensitive Reachability Properties are Decidable for Linear Right-Shallow Term Rewriting Systems2008

    • Author(s)
      Yoshiharu Koiima, Masahiko Sakai
    • Organizer
      19th International Conference on Rewriting Techiniques and Applictions (査読有)
    • Place of Presentation
      ハーゲンベルグ
    • Year and Date
      2008-07-15
    • 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] Innermost Reachability and Context Sensitive Reachability Properties are Decidable for Linear Right-Shallow Term Rewriting Systems2008

    • Author(s)
      Yoshiharu Kojima, Masahiko Sakai
    • Organizer
      19th International Conference on Rewriting Techniques and Applications
    • Place of Presentation
      Hagenberg
    • Year and Date
      2008-07-15
    • 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] Undecidable Properties on Length-Two String Rewriting Systems2007

    • Author(s)
      Masahiko Sakai, Wang Yi
    • 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] 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] Undecidable Properties on Length-Two String Rewriting Systems2007

    • Author(s)
      Masahiko Sakai, Wang Yi
    • 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] 導出木からのループ検出による論理プログラムの非停止性証明法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] 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] Decidability of Termination for Semi-Constructor TRSs, Left-Linear Shallow TRSs and Related Systems2006

    • Author(s)
      Wang Yi, Masahiko Sakai
    • Organizer
      17th International Conference on Rewriting Techniques and Applications
    • Place of Presentation
      シアトル
    • Year and Date
      2006-08-14
    • Data Source
      KAKENHI-PROJECT-18500011
  • [Presentation] On Non-looping Term Rewriting2006

    • Author(s)
      Wang Yi, Masahiko Sakai
    • Organizer
      Proc. of 8th International Workshop on Termination
    • Place of Presentation
      Seattle
    • Year and Date
      2006-08-15
    • 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] Decidability of Termination for Semi-Constructor TRSs, Left-Linear Shallow TRSs and Related Systems2006

    • Author(s)
      Wang Yi, Masahiko Sakai
    • Organizer
      Proc. of 17th Int'l Conference on Rewriting Techniques and Applications
    • Place of Presentation
      Seattle
    • Year and Date
      2006-08-14
    • Data Source
      KAKENHI-PROJECT-18500011
  • 1.  SAKABE Toshiki (60111829)
    # of Collaborated Projects: 14 results
    # of Collaborated Products: 194 results
  • 2.  TOYAMA Yoshihito (00251968)
    # of Collaborated Projects: 6 results
    # of Collaborated Products: 0 results
  • 3.  KUSAKARI Keiichirou (90323112)
    # of Collaborated Projects: 6 results
    # of Collaborated Products: 136 results
  • 4.  INAGAKI Yasuyoshi (10023079)
    # of Collaborated Projects: 5 results
    # of Collaborated Products: 0 results
  • 5.  NISHIDA Naoki (00397449)
    # of Collaborated Projects: 5 results
    # of Collaborated Products: 152 results
  • 6.  YUEN Shoji (70230612)
    # of Collaborated Projects: 4 results
    # of Collaborated Products: 0 results
  • 7.  YAMAMOTO Shinichirou (40240098)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 8.  KASUYA Hideto (10295579)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 7 results
  • 9.  HIRATA Tomio (10144205)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 10.  AGUSA Kiyoshi (90026360)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 11.  KAWAGUCHI Nobuo (10273286)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 12.  NAOI Tohru (10207699)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 13.  HAMAGUCHI Takeshi (90273284)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 14.  ONO Hiroakira (90055319)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 15.  AOTO Takahito (00293390)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 16.  KASHIMA Ryo (10240756)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 17.  ISHIHARA Hajime (10211046)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 18.  鈴木 大郎 (90272179)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 19.  馮 速 (90262881)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 20.  WOLTER Frank (20272990)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 21.  東条 敏 (90272989)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 3 results
  • 22.  中澤 巧爾 (80362581)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 23.  KATO Tatsuki
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 2 results
  • 24.  KOBE Shohei
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 1 results
  • 25.  SAKANASHI Genki
    # 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