{"id":239159,"metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00239159","sets":["6164:6805:6807:11772"]},"path":["11772"],"owner":"44499","recid":"239159","title":["線形論理上の帰納推論"],"pubdate":{"attribute_name":"公開日","attribute_value":"1997-01-08"},"_buckets":{"deposit":"7083ee1c-b13b-4433-a834-81ae9ce34dd7"},"_deposit":{"id":"239159","pid":{"type":"depid","value":"239159","revision_id":0},"owners":[44499],"status":"published","created_by":44499},"item_title":"線形論理上の帰納推論","author_link":["655257","655256","655254","655255"],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"線形論理上の帰納推論"},{"subitem_title":"Induction in Linear Logic","subitem_title_language":"en"}]},"item_type_id":"18","publish_date":"1997-01-08","item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"item_18_text_3":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"慶應義塾大学理工学研究科計算機科学専攻"},{"subitem_text_value":"慶應義塾大学理工学研究科計算機科学専攻"}]},"item_18_text_4":{"attribute_name":"著者所属(英)","attribute_value_mlt":[{"subitem_text_value":"Department of Computer Science, Keio University","subitem_text_language":"en"}]},"item_publisher":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"情報処理学会","subitem_publisher_language":"ja"}]},"publish_status":"0","weko_shared_id":-1,"item_file_price":{"attribute_name":"Billing file","attribute_type":"file","attribute_value_mlt":[{"url":{"url":"https://ipsj.ixsq.nii.ac.jp/record/239159/files/WPRO1997002.pdf","label":"WPRO1997002.pdf"},"date":[{"dateType":"Available","dateValue":"1997-01-08"}],"format":"application/pdf","billing":["billing_file"],"filename":"WPRO1997002.pdf","filesize":[{"value":"8.9 MB"}],"mimetype":"application/pdf","priceinfo":[{"tax":["include_tax"],"price":"0","billingrole":"5"},{"tax":["include_tax"],"price":"0","billingrole":"6"},{"tax":["include_tax"],"price":"0","billingrole":"44"}],"accessrole":"open_date","version_id":"6754da05-d3ac-4d6a-8a18-c2f487e0c204","displaytype":"detail","licensetype":"license_note"}]},"item_18_creator_5":{"attribute_name":"著者名","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"山口, 文彦"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"中西, 正和"}],"nameIdentifiers":[{}]}]},"item_18_creator_6":{"attribute_name":"著者名(英)","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Yamaguchi, Fumihiko","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Nakanishi, Masakazu","creatorNameLang":"en"}],"nameIdentifiers":[{}]}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourceuri":"http://purl.org/coar/resource_type/c_5794","resourcetype":"conference paper"}]},"item_18_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"20","bibliographic_titles":[{"bibliographic_title":"第38回プログラミング・シンポジウム報告集"}],"bibliographicPageStart":"13","bibliographicIssueDates":{"bibliographicIssueDate":"1997-01-08","bibliographicIssueDateType":"Issued"},"bibliographicVolumeNumber":"1997"}]},"relation_version_is_last":true,"weko_creator_id":"44499"},"updated":"2025-01-19T08:22:32.241581+00:00","created":"2025-01-19T01:42:38.587667+00:00","links":{}}