JavaScriptを有効にして再度、お越しください。新規登録ログインお知らせ※ユーザ登録は無料です.情報学広場に掲載されているコンテンツには有料のものも含まれています.有料コンテンツをご購入いただいた場合でも、領収書の発行はいたしておりません。クレジットカード会社様からの領収書/請求書をもってかえさせていただいております。複写複製および転載複製に係る著作権を学術著作権協会に委託しています。当該利用をご希望の方は、学術著作権協会が提供している複製利用許諾システムもしくは転載許諾システムを通じて申請ください。本会会員(賛助会員含む)および著者が転載利用の申請をされる場合については、学術目的利用に限り、無償で転載利用いただくことが可能です。刊行物に掲載されている製品名等は、各社の商標または登録商標です。近年、ソフトウエアの需要が増え、プログラムをコンピュータによって自動合成する手法が開発されてきた。実際に生成できるプログラムは、アルゴリズムの型が限られていたり、初歩的なものに限られたりしたままである。そこで、本研究では、この種の問題で取り上げられることの少なかった「生成検査法」と呼ばれるプログラムを対象として、入出力例題から自動合成する手法を提案する。ここでの提案の特徴は、入出力例題の入力引数と出力引数の関係から用意したライブラリ中の生成系述語を抽出し、出力引数どうしの共通情報から検査系述語を絞り込んだことである。110発行年1994-03-07。