ICFP2011 1日目

[1..100]＞＞=pen @1to100pen

以前投稿したので消せるなら消したいのあるがすでに返信されてるのでそのままにしておこう。

山本和彦 @kazu_yamamoto

結論： Semantic subtyping 予備知識がないと分からないセッションでした。 #icfp

山本和彦 @kazu_yamamoto

quarter to 6 って言った？ 再開は 5:45？ #icfp

Liyang HU @liyanghu

@kazu_yamamoto @mkotha http://t.co/TK5yKKKI

山本和彦 @kazu_yamamoto

.@mkotha hakku taikai http://t.co/vV5LRqxM

Keigo Imai @keigoi

つかれた

Takashi Miyamoto @tmiya_

Semantic subtypingの人のPPT(not今年) http://t.co/DEjBUe3c #icfp

Masahiro Sakai @masahiro_sakai

"Balanced Trees Inhabiting Functional Parallel Programming" by Akimasa Morihata and Kiminori Matsuzak. #icfp #icfp2011

yoriyuki @yoriyuki

Combinators for Parallel computation #ICFP

山本和彦 @kazu_yamamoto

影は意図的？ コネクターが緩い？ #icfp

Masahiro Sakai @masahiro_sakai

.@masahiro_sakai no public-available version of "Balanced Trees Inhabiting Functional Parallel Programming" ? #icfp #icfp2011

yoriyuki @yoriyuki

Divide and Concur : どうやって実装する？　→　Blanced Binary Tree上のリカージョンと思う。 #ICFP

Yasunao TAKANO @tyasunao

HakkuTaikai って何時までなんでしょう? http://t.co/oT3fkR56 #icfp

yoriyuki @yoriyuki

貢献：ListだけじゃなくてTreeを扱いたい。Combinatorを与えたい。 #ICFP

Jun Furuse @camlspotter

もう一人の同僚にも会うことが出来ました

yoriyuki @yoriyuki

平衡性をhigher order polymorphic functionで表す。 #ICFP

shelarcy（しぇらーしぃ） @shelarcy

http://t.co/8yneT71X RT @xhl_kogitsune: Manticore

日比野 啓 (Kei Hibino) @khibino

そもそも最初から Tree のコンストラクタを想定しないのは何故なんだろう #icfp

日比野 啓 (Kei Hibino) @khibino

単に説明の流れか #icfp

yoriyuki @yoriyuki

うーん、何がやりたいのか分からない。最初からリストじゃなくて平衡木を使えばいいだけじゃないの？ #ICFP

山本和彦 @kazu_yamamoto

平衡木の構築に O(N log N) かかる気がするのだが、そこはどうやるのだろう？ #icfp

yoriyuki @yoriyuki

平衡性を保つことをequational reasoningで示していることが凄い？ #ICFP

日比野 啓 (Kei Hibino) @khibino

同意 @yoriyuki うーん、何がやりたいのか分からない。最初からリストじゃなくて平衡木を使えばいいだけじゃないの？ #ICFP

山本和彦 @kazu_yamamoto

Frederickson の self-balancing tree。 二分木マニアの僕も知りませんでしたよ。 #icfp

yoriyuki @yoriyuki

効率的なTree操作を等式変形だけで導けた！面白そう。 #ICFP