WEKO3
アイテム
高階の差分を用いた入出力例からの関数の合成
https://nitech.repo.nii.ac.jp/records/4009
https://nitech.repo.nii.ac.jp/records/4009c6915c76-25f8-44ae-afdc-5f55b15a4d6a
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
本文_fulltext (684.2 kB)
|
Copyright (c) 1989 IEICE http://search.ieice.org/index.html
|
| Item type | 学術雑誌論文 / Journal Article(1) | |||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2012-05-25 | |||||||||||||
| タイトル | ||||||||||||||
| タイトル | 高階の差分を用いた入出力例からの関数の合成 | |||||||||||||
| 言語 | ja | |||||||||||||
| 言語 | ||||||||||||||
| 言語 | jpn | |||||||||||||
| 資源タイプ | ||||||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||||||||
| 資源タイプ | journal article | |||||||||||||
| その他（別言語等）のタイトル | ||||||||||||||
| その他のタイトル | コウカイ ノ サブン オモチイタ ニュウシュツリョクレイ カラノ カンスウ ノ ゴウセイ | |||||||||||||
| 言語 | ja-Kana | |||||||||||||
| その他（別言語等）のタイトル | ||||||||||||||
| その他のタイトル | Construction of functions from examples by using high order differences. | |||||||||||||
| 言語 | en | |||||||||||||
| 著者 |
犬塚, 信博
× 犬塚, 信博
× 高橋, 健一
× 石井, 直宏
|
|||||||||||||
| 著者別名 | ||||||||||||||
| 姓名 | Inuzuka, Nobuhiro | |||||||||||||
| bibliographic_information |
ja : 電子情報通信学会論文誌. D-II, 情報・システム, II-情報処理 巻 J72-D2, 号 9, p. 1484-1492, 発行日 1989-09-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 | |||||||||||||
| 内容記述 | 有限個の入出力例から，そのような入力-出力の関係を示す関数を導く問題は，プログラム自動合成の基本的な問題である．対象とする関数は，LISPのS式上の関数である．この問題を解決する方法として，Summersが与えたアルゴリズムがある．それは，与えられた入出力例から，入力-出力間の変換関数を作り，それに対してアルゴリズミックなマッチング手続きを施すことで，例の間の繰返し的な関係を見出し，これを一般化することで関数をプログラムとして生成する．本研究では，高階の差分を導入することで，この繰返し関係を見出す手続きの拡張を行った．本研究の拡張により例から導き出される関数の範囲は，Summersの基本的なアルゴリズムにより生成される関数の範囲を包含するものである．そして，この拡張は，以下の点で自然な拡張であると考えられる．すなわち，この拡張はSummersの方法の反復的な適用に基づいている．また，彼の方法の二つの特徴を継承している．つまり，適用される関数の特徴に依存せず一般性があること，ほとんど探索を含まないことである．更に，拡張した方法により得られたプログラムが，例から見出された繰返し的な関係によって一般化した関数と等しいことについても証明を与えた． | |||||||||||||
| 言語 | ja | |||||||||||||
