ICFPC 2013 おつかれさまでしたー
ICFPのプロコン,人によって略称がICFPだったりICFPCだったりICFPcだったりしてるから統一するべきだと思う.
2013-08-13 09:47:38@cutsea110 sbvです。でも、sbvはあんまり賢いコード吐き出さないのでちょっとつらいですね。z3pyとかのほうが、本家が出してるからz3向けとしては充実しているのですが…。
2013-08-13 11:07:11@cutsea110 hackageのz3はちょっと使ったことないですが、API見た感じ、機能は少なそうです。ただ、sbvがプロセスを呼び出して標準入出力でインタラクションしているのに対して、z3は、CAPIを呼び出しているので、パフォーマンスでは有利だと思います。
2013-08-13 11:09:03@tanakh あ、やっぱりc API呼び出すんだ. msだって聞いてたからそうだとは思ったんだけど. でもcabal install sbvしてみてるけど普通に入るな. ffiのバインディングって訳じゃないの?
2013-08-13 11:11:20@cutsea110 sbvはCAPIじゃないです。プロセ呼び出しているだけなので、ライブラリなくても通ります。便利な半面、ランタイムに変なことになるのと、インクリメンタルサーチとかができないという致命的な問題があります。
2013-08-13 11:13:00@chunjp それをベースにICFPC用途に書き換えても良いですね.ICFPCだとリソースを使い切るのコストパフォーマンス的に重要なので.
2013-08-13 11:16:19昨日のSRM588とICFPC2013の参戦メモを書いた (naoya_t@hatenablog) http://t.co/HkD8QbX2Yo http://t.co/VkQi5RJyiV
2013-08-13 11:59:09@k_matsuzaki ソルバーのアイディアについてあまり議論にならなかったですが、点とるには一番重要でしたね。しかし他のチームと同じことやってもそんなに面白くないので個人的にはネタ方向に進みたいなと
2013-08-13 12:29:37@aru132 "ICFP" は学会名だからコンテストを指すなら C をつけるべき、という偉い人の声があって、大文字か小文字かは人によって異なる状況です。official な略称はないと思う
2013-08-13 12:32:25@dekosuke ノートのメモリと移動中の暑さで2日目以降リモートからチャットでだけやってたのも、議論少なかった要因かなぁ。Scala版のほうははてなにさくっと書いたんですが、Haskell版とプロクシのネタはどうなんですか
2013-08-13 12:33:56