Concept and Design of Functional Programming for Interactive Art Polyphonic Jump!

• Kanaya Ichiroh

  School of Information and Data Sciences, Nagasaki University

抄録

This article presents the mathematical background of general interactive systems. The first principle of designing a large system is “divide and rule,” which implies that we could possibly reduce human error if we divided a large system in smaller subsystems. Interactive systems are, however, often composed of many subsystems that are organically connected to one another and thus extremely difficult to divide. In other words, we cannot apply a traditional mechanism of mathematical functions to the programming of interactive systems. We, however, can overcome this difficulty by applying a framework of category theory to the programming, but this requires highly abstract mathematics, which is not very popular. In this article we introduce the fundamental idea of the category theory using only λ-calculus, and then demonstrate how it can be used in the practical design of an interactive system. Finally, we mention how this discussion relates to Kleisli category in mathematics.

収録刊行物

• システム制御情報学会論文誌

  システム制御情報学会論文誌 33 (9), 253-258, 2020-09-15

  一般社団法人 システム制御情報学会

キーワード

• interactive art
• functional programming
• referential transparency
• category theory
• monad in programming

詳細情報

• CRID: 1390005506383143040
• NII論文ID: 130007956243
• NII書誌ID: AN1013280X
• DOI: 10.5687/iscie.33.253
• ISSN: 2185811X
• ISSN: 13425668
• NDL書誌ID: 030627183
• Web Site: https://ndlsearch.ndl.go.jp/books/R000000004-I030627183
• Web Site: https://www.jstage.jst.go.jp/article/iscie/33/9/33_253/_pdf
• 本文言語コード: en
• データソース種別:
  • JaLC
  • NDL
  • Crossref
  • CiNii Articles
• 抄録ライセンスフラグ: 使用不可