• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

山崎 進  YAMASAKI Susumu

ORCIDORCID連携する *注記
研究者番号 10026354
外部サイト
所属 (過去の研究課題情報に基づく) *注記 2003年度: 岡山大学, 大学院・自然科学研究科, 教授
2002年度: 岡山大学, 自然科学研究科, 教授
2001年度: 岡山大学, 大学院・自然科学研究科, 教授
1994年度 – 1996年度: 岡山大学, 工学部, 教授
1990年度 – 1991年度: 岡山大学, 工学部, 教授
1987年度 – 1988年度: 岡山大学, 工学部, 教授
審査区分/研究分野
研究代表者
知能情報学 / 情報学
研究代表者以外
情報工学 / 知能情報学 / 情報学
キーワード
研究代表者
semantics / 意味論 / abduction framework / abductive proof procedure / SLDNF resolution / negation as failure / Three-valued stable model / Two-valued stable model / Logic program / 非単調推論 … もっと見る / 古典的否定 / 矛盾による否定 / 拡張論理プログラム / アブダクション / アブダクション枠組の制約条件 / 一般論理プログラム / 3値論理 / アブダクション手続き / アブダクションの枠組 / アブダクティブ手続き / SLDNF導出 / 失敗による否定 / 3値安定モデル / 2値安定モデル / 論理プログラム / resolution deduction / algebraic manipulation / dataflow / functional language / logic language / ユニフィケ-ション / 非決定性 / プログラム変換 / 形式意味論 / 導出演繹 / 代数的操作 / デ-タフロ- / 関数型言語 / 論理型言語 … もっと見る
研究代表者以外
人工知能 / Adaptive / Model / Learning / Interaction / Artificial Intelligence / Multi-Media / Pattern Recognition / Hierarchical structures / トップダウン手法 / ボトムアップ手法 / あいまい性 / データベース / 適応的 / 学習 / 対話 / モデル / マルチメディア / パターン理解 / 階層構造 / Euler Diagrams / Distributed Logic Programs / User Interface / A Contradiction-Free Proof Procedure / Visualization / Reasoning / オイラー図 / 分散論理プログラム / ユーザインタフェース / 矛盾解消 / 視覚化 / 推論 / differential equations / artificial intelligence / engineering problem solving / commonsense reasoning / dynamical systems / qualitative reasoning / 微分方程式 / 工学的問題解決 / 常識推論 / 力学系 / 定性推論 隠す
  • 研究課題

    (5件)
  • 共同研究者

    (8人)
  •  ヒューマンインタフェースのための矛盾解消推論と視覚化に関する研究

    • 研究代表者
      笹倉 万里子
    • 研究期間 (年度)
      2001 – 2003
    • 研究種目
      基盤研究(C)
    • 研究分野
      知能情報学
    • 研究機関
      岡山大学
  •  アブダクションシステムの構成に関する研究研究代表者

    • 研究代表者
      山崎 進
    • 研究期間 (年度)
      1994 – 1996
    • 研究種目
      基盤研究(B)
    • 研究分野
      知能情報学
    • 研究機関
      岡山大学
  •  動的システムの定性解析のソフトウェア化に関する研究

    • 研究代表者
      西田 豊明
    • 研究期間 (年度)
      1990 – 1991
    • 研究種目
      一般研究(C)
    • 研究分野
      情報学
    • 研究機関
      京都大学
  •  デ-タフロ-言語に基づく論理型言語と関数型言語の統合化研究代表者

    • 研究代表者
      山崎 進
    • 研究期間 (年度)
      1990 – 1991
    • 研究種目
      一般研究(C)
    • 研究分野
      情報学
    • 研究機関
      岡山大学
  •  階層構造におけるパターン理解と人工知能との融合に関する研究

    • 研究代表者
      坂井 利之
    • 研究期間 (年度)
      1987 – 1988
    • 研究種目
      一般研究(A)
    • 研究分野
      情報工学
    • 研究機関
      龍谷大学
      京都大学
  • 1.  西田 豊明 (70135531)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 2.  河原 達也 (00234104)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 3.  山田 篤 (20240004)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 4.  堂下 修司 (00025925)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 5.  笹倉 万里子 (30284087)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 6.  坂井 利之 (70025790)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 7.  岡田 至弘 (30127063)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 8.  美濃 導彦 (70166099)
    共同の研究課題数: 1件
    共同の研究成果数: 0件

URL: 

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

Are you sure that you want to link your ORCID iD to your KAKEN Researcher profile?
* This action can be performed only by the researcher himself/herself who is listed on the KAKEN Researcher’s page. Are you sure that this KAKEN Researcher’s page is your page?

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi