-
- いいね！0
Takayuki Hayashi
@ringtaro
Haskell Day 2012 http://t.co/bDoAIgvE とりあえず、まとめてみたのですが、こんなんで良かったのでしょうか？＞＜ #hsday
2012-05-27 22:52:28
Taku Fukushima
@takufukushima
血迷って懇親会参加してしまいましたが、殺されるかと思いきやリアルでの皆さんは優しくしてなんとか生還できました。 #hsday
2012-05-27 22:59:15
propella
@propella
#hsday の感想。GTA という総当りで舐める感じのプログラムを裏で DP にしてくれる奴凄かった。ソース上は全然最適化してないように見えてプログラマに優しそう。
2012-05-27 23:28:08
山本和彦
@kazu_yamamoto
撤収を手伝って下さった方、ありがとうございました！ また、司会の方に感謝するのを忘れていました。すいません。感謝、感謝です！ #hsday
2012-05-27 23:37:25
Taku Fukushima
@takufukushima
BDDやReferential Transparencyの話は興味深かったです。個人的にはPythonのdoctest好きなのでdoctestやインラインでのproperty checkは気になりました。 #hsday
2012-05-27 23:37:45
Masahiro Sakai
@masahiro_sakai
.@ringtaro さんの「Haskell Day 2012」をお気に入りにしました。 #hsday http://t.co/x31Vdzlt
2012-05-28 00:46:26
Akihiro Okuno
@choplin
"Haskell Day 2012に行ってきました - still deeper" http://t.co/eUtVoKdq #hsday
2012-05-28 00:56:12
shelarcy（しぇらーしぃ）
@shelarcy
Haskell Status Update 2012 の発表資料をアップロードしました。 http://t.co/6VbONsDA #hsday
2012-05-28 01:53:05
Masahiro Sakai
@masahiro_sakai
@khibino @dec9ue http://t.co/f7isiBuk に、NP完全であることと、DPによる pseudo polynomial なアルゴリズムがあることは矛盾しないとあります。 #hsday
2012-05-28 07:49:00
Masahiro Sakai
@masahiro_sakai
@khibino @dec9ue 離散よりも連続の方が簡単みたいですよ。 http://t.co/ImqvBSpM 線形計画と整数計画とかこの手の問題は大抵そうですが。 #hsday
2012-05-28 07:52:48
NaOHaq(苛性ソーダ)
@NaOHaq
GTA(Generation, Testing, Aggregation)がGrand Theft Autoにちなんだネーミングなのかが気になる( #hsday
2012-05-28 07:53:25
Kento EMOTO
@emoken3
@NaOHaq 結論：ちなんでない。Generate and Test (生成検査) に Aggregate (集約) を追加して Generate, Test, and Aggregate としました。Grand Theft Auto を知ったのは論文執筆後です。#hsday
2012-05-28 08:13:48
山本和彦
@kazu_yamamoto
昨日の懇親会で出た話題ですが、巨人の肩に乗っては、シャルトルのベルナールの言葉で、ニュートンは引用しただけらしいです。 #hsday
2012-05-28 09:12:43
眼力 玉壱號
@objectxplosive
#hsday で GTA が連呼されていたが、会場に居たにも関わらず Grand Theft Auto が第一候補に連想されるアカウントはこちらです（←アホ）
2012-05-28 09:49:29