#なるほど。ところで、Haskell golf を企画しています。どなたでも解いていいので、よろしくお願いします。締切は、5/9 の 21 時頃です。
##sugoih 前の発言は、『すごい Haskell たのしく学ぼう！』勉強会 in 大阪の企画のひとつです。次回は 5/9 の 19:15 からです。どなたでもご参加いただけます。http://atnd.org/events/38591 ##動画いいですね。
##sugoih Haskell golf の問題を平文でも書くと、「標準入力から文字列を得て、その文字列に含まれる '@' の個数を数えなさい」というものです。参考入力 "!@#$%$#@!" 参考出力 "2"
#C-cC-cの時にプロンプトに変数入力してたけど、先にholeに入れてからやれるってのはしらなかった。
##sugoih cojna さん 37 bytes ぼく 39 bytes です、参考までに
##sugoih 勉強会では、『すごい Haskell たのしく学ぼう！』の第 9 章を読みおえたところで、参加者はやっと IO が使えるようになりました。今回の golf の問題の背景は、参加者も考えることができるように、という配慮があります
##sugoih ゴルフの解答は Lingr chat で 5/9 21:00 頃に皆さんの解を公開する予定です。
##sugoih それまでは、ネタバレはしないで単なる bytes を我々に教えてください。Lingr chat に書いていただければ、いっそうありがたいです。
##sugoih が、もうひとつ、Twitter でハッシュタグ #sugoih とともに、何バイトかをつぶやいてくだされば、補足します
#あとC-cC-nは使ったことなかった。C-cC-eとかC-cC-tとかは使ってんだけどあんまり使わないもんなのか。
##告知でした。ありがとうございます
#Agda の C-cC-n は便利ですね。
#私のスマホで見てる限りはC-cC-nの結果がどう表示されるのかは判別つかなかったですが、かえったら試してみよう。
#Agda2 のキーボードショートカットは agda2-mode.el のなかにある agda2-command-table を見れば見当がつきます。Emacs のなかでは describe-variable すればいいと思う
##sugoih '@' を数える Haskell golf のことですが、ぼくは cojna さんと並ぶために 2 文字削らなければいけないです。たまに考えてるんだけど縮まない、うっうっ
##sugoih henkma さん 37 bytes 把握しました。現状 cojna さんも 37 bytes で、両者トップタイです。それにしても早いな、golfer には自明なのか？
#ネタバレは 5/9 以降ならかまいませんので、我慢してくだされ
#たぶん golfer だと最初の解答候補が 37 でそれから考える感じの問題ですね。
#自明ですね
#午前中考えましたが縮みませんでした。でも、まだ時間はあるので 5/9 まで頑張ります。37 bytes 書けるひとは皆さんすごいです
#notogawa さん、もう解決したかもしれませんが、Agda の patch は darcs send -o または darcs send -O でつくって ulfn に送ればいいです : 参照 http://wiki.portal.chalmers.se/agda/agda.php?n=Patch.HowTo #Agda とはひとことも言ってないぞ…
#ちがうちがう Standard Library か
#間違っていたので訂正したいのですが、Agda 自身(Agda standard library)の修正は、darcs send するのではなく、issue tracker に登録してほしいそうです : http://code.google.com/p/agda/issues/list #ASL ではない
#あれ？ASLはNilsさんに送ればいいんですよね？(もう送っちゃった)
#issue trackerか
#どうしようかな
#すみません、Nils に送ればバッチリです
#あ，よかった．
#くりかえすと Agda standard Library のパッチは Nils に送る、または Agda mailing list に送る (more moderated) です
#混乱させてしまい、すみません
#いえ，たすかります
#Agda standard library へのパッチは、たとえばこのように Agda ML に流れています : https://lists.chalmers.se/pipermail/agda/2012/004347.html #一応darcs chengesでのパッチっぽい変更に対応するメールAgda MLにあるか探したりしましたがマチマチのようだったので
#そういう重要なことは Wiki に書いてくださいよ、っていうんだけど、いつも Wiki なんだから気がついた奴が書けばいいだろ、みたいなことになるんですよね…
#README に "attach the patch file to an email" って書いてあるけど、誰宛てに出すんだよ… : http://www.cse.chalmers.se/~nad/listings/lib/README.html #puzzled
haskell-ja > Archives > 2013/04/12