{"created":"2021-03-01T05:52:57.201838+00:00","id":1239,"links":{},"metadata":{"_buckets":{"deposit":"ee7a8eac-9892-4b42-89e4-3cbec7604966"},"_deposit":{"id":"1239","owners":[],"pid":{"revision_id":0,"type":"depid","value":"1239"},"status":"published"},"_oai":{"id":"oai:repository.nii.ac.jp:00001239","sets":["136"]},"author_link":[],"control_number":"1239","item_5_biblio_info_30":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"2007-11-27","bibliographicIssueDateType":"Issued"},"bibliographicPageEnd":"11","bibliographicPageStart":"1","bibliographic_titles":[{"bibliographic_title":"NIIテクニカル・レポート","bibliographic_titleLang":"ja"},{"bibliographic_title":"NII Technical Report","bibliographic_titleLang":"en"}]}]},"item_5_description_28":{"attribute_name":"抄録","attribute_value_mlt":[{"subitem_description":"This paper answers the open problem of finding a type system that characterizes hereditary permutators, which is the problem 20 in the TLCA list of open problems. First this paper shows that there does not exist such a type system by showing that the set of hereditary permutatos is not recursively enumerable. The set of positive primitive recursive functions is used to prove it. Secondly this paper gives a best-possible solution by providing a set of types such that a term has every type in the set if and only if the term is a hereditary permutator. Intersection types and the Omega type is used to handle infinite computation in lambda terms.","subitem_description_language":"en","subitem_description_type":"Abstract"}]},"item_5_identifier_registration":{"attribute_name":"ID登録","attribute_value_mlt":[{"subitem_identifier_reg_text":"10.20736/0000001239","subitem_identifier_reg_type":"JaLC"}]},"item_5_publisher_31":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"国立情報学研究所","subitem_publisher_language":"ja"}]},"item_5_source_id_32":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"1346-5597","subitem_source_identifier_type":"ISSN"}]},"item_creator":{"attribute_name":"著者","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"龍田, 真","creatorNameLang":"ja"},{"creatorName":"Tatsuta, Makoto","creatorNameLang":"en"}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2019-03-12"}],"displaytype":"detail","filename":"07-010E.pdf","filesize":[{"value":"258.9 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"NII Technical Report (NII-2007-010E)：Types for Hereditary Permutators","url":"https://repository.nii.ac.jp/record/1239/files/07-010E.pdf"},"version_id":"77159505-fc58-4781-bb28-746e4b17846a"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"テクニカルレポート","subitem_subject_language":"ja","subitem_subject_scheme":"Other"},{"subitem_subject":"Technical Report","subitem_subject_language":"en","subitem_subject_scheme":"Other"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"eng"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourcetype":"departmental bulletin paper","resourceuri":"http://purl.org/coar/resource_type/c_6501"}]},"item_title":"NII Technical Report (NII-2007-010E)：Types for Hereditary Permutators","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"NII Technical Report (NII-2007-010E)：Types for Hereditary Permutators","subitem_title_language":"en"}]},"item_type_id":"5","owner":"1","path":["136"],"pubdate":{"attribute_name":"PubDate","attribute_value":"2019-03-12"},"publish_date":"2019-03-12","publish_status":"0","recid":"1239","relation_version_is_last":true,"title":["NII Technical Report (NII-2007-010E)：Types for Hereditary Permutators"],"weko_creator_id":"1","weko_shared_id":-1},"updated":"2023-01-05T02:30:22.323465+00:00"}