PPL2014
第16回プログラミングおよびプログラミング言語ワークショップ (PPL2014) @阿蘇に関連するつぶやきのまとめです。
基本的には発表内容に関するものを拾いました。質問とその回答が連なって読めるように一部順序を入れ替えています。
編集自由ですので、まとめられたくないつぶやきがありましたら削除してください。また、更なるコメント等をご存知でしたら (& 多少時間があったら) お気軽に追加してください。
-
- いいね！3
Yoshihiro Imai
@yoshihiro503
先方「出張があるので、その後の日程で打合せできませんか？」私「私も出張があって」などとやり取りをした後、二人共同じ出張先(PPL)に行くことが分かったなど #PPL2014
2014-03-04 18:13:13PPL2014、1 日目 (3/5)
Sosuke MORIGUCHI
@chiguri
例年PPLが始まったらアホみたいに実況する人間が居ましたが、そいつは今日のセッションは間に合いません。 #PPL2014
2014-03-05 08:23:29
(* sakamoto *)
@sakamoto_desu
#ppl2014 の「CoqからScalaへのロバストなコード抽出」ってのがすごく気になるんですが、内容を知るすべってあるのでしょうか？
2014-03-05 08:38:44
Κeіsuke Νakanο
@ksknac
多くの参加者が利用していると思われる ANA 641 便 と JAL 1803 便がともに熊本空港に到着していることを確認． #ppl2014
2014-03-05 10:48:48
S (ﾂｲｰﾄはｽﾚｯﾄﾞ全体をご確認ください)
@esumii
meta circularな写真をとるなど。#ppl2014 http://t.co/InobmHTxGu
2014-03-05 12:35:48
拡大
ReiOdaira
@ReiOdaira
熊本県でふなっしーというと「熱いなっしー！」しか思い浮かばない。 http://t.co/XuxwxWZgbj #ppl2014
2014-03-05 13:21:48顕在的契約計算における代数的データ型
Atsushi Igarashi
@50storms
@kazu_yamamoto あ、いえ、キャストがアップキャストか(必ず成功するか)を静的検査、です。#ppl2014
2014-03-05 13:46:30