-
- いいね！0
S (ﾂｲｰﾄはｽﾚｯﾄﾞ全体をご確認ください)
@esumii
サンディエコの学会（ACM POPL 2014）、昨晩のバンケット会場は空母Midway #fb http://t.co/5NKCMLN8cN
2014-01-25 04:42:38
拡大
S (ﾂｲｰﾄはｽﾚｯﾄﾞ全体をご確認ください)
@esumii
POPL 2014 http://t.co/Cha46qFHBM Middleweight Javaのゲーム意味論。この種の言語では初の完全抽象的な表示的意味論。
2014-01-25 04:51:44
S (ﾂｲｰﾄはｽﾚｯﾄﾞ全体をご確認ください)
@esumii
@esumii 訂正：正しくはInterface Middleweight Java (IMJ). インターフェースつき
2014-01-25 04:57:20
S (ﾂｲｰﾄはｽﾚｯﾄﾞ全体をご確認ください)
@esumii
@esumii おっと、突然(?)のenvironmental bisimulation（をadapt/adoptした他人の関連研究だが）https://t.co/aeB1bPBXaN
2014-01-25 05:13:52
S (ﾂｲｰﾄはｽﾚｯﾄﾞ全体をご確認ください)
@esumii
昨日の別の部屋でも（Sangiorgiさんと共著の）logical bisimulationが出てきたらしい http://t.co/c45exCS8Ke
2014-01-25 05:15:21
Kohei Suenaga
@ksuenaga
POPL 2014: 不確実性がある状況でプログラムが "consistent" にかかれているかどうかを形式的に定義。その定義にそってconsistencyを検証する手法を提案。凸包を求めるアルゴリズムを例題に用いている。
2014-01-25 05:18:52
S (ﾂｲｰﾄはｽﾚｯﾄﾞ全体をご確認ください)
@esumii
POPL 2014 http://t.co/AYGuSn82jG 型エラーの原因箇所をベイジアン的に最尤推定。一般的な不等式制約系上で定式化（ML型推論やセキュリティ型などの例）
2014-01-25 07:30:09
S (ﾂｲｰﾄはｽﾚｯﾄﾞ全体をご確認ください)
@esumii
@esumii 既存のソースコード履歴（技術者向け大学院授業）で評価 http://t.co/kCuq2vflOD (PLDI 2007)
2014-01-25 07:46:08
S (ﾂｲｰﾄはｽﾚｯﾄﾞ全体をご確認ください)
@esumii
POPL 2014 http://t.co/8znUvTYmqk これも型エラーの示し方の話。エラー位置と修正との候補を順位つき列挙。バリエーションつき型推論で効率的。
2014-01-25 07:56:34
S (ﾂｲｰﾄはｽﾚｯﾄﾞ全体をご確認ください)
@esumii
POPL 2014 http://t.co/osLJjSlSn1 副作用つき式の簡約・変換のための作用・リージョン解析を一般化、「メモリ位置」の概念を抽象化（データ構造の一部など）、より多くの等価性（と最適化等）を正当化。∃は再帰と相性が悪いのでΣで定式化[TLCA13]
2014-01-25 09:10:48
S (ﾂｲｰﾄはｽﾚｯﾄﾞ全体をご確認ください)
@esumii
@esumii Environmental bisimulationとの比較が論文の関連研究（10節）に書いてあり、議論の一部（"fancy computation rules"）はよくわからないが（高階π計算の拡張とか？）、まあリージョンとか作用とか考えた例はないことは事実。
2014-01-25 09:23:38
S (ﾂｲｰﾄはｽﾚｯﾄﾞ全体をご確認ください)
@esumii
POPL 2014 http://t.co/1RzOVTWzHX 勝俣さん。エフェクトつきモナド型Teτ [Wadler 98]のPEM (parametric effect monad)による表示的意味論。エフェクト部分はpreordered monoid.
2014-01-25 09:49:33
orumin
@orumin
xhl_kogitsune さんの「POPL 2014 実況まとめ」をお気に入りにしました。 http://t.co/TKqmOekFQp
2014-01-25 02:58:01