@inproceedings{oai:jaxa.repo.nii.ac.jp:00039107, author = {加藤, 義清 and 堀, 浩一 and Kato, Yoshikiyo and Hori, Koichi}, month = {}, note = {人工知能学会 全国大会(第19回)(JSAI 2005), The 19th Annual Conference of the Japanese Society for Artificial Intelligence, 2005, 資料番号: ARDS05021000, レポート番号: 1C4-01}, pages = {1--4}, publisher = {人工知能学会}, title = {論証の枠組みに基づく設計意図の獲得}, year = {2005} }