{"created":"2025-01-19T01:20:37.402780+00:00","updated":"2025-01-19T14:30:41.496067+00:00","metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00220588","sets":["6504:11035:11037"]},"path":["11037"],"owner":"44499","recid":"220588","title":["Kirby is PSPACE-complete"],"pubdate":{"attribute_name":"公開日","attribute_value":"2022-02-17"},"_buckets":{"deposit":"ac4caf64-ecb2-42b7-997e-0086821eeb83"},"_deposit":{"id":"220588","pid":{"type":"depid","value":"220588","revision_id":0},"owners":[44499],"status":"published","created_by":44499},"item_title":"Kirby is PSPACE-complete","author_link":["577149","577152","577150","577151"],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"Kirby is PSPACE-complete"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"ソフトウェア科学・工学","subitem_subject_scheme":"Other"}]},"item_type_id":"22","publish_date":"2022-02-17","item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"eng"}]},"item_22_text_3":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"岩手大"},{"subitem_text_value":"岩手大"},{"subitem_text_value":"岩手大"},{"subitem_text_value":"岩手大"}]},"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/220588/files/IPSJ-Z84-6K-02.pdf","label":"IPSJ-Z84-6K-02.pdf"},"date":[{"dateType":"Available","dateValue":"2022-10-22"}],"format":"application/pdf","filename":"IPSJ-Z84-6K-02.pdf","filesize":[{"value":"384.4 kB"}],"mimetype":"application/pdf","accessrole":"open_date","version_id":"e1c60f72-28bf-4af1-ab34-ce66eaa738c8","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 2022 by the Information Processing Society of Japan"}]},"item_22_creator_5":{"attribute_name":"著者名","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"太田, 涼平"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"伊藤, 大修"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"山中, 克久"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"平山, 貴司"}],"nameIdentifiers":[{}]}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourceuri":"http://purl.org/coar/resource_type/c_5794","resourcetype":"conference paper"}]},"item_22_source_id_9":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AN00349328","subitem_source_identifier_type":"NCID"}]},"item_22_description_7":{"attribute_name":"論文抄録","attribute_value_mlt":[{"subitem_description":"Recently, the computational complexity of video games have been analyzed. In this paper, we focus on Kirby which is one of popular video games in Japan. We investigate the computational complexity of Kirby. We prove PSPACE-completeness of Kirby by applying the general framework proposed by Aloupis et al., for proving PSPACE-hardness.","subitem_description_type":"Other"}]},"item_22_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"242","bibliographic_titles":[{"bibliographic_title":"第84回全国大会講演論文集"}],"bibliographicPageStart":"241","bibliographicIssueDates":{"bibliographicIssueDate":"2022-02-17","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"1","bibliographicVolumeNumber":"2022"}]},"relation_version_is_last":true,"weko_creator_id":"44499"},"id":220588,"links":{}}