Togetter/min.tを安心してお使い頂くためのガイドラインを公開しました。
編集可能
2014年6月11日

FLOPS 2014

http://www.jaist.ac.jp/flops2014/ 関連のツイートです(皆様ご参加ありがとうございました!)。まったく完全ではないので(特にタグのついていないツイートはたまたま発見した以外に拾えていません)、追加・編集は歓迎です。また、まとめるのが遅かった&Togetterの仕様(というかTwitterの制限)で最初の方のツイートは拾えていないかもしれません…m(_ _)m
1
ゆずこ @yuzumikan15

@no_maddo いやー金沢美味しいです〜(*´꒳`*) pic.twitter.com/m1Ei6IwHrj

2014-06-03 20:22:07
拡大
おく @OKU_K

@公共交通機関で会場へ向かうみなさま 広坂バス停から石川県立美術館へは(きつめの)坂がずっと続いているようです… #FLOPS2014

2014-06-03 22:35:13
S (ツイートはスレッド全体をご確認ください) @esumii

まだ行ってないが(すみません)、実はロケーションも他の企画展示:-)も素晴らしい会場では…?>FLOPS 2014 jaist.ac.jp/flops2014/ の石川県立美術館 ishibi.pref.ishikawa.jp/index_j.html

2014-06-03 23:51:10
ゆずこ @yuzumikan15

そういえば朝食付きって言われたけど朝食の時間も場所も知らされてないなぁ

2014-06-04 00:48:48
ゆずこ @yuzumikan15

部屋にそれらしい案内もないし…

2014-06-04 00:49:03
ゆずこ @yuzumikan15

@crossquare ひゃーありました!ありがとうございます!お騒がせ致しました(´・_・`)

2014-06-04 00:59:46
tsushima @crossquare

@yuzumikan15 良かった :) 券を持ってないので分からなくてごめんねー。

2014-06-04 01:00:46
ゆずこ @yuzumikan15

@crossquare いえいえ、本当にありがとうございます。

2014-06-04 01:01:47
日比野 啓 (Kei Hibino) @khibino

Liquid Haskell、いくつかの基本的なライブラリで 67% の関数は自動証明できたらしい。ヒントを与えれば 97% までいく #FLOPS2014

2014-06-04 10:48:34
ゆずこ @yuzumikan15

liquis types 、「エラーメッセージはどうにかならないのですか?」をオブラートに包んで質問しようとしたら future work で言及されていました。

2014-06-04 11:01:09
ゆずこ @yuzumikan15

あぁそうか,prop_ins のテストをするのに ordered list のみテストしようということだったのか.(insert -> ordered のテストするのに ordered list のみじゃダメでは・・とずっと思っていた…)

2014-06-04 11:59:53
ゆずこ @yuzumikan15

次はデバッギングのセッションです

2014-06-04 13:45:09
ゆずこ @yuzumikan15

型エラーが起こったときに考えられる修正の仕方をいくつか計算し,次にユーザの意図を使って絞り込んでユーザに提案する

2014-06-04 14:03:46
ゆずこ @yuzumikan15

@yuzumikan15 数あるコンパイラ(?)のエラーメッセージは,ユーザの意図を考えていないのであまり有益ではない

2014-06-04 14:07:04
ゆずこ @yuzumikan15

@yuzumikan15 型エラーの原因と考えられる sub-expression の型を 'a としてそこに来るべき型を推論することで修正の仕方を求める

2014-06-04 14:11:37
ゆずこ @yuzumikan15

even とか succ はどこから出てきたんだ…?

2014-06-04 14:14:02
ゆずこ @yuzumikan15

@yuzumikan15 修正方法をユーザの入力によって絞り込む

2014-06-04 14:18:12
ゆずこ @yuzumikan15

@yuzumikan15 修正箇所が多くなるほど,提示する型が general なものになる.できるだけ修正箇所は少なくしたい,という戦略をとる.

2014-06-04 14:21:02
ゆずこ @yuzumikan15

@yuzumikan15 最終的にどういう型になってほしいのかをユーザに問うてる…?

2014-06-04 14:22:44
残りを読む(236)

コメント

コメントがまだありません。感想を最初に伝えてみませんか?