検索結果63件中 21-40 を表示

  • 2 / 4
  • Naoyuki Tamura ID: 9000348888580

    CiNii収録論文: 1件

    • LLPTTP: 線形論理型言語コンパイラ処理系を用いた定理証明システム (2003)
  • Naoyuki Tamura ID: 9000348890266

    CiNii収録論文: 1件

    • 制約条件に論理的ORを含む組合せ最適化問題に対するハイブリッド型最適化手法の実現(サイバー増大ページ論文概要,サイバー増大号) (2005)
  • Naoyuki Tamura ID: 9000348890492

    CiNii収録論文: 1件

    • 線形論理型言語コンパイラ処理系を用いた古典命題線形論理の定理証明システム (2005)
  • Naoyuki Tamura ID: 9000348892090

    CiNii収録論文: 1件

    • PrologからJavaへのトランスレータ処理系とその応用 (2007)
  • Naoyuki Tamura ID: 9000361207180

    CiNii収録論文: 1件

    • Prolog Cafe: Java上で動作するProlog処理系(<シリーズ特集>研究のツールボックス〔第4回〕) (2006)
  • Naoyuki Tamura ID: 9000361213321

    CiNii収録論文: 1件

    • 特集「最近のSAT技術の発展」にあたって(<特集>最近のSAT技術の発展) (2010)
  • Naoyuki Tamura ID: 9000361213327

    CiNii収録論文: 1件

    • SATソルバーの基礎(<特集>最近のSAT技術の発展) (2010)
  • Naoyuki Tamura ID: 9000361213343

    CiNii収録論文: 1件

    • 制約最適化問題とSAT符号化(<特集>最近のSAT技術の発展) (2010)
  • Naoyuki Tamura ID: 9000361213471

    CiNii収録論文: 1件

    • SATによるシステム検証(<特集>最近のSAT技術の発展) (2010)
  • Naoyuki Tamura ID: 9000361218993

    CiNii収録論文: 1件

    • 「SATソルバー」(私のブックマーク) (2013)
  • Tamura Naoyuki ID: 9000000319650

    Subaru Telescope, National Astronomical Observatory of Japan (2012年 CiNii収録論文より)

    CiNii収録論文: 8件

    • Deep-Imaging Observations of a Candidate of an Absorbed QSO at z=0.653, AX J131831+3341 (2000)
    • Lyman Break Galaxies at z - 5 : Luminosity Function (2003)
    • Panoramic Views of Cluster-Scale Assemblies Explored by Subaru Wide-Field Imaging (2005)
  • Tamura Naoyuki ID: 9000000987590

    Department of Astronomy, Kyoto University (2001年 CiNii収録論文より)

    CiNii収録論文: 1件

    • NIR Narrow- and Broad-Band Study of the SSA 22 Field (2001)
  • Tamura Naoyuki ID: 9000017396510

    Graduate School of Agricultural and Life Sciences, The University of Tokyo (2010年 CiNii収録論文より)

    CiNii収録論文: 1件

    • Oxidation of bleached wood pulp by TEMPO/NaClO/NaClO_2 system : effect of the oxidation conditions on carboxylate content and degree of polymerization (2010)
  • Tamura Naoyuki ID: 9000019229672

    CiNii収録論文: 1件

    • Influence of Chemical Bonding States on Electrical Properties of Amorphous Carbon Nitride Films (2012)
  • 田村 尚之 ID: 9000004755592

    北海道大学大学院工学研究科 (2001年 CiNii収録論文より)

    CiNii収録論文: 1件

    • レクテナ素子として使用するスリット入り円形マイクロストリップアンテナに関する考察 (2001)
  • 田村 尚之 ID: 9000004956888

    鳥取大学工学部電気電子工学科 (2001年 CiNii収録論文より)

    CiNii収録論文: 2件

    • 音源方向推定と音源分離手法を用いた音声認識 (2000)
    • 音源分離手法を用いた複数単語同時認識 (2001)
  • 田村 尚之 ID: 9000006564781

    帝京大学医学部付属病院外科 (2008年 CiNii収録論文より)

    CiNii収録論文: 8件

    • 上部消化管手術後早期経腸栄養法の検討 : 栄養製剤の違いによる比較 (2002)
    • 胆管結石による急性胆管炎に対しての Rendezvous technique (2008)
    • O-1-67 膵体尾部癌切除症例の臨床病理学的検討(膵 手術1,一般演題(口演),第62回日本消化器外科学会定期学術総会) (2007)
  • 田村 尚之 ID: 9000018768741

    岡山県農林水産総合センター農業研究所 (2011年 CiNii収録論文より)

    CiNii収録論文: 1件

    • 岡山県南部におけるコムギ品種「ふくほのか」の多収と子実蛋白質含有率向上のための播種時期, 播種量並びに施肥方法 (2011)
  • 田村 尚之 ID: 9000258072285

    帝京大学医学部付属病院外科 (2008年 CiNii収録論文より)

    CiNii収録論文: 1件

    • 胆管結石による急性胆管炎に対してのRendezvous technique (2008)
  • 田村 尚之 ID: 9000258471004

    岡山県農林水産総合センター農業研究所 (2011年 CiNii収録論文より)

    CiNii収録論文: 1件

    • 岡山県南部におけるコムギ品種「ふくほのか」の多収と子実蛋白質含有率向上のための播種時期,播種量並びに施肥方法 (2011)
  • 2 / 4
ページトップへ