検索結果27件中 1-20 を表示

  • 1 / 2
  • 北陸先端科学技術大学院大学 ID: 9000008752744

    CiNii収録論文: 1件

    • 未来博士と「一日大学院」 (特集 魅力ある理工系教育の推進--創造的人材の育成のために) -- (事例紹介) (1996)
  • 北陸先端科学技術大学院大学 ID: 9000348888755

    CiNii収録論文: 3件

    • 書き換えによるセキュリティプロトコル帰納的検証(<特集>セキュアコンピューティング) (2003)
    • 項書換えを用いた安全性検証の組織化(<特集>ソフトウェア工学の基礎) (2003)
    • CafeOBJによるODPトレーダ仕様の記述 (1999)
  • 北陸先端科学技術大学院大学 ID: 9000361167417

    CiNii収録論文: 1件

    • 特集「身体知の発展」にあたって (2017)
  • 北陸先端科学技術大学院大学 ID: 9000361181400

    CiNii収録論文: 1件

    • 第3回計算論的学習理論ワークショップ(ALT '92)報告 (1993)
  • 北陸先端科学技術大学院大学 ID: 9000361187961

    CiNii収録論文: 1件

    • Shor, P.W.: Algorithms for Quantum Computation: Discrete Logarithms and Factoring, Proc.35th Annual Symp.on Foundations of Computer Science, pp.124-134 (1994). (1996)
  • 北陸先端科学技術大学院大学 ID: 9000361188820

    CiNii収録論文: 1件

    • アクティブデータベース (1997)
  • 北陸先端科学技術大学院大学 ID: 9000361189164

    CiNii収録論文: 26件

    • 発想支援システム (1997)
    • 小特集「帰納論理プログラミング」にあたって (1997)
    • 北陸先端科学技術大学院大学知識科学研究科 (1997)
  • 北陸先端科学技術大学院大学 ID: 9000361192213

    CiNii収録論文: 1件

    • VC次元 (1998)
  • 北陸先端科学技術大学院大学 ID: 9000361192785

    CiNii収録論文: 2件

    • 音声対話コーパスの共有化へ向けて (1999)
    • 日本語地図課題対話コーパスの設計と特徴 (1999)
  • 北陸先端科学技術大学院大学 ID: 9000361195809

    CiNii収録論文: 1件

    • 「ことば工学」によせて (2000)
  • 北陸先端科学技術大学院大学 ID: 9000361201462

    CiNii収録論文: 1件

    • 遺伝子知識スパイラル : ポストゲノムシーケンス時代のバイオインフォマティクス(<特集>「バイオインフォマティクスの世界」) (2003)
  • 北陸先端科学技術大学院大学 ID: 9000361201500

    CiNii収録論文: 5件

    • ASIA-PEPM 2002/FLOPS 2002参加報告 (2003)
    • さきがけ「機能と構成」研究1 : 効率的で正しいプログラムの自動生成 (2003)
    • マルチバージョン原子オブジェクトにおける可能実行方式 (1993)
  • 北陸先端科学技術大学院大学 ID: 9000361202915

    CiNii収録論文: 1件

    • ナレッジマネジメント(私のブックマーク) (2003)
  • 北陸先端科学技術大学院大学 ID: 9000361205199

    CiNii収録論文: 1件

    • 特集「ネットワークが創発する知能」にあたって (2005)
  • 北陸先端科学技術大学院大学 ID: 9000361209829

    CiNii収録論文: 1件

    • 3項組知識表現<"動画知","自然言語知","メタデータ">とその知識創造支援活動への応用(知識情報インフラストラクチャ,<特集>人工知能分野における博士論文) (2008)
  • 北陸先端科学技術大学院大学 ID: 9000361212905

    CiNii収録論文: 1件

    • 言語理解・意味理解の先駆者田中穂積先生の想い出(14) (2009)
  • 北陸先端科学技術大学院大学 ID: 9000361213640

    CiNii収録論文: 1件

    • Shinohara, K. and Tenenberg, J., A blind person's interactions with technology: Meaning can be as important as usability in the design of technology(盲目のサラにとっての手探りとモノと友人との関係:技術デザインにおける意味の重要性), Commun. ACM, Vol.52, No.8, pp.58-66, 2009 (2010)
  • 北陸先端科学技術大学院大学 ID: 9000361218168

    CiNii収録論文: 3件

    • 今年やめること(<特集>編集委員今年の抱負2013) (2013)
    • 世に出て行かない人工知能,あるいは俺(<特集>編集委員会企画-社会とAIの羅針盤2015-) (2015)
    • OS-15 身体知の表現と獲得(オーガナイズドセッション,<特集>2015年度人工知能学会全国大会(第29回)) (2015)
  • 北陸先端科学技術大学院大学 ID: 9000361219470

    CiNii収録論文: 2件

    • 意味 : 人間の脳とコンピュータの違い(ダイアローグ「シンギュラリティの論点:人間の知性vs.コンピュータ」第2部,<特別企画>シンギュラリティの時代:人を超えゆく知性とともに) (2013)
    • 未来 : 人間とコンピュータの共進化(ダイアローグ「シンギュラリティの論点:人間の知性vs.コンピュータ」第3部,<特別企画>シンギュラリティの時代:人を超えゆく知性とともに) (2013)
  • 北陸先端科学技術大学院大学 ID: 9000361219662

    CiNii収録論文: 1件

    • データマイニング・オントロジー工学による燃料電池の信頼性診断・知識管理基盤技術(<特集>グリーンAI) (2013)
  • 1 / 2

ページトップへ