Jump to main content

yr 〜
yr

Search results 172

心理学研究デ-タにおけるメタ情報の記述と利用法の研究

心理学研究デ-タにおけるメタ情報の記述と利用法の研究
Paper図書
大津, 起夫, 北海道大学2000-2002<Y151-H12610102>
National Diet Library
  • Subject HeadingXML メタデ-タ Prolog DDI DandD 統計ソフトウエア

大規模テストのための統計情報管理システムの開発

大規模テストのための統計情報管理システムの開発
Paper図書
大津起夫, 大学入試センター [著][大津起夫]2004-2005<Y151-H16530441>
National Diet Library
  • Subject Headingデータベース / テスト / メタデータ / XML / Prolog / 統計データベース / 項目反応理論

オントロジーとメタレベル戦略によるエンタープライズモデリング

オントロジーとメタレベル戦略によるエンタープライズモデリング
Paper図書
山口, 高平, 静岡大学1995-1996<Y151-H07680458>
National Diet Library
  • Subject Headingオントロジー ソフトウエアプロセス エンタープライズモデル Prolog

prologによるフランス語の自動構文解析とこれに関する動詞価の統辞・意味論研究

prologによるフランス語の自動構文解析とこれに関する動詞価の統辞・意味論研究
Paper図書
小野, 正敦, 東京外国語大学1991-1992<Y151-H03610245>
National Diet Library
  • Subject Headingprolog 自動構文分析 動詞結合価 機能文法 語彙文法

語彙の自動獲得機能を有する計算機可読な高度辞書データベースシステムの試作

語彙の自動獲得機能を有する計算機可読な高度辞書データベースシステムの試作
Paper図書
藤崎, 博也, 東京理科大学1995-1996<Y151-H07558274>
National Diet Library
  • Subject Heading語彙獲得 辞書データベース 未知語 知識の獲得 未知語処理 prolog 自然言語処理 機械学習

一次元プロセツサアレイ型データ・ベースマシンの研究

一次元プロセツサアレイ型データ・ベースマシンの研究
Paper図書
金田, 悠紀夫, 神戸大学1989-1991<Y151-H01550288>
National Diet Library
  • Subject Headingデータベースマシン プロセツサアレイ Prolog 知識ベース 関係データベース

日本語教育中・上級教材開発のための動詞結合価辞典作成に関する研究

日本語教育中・上級教材開発のための動詞結合価辞典作成に関する研究
Paper図書
高田, 誠, 筑波大学1988-1989<Y151-S63450056>
National Diet Library
  • Subject Heading日本語教育教材 動詞の用例集 動詞結合価 PROLOG 構文分析のためのデータベース

宣言型プログラミング言語処理系の系統的生成

宣言型プログラミング言語処理系の系統的生成
Paper図書
井田, 哲雄, 筑波大学1991-1992<Y151-H03680022>
National Diet Library
  • Subject Heading関数型プログラミング 論理的プログラミング 関数・論理型プログラミングの融合 ナローイング プログラム変換 Lisp Prolog

第4世代経営情報システム開発方法論の実用化に関する研究

第4世代経営情報システム開発方法論の実用化に関する研究
Paper図書
高原, 康彦, 千葉工業大学2001-2002<Y151-H13630144>
National Diet Library
  • Subject Headingシステム開発 問題解決型システム 一般システム論 集合論的定式化 ext Prolog

Bonhoeffer : Wege zur Freiheit 4. Auflage.

Bonhoeffer : Wege zur Freiheit 4. Auflage.
Paper図書児童書
Alois Prinz.Gabriel2019.<Y5-B530>
National Diet Library
  • Subject Heading... Wege; Gabriel Prolog Biografien. Biografische Wiss...

人工知能の手法を用いた電磁気学教育システムの作成

人工知能の手法を用いた電磁気学教育システムの作成
Paper図書
大場, 勇治郎, 慶応義塾大学1987-1989<Y151-S62302063>
National Diet Library
  • Subject Heading電磁気学 ICAI Lisp prolog 学生モデル 教授知識ベース プロダクシヨンルール 問題-解...

あいまい情報の計算機処理に関する研究

あいまい情報の計算機処理に関する研究
Paper図書
向殿, 政男, 明治大学1989-1991<Y151-H01550292>
National Diet Library
  • Subject Headingフアジイ論理 フアジイ推論 フアジイProlog フアジイ・データベース フアジイ・インターバル論理

Prolog : the next 50 years : [pbk.]

Prolog : the next 50 years : [pbk.]
Paper図書
David S. Warren ... [et al.], editorsSpringerc2023
Other Libraries in Japan
  • Subject HeadingProlog (Computer program language)
  • Subject Heading (ID)Prolog (Computer program language)
  • Alternative TitleProlog : the next fifty years

並列LISPとその処理系の研究

並列LISPとその処理系の研究
Paper図書
伊藤, 貴康, 東北大学1989-1993<Y151-H01420029>
National Diet Library
  • Subject Heading並列LISP言語 PaiLisp P-コンテイニユエーシヨン PaiLisp-Kernel 並列インタプリタ 並列コンパイラ 並列Prologの実現 構造化ネツト操作システム

継承階層prologを核とした知識表現言語の作成

継承階層prologを核とした知識表現言語の作成
Paper図書
赤間, 清, 北海道大学1988-1990<Y151-S63880005>
National Diet Library
  • Subject Headingクラス束縛変数 タイプ付prolog 継承階層 制約付変数 多重継承 論理プログラミング 制約論...

Web knowledge management and decision support : 14th international conference on applications of prolog, INAP 2001, Tokyo, Japan, October 20-22, 2001 : revised papers. : Oct 2001, Tokyo, Japan. (Lecture Notes in Computer Science ; 2543. Lecture Notes in Artificial Intelligence. Hot Topics)

Web knowledge management and decision support : 14th international conference on applications of prolog, INAP 2001, Tokyo, Japan, October 20-22, 2001 : revised papers. : Oct 2001, Tokyo, Japan. (Lecture Notes in Computer Science ; 2543. Lecture Notes in Artificial Intelligence. Hot Topics)
Paper図書
Springerc2003.<M17-03-1105>
National Diet Library
  • Subject HeadingProlog (Computer program language) -...

Executable modal and temporal logics : IJCAI '93 Workshop, Chambéry, France, August 28, 1993 : proceedings / Michael Fisher, Richard Owens (eds.). (Lecture notes in artificial intelligence ; 897. Lecture notes in computer science)

Executable modal and temporal logics : IJCAI '93 Workshop, Chambéry, France, August 28, 1993 : proceedings / Michael Fisher, Richard Owens (eds.). (Lecture notes in artificial intelligence ; 897. Lecture notes in computer science)
Paper図書
Springer-Verlagc1995.<M15-A9566>
National Diet Library
  • Subject HeadingLogic programming -- Congresses. Prolog (Computer program language) -...

A computational introduction to linguistics : describing language in plain PROLOG : pbk : hbk

A computational introduction to linguistics : describing language in plain PROLOG : pbk : hbk
Paper図書
Almerindo E. OjedaCSLI Publicationsc2013
Other Libraries in Japan
  • Subject HeadingComputational linguistics Prolog (Computer program language)
  • Subject Heading (ID)Computational linguistics Prolog (Computer program language)

An extended entity-relationship model : fundamentals and pragmatics / Martin Gogolla. (Lecture notes in computer science)

An extended entity-relationship model : fundamentals and pragmatics / Martin Gogolla. (Lecture notes in computer science)
Paper図書
Springer-Verlagc1994.<M154-A213>
National Diet Library
  • Subject Heading...nal databases. Prolog (Computer program language) S...

Prolog programming for artificial intelligence 4th ed

Prolog programming for artificial intelligence 4th ed
Paper図書
Ivan BratkoAddison-Wesley2012
Other Libraries in Japan
  • Subject HeadingArtificial intelligence -- Data processing Prolog (Computer program language)
  • Subject Heading (ID)Artificial intelligence -- Data processing Prolog (Computer program language)
RSS