2026-03-14T13:47:58Z https://ipsj.ixsq.nii.ac.jp/oai

oai:ipsj.ixsq.nii.ac.jp:00213903 2025-01-19T16:58:33Z 934:935:10452:10726

プログラミング言語における代数的および統計的構造のシステム System of Algebraic and Statistic Structure on Programming Languages 松永, 拓也 Takuya, Matsunaga [発表概要, Unrefereed Presentatin Abstract] 本発表では，変数・定数に替わる代数の概念や，代数的データ構造など，代数系の構造や理論をプログラミング言語に対応させ，数学を行うようにプログラミングをするという構造を提示する．カリー・ハワード同型対応によって圏論をプログラミング言語に対応させた関数型言語のように，本構造は，（機械）計算的代数系たるプログラミング言語の設計の基礎となる理論である． 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. 情報処理学会 2021-11-25 jpn journal article https://ipsj.ixsq.nii.ac.jp/records/213903 1882-7802 AA11464814 情報処理学会論文誌プログラミング（PRO） 14 5 52 52 https://ipsj.ixsq.nii.ac.jp/record/213903/files/IPSJ-TPRO1405010.pdf application/pdf 71.8 kB 2023-11-25