関数型言語と写像について

• Item type: SIG Technical Reports(1)
• 公開日: 1993-02-04
• タイトル: 関数型言語と写像について
• タイトル / 言語: en
• タイトル: On Functional Languages and Mappings
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 電子技術総合研究所情報アーキテクチャ部言語システム研究室
• 著者所属(英): en
• 著者所属(英): Computer Language Section, Computer Science Division ELECTROTECHNICAL LABORATORY
• 著者名: 杉藤, 芳雄
• 著者名(英): Yoshio, Sugito
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 関数型言語の基本的な構造および機能について、写像関係を中心とする見方、即ち、特に圏論の基本概念に基づく観点から、視覚的に把握することを重視しつつ概観する。先ず、関数型言語をラムダ計算と同一視したあと、圏論におけるラムダ計算の基本モデルとして知られるカルテシアン閉包圏を写像関係で把握するために、随伴関手および普遍射という圏論の重要概念を共存させた3次元的可換図 （立体図と称する） をやや詳細に導入し、最後に立体図の意義を考察する。
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: We review the basic structures and functions of functional language from the mapping oriented view, that is, the point of view based on the fundamental concepts in category theory, emphasizing their visual grasp. First of all we identify functional language with λ-calculus, and then we intend to grasp in the frame of mapping relations Cartesian closed category which is known as a kind of categorical models for λ-calculus. To do this, we introduce rather precisely a three-dimensional commutative diagram where coexist the important concepts of category theory, that is, adjoint functor and universal arrow, and finally discuss its significance.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN10112981
• 書誌情報: 情報処理学会研究報告ソフトウェア工学（SE）; 巻 1993, 号 13(1992-SE-090), p. 121-128, 発行日 1993-02-04
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会