DSpace About DSpace Software
 

NAGOYA Repository >

Search Results

 
for  

Results 1-84 of 84 (Search time: 0.034 seconds).

Results/Page  |  Sort items by In order Authors/record

Item hits:

Issue DateTitleAuthor(s)
Dec-2006CLASSES WHOSE TERMINATION IS DECIDABLESakai, Masahiko
Dec-1997Left-Incompatible Term Rewriting Systems and Functional StrategySAKAI, Masahiko
31-Jan-1992代数的手法に基づくコンパイラの仕様記述・検証・自動生成に関する研究酒井, 正彦; Sakai, Masahiko
2006Decidability of Termination Left-Linear Shallow TRSs and Related Systems for Semi-Constructor TRSsWang, Yi; Sakai, Masahiko
Aug-2006On Non-looping Term RewritingWang, Yi; Sakai, Masahiko
Sep-2006Decidability of Termination for Semi-Constructor TRSs, Left-Linear Shallow TRSs and Related SystemsWang, Yi; Sakai, Masahiko
1-Feb-2009Static Dependency Pair Method for Simply-Typed Term Rewriting and Related TechniqueKUSAKARI, Keiichirou; SAKAI, Masahiko
Apr-2008Undecidable Properties on Length-Two String Rewriting SystemsSakai, Masahiko; Wang, Yi
Jun-2007Undecidable Properties on Length-Two String Rewriting SystemsSakai, Masahiko; Wang, Yi
Oct-2001On New Dependency Pair Method for Proving Termination of Higher-Order Rewrite SystemsSakai, Masahiko; Kusakari, Keiichirou
Jul-2002On Proving Termination of Higher-Order Rewrite Systems by Dependency Pair TechniqueSakai, Masahiko; Kusakari, Keiichirou
Mar-2005On Dependency Pair Method for Proving Termination of Higher-Order Rewrite SystemsSAKAI, Masahiko; KUSAKARI, Keiichirou
2008Innermost Reachability and Context Sensitive Reachability Properties Are Decidable for Linear Right-Shallow Term Rewriting SystemsKojima, Yoshiharu; Sakai, Masahiko
Sep-2010Weakly-non-overlapping non-collapsing shallow term rewriting systems are confluentSakai, Masahiko; Ogawa, Mizuhito
May-2010Decidability of Termination and Innermost Termination for Term Rewriting Systems with Right-Shallow Dependency PairsUCHIYAMA, Keita; SAKAI, Masahiko; SAKABE, Toshiki
2007Transformation for Refining Unraveled Conditional Term Rewriting SystemsNishida, Naoki; Mizutani, Tomohiro; Sakai, Masahiko
Mar-2009Recognizability of Redexes for Higher-Order Rewrite SystemsKasuya, Hideto; Sakai, Masahiko; Agusa, Kiyoshi
Apr-2005Partial Inversion of Constructor Term Rewriting SystemsNishida, Naoki; Sakai, Masahiko; Sakabe, Toshiki
Mar-2009Head-Needed Strategy of Higher-Order Rewrite Systems and Its Decidable ClassesKasuya, Hideto; Sakai, Masahiko; Agusa, Kiyoshi
Aug-2001An Extension of the Dependency Pair Method for Proving Termination of Higher-Order Rewrite SystemsSAKAI, Masahiko; WATANABE, Yoshitsugu; SAKABE, Toshiki
Sep-2002Descendants and Head Normalization of Higher-Order Rewrite SystemsKasuya, Hideto; Sakai, Masahiko; Agusa, Kiyoshi
Jun-2003Narrowing-based Simulation of Term Rewriting Systems with Extra Variables and its Termination ProofNishida, Naoki; Sakai, Masahiko; Sakabe, Toshiki
Dec-2005Primitive Inductive Theorems Bridge Implicit Induction Methods and Inductive Theorems in Higher-Order RewritingKUSAKARI, Keiichirou; SAKAI, Masahiko; SAKABE, Toshiki
Jun-2007Convergent Term Rewriting Systems for Inverse Computation of Injective FunctionsNishida, Naoki; Sakai, Masahiko; Kato, Terutoshi
Jun-2007Decidability of Innermost Termination and Context-Sensitive Termination for Semi-Constructor Term Rewriting SystemsUchiyama, Keita; Sakai, Masahiko; Sakabe, Toshiki
Aug-2012Soundness of Unravelings for Conditional Term Rewriting Systems via Ultra-Properties Related to LinearityNishida, Naoki; Sakai, Masahiko; Sakabe, Toshiki
2011Soundness of Unravelings for Deterministic Conditional Term Rewriting Systems via Ultra-Properties Related to LinearityNishida, Naoki; Sakai, Masahiko; Sakabe, Toshiki
20-May-1998Index Reduction of Overlapping Strongly Sequential SystemsNAGAYA, Takashi; SAKAI, Masahiko; TOYAMA, Yoshihito
Nov-2013On Constructing Constrained Tree Automata Recognizing Ground Instances of Constrained TermsNishida, Naoki; Sakai, Masahiko; Nakano, Yasuhiro
Sep-1998An Improved Recursive Decomposition Ordering for Higher-Order Rewrite SystemsIWAMI, Munehiro; SAKAI, Masahiko; TOYAMA, Yoshihito
Oct-2001Generation of Inverse Term Rewriting Systems for Pure Treeless FunctionsNishida, Naoki; Sakai, Masahiko; Sakabe, Toshiki
Apr-2008Decidability of Innermost Termination and Context-Sensitive Termination for Semi-Constructor Term Rewriting SystemsUchiyama, Keita; Sakai, Masahiko; Sakabe, Toshiki
Jun-2003Innermost Reductions Find All Normal Forms on Right-Linear Terminating Overlay TRSsSakai, Masahiko; Okamoto, Kouji; Sakabe, Toshiki
Dec-2012Determinization of conditional term rewriting systemsNagashima, Masanori; Sakai, Masahiko; Sakabe, Toshiki
Feb-2008Static Dependency Pair Method for Simply-Typed Term Rewriting and Related TechniquesKUSAKARI, Keiichirou; SAKAI, Masahiko; 草刈, 圭一朗; 酒井, 正彦
Oct-2009Static Dependency Pair Method Based on Strong Computability for Higher-Order Rewrite SystemsKUSAKARI, Keiichirou; ISOGAI, Yasuo; SAKAI, Masahiko; BLANQUI, Frédéric
May-2007Confluence of Length Preserving String Rewriting Systems is UndecidableWANG, Yi; SAKAI, Masahiko; NISHIDA, Naoki; SAKABE, Toshiki; KUSAKARI, Keiichirou
2007Enhancing Dependency Pair Method using Strong Computability in Simply-Typed Term Rewriting草刈, 圭一朗; Kusakari, Keiichirou; 酒井, 正彦; Sakai, Masahiko
Dec-2006SOFTWARE VERIFICATION BASED ON TRANSFORMATION FROM PROCEDURAL PROGRAMS TO REWRITE SYSTEMSNishida, Naoki; Furuichi, Yuki; Sakai, Masahiko; Kusakari, Keiichirou; Sakabe, Toshiki
May-2007Decidability of Innermost Termination for Semi-Constructor Term Rewriting SystemsUCHIYAMA, Keita; SAKAI, Masahiko; NISHIDA, Naoki; SAKABE, Toshiki; KUSAKARI, Keiichirou
Jul-2009Context-sensitive Innermost Reachability is Decidable for Linear Right-shallow Term Rewriting SystemsKojima, Yoshiharu; Sakai, Masahiko; Nishida, Naoki; Kusakari, Keiichirou; Sakabe, Toshiki
Sep-2011Decidability of Reachability for Right-shallow Context-sensitive Term Rewriting SystemsKojima, Yoshiharu; Sakai, Masahiko; Nishida, Naoki; Kusakari, Keiichirou; Sakabe, Toshiki
Mar-2012A Sound Type System for Typing Runtime ErrorsYamada, Akihisa; Kusakari, Keiichirou; Sakabe, Toshiki; Sakai, Masahiko; Nishida, Naoki
Jul-2013例外処理を含む関数型プログラム停止性証明のための条件付き依存対法濱口, 毅; 酒井, 正彦; HAMAGUCHI, Takeshi; SAKAI, Masahiko
Jan-2012語問題を基底等式集合の語問題に帰着可能な等式集合のクラスについて坂井, 利光; 酒井, 正彦; 坂部, 俊樹; 西田, 直樹; 草刈, 圭一朗; SAKAI, Toshimitsu; SAKAI, Masahiko; SAKABE, Toshiki; NISHIDA, Naoki; KUSAKARI, Keiichirou
Aug-2005構成子項書換え系の逆計算プログラムの生成西田, 直樹; NISHIDA, Naoki; 酒井, 正彦; SAKAI, Masahiko; 坂部, 俊樹; SAKABE, Toshiki
Mar-2011例外処理を持つ関数型プログラムの停止性・非停止性証明法濱口, 毅; 酒井, 正彦; 馬場, 正貴; 阿草, 清滋; Hamaguchi, Takeshi; Sakai, Masahiko; Baba, Masataka; Agusa, Kiyoshi
Jan-2003名古屋大学における経営情報システムの構築中井, 俊樹; 鳥居, 朋子; 酒井, 正彦; 池田, 輝政; NAKAI, Toshiki; TORII, Tomoko; SAKAI, Masahiko; IKEDA, Terumasa
Dec-2010順方向ナローイングに基づく右線形右シャロー項書換え系の非停止性証明について服部, 達哉; 酒井, 正彦; 西田, 直樹; 草刈, 圭一朗; 坂部, 俊樹; HATTORI, Tatsuya; SAKAI, Masahiko; NISHIDA, Naoki; KUSAKARI, Keiichirou; SAKABE, Toshiki
Feb-2008Error Detection with Soft Typing for Dynamically Typed LanguagesYAMADA, Akihisa; KUSAKARI, Keiichirou; SAKAI, Masahiko; SAKABE, Toshiki; NISHIDA, Naoki; 山田, 晃久; 草刈, 圭一朗; 酒井, 正彦; 坂部, 俊樹; 西田, 直樹
Sep-2008制約付き項書換え系の潜在帰納法を利用した手続き型プログラム検証の試み古市, 祐樹; 西田, 直樹; 酒井, 正彦; 草刈, 圭一朗; 坂部, 俊樹; Furuichi, Yuki; Nishida, Naoki; Sakai, Masahiko; Kusakari, Keiichirou; Sakabe, Toshiki
2007単純型項書き換え系上の依存対法における実効規則と直積型項へのラベル付け楼井, 敬大; SAKURAI, Takahiro; 草刈, 圭一朗; KUSAKARI, Keiichirou; 酒井, 正彦; SAKAI, Masahiko; 坂部, 俊樹; SAKABE, Toshiki; 西田, 直樹; NISHIDA, Naoki
May-2006紐解かれた項書換え系の文脈依存条件の除去のための変換水谷, 知博; MIZUTANI, Tomohiro; 西田, 直樹; NISHIDA, Naoki; 酒井, 正彦; SAKAI, Masahiko; 坂部, 俊樹; SAKABE, Toshiki; 草刈, 圭一朗; KUSAKARI, Keiichirou
Apr-2005配列を扱う非線形先頭再帰プログラムからの再帰除去高須, 洋平; TAKASU, Yohei; 酒井, 正彦; SAKAI, Masahiko; 西田, 直樹; NISHIDA, Naoki; 草刈, 圭一朗; KUSAKARI, Keiichirou; 坂部, 俊樹; SAKABE, Toshiki
Mar-2009制約付き項書換え系における書換え帰納法坂田, 翼; 西田, 直樹; 坂部, 俊樹; 酒井, 正彦; 草刈, 圭一朗; Sakata, Tsubasa; Nishida, Naoki; Sakabe, Toshiki; Sakai, Masahiko; KUSAKARI, Keiichirou
Apr-2005変換と部分評価に基づく非左辺正規なメタ項の停止性証明蛸島, 洋明; TAKOJIMA, Hiroaki; 酒井, 正彦; SAKAI, Masahiko; 坂部, 俊樹; SAKABE, Toshiki; 西田, 直樹; NISHIDA, Naoki; 草刈, 圭一朗; KUSAKARI, Keiichirou
Apr-2005弱最内戦略を完全にする項書換え系の等価交換岡本, 晃治; OKAMOTO, Koji; 酒井, 正彦; SAKAI, Masahiko; 西田, 直樹; NISHIDA, Naoki; 草刈, 圭一朗; KUSAKARI, Keiichirou; 坂部, 俊樹; SAKABE, Toshiki
Apr-2005項到達可能性の判定における成長TRSに対する手法と正規化規則による手法の関係村田, 龍彦; MURATA, Tatsuhiko; 酒井, 正彦; SAKAI, Masahiko; 西田, 直樹; NISHIDA, Naoki; 草刈, 圭一朗; KUSAKARI, Keiichirou; 坂部, 俊樹; SAKABE, Toshiki
Sep-2009制約付き項書換え系の書換え帰納法における補題等式の自動生成法中林, 直生; 西田, 直樹; 草刈, 圭一朗; 坂部, 俊樹; 酒井, 正彦; Nakabayashi, Naoki; Nishida, Naoki; Kusakari, Keiichirou; Sakabe, Toshiki; Sakai, Masahiko
Feb-2011制約付き項書換え系の書換え帰納法における補題等式の自動生成法中林, 直生; 西田, 直樹; 草刈, 圭一朗; 坂部, 俊樹; 酒井, 正彦; Nakabayashi, Naoki; Nishida, Naoki; Kusakari, Keiichirou; Sakabe, Toshiki; Sakai, Masahiko
1-Jan-2010基本対称関数に基づく節をもつCNF論理式の充足可能性判定馬野, 洋平; 酒井, 正彦; 西田, 直樹; 坂部, 俊樹; 草刈, 圭一朗; UMANO, Yohei; SAKAI, Masahiko; NISHIDA, Naoki; SAKABE, Toshiki; KUSAKARI, Keiichirou
Jun-2007二階の書換え系における引数切り落とし法磯谷, 泰巨; 草刈, 圭一朗; 酒井, 正彦; 坂部, 俊樹; 西田, 直樹; ISOGAI, Yasuo; KUSAKARI, Keiichirou; SAKAI, Masahiko; SAKABE, Toshiki; NISHIDA, Naoki
Jul-2007振舞等価性の証明のための等式付き書換えに基づく潜在帰納法笹田, 悠司; 酒井, 正彦; 西田, 直樹; 坂部, 俊樹; 草刈, 圭一朗; SASADA, Yuji; SAKAI, Masahiko; NISHIDA, Naoki; SAKABE, Toshiki; KUSAKARI, Keiichiro
Oct-2007導出木からのループ検出による論理プログラムの非停止性証明法水谷, 知博; 西田, 直樹; 酒井, 正彦; 坂部, 俊樹; 草刈, 圭一朗; MIZUTANI, Tomohiro; NISHIDA, Naoki; SAKAI, Masahiko; SAKABE, Toshiki; KUSAKARI, Keiichirou
Jul-2007左線形な定向条件付き項書換え系における到達可能な項集合の近似集合を認識する木オートマトン村田, 俊樹; 西田, 直樹; 酒井, 正彦; 坂部, 俊樹; 草刈, 圭一朗; MURATA, Toshiki; NISHIDA, Naoki; SAKAI, Masahiko; SAKABE, Toshiki; KUSAKARI, Keiichirou
Dec-2007対話型埋込みによる数独問題の設計ツール馬野, 洋平; 酒井, 正彦; 西田, 直樹; 坂部, 俊樹; 草刈, 圭一郎; UMANO, Yohei; SAKAI, Masahiko; NISHIDA, Naoki; SAKABE, Toshiki; KUSAKARI, Keiichirou
Dec-2007プログラム生成系GeneSysにおける等式仕様への否定の導入近藤, 悟; 酒井, 正彦; 坂部, 俊樹; 草刈, 圭一郎; 西田, 直樹; KONDO, Satoru; SAKAI, Masahiko; SAKABE, Toshiki; KUSAKARI, Keiichirou; NISHIDA, Naoki
Feb-2008等式を規則化する変換の停止条件水野, 清貴; 西田, 直樹; 坂部, 俊樹; 酒井, 正彦; 草刈, 圭一朗; MIZUNO, Kiyotaka; NISHIDA, Naoki; SAKABE, Toshiki; SAKAI, Masahiko; KUSAKARI, Keiichirou
Oct-2010難解言語Malbolgeのチューリング完全性について長坂, 哲; 酒井, 正彦; 坂部, 俊樹; 草刈, 圭一朗; 西田, 直樹; NAGASAKA, Satoshi; SAKAI, Masahiko; SAKABE, Toshiki; KUSAKARI, Keiichirou; NISHIDA, Naoki
Oct-2010等式理論を法とするDPLL遷移系について馬場, 達也; 坂部, 俊樹; 西田, 直樹; 草刈, 圭一朗; 酒井, 正彦; BABA, Tatsuya; SAKABE, Toshiki; NISHIDA, Naoki; KUSAKARI, Keiichirou; SAKAI, Masahiko
Oct-20112リテラル監視法で実装されたSATソルバへの基本対称節処理機能の組み込み日野, 善信; 酒井, 正彦; 坂部, 俊樹; 草刈, 圭一朗; 西田, 直樹; HINO, Yoshizane; SAKAI, Masahiko; SAKABE, Toshiki; KUSAKARI, Keiichirou; NISHIDA, Naoki
Jan-2013制約付き項のインスタンスを受理する制約付き木オートマトンの構成法中野, 靖大; 西田, 直樹; 酒井, 正彦; 坂部, 俊樹; 草刈, 圭一朗; NAKANO, Yasuhiro; NISHIDA, Naoki; SAKAI, Masahiko; SAKABE, Toshiki; KUSAKARI, Keiichirou
Jan-2012高階書換え系における引数切り落とし関数の下での実効規則について大井, 一展; 草刈, 圭一朗; 酒井, 正彦; 坂部, 俊樹; 西田, 直樹; OOI, Kazuhiro; KUSAKARI, Keiichirou; SAKAI, Masahiko; SAKABE, Toshiki; NISHIDA, Naoki
May-2012Malbolgeの高級アセンブリ言語への配列機能の追加安藤, 聡; 酒井, 正彦; 坂部, 俊樹; 草刈, 圭一朗; 西田, 直樹; ANDO, Satoshi; SAKAI, Masahiko; SAKABE, Toshiki; KUSAKARI, Keiichirou; NISHIDA, Naoki
Jan-2012関数呼び出しを持つプログラムの非線形ループ不変式の自動生成鈴木, 英一; 坂部, 俊樹; 酒井, 正彦; 草刈, 圭一朗; 西田, 直樹; SUZUKI, Eiichi; SAKABE, Toshiki; SAKAI, Masahiko; KUSAKARI, Keiichirou; NISHIDA, Naoki
Jan-2013Malbolge低級アセンブリプログラミングにおける制御命令の配置設計のためのSATソルバの利用安藤, 聡; 酒井, 正彦; 坂部, 俊樹; 草刈, 圭一朗; 西田, 直樹; ANDO, Satoshi; SAKAI, Masahiko; SAKABE, Toshiki; KUSAKARI, Keiichirou; NISHIDA, Naoki
Jul-2012On Extending Matching Operation in Grammar Programs for Program Inversion丹羽, 南; 西田, 直樹; 酒井, 正彦; 坂部, 俊樹; 草刈, 圭一朗; NIWA, Minami; NISHIDA, Naoki; SAKAI, Masahiko; SAKABE, Toshiki; KUSAKARI, Keiichirou
Oct-2012三値関数を実現するMalbolge命令列の発見のためのSATエンコーディング安藤, 聡; 酒井, 正彦; 坂部, 俊樹; 草刈, 圭一朗; 西田, 直樹; ANDO, Satoshi; SAKAI, Masahiko; SAKABE, Toshiki; KUSAKARI, Keiichirou; NISHIDA, Naoki
Feb-2013整数解を導出するための単体法とゴモリーカットの合成について伏見, 政晃; 西田, 直樹; 酒井, 正彦; 草刈, 圭一朗; 坂部, 俊樹; FUSHIMI, Masaaki; NISHIDA, Naoki; SAKAI, Masahiko; KUSAKARI, Keiichirou; SAKABE, Toshiki
Jul-2013Malbolgeのワード長の拡大とそのプログラミング支援ツール加藤, 起騎; 酒井, 正彦; 坂部, 俊樹; 草刈, 圭一朗; 西田, 直樹; KATO, Tatsuki; SAKAI, Masahiko; SAKABE, Toshiki; KUSAKARI, Keiichirou; NISHIDA, Naoki
Mar-2008例外処理付きオブジェクト指向プログラムにおける情報流の安全性解析のための型システム黒川, 翔; 桑原, 寛明; 山本, 晋一郎; 坂部, 俊樹; 酒井, 正彦; 草刈, 圭一朗; 西田, 直樹; KUROKAWA, Sho; KUWABARA, Hiroaki; YAMAMOTO, Shinichiro; SAKABE, Toshiki; SAKAI, Masahiko; KUSAKARI, Keiichirou; NISHIDA, Naoki
Feb-2011制約付き木オートマトンとその閉包性倉橋, 克尚; 酒井, 正彦; 西田, 直樹; 野村, 太志; 坂部, 俊樹; 草刈, 圭一朗; KURAHASHI, Katsuhisa; SAKAI, Masahiko; NISHIDA, Naoki; NOMURA, Futoshi; SAKABE, Toshiki; KUSAKARI, Keiichirou
Jan-2012単純型付き項書換え系における書換え帰納法について尾関, 朗; 草刈, 圭一朗; 坂田, 翼; 西田, 直樹; 酒井, 正彦; 坂部, 俊樹; OZEKI, Akira; KUSAKARI, Keiichirou; SAKATA, Tsubasa; NISHIDA, Naoki; SAKAI, Masahiko; SAKABE, Toshiki
Mar-2005北部九州の樫原湿原におけるボーリング・コア試料 (KS0412-3)の分析結果(速報)(タンデトロン加速器質量分析計業績報告2004(平成16)年度)奥野, 充; OKUNO, Mitsuru; 中村, 俊夫; NAKAMURA, Toshio; 藤木, 利之; FUJIKI, Toshiyuki; 杉山, 真二; SUGIYAMA, Shinji; 酒井, 英男; SAKAI, Hideo; 吉田, 直人; YOSHIDA, Naoto; 森, 勇一; MORI, Yuichi; 上田, 恭子; UEDA, Kyoko; 此松, 昌彦; KONOMATSU, Masahiko; 鮎沢, 潤; AIZAWA, Jun; 長岡, 信治; NAGAOKA, Shinji; 稲永, 康平; INENAGA, Kohei

1

 

Valid XHTML 1.0! DSpace Software Copyright © 2002-2010  Duraspace - Feedback