#ログは nwn さんが録ったのを使わせて頂きました。ありがとう。> nwn さん
#4/16って金曜日なんだね。会場どうしましょう?
#IIJ の会議室を押さえるつもりです。主催は和田先生にお願いしようかと思っていますが、いかがですか？
#haskell初めて、数学に興味を持ったのですが
#数学は中学レベルです。
#なんかおすすめの書籍なんかあったら教えてください。
#なんでもおｋです。
#iijの会議室は何人ぐらい入れるんでしょうか?
#最大200名です。
#十分ですね
#yosaka さん、それは、「TV で綺麗な海を見たので、行ってみたいのですが、どこがいいですか」と旅行代理店に聞くような質問です
#まずまちがいなく、沖縄をおすすめされるでしょうが、それはたぶん思っていることと違うでしょう
#yosaka さんが思っていることと違うかもしれませんが、「いかにして問題を解くか」 http://amazon.jp/dp/4621045938 をおすすめします。沖縄だったらすみません。 #.GHC 6.12.1 Release Candidate 2 が来ました。みなさん、Snow Leopard できちんと動くバージョンですよー。（ただし、64 bit ではありませんが……。）
##.あと、RC 2 では threaded RTS 上で forkProcess を利用できなかったバグが直っているはずです。http://hackage.haskell.org/trac/ghc/ticket/1185#comment:28 #旅行代理店:
#旅行代理店:「辰巳国際プールに『圏論の基礎』というとても
#打ち込み損なって、この段階で台無しだ。でも最後まで書く。
#nwn さんのコード動かないなぁ。なんでだろう
#書いててくじけた。最後まで書けなかった。見なかったことにして下さい。orz
#沖縄の海なんて嫌いだ。
#動かないってどういうことだろ... そもそもコンパイルが通らないってこと?
#はい。import とかは通ったんですが
#まあ恐らくライブラリが古いとかなので時間がある時にもう一度色々やってみます。
#エラーメッセージ見れますか? なんとなーく QuickCheck のせいのような気がしてます
#109行目の liftA がなんとかって出てるなぁ
#No instance for (Applicative Gen)
#わかりました。QuickCheck のせいですね。
#ていうか俺の書き方もあれだな,
#なんだよ liftA って、ちょっと直してきます
#直しました。これで他に QC で変なことしてなければ通るはず...
#おお、できましたー
#よかたー
#しかしなんでこのコードでちゃんと動いてるのかが良く分からないw
#optimize = reduce . normalize .reduce とか
#俺にもわからんw
#だけど一回目の reduce で (Rcp (Neg 1)) 見たいなのを展開してから normalize しないと、
#本番の reduce がうまいこといかなかったような
#あー
#逆数の扱いは割と適当です
#あ、そういうことでなくて、normalize しないと変数を含んだ式の定数の展開がうまくいかないって言う問題が reduce にあって、(例えば 1 + x + 3 を 4 + x にできないとか) pi8027 さんのだと被演算子をリストで持ってるから単純に定数に展開できるのだけをまとめればいいんだけど、僕のは木で持ってるから、定数を一カ所にまとめてから(normalize してから)展開しないといけない。
#じゃあ reduce . normalize でいいじゃんってなるけど、それだと 1 + x + 1 / 2 っていう式があったときに normalize すると 1 + 1 / 2 + x になるんだけどこれを reduce するとなんか 1 / 2 が残っちゃったので normalize する前にそういうのだけ先に reduce することにしたのです。
#なんか言ってることおかしいな、後でちゃんと考えよう
#GHC-6.12rc2 とりあえず cabal-install は動いた。hsc2hs に --cflag=-m32 --lflag=-m32 を渡すだけの簡単なお仕事
#mkcabal ビルドするのに readline バインディングの作り方忘れたーと思ってたらレポジトリからとってきた cabal-install には cabal init がすでに入っていた。
#--cflag=-m32 --lflag=-m32 って必要ですか？ hsc2hs の問題も解決しているはずなのですが……。 http://bit.ly/7Pm03m 
haskell-ja > Archives > 2009/11/22