WEKO3
アイテム
例からのLISPプログラムの帰納的推論における典型例の検討
https://nitech.repo.nii.ac.jp/records/4057
https://nitech.repo.nii.ac.jp/records/4057c5a960e9-4290-4c4b-9101-615da244e6b7
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
本文_fulltext (782.2 kB)
|
Copyright (c) 1990 IEICE http://search.ieice.org/index.html
|
| Item type | 学術雑誌論文 / Journal Article(1) | |||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2013-06-25 | |||||||||||||
| タイトル | ||||||||||||||
| タイトル | 例からのLISPプログラムの帰納的推論における典型例の検討 | |||||||||||||
| 言語 | ja | |||||||||||||
| 言語 | ||||||||||||||
| 言語 | jpn | |||||||||||||
| 資源タイプ | ||||||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||||||||
| 資源タイプ | journal article | |||||||||||||
| その他（別言語等）のタイトル | ||||||||||||||
| その他のタイトル | レイ カラノ LISP プログラム ノ キノウテキ スイロン ニオケル テンケイレイ ノ ケントウ | |||||||||||||
| 言語 | ja-Kana | |||||||||||||
| その他（別言語等）のタイトル | ||||||||||||||
| その他のタイトル | A study on representative sample of inductive inference of LISP program from examples. | |||||||||||||
| 言語 | en | |||||||||||||
| 著者 |
犬塚, 信博
× 犬塚, 信博
× 高橋, 健一
× 石井, 直宏
|
|||||||||||||
| 著者別名 | ||||||||||||||
| 姓名 | Inuzuka, Nobuhiro | |||||||||||||
| bibliographic_information |
ja : 電子情報通信学会論文誌. D-II, 情報・システム, II-情報処理 巻 J73-D2, 号 10, p. 1761-1769, 発行日 1990-10-20 |
|||||||||||||
| 出版者 | ||||||||||||||
| 出版者 | Institute of Electronics, Information and Communication Engineers | |||||||||||||
| 言語 | en | |||||||||||||
| ISSN | ||||||||||||||
| 収録物識別子タイプ | ISSN | |||||||||||||
| 収録物識別子 | 0915-1923 | |||||||||||||
| item_10001_source_id_32 | ||||||||||||||
| 収録物識別子タイプ | NCID | |||||||||||||
| 収録物識別子 | AN1007132X | |||||||||||||
| 出版タイプ | ||||||||||||||
| 出版タイプ | VoR | |||||||||||||
| 出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |||||||||||||
| 内容記述 | ||||||||||||||
| 内容記述タイプ | Other | |||||||||||||
| 内容記述 | LISTのS式上の関数を，その有限個の入出力例から推測し，プログラムとして導出しようという問題は帰納的数論の基本的な問題である．本論文では，LISPのプログラムを推測するためのある種の推論アルゴリズムに対し，それに与えるのにふさわしい入出力例の集合（サンプル）を，典型的なサンプルとして特徴づける．この典型的なサンプルは，関数の各側面を記述する最も簡単な例の集合であり，全体として，関数を最も一般的に記述するものである．また，関数が典型性条件と呼ぶ条件を満たすことで，その関数の典型的な例の集合が常に存在することを示す．そのとき，典型的な入出力例の集合を推論アルゴリズムに与えることで，推論アルゴリズムでは意図する関数を出力することを示す．すなわち，典型性を満たす関数を推論アルゴリズムの領域としたとき，ある意味での部分正当性が成り立つことを示す．また，本論文の考え方を用いることで，与えられたサンプルが典型的なものであることを確認できる．これにより任意に与えられた入出力例を，会話的に典型的な例に変換する手続きについても述べる． | |||||||||||||
| 言語 | ja | |||||||||||||
