IFPuH 3.5

 P.78-80

• Rational Numbersとはなんぞや
• canonical representation
• RationalをHaskellに前述のcanonical representationを保証しつつ導入する
• Rationalをpairとしてではなく独自の解釈によるEqやOrd、Showのインスタンスにする
• derivingを使わずにinstance宣言を書いた意義
• gcdの仕様と実装について
• totalな仕様とeuclidean algorithmによる計算
• Fractionalのinstanceとすることもできる

IFPuH ex1.2.1

問題

「x*yを評価する為にはxとyがnormal formに簡約できるということが必要である」という前提のもと、square infinityの評価が停止するかどうか

回答

square infinityという式の簡約をそのまま考える。
foo = hoge hoge

$$$$
squareinfinity




f
g


z

org-modeでblogger

http://emacs-fu.blogspot.com/2009/05/writing-and-blogging-with-org-mode.html

部分関数

• 部分関数は気持わるいものじゃない

• http://en.wikipedia.org/wiki/Relation_(mathematics)の中程にあるfunctional(also called right-unique)のことらしい
• このSpecial_types_of_binary_relationsのcheatsheet的なものはあれば便利かも

リンデンバウム代数

• 論理と代数を繋げる考え
• Lindenbaum Tarski algebraというらしい(Tarskiェ…) 
•   ゲーデルの不完全性定理を代数学を使って表現してみた
• 数理論理学では常識？
• 「位相と論理」P.40 で触れられている
• Fundamentals of mathematical logic