@article{oai:ipsj.ixsq.nii.ac.jp:00213903,
 author = {松永, 拓也 and Takuya, Matsunaga},
 issue = {5},
 journal = {情報処理学会論文誌プログラミング（PRO）},
 month = {Nov},
 note = {本発表では，変数・定数に替わる代数の概念や，代数的データ構造など，代数系の構造や理論をプログラミング言語に対応させ，数学を行うようにプログラミングをするという構造を提示する．カリー・ハワード同型対応によって圏論をプログラミング言語に対応させた関数型言語のように，本構造は，（機械）計算的代数系たるプログラミング言語の設計の基礎となる理論である．, 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.},
 pages = {52--52},
 title = {プログラミング言語における代数的および統計的構造のシステム},
 volume = {14},
 year = {2021}
}