@techreport{weko_51541_1, author = "中島秀之", title = "ロジック・プログラミングシンポジウムに参加して", year = "1984", institution = "電子技術総合研究所", number = "2(1984-ICS-034)", month = "may" }