長いブランクがありましたが（汗）、最近数理論理学の勉強を再開。（少しずつしかやってないけど・・・） これまで読んでいた本は命題論理しか扱ってなかったのですが、今読んでる本は述語論理と集合論も取り扱ってるので初対面の彼らにやや苦戦中。理解力の…

http://d.hatena.ne.jp/uskz/20080918/p2 久しぶりにHaskellのqsortを見た。 最初は http://d.hatena.ne.jp/Nobuhisa/20070826/1188075244#c1188200644 で同じく梶本さんに教えていただいたり。（もう1年も経つのか・・・！） 当時は全く意味不明の文字列に…