PFDS読書会 第8回 (Purely Functional Data Structures) #readpfds

Seizan Shimazaki @seizans

明日はテスターになった気分で実時間バイノミアルヒープに値を突っ込んでみよう #readpfds

DMスパマーに乗っ取られました @master_q

仮にお金がいくらあったとしても自分の脳みそは改善しないな、、、 (pfdsを読みながら) #readpfds

山本和彦 @kazu_yamamoto

RealTimeQueue でさえ難しい。大丈夫か？ #readpfds

Seizan Shimazaki @seizans

総力戦でリアルタイムキューに体当たりしてますが、突破が難しいです #readpfds

山本和彦 @kazu_yamamoto

.@seizans 僕は理解したので、説明できます。 リストへのポインターのコピーを取って、コピー側で force するのがポイント。 #readpfds

山本和彦 @kazu_yamamoto

各ビットごとにコストを2払うのはぁ。 #readpfds

山本和彦 @kazu_yamamoto

exec を受けるときは、必ず ! を付けるので OK なのかなぁ。うーむ。 #readpfds

山本和彦 @kazu_yamamoto

map exec2 の遅延を止めるにはどうすれば？ #readpfds

山本和彦 @kazu_yamamoto

Control.Deepseq を使って map exec2 $!! segs' のような気がしてきた。 #readpfds

山本和彦 @kazu_yamamoto

明日は、みんなでホワイトボードに動作を書いていくというので OK ですか？ #readpfds

DMスパマーに乗っ取られました @master_q

ごめんなさい。7.2でさえ十分むづかしいんですが。。。 #readpfds

DMスパマーに乗っ取られました @master_q

#readpfds するならこっからやった方がいいと思う。 readPurelyFunctionalDataStructures/LazyEvaluation https://t.co/HvfOYSqm

DMスパマーに乗っ取られました @master_q

次回からでも遅くないと思われる。自分で書いてみると脳味噌コネコネでおすすめ #readpfds

Seizan Shimazaki @seizans

@kazu_yamamoto 会社行事で遅くなりましてすいません。賛成です。可能な限りの動作を書いてみることが内容を理解することとほぼイコールになると思いますし、ぜひそうしましょう。 #readpfds

DMスパマーに乗っ取られました @master_q

がんばってお土産作ったよ。 #readpfds https://t.co/3nskzvPn

s.murayama @yuga

'a で入れた要素ってprintf系だとどうやればいいんでしょうか? わからないので手で再帰してます @master_q #orz #ocaml #printf #readpfds

DMスパマーに乗っ取られました @master_q

放送開始ー #readpfds kiwamu on Justin.tv http://t.co/DNS0fV5a

山本和彦 @kazu_yamamoto

僕はこの本の英語が苦手です。 #readpfds

Seizan Shimazaki @seizans

「OCamlならサンクかどうかわかりますか？」「それはわかりません！でも心眼を使えば見えます！」 #readpfds

DMスパマーに乗っ取られました @master_q

lazy streamのshowでforceされたかどうか表示するようにしてみたんだけど、バグってる。。なんぞ。。 #ocaml #readpfds https://t.co/G85VXzsM

ruichi @ruicc

#readpfds 自動ドアのまえにいますので適当なときに引き上げお願いします

DMスパマーに乗っ取られました @master_q

やった！できたよ！ #readpfds #ocaml http://t.co/wuffZ4Gr

山本和彦 @kazu_yamamoto

二項ヒープ http://t.co/Q75h7AQp #readpfds

Seizan Shimazaki @seizans

ここに @kinaba さんの作成された資料があります。下の方の「第7章 償却性の除去」が今回の範囲です。 #readpfds http://t.co/wu3Q0DAS

ruichi @ruicc

RT @seizans: ここに @kinaba さんの作成された資料があります。下の方の「第7章 償却性の除去」が今回の範囲です。 #readpfds http://t.co/wu3Q0DAS