資料詳細

  • 1 件中、 1 件目

【図書】 岩波講座ソフトウェア科学 ８

記号処理プログラミング --
長尾真 ／〔ほか〕編   -- 岩波書店 -- １９８８．８ -- ２３ｃｍ -- ２１８ｐ

資料詳細

タイトル 岩波講座ソフトウェア科学 ８
各巻タイトル 記号処理プログラミング
著者名等 長尾真 ／〔ほか〕編  
出版 岩波書店 １９８８．８
大きさ等 ２３ｃｍ ２１８ｐ
分類 007.63
件名 プログラミング用言語
内容 参考書：ｐ２０９～２１２
要旨 人工知能や知識処理のソフトウェアを作成するうえで必要となる記号処理のプログラム技法を系統的に紹介する。例題はプロダクションシステム、自然言語の構文解析、定理の自動証明などの実際の人工知能システムからとり、プログラム作成の手順を追って詳しく解説した。また、ＬＩＳＰやＰＲＯＬＯＧは、おのずとマスターできるように工夫した。
目次 １　ＬＩＳＰの考え方（リストとＳ式；ＬＩＳＰの関数；関数の関数；ＥＶＡＬとインタプリタ）；２　ＬＩＳＰの使い方（親言語としてのＬＩＳＰ；プロダクション・システム；定理の自動証明；英語の構文解析；多項式の微分）；３　ＰＲＯＬＯＧ（述語の考え方；ユニフィケーション；ＰＲＯＬＯＧにおけるリスト構造；論理プログラミング；ＬＩＳＰとＰＲＯＬＯＧとの比較）；４　記号処理の計算機構（リストの内部表現；ＬＩＳＰマシンの発想；ラムダ表現とＬＩＳＰ、ＰＲＯＬＯＧ）
ISBN(13)、ISBN 　　 4-00-010348-2
書誌番号 1190284356
URL https://opac.lib.city.yokohama.lg.jp/winj/opac/switch-detail.do?bibid=1190284356

ページの先頭へ

所蔵

所蔵は 3 件です。現在の予約件数は 0 件です。

所蔵館 所蔵場所 別置 請求記号 資料区分 状態 取扱 資料コード
中央 書庫 007.6/6052/8 一般書 利用可 - 0000447196 iLisvirtual
山内 書庫 007.6 一般書 利用可 - 0061102765 iLisvirtual
都筑 書庫 007.6 一般書 利用可 - 2002071900 iLisvirtual

ページの先頭へ