検索結果129件中 61-80 を表示

  • 西田 直樹 ID: 9000272643654

    名古屋大学大学院情報科学研究科 (2014年 CiNii収録論文より)

    CiNii収録論文: 1件

    • 逆Unfold問題とその発見的解法 (2014)
  • 西田 直樹 ID: 9000276430410

    CiNii収録論文: 1件

    • 振舞等価性の証明のための等式付き書換えに基づく潜在帰納法 (2007)
  • 西田 直樹 ID: 9000276430419

    CiNii収録論文: 1件

    • 左線形な定向条件付き項書換え系における到達可能な項集合の近似集合を認識する木オートマトン (2007)
  • 西田 直樹 ID: 9000276430432

    CiNii収録論文: 1件

    • 二階の書換え系における引数切り落とし法 (2007)
  • 西田 直樹 ID: 9000277057118

    CiNii収録論文: 1件

    • 難解言語Malbolgeのチューリング完全性について (2010)
  • 西田 直樹 ID: 9000277057128

    CiNii収録論文: 1件

    • 右線形右シャローな項書換え系における文脈依存停止性の決定可能性について (2009)
  • 西田 直樹 ID: 9000277057137

    CiNii収録論文: 1件

    • 条件付き等式の変換に基づくプログラム生成 (2009)
  • 西田 直樹 ID: 9000277057148

    CiNii収録論文: 1件

    • 高階書換え系における引数切り落とし法と実効規則 (2009)
  • 西田 直樹 ID: 9000277057155

    CiNii収録論文: 1件

    • 等式を規則化する変換の停止条件 (2008)
  • 西田 直樹 ID: 9000277057168

    CiNii収録論文: 1件

    • プログラム生成系GeneSysにおける等式仕様への否定の導入 (2007)
  • 西田 直樹 ID: 9000277057176

    CiNii収録論文: 1件

    • 対話型埋込みによる数独問題の設計ツール (2007)
  • 西田 直樹 ID: 9000277057185

    CiNii収録論文: 1件

    • 導出木からのループ検出による論理プログラムの非停止性証明法 (2007)
  • 西田 直樹 ID: 9000277863378

    CiNii収録論文: 1件

    • 制約付き項書換え系における書換え帰納法 (2009)
  • 西田 直樹 ID: 9000277863388

    CiNii収録論文: 1件

    • 制約付き項書換え系の潜在帰納法を利用した手続き型プログラム検証の試み (2008)
  • 西田 直樹 ID: 9000277863413

    CiNii収録論文: 1件

    • Error Detection with Soft Typing for Dynamically Typed Languages (2008)
  • 西田 直樹 ID: 9000277863424

    CiNii収録論文: 1件

    • 例外処理付きオブジェクト指向プログラムにおける情報流の安全性解析のための型システム (2008)
  • 西田 直樹 ID: 9000277863434

    CiNii収録論文: 1件

    • 順方向ナローイングに基づく右線形右シャロー項書換え系の非停止性証明について (2010)
  • 西田 直樹 ID: 9000277863444

    CiNii収録論文: 1件

    • 等式理論を法とするDPLL遷移系について (2010)
  • 西田 直樹 ID: 9000278478910

    CiNii収録論文: 1件

    • マレーシア財務省(MOF)ダイアログ出席報告 (2014)
  • 西田 直樹 ID: 9000283468048

    名古屋大学大学院情報科学研究科 (2011年 CiNii収録論文より)

    CiNii収録論文: 1件

    • 制約付き項書換え系の書換え帰納法における補題等式の自動生成法 (2011)
ページトップへ