{"metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00030912","sets":["1164:2386:2457:2469"]},"path":["2469"],"owner":"1","recid":"30912","title":["組合せ論理による関数型言語の処理へのグラフ還元の寄与"],"pubdate":{"attribute_name":"公開日","attribute_value":"1990-02-09"},"_buckets":{"deposit":"1e805cb0-6217-441d-bc85-4016476a29b8"},"_deposit":{"id":"30912","pid":{"type":"depid","value":"30912","revision_id":0},"owners":[1],"status":"published","created_by":1},"item_title":"組合せ論理による関数型言語の処理へのグラフ還元の寄与","author_link":["0","0"],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"組合せ論理による関数型言語の処理へのグラフ還元の寄与"},{"subitem_title":"Contribution of Graph Reduction in case of Processing Functional Languages via Combinatory Logic","subitem_title_language":"en"}]},"item_type_id":"4","publish_date":"1990-02-09","item_4_text_3":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"電子技術総合研究所情報アーキテクチャ部言語システム研究室"}]},"item_4_text_4":{"attribute_name":"著者所属(英)","attribute_value_mlt":[{"subitem_text_value":"Computer Language Section, Computer Science Division, ELECTROTECHNICAL LABORATORY","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/30912/files/IPSJ-PRO89024007.pdf"},"date":[{"dateType":"Available","dateValue":"1992-02-09"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-PRO89024007.pdf","filesize":[{"value":"784.2 kB"}],"mimetype":"application/pdf","priceinfo":[{"tax":["include_tax"],"price":"660","billingrole":"5"},{"tax":["include_tax"],"price":"330","billingrole":"6"},{"tax":["include_tax"],"price":"0","billingrole":"15"},{"tax":["include_tax"],"price":"0","billingrole":"44"}],"accessrole":"open_date","version_id":"cb2eb795-bb73-4a41-bd32-bdc1b04a71aa","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 1990 by the Information Processing Society of Japan"}]},"item_4_creator_5":{"attribute_name":"著者名","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"杉藤, 芳雄"}],"nameIdentifiers":[{}]}]},"item_4_creator_6":{"attribute_name":"著者名(英)","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Yoshio, Sugito","creatorNameLang":"en"}],"nameIdentifiers":[{}]}]},"item_4_source_id_9":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AN10485570","subitem_source_identifier_type":"NCID"}]},"item_4_textarea_12":{"attribute_name":"Notice","attribute_value_mlt":[{"subitem_textarea_value":"SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc."}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourceuri":"http://purl.org/coar/resource_type/c_18gh","resourcetype":"technical report"}]},"item_4_description_7":{"attribute_name":"論文抄録","attribute_value_mlt":[{"subitem_description":"関数型言語の一処理方式として、その組合せ論理表現形を組合せ論理に関する還元により評価実行するものがある。その際、共有構造の有効利用等の面から注目される“グラフ還元”と称する還元形態がどの程度まで有効に機能するかを、圏論的枠組み(即ち、圏的組合せ論理)の場合を含めて検討する。","subitem_description_type":"Other"}]},"item_4_description_8":{"attribute_name":"論文抄録(英)","attribute_value_mlt":[{"subitem_description":"As one of the methods of processing functional language, there exists the way which evaluates and executes its corresponding combinatory logic codes by means of combinatory logic's reduction. We investigate how effectively \"graph reduction\", which has the possibility of enjoying the merits of sharing structures, could perform in case of using the method, and also in case of using the framework of category theory( that is, categorical combinatory logic).","subitem_description_type":"Other"}]},"item_4_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"66","bibliographic_titles":[{"bibliographic_title":"情報処理学会研究報告プログラミング（PRO）"}],"bibliographicPageStart":"59","bibliographicIssueDates":{"bibliographicIssueDate":"1990-02-09","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"11(1989-PRO-024)","bibliographicVolumeNumber":"1990"}]},"relation_version_is_last":true,"weko_creator_id":"1"},"updated":"2025-01-22T16:52:14.596894+00:00","created":"2025-01-18T23:00:23.191132+00:00","links":{},"id":30912}