Search Results21-40 of  129

  • 西田 直樹 ID: 9000249502821

    Articles in CiNii:1

    • インタビュー 金融機関には「つなぐ」役割を担ってほしい : 中小企業等の本業支援のために専門人材の活用を (特集 活躍する外部人材) (2014)
  • 西田 直樹 ID: 9000255728974

    関西医科大学小児科 (1983 from CiNii)

    Articles in CiNii:1

    • ホパンテン酸カルシウムの投与中におこった急性脳症の3例 (1983)
  • 西田 直樹 ID: 9000256113563

    関西医科大学小児科 (1982 from CiNii)

    Articles in CiNii:1

    • バルプロ酸の投与中におこったReye-like syndromeの1例 (1982)
  • 西田 直樹 ID: 9000256114205

    関西医科大学小児科 (1985 from CiNii)

    Articles in CiNii:1

    • Significance of serum carnitine in acute encephalopathy. (1985)
  • 西田 直樹 ID: 9000256116208

    関西医科大学男山病院小児科 (1991 from CiNii)

    Articles in CiNii:1

    • A case of periodic hypersomnia: the effect of Toki-shakuyaku-san. (1991)
  • 西田 直樹 ID: 9000271153398

    Articles in CiNii:1

    • 地域金融機関の課題について (2014)
  • 西田 直樹 ID: 9000276430410

    Articles in CiNii:1

    • Implicit Induction for Proving Behavioral Equivalence by Equational Rewriting (2007)
  • 西田 直樹 ID: 9000276430419

    Articles in CiNii:1

    • Recognizable Approximation of Descendant Sets for Left-Linear Oriented Conditional Term Rewriting Systems (2007)
  • 西田 直樹 ID: 9000276430432

    Articles in CiNii:1

    • Argument Filtering Method for Second-Order Higher-Order Rewrite Systems (2007)
  • 西田 直樹 ID: 9000277057118

    Articles in CiNii:1

    • On Turing Completeness of an Esoteric Language, Malbolge (2010)
  • 西田 直樹 ID: 9000277057128

    Articles in CiNii:1

    • On Decidability of Context-Sensitive Termination for Right-Linear Right-Shallow Term Rewriting Systems (2009)
  • 西田 直樹 ID: 9000277057137

    Articles in CiNii:1

    • Program Generation Based on Transformation of Conditional Equations (2009)
  • 西田 直樹 ID: 9000277057148

    Articles in CiNii:1

    • Argument Filtering and Usable Rules in Higher-Order Rewrite Systems (2009)
  • 西田 直樹 ID: 9000277057155

    Articles in CiNii:1

    • A Sufficient Condition for Termination of Transformations from Equations to Rewrite Rules (2008)
  • 西田 直樹 ID: 9000277057168

    Articles in CiNii:1

    • Extending program-generation system GeneSys for allowing negation in equational specifications (2007)
  • 西田 直樹 ID: 9000277057176

    Articles in CiNii:1

    • A Tool for Designing Sudoku Problems by Interactive Fill-in Approach (2007)
  • 西田 直樹 ID: 9000277057185

    Articles in CiNii:1

    • Proving Non-termination of Logic Programs by Detecting Loops in Derivation Trees (2007)
  • 西田 直樹 ID: 9000277863378

    Articles in CiNii:1

    • Rewriting Induction for Constrained Term Rewriting Systems (2009)
  • 西田 直樹 ID: 9000277863388

    Articles in CiNii:1

    • Approach to Procedural-program Verification Based on Implicit Induction of Constrained Term Rewriting Systems (2008)
  • 西田 直樹 ID: 9000277863413

    Articles in CiNii:1

    • Error Detection with Soft Typing for Dynamically Typed Languages (2008)
Page Top