{"created":"2023-05-15T12:35:13.919300+00:00","id":4057,"links":{},"metadata":{"_buckets":{"deposit":"f761bf8c-4e8e-4e20-ba0d-f167732646c4"},"_deposit":{"created_by":3,"id":"4057","owners":[3],"pid":{"revision_id":0,"type":"depid","value":"4057"},"status":"published"},"_oai":{"id":"oai:nitech.repo.nii.ac.jp:00004057","sets":["31"]},"author_link":["4633","8653","11858"],"item_10001_alternative_title_24":{"attribute_name":"その他（別言語等）のタイトル","attribute_value_mlt":[{"subitem_alternative_title":"レイ　カラノ　LISP　プログラム　ノ　キノウテキ　スイロン　ニオケル　テンケイレイ　ノ　ケントウ"},{"subitem_alternative_title":"A study on representative sample of inductive inference of LISP program from examples."}]},"item_10001_biblio_info_28":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"1990-10-20","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"10","bibliographicPageEnd":"1769","bibliographicPageStart":"1761","bibliographicVolumeNumber":"J73-D2","bibliographic_titles":[{"bibliographic_title":"電子情報通信学会論文誌. D-II, 情報・システム, II-情報処理"}]}]},"item_10001_description_36":{"attribute_name":"内容記述","attribute_value_mlt":[{"subitem_description":"LISTのS式上の関数を，その有限個の入出力例から推測し，プログラムとして導出しようという問題は帰納的数論の基本的な問題である．本論文では，LISPのプログラムを推測するためのある種の推論アルゴリズムに対し，それに与えるのにふさわしい入出力例の集合（サンプル）を，典型的なサンプルとして特徴づける．この典型的なサンプルは，関数の各側面を記述する最も簡単な例の集合であり，全体として，関数を最も一般的に記述するものである．また，関数が典型性条件と呼ぶ条件を満たすことで，その関数の典型的な例の集合が常に存在することを示す．そのとき，典型的な入出力例の集合を推論アルゴリズムに与えることで，推論アルゴリズムでは意図する関数を出力することを示す．すなわち，典型性を満たす関数を推論アルゴリズムの領域としたとき，ある意味での部分正当性が成り立つことを示す．また，本論文の考え方を用いることで，与えられたサンプルが典型的なものであることを確認できる．これにより任意に与えられた入出力例を，会話的に典型的な例に変換する手続きについても述べる．","subitem_description_type":"Other"}]},"item_10001_description_38":{"attribute_name":"フォーマット","attribute_value_mlt":[{"subitem_description":"application/pdf","subitem_description_type":"Other"}]},"item_10001_full_name_27":{"attribute_name":"著者別名","attribute_value_mlt":[{"nameIdentifiers":[{},{}],"names":[{"name":"Inuzuka, Nobuhiro"}]}]},"item_10001_publisher_29":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"Institute of Electronics, Information and Communication Engineers"}]},"item_10001_source_id_30":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"09151923","subitem_source_identifier_type":"ISSN"}]},"item_10001_source_id_32":{"attribute_name":"書誌レコードID（NCID）","attribute_value_mlt":[{"subitem_source_identifier":"AN1007132X","subitem_source_identifier_type":"NCID"}]},"item_10001_version_type_33":{"attribute_name":"著者版フラグ","attribute_value_mlt":[{"subitem_version_resource":"http://purl.org/coar/version/c_970fb48d4fbd8a85","subitem_version_type":"VoR"}]},"item_creator":{"attribute_name":"著者","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"犬塚, 信博"},{"creatorName":"イヌヅカ, ノブヒロ","creatorNameLang":"ja-Kana"}],"nameIdentifiers":[{},{}]},{"creatorNames":[{"creatorName":"高橋, 健一"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"石井, 直宏"}],"nameIdentifiers":[{}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2017-01-23"}],"displaytype":"detail","filename":"J73-D2_1761.pdf","filesize":[{"value":"782.2 kB"}],"format":"application/pdf","license_note":"Copyright (c) 1990 IEICE　http://search.ieice.org/index.html","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"本文_fulltext","url":"https://nitech.repo.nii.ac.jp/record/4057/files/J73-D2_1761.pdf"},"version_id":"d3b13ac4-a12a-4067-9c16-6851fe6124c4"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourcetype":"journal article","resourceuri":"http://purl.org/coar/resource_type/c_6501"}]},"item_title":"例からのLISPプログラムの帰納的推論における典型例の検討","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"例からのLISPプログラムの帰納的推論における典型例の検討"}]},"item_type_id":"10001","owner":"3","path":["31"],"pubdate":{"attribute_name":"公開日","attribute_value":"2013-06-25"},"publish_date":"2013-06-25","publish_status":"0","recid":"4057","relation_version_is_last":true,"title":["例からのLISPプログラムの帰納的推論における典型例の検討"],"weko_creator_id":"3","weko_shared_id":3},"updated":"2023-05-16T14:25:54.815020+00:00"}