FLOPS 2014

ゆずこ🌻 @yuzumikan15

@yuzumikan15 たしか Coq で証明したんだったと思う

みかんくにん @uf_orange

型がついたら go wrong（競合状態におちいるも含む）しない

みかんくにん @uf_orange

Mezzoの時代　protz.github.io/mezzo/　

ゆずこ🌻 @yuzumikan15

liquid types の人，ほぼ全ての発表に対して質問やコメントをしていてすごい（こなみ）

ゆずこ🌻 @yuzumikan15

昨日来てとても気に入った食堂にまた来ました！(次の順番です) 死ぬ前にまた食べるとこができてよかったー

ゆずこ🌻 @yuzumikan15

誰か Agda でセキュリティホール見つけましょう

S (ﾂｲｰﾄはｽﾚｯﾄﾞ全体をご確認ください) @esumii

#FLOPS2014 に合わせて発行された美術館の広報誌（※虚構） pic.twitter.com/KBxUIapliq

拡大

ゆずこ🌻 @yuzumikan15

関数型なのに…？

ゆずこ🌻 @yuzumikan15

providing correctness of compilers using structured graphs です

ゆずこ🌻 @yuzumikan15

@yuzumikan15 Hutton & Wright "Compiling Exceptions Correctly" を tree shaped code （ってなんですか？）ではなく graph でやる

みかんくにん @uf_orange

正しさを証明するのが簡単なコンパイラをめざすよ、木をグラフで表すよ、グラフはグラフでもおれがだいすき Structured Graph だよ

おく @OKU_K

smart functorを使った定義がさらっと紹介された #FLOPS2014

おく @OKU_K

Letのとこ分からん… #FLOPS2014

おく @OKU_K

Letの1つ目の引数が、in以降を表現してるのか #FLOPS2014

みかんくにん @uf_orange

Muの相互再帰束縛をすてて Let として１つずつ束縛していくスタイル（これって大丈夫なの？）

ゆずこ🌻 @yuzumikan15

constraint logic programming for hedges: a semantic reconstruction です

S (ﾂｲｰﾄはｽﾚｯﾄﾞ全体をご確認ください) @esumii

Let e1 (λx.e2) で「let x=e1 in e2」を表す（xがe2に複数回出現したらsharingを表す）という話ですね＞structure graph #FLOPS2014

ゆずこ🌻 @yuzumikan15

スライド早すぎて全然ついて行けない…(´・ω・｀)

おく @OKU_K

違ってました… twitter.com/OKU_K/status/4… #FLOPS2014

ゆずこ🌻 @yuzumikan15

論文を少し読んで，hedge と unranked terms が何であるかと，題名の通り，CLP(H) に意味を与えたい，ということは分かったけど，hedge や unranked terms と CLP がどう関係しているのかよく分からない…

ゆずこ🌻 @yuzumikan15

@yuzumikan15 CLP というものがあって，それに hedge をのせる(?) とプログラムが綺麗になって良いことづくしなので，CLP(H) の意味を考えて見た，という感じでしょうか？

ゆずこ🌻 @yuzumikan15

wifi がなくなってしまうのと、そもそも電波が悪いので、次のセッションは実況できないと思います。(内容的に既にできていませんでしたが)

ゆずこ🌻 @yuzumikan15

FLOPS'14 お疲れ様です(｀・ω・´)‼︎

S (ﾂｲｰﾄはｽﾚｯﾄﾞ全体をご確認ください) @esumii

皆様、#FLOPS2014 ご参加・ご発表大変ありがとうございました！　自分が今日中に帰らねばならず仙台行の終電が迫っていて（笑）、きちんとご挨拶できず失礼しました。m(_ _)m

ゆずこ🌻 @yuzumikan15

兼六園の中の博物館みたいなところで買った猫。箸置きなんですけど置物として使うことにしました。 pic.twitter.com/mht0Z4RjlO

拡大