本が到着。建設中のサグラダ・ファミリアの写真が表紙で、かなり大きい。900ページくらいあってハードカバー、かなりの存在感。 これなら九千円でも安いかも。Concepts, Techniques, and Models of Computer Programming (The MIT Press)作者: Peter Van Roy…

p.71の3.Choice problem 次のように、g とhが与えられているときに、fを探すのがchoice problem。 なんでchoiceかというと、Aのそれぞれの要素aについて、となるようなBの要素bを選ぶようなmapがとなるから。 このとき、そのようなbがBに含まれなければ、と…