計算機科学のブログ

Posts

RSS

コンテキストでの型の操作 リストモナドとリスト内包 リストモナドを使ってリストを生成する guard関数 Control.Monadモジュール

入門Haskellプログラミング (Will Kurt(著)、株式会社クイープ(監修、翻訳)、翔泳社)のUNIT5(コンテキストでの型の操作)、LESSON 32(リストモナドとリスト内包)、32.1(リストモナドを使ってリストを生成する)、guard関数、クイックチェック 32-2の解答を求めてみる。

Building Abstractions with Data - Symbolic Data - Example: Symbolic Differentiation - Representing algebraic expressions - infix operators, abstract data, predicates, selectors, constructors

Structure and Interpretation of Computer Programs: JavaScript Edition(Harold Abelson(著)、Gerald Jay Sussman(著)、Julie Sussman(著)、The MIT Press)のChapter 2(Building Abstractions with Data)、2.3(Symbolic Data)、2.3.2(Example: Symbolic Differentiation)、Representing algebraic expressions、Exercise 2.58の解答を求めてみる。

Building Abstractions with Data - Symbolic Data - Example: Symbolic Differentiation - Representing algebraic expressions - sums and products of arbitary numbers

Structure and Interpretation of Computer Programs: JavaScript Edition(Harold Abelson(著)、Gerald Jay Sussman(著)、Julie Sussman(著)、The MIT Press)のChapter 2(Building Abstractions with Data)、2.3(Symbolic Data)、2.3.2(Example: Symbolic Differentiation)、Representing algebraic expressions、Exercise 2.57の解答を求めてみる。