{"_buckets": {"deposit": "4c79702e-2dab-427b-9d5e-e102cb7436b4"}, "_deposit": {"created_by": 3, "id": "685", "owners": [3], "pid": {"revision_id": 0, "type": "depid", "value": "685"}, "status": "published"}, "_oai": {"id": "oai:kyutech.repo.nii.ac.jp:00000685", "sets": ["19"]}, "author_link": ["3156"], "item_24_biblio_info_6": {"attribute_name": "書誌情報", "attribute_value_mlt": [{"bibliographicIssueDates": {"bibliographicIssueDate": "1999-07-01", "bibliographicIssueDateType": "Issued"}, "bibliographic_titles": [{"bibliographic_title": "Technical Report in Computer Science and Systems Engineering"}]}]}, "item_24_description_4": {"attribute_name": "抄録", "attribute_value_mlt": [{"subitem_description": "We will prove that type checking, typability, and type inference fordomain-free  2 are undecidable. The type checking problem for domain-free  2 was posed by Barthe and S rensen (1997). A certain second or-der uni cation problem is reduced to the problem of type inference fordomain-free  2. The restricted second order uni cation has been provenundecidable by Schubert. The reduction method can be obtained from asimpli cation of Pfenning\u0027s reduction from the general problem of secondorder uni cation to the partial type inference problem. An analysis of theundecidability proof reveals that the typability problem is still undecid-able even for a predicative fragment of domain-free 2, called the rank 2fragment.", "subitem_description_type": "Abstract"}]}, "item_24_description_60": {"attribute_name": "資源タイプ", "attribute_value_mlt": [{"subitem_description": "Technical Report", "subitem_description_type": "Other"}]}, "item_24_full_name_3": {"attribute_name": "著者別名", "attribute_value_mlt": [{"nameIdentifiers": [{"nameIdentifier": "3156", "nameIdentifierScheme": "WEKO"}, {"nameIdentifier": "30228994", "nameIdentifierScheme": "e-Rad", "nameIdentifierURI": "https://nrid.nii.ac.jp/ja/nrid/1000030228994/"}], "names": [{"name": "藤田, 憲悦"}]}]}, "item_24_publisher_7": {"attribute_name": "出版者", "attribute_value_mlt": [{"subitem_publisher": "九州工業大学"}]}, "item_24_source_id_8": {"attribute_name": "ISSN", "attribute_value_mlt": [{"subitem_source_identifier": "1344-8803", "subitem_source_identifier_type": "ISSN"}]}, "item_24_text_37": {"attribute_name": "著者所属", "attribute_value_mlt": [{"subitem_text_value": "Department of Articial Intelligence,Kyushu Institute of Technology"}, {"subitem_text_value": "九州工業大学情報工学部　知能情報工学科"}]}, "item_24_text_58": {"attribute_name": "テクニカルレポートNo.", "attribute_value_mlt": [{"subitem_text_value": "CSSE-5"}]}, "item_24_version_type_59": {"attribute_name": "著者版フラグ", "attribute_value_mlt": [{"subitem_version_resource": "http://purl.org/coar/version/c_970fb48d4fbd8a85", "subitem_version_type": "VoR"}]}, "item_creator": {"attribute_name": "著者", "attribute_type": "creator", "attribute_value_mlt": [{"creatorNames": [{"creatorName": "Fujita, Ken-etsu"}], "nameIdentifiers": [{"nameIdentifier": "3156", "nameIdentifierScheme": "WEKO"}, {"nameIdentifier": "30228994", "nameIdentifierScheme": "e-Rad", "nameIdentifierURI": "https://nrid.nii.ac.jp/ja/nrid/1000030228994/"}]}]}, "item_files": {"attribute_name": "ファイル情報", "attribute_type": "file", "attribute_value_mlt": [{"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2008-02-04"}], "displaytype": "detail", "download_preview_message": "", "file_order": 0, "filename": "csse-5.pdf", "filesize": [{"value": "189.2 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_free", "mimetype": "application/pdf", "size": 189200.0, "url": {"label": "csse-5.pdf", "url": "https://kyutech.repo.nii.ac.jp/record/685/files/csse-5.pdf"}, "version_id": "5c0f2dad-5d1d-42fa-901e-e2d1414798e2"}]}, "item_language": {"attribute_name": "言語", "attribute_value_mlt": [{"subitem_language": "eng"}]}, "item_resource_type": {"attribute_name": "資源タイプ", "attribute_value_mlt": [{"resourcetype": "technical report", "resourceuri": "http://purl.org/coar/resource_type/c_18gh"}]}, "item_title": "Type Inference for Domain-Free λ2", "item_titles": {"attribute_name": "タイトル", "attribute_value_mlt": [{"subitem_title": "Type Inference for Domain-Free λ2"}]}, "item_type_id": "24", "owner": "3", "path": ["19"], "permalink_uri": "http://hdl.handle.net/10228/933", "pubdate": {"attribute_name": "公開日", "attribute_value": "2008-02-04"}, "publish_date": "2008-02-04", "publish_status": "0", "recid": "685", "relation": {}, "relation_version_is_last": true, "title": ["Type Inference for Domain-Free λ2"], "weko_shared_id": 3}