プログラミング言語における代数的および統計的構造のシステム

• Item type: Trans(1)
• 公開日: 2021-11-25
• タイトル: プログラミング言語における代数的および統計的構造のシステム
• タイトル / 言語: en
• タイトル: System of Algebraic and Statistic Structure on Programming Languages
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: [発表概要, Unrefereed Presentatin Abstract]
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_6501
• 資源タイプ: journal article
• 著者所属: 日本大学理工学部応用情報工学科
• 著者所属(英): en
• 著者所属(英): Department of Computer Engineering, Nihon University
• 著者名: 松永, 拓也
• 著者名(英): Takuya, Matsunaga
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 本発表では，変数・定数に替わる代数の概念や，代数的データ構造など，代数系の構造や理論をプログラミング言語に対応させ，数学を行うようにプログラミングをするという構造を提示する．カリー・ハワード同型対応によって圏論をプログラミング言語に対応させた関数型言語のように，本構造は，（機械）計算的代数系たるプログラミング言語の設計の基礎となる理論である．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: 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.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AA11464814
• 書誌情報: 情報処理学会論文誌プログラミング（PRO）; 巻 14, 号 5, p. 52-52, 発行日 2021-11-25
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 1882-7802
• 出版者 / 言語: ja
• 出版者: 情報処理学会