{"metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00213903","sets":["934:935:10452:10726"]},"path":["10726"],"owner":"44499","recid":"213903","title":["プログラミング言語における代数的および統計的構造のシステム"],"pubdate":{"attribute_name":"公開日","attribute_value":"2021-11-25"},"_buckets":{"deposit":"2908af34-0059-42f9-ab3c-ec801f3371b6"},"_deposit":{"id":"213903","pid":{"type":"depid","value":"213903","revision_id":0},"owners":[44499],"status":"published","created_by":44499},"item_title":"プログラミング言語における代数的および統計的構造のシステム","author_link":["547854","547855"],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"プログラミング言語における代数的および統計的構造のシステム"},{"subitem_title":"System of Algebraic and Statistic Structure on Programming Languages","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":"2021-11-25","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 Computer Engineering, Nihon 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/213903/files/IPSJ-TPRO1405010.pdf","label":"IPSJ-TPRO1405010.pdf"},"date":[{"dateType":"Available","dateValue":"2023-11-25"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-TPRO1405010.pdf","filesize":[{"value":"71.8 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":"d08768a8-33e9-4248-a2f9-daade6150d22","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 2021 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":"Takuya, Matsunaga","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":"本発表では，変数・定数に替わる代数の概念や，代数的データ構造など，代数系の構造や理論をプログラミング言語に対応させ，数学を行うようにプログラミングをするという構造を提示する．カリー・ハワード同型対応によって圏論をプログラミング言語に対応させた関数型言語のように，本構造は，（機械）計算的代数系たるプログラミング言語の設計の基礎となる理論である．","subitem_description_type":"Other"}]},"item_3_description_8":{"attribute_name":"論文抄録(英)","attribute_value_mlt":[{"subitem_description":"In this presentation, I show the structure of algebraic systems, such as the algebraics instead of variables and constants, and algebraic data structures, by mapping them to programming languages. Like the functional languages which correspond to programming languages in terms of sphere theory by the Cary-Howard homomorphism correspondence, this structure is a fundamental theory for the design of programming languages which are (machine) computational algebraic systems.","subitem_description_type":"Other"}]},"item_3_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"52","bibliographic_titles":[{"bibliographic_title":"情報処理学会論文誌プログラミング（PRO）"}],"bibliographicPageStart":"52","bibliographicIssueDates":{"bibliographicIssueDate":"2021-11-25","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"5","bibliographicVolumeNumber":"14"}]},"relation_version_is_last":true,"weko_creator_id":"44499"},"id":213903,"updated":"2025-01-19T16:58:33.848498+00:00","links":{},"created":"2025-01-19T01:14:44.631566+00:00"}