{"created":"2023-05-15T08:43:39.172009+00:00","id":8698,"links":{},"metadata":{"_buckets":{"deposit":"2e69e431-48bd-43f2-9278-0e32c975bb3c"},"_deposit":{"created_by":13,"id":"8698","owners":[13],"pid":{"revision_id":0,"type":"depid","value":"8698"},"status":"published"},"_oai":{"id":"oai:uec.repo.nii.ac.jp:00008698","sets":["34:175"]},"author_link":["23533"],"control_number":"8698","item_10006_date_granted_11":{"attribute_name":"学位授与年月日","attribute_value_mlt":[{"subitem_dategranted":"2018-03-23"}]},"item_10006_degree_grantor_9":{"attribute_name":"学位授与機関","attribute_value_mlt":[{"subitem_degreegrantor":[{"subitem_degreegrantor_name":"電気通信大学"}]}]},"item_10006_degree_name_8":{"attribute_name":"学位名","attribute_value_mlt":[{"subitem_degreename":"修士"}]},"item_10006_description_10":{"attribute_name":"学位授与年度","attribute_value_mlt":[{"subitem_description":"2017","subitem_description_type":"Other"}]},"item_10006_description_7":{"attribute_name":"抄録","attribute_value_mlt":[{"subitem_description":"関数プログラミングでは，関数間で受け渡される中間的な計算結果に関するコストを削減するため，2つの関数の連続する適用を，中間的な計算結果を介さない1つの関数の適用で置き換える関数融合と呼ばれる最適化が重要である．蓄積引数を伴う再帰プログラムを関数融合により最適化するには，属性付き木変換器の合成アルゴリズムを応用する手法が有効であることが知られている．しかしこの手法は，2つの関数がいずれもパターンマッチのガード式を扱う場合には対応していない．また，従来の木変換器は，有限の領域しか扱えないため，無限の領域に関する条件を記述したガード式を扱うことができない．これらの問題点を解決するため，本論文では，最も基本的な木変換器を無限の領域に対応させた記号的木変換器と同様の拡張手法を，属性付き木変換器に対して行うことで，無限の領域を扱うことが可能な属性付き記号的木変換器を提案する．そして，属性付き記号的木変換器で表現できる計算のクラスが記号的木変換器のクラスより大きいことを示す．さらに，記号的木変換器の合成で用いる手法を属性付き木変換器の合成アルゴリズムに取り入れることで，属性付き記号的木変換器の合成アルゴリズムを構成し，その正当性を証明する．証明では，属性付き記号的木変換器を，見かけ上等価な属性付き木変換器へ符号化することで，属性付き木変換器の合成アルゴリズムの正当性に帰着する．","subitem_description_type":"Abstract"}]},"item_10006_text_22":{"attribute_name":"専攻","attribute_value_mlt":[{"subitem_text_value":"情報理工学研究科"},{"subitem_text_value":"情報・ネットワーク工学専攻"}]},"item_10006_version_type_18":{"attribute_name":"著者版フラグ","attribute_value_mlt":[{"subitem_version_resource":"http://purl.org/coar/version/c_ab4af688f83e57aa","subitem_version_type":"AM"}]},"item_creator":{"attribute_name":"著者","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"中川, 涼太","creatorNameLang":"ja"},{"creatorName":"ナカガワ, リョウタ","creatorNameLang":"ja-Kana"}],"nameIdentifiers":[{}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2018-04-13"}],"displaytype":"detail","filename":"1631102.pdf","filesize":[{"value":"1.2 MB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"1631102","url":"https://uec.repo.nii.ac.jp/record/8698/files/1631102.pdf"},"version_id":"e527bd7f-027b-4c62-9f5e-ee749a76b1c1"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourcetype":"thesis","resourceuri":"http://purl.org/coar/resource_type/c_46ec"}]},"item_title":"属性付き記号的木変換器の合成","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"属性付き記号的木変換器の合成","subitem_title_language":"ja"}]},"item_type_id":"10006","owner":"13","path":["175"],"pubdate":{"attribute_name":"PubDate","attribute_value":"2018-04-13"},"publish_date":"2018-04-13","publish_status":"0","recid":"8698","relation_version_is_last":true,"title":["属性付き記号的木変換器の合成"],"weko_creator_id":"13","weko_shared_id":-1},"updated":"2023-09-11T07:09:07.580613+00:00"}