10周年のSPコンテンツ!

PPL2014

第16回プログラミングおよびプログラミング言語ワークショップ (PPL2014) @阿蘇に関連するつぶやきのまとめです。 基本的には発表内容に関するものを拾いました。質問とその回答が連なって読めるように一部順序を入れ替えています。 編集自由ですので、まとめられたくないつぶやきがありましたら削除してください。また、更なるコメント等をご存知でしたら (& 多少時間があったら) お気軽に追加してください。
科学
9
山本和彦 @kazu_yamamoto
阿蘇の最高気温が4度だと。。。 #ppl2014
Yoshihiro503 @yoshihiro503
先方「出張があるので、その後の日程で打合せできませんか?」私「私も出張があって」などとやり取りをした後、二人共同じ出張先(PPL)に行くことが分かったなど #PPL2014
PPL2014、1 日目 (3/5)
Sosuke MORIGUCHI @chiguri
例年PPLが始まったらアホみたいに実況する人間が居ましたが、そいつは今日のセッションは間に合いません。 #PPL2014
(* sakamoto *) @sakamoto_desu
#ppl2014 の「CoqからScalaへのロバストなコード抽出」ってのがすごく気になるんですが、内容を知るすべってあるのでしょうか?
Κeіsuke Νakanο @ksknac
会場に到着. 参考までに阿蘇駅からは徒歩 12 分でした (実測値). #ppl2014
Κeіsuke Νakanο @ksknac
多くの参加者が利用していると思われる ANA 641 便 と JAL 1803 便がともに熊本空港に到着していることを確認. #ppl2014
XENO @xenophobia__
「ハッシュタグは #ppl2014 です」っての、実況上等な感じしてすごい。 #ppl2014
ゆずこ@這いよるお嬢様 @yuzumikan15
前のスライド,熊本なのにふなっしーがいます #PPL2014
キムテポドン @KIM_TPDN
誰だかわかりませんが、僕の落とした名札を拾って届けてくれてありがとうございます #ppl2014
キムテポドン @KIM_TPDN
ポスター貼って他の参加者と話している時に名札の紙を入れるところが無くなっていることに気づいた… #ppl2014
Κeіsuke Νakanο @ksknac
オープニングは 13:20 からです. #ppl2014
ReiOdaira @ReiOdaira
熊本県でふなっしーというと「熱いなっしー!」しか思い浮かばない。 http://t.co/XuxwxWZgbj #ppl2014
顕在的契約計算における代数的データ型
山本和彦 @kazu_yamamoto
キャストしていい場合と悪い場合を静的に検査。いい場合は、実行時検査? #ppl2014
Atsushi Igarashi @50storms
@kazu_yamamoto あ、いえ、キャストがアップキャストか(必ず成功するか)を静的検査、です。#ppl2014
山本和彦 @kazu_yamamoto
データ構築子に書いてある契約をキャストのときに検査。 #ppl2014
XENO @xenophobia__
似た形のデータ型間のキャストを導入する話。「対応する」の判定が難しそうに見える。 #ppl2014
山本和彦 @kazu_yamamoto
遅延で検査しても結果は変わらない。 #ppl2014
残りを読む(661)

コメント

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

ログインして広告を非表示にする
ログインして広告を非表示にする