https://twitter.com/kinaba のログ (twilog の方が便利です。)
| 途中でネットが使えなくなっていた。帰ホテル | |
| #AAIP11 "An Analytical Inductive Functional Programming System that Avoids Unintended Programs" Analytical Approachの、実際の欲しい再帰構造にそったサンプルを(続 | |
| #AAIP11 続)何個も連続してボトムアップに与えなきゃいけない感じのをできるだけ少なめに抑えてgenerate&testアプローチで補完する感じの何かその他いろいろヒューリスティックス改善色々。 | |
| #LOPSTR11 "Marker-directed optimization of UnCAL graph transformations" グラフ変換言語で、最終的に結合相手ノードがいないグラフと結合しようとして捨てられる的デッドコードを検出して消してfusionの効率上げる | |
| #LOPSTR11 "Resource-driven CLP-based Test Case Generation" テストデータ自動生成なんだけどヒープできるだけ使わないの優先、的にリソース消費考慮して生成みたいな感じらしい。既存の問題意識がわからんのでこれの意味もいまいち… | |
| @ikegami__ 残念ながらまだでございます | |
| #LOPSTR11 "Probabilistic Termination of CHRiSM Programs" 確率付きCHRで、「全てのパスで止まる」じゃなくて「確率１で止まる」を判定したいんだけどそれどうやんの？という話を本当にそれどうやんの？で終わる発表だった。(続 | |
| #LOPSTR11 続) 停止確率の数値解じゃなくてパラメタ化された解析解みたいなのが欲しくて大変という話なのかなあ。項書き換えの Almost Surely Terminating という概念と割とすごく関係あるんじゃないの的なコメントが出てた | |
| #LOPSTR11 "Improved termination analysis of CHR using self-sustainability analysis" CHRの停止性判定するのに、単に制約の依存関係のサイクルの有無だけだと多重度考慮できてなくて弱いので考慮する(続 | |
| #LOPSTR11 続)と当然整数計画問題になるのでまあ解く、という話。 | |
| 会場のDHCPサーバ様が僕にだけ意地悪をしてIPアドレスくれない（違）ので実況できないぬー状態だった。うーむなんだろう。 | |
| 頑張った自分へのご褒美にLet's note買うか | |
| @kumasiro なんの脈絡もなく唐突に変えているので自分でも覚えていないという… | |
| も～だるみゅ～計算でみゅ～っとした感じにグラフ変換する話仕上げる。文脈自由OI木言語の知見を輸入してNested Datatype作ったら珍妙なもの出てこないか考える。PかNP完全か謎な問題スタック片付ける。モノイド表現フルに使える正規表現ライブラリ作ったら面白いか作ってみる。 | |
| あと色々な関数がとらんすでゅーさーで表現不可能であることの新しい証明技法をなにかを編み出す、とかか。 |