FLOPS 2014
http://www.jaist.ac.jp/flops2014/ 関連のツイートです（皆様ご参加ありがとうございました！）。まったく完全ではないので（特にタグのついていないツイートはたまたま発見した以外に拾えていません）、追加・編集は歓迎です。また、まとめるのが遅かった＆Togetterの仕様（というかTwitterの制限）で最初の方のツイートは拾えていないかもしれません…m(_ _)m
-
- いいね！0
S (ﾂｲｰﾄはｽﾚｯﾄﾞ全体をご確認ください)
@esumii
まだ行ってないが（すみません）、実はロケーションも他の企画展示:-)も素晴らしい会場では…？＞FLOPS 2014 jaist.ac.jp/flops2014/ の石川県立美術館 ishibi.pref.ishikawa.jp/index_j.html
2014-06-03 23:51:10
日比野 啓 (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
@yuzumikan15 型エラーの原因と考えられる sub-expression の型を 'a としてそこに来るべき型を推論することで修正の仕方を求める
2014-06-04 14:11:37
ゆずこ🌻
@yuzumikan15
@yuzumikan15 修正箇所が多くなるほど，提示する型が general なものになる．できるだけ修正箇所は少なくしたい，という戦略をとる．
2014-06-04 14:21:02