御宿 義勝 MISHUKU Yoshimasa

ID:9000045996703

名古屋大学大学院情報科学研究科 Graduate School of Information Science, Nagoya University (2009年 CiNii収録論文より)

同姓同名の著者を検索

論文一覧:  2件中 1-2 を表示

  • 右線形右シャローな項書換え系における文脈依存停止性の決定可能性について

    御宿 義勝 , 酒井 正彦 , 坂部 俊樹 [他] , 草刈 圭一朗 , 西田 直樹

    依存対が右線形右シャローである項書換え系のクラスでは,停止性および最内停止性が決定可能であることが示されている(内山ら2008年).しかし,文脈依存停止性の決定可能性は同クラスのうち,さらに左シャローであるクラスでしか示されていない.文脈依存書換えでは依存鎖中に停止しない項が存在することが,その停止性の解析を困難にしている.本論文ではまず,内山らの決定手続きが働かない左シャローでない項書換え系を例 …

    電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス 109(343), 31-36, 2009-12-10

    参考文献10件

  • 右線形右シャローな項書換え系における文脈依存停止性の決定可能性について

    御宿 義勝 , 酒井 正彦 , 坂部 俊樹 , 草刈 圭一朗 , 西田 直樹 , MISHUKU Yoshimasa , SAKAI Masahiro , SAKABE Toshiki , KUSAKARI Keiichirou , NISHIDA Naoki

    電子情報通信学会技術研究報告SS, ソフトウェアサイエンス 109(343), 31-36, 2009-12

    機関リポジトリ

ページトップへ