{"created":"2025-01-19T01:35:25.202736+00:00","updated":"2025-01-19T09:58:22.373476+00:00","metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00233820","sets":["934:935:11486:11596"]},"path":["11596"],"owner":"44499","recid":"233820","title":["型指向翻訳のための任意に型付けされた高水準中間表現"],"pubdate":{"attribute_name":"公開日","attribute_value":"2024-04-22"},"_buckets":{"deposit":"31119c42-f7d8-4d01-9d04-bb84671f3559"},"_deposit":{"id":"233820","pid":{"type":"depid","value":"233820","revision_id":0},"owners":[44499],"status":"published","created_by":44499},"item_title":"型指向翻訳のための任意に型付けされた高水準中間表現","author_link":["635990","635989"],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"型指向翻訳のための任意に型付けされた高水準中間表現"},{"subitem_title":"Arbitrarily Typed High-level IR for Type-directed Translation","subitem_title_language":"en"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"[発表概要, Unrefereed Presentatin Abstract] ","subitem_subject_scheme":"Other"}]},"item_type_id":"3","publish_date":"2024-04-22","item_3_text_3":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"慶應義塾大学理工学部電気情報工学科"}]},"item_3_text_4":{"attribute_name":"著者所属(英)","attribute_value_mlt":[{"subitem_text_value":"Department of Electrical and Information Engineering, Keio University","subitem_text_language":"en"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"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/233820/files/IPSJ-TPRO1702007.pdf","label":"IPSJ-TPRO1702007.pdf"},"date":[{"dateType":"Available","dateValue":"2026-04-22"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-TPRO1702007.pdf","filesize":[{"value":"109.0 kB"}],"mimetype":"application/pdf","priceinfo":[{"tax":["include_tax"],"price":"0","billingrole":"5"},{"tax":["include_tax"],"price":"0","billingrole":"6"},{"tax":["include_tax"],"price":"0","billingrole":"15"},{"tax":["include_tax"],"price":"0","billingrole":"44"}],"accessrole":"open_date","version_id":"9c91fc77-bcd7-445f-838c-7908b2e605c5","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 2024 by the Information Processing Society of Japan"}]},"item_3_creator_5":{"attribute_name":"著者名","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"柏木, 力哉"}],"nameIdentifiers":[{}]}]},"item_3_creator_6":{"attribute_name":"著者名(英)","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Rikiya, Kashiwagi","creatorNameLang":"en"}],"nameIdentifiers":[{}]}]},"item_3_source_id_9":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AA11464814","subitem_source_identifier_type":"NCID"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourceuri":"http://purl.org/coar/resource_type/c_6501","resourcetype":"journal article"}]},"item_3_source_id_11":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"1882-7802","subitem_source_identifier_type":"ISSN"}]},"item_3_description_7":{"attribute_name":"論文抄録","attribute_value_mlt":[{"subitem_description":"コンパイラ実装技術が成熟するにつれて，コンパイラのフロントエンドにも複数の中間形式を用いるデザインが見られるようになった．本発表では，型の記述が必要ない関数型プログラムから，型が明示された中間言語への変換を行うための高水準な中間言語を提案する．特にHaskellやOCamlといった言語を対象として，高水準中間言語を導入することによるデザイン上の有効性と，具体的な言語の仕様を与える．この高水準中間言語は，任意階の多相型システムに加えて，代数的データ型やパターンマッチ，相互再帰関数などを含み，実用の関数型言語には欠かせない機能を提供している．このように，本発表はコンパイラ実装への直接の貢献を目標として掲げ，高水準中間言語上で行う型指向翻訳とその他のコンパイラのフェーズとの関係性についても議論する．","subitem_description_type":"Other"}]},"item_3_description_8":{"attribute_name":"論文抄録(英)","attribute_value_mlt":[{"subitem_description":"As compiler implementation techniques have matured, designs employing multiple intermediate forms in compiler front-end have emerged. This paper proposes a high-level intermediate language designed for translating functional programs that do not require type annotations into an explicitly typed intermediate language. We focus specifically on languages like Haskell and OCaml, discussing the advantages of introducing a high-level intermediate representation in design, and providing detailed specifications of the language. This high-level intermediate language includes algebraic data types, pattern matching and mutually recursive functions. It also incorporates arbitrary-rank polymorphism, offering essential features for a practical functional language. Consequently, this paper aims to make a direct contribution to compiler implementation and also discusses the relationship between type-directed translation on the high-level intermediate language and other phases of the compiler.","subitem_description_type":"Other"}]},"item_3_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"3","bibliographic_titles":[{"bibliographic_title":"情報処理学会論文誌プログラミング（PRO）"}],"bibliographicPageStart":"3","bibliographicIssueDates":{"bibliographicIssueDate":"2024-04-22","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"2","bibliographicVolumeNumber":"17"}]},"relation_version_is_last":true,"weko_creator_id":"44499"},"id":233820,"links":{}}