https://twitter.com/kinaba のログ (twilog の方が便利です。)
| 世界各国マクドナルドを巡る会の義務を果たしてきた。 | |
| マクドナルドさんは何故mealとかsetとかcomboとかmenuとか、「ハンバーガー＋ポテト＋ドリンク」の集まりの名前を世界で統一しないんだろうか | |
| 台風念力で3日くらい遅らせたらちょうど僕の飛行機の着陸時刻あたりに成田直撃になって飛行機の出発が5時間くらい遅れてTCO出られるようにならないかなー的なことばかり考えている | |
| 文芸あねもね http://fengdao.exblog.jp/15944340/ 買った。たのしみ | |
| @tanakh 流れとしては http://ll1.ai.mit.edu/ からなのでは＞Lightweight Language | |
| @tanakh 日本以外の雰囲気をよく知らないのでなんともわかりませんが、「PerlとRubyとPythonに似た言語」をまとめて一単語で呼びたい、というイベントや機会が偶然多かったから、じゃないですかねえ。偶然というと変か、それ以下の詳細を区別したくない気分の人が多かったから。 | |
| ぐぬぬ頭が発表スライド作るモードに全然スイッチしない。今日の他の人の発表きいてエンジン点火して本気出てくれることを祈ろう | |
| #LOPSTR11 http://users.dsic.upv.es/~lopstr11/lopstr11_program.html 開始待機 | |
| #LOPSTR11 "A Linear Operational Semantics for Termination and Complexity Analysis of ISO Prolog" ぷろろぐの、停止性や計算量解析に便利なアナザー意味論考えたよというお話。(続 | |
| #LOPSTR11 続)Linearというのは計算木の上を行ったり来たりバックトラックしたりするんじゃなくて、一直線の評価ステップを持つという意味で。ISO Prologの112の組み込み述語(cut,assert系,findall系,例外処理,...)をカバーして、結果と(続 | |
| #LOPSTR11 続)計算ステップ数が定数倍の範囲で一致。中身はしかし、なんか計算機上で実行する時のスタックのメモリイメージをベタ書きして状態遷移系にしている感じで普通だな。逆に言うとお手軽にProlog処理系実装しようと思ったときに直訳しやすくて楽しいかもしれない。 | |
| #LOPSTR11 "A strategy language for graph rewriting" グラフ書き換えをやる言語を設計したよという話。文字列や木と違って先頭や末尾や根や葉がないので「どこ」を書き換えるかという制御が重要で、それについて"ここは書き換えしてOK"(続 | |
| #LOPSTR11 続)"ここは書き換え禁止"みたいなノード集合2つで注釈付けたグラフ"Located Graph"を実際の操作対象とする。あとは非決定的に。場所はsetPosとsetBanという手続きに適当な述語で指定する。あとはif-while。大変ストレートな手続き型言語 | |
| #LOPSTR11 グラフ書き換えのの可視化的なものはできていて、化学反応の記述とかに使いたいらしい。個人的には逆に、こういう低レベル書換系言語は、DNA計算とかそういう方向で自然現象を利用した実装がしやすいかとかが気になるな。去年のDIKU-ISTでそういうの聴いて面白かった。 | |
| #LOPSTR11 "Clones in logic programs and how to detect them" Prolog(のサブセット)からコードクローンを探すお話。基本的に、名前の付け替えと変数化に関して構文的に同値か判定。の論理型固有の話が何一つない気ががががが… | |
| ところで、明日の9:00～10:00のセッションに聴きたいものがごっそり重なっている気がするんですが http://www.imada.sdu.dk/~petersk/OLP/schedule.html なんでこんな余裕ある日程なのに３パラなの。。。 | |
| @ikegami__ Regular Typesはまあ専門なので気になりますしKiCS2やFLPのデザインパターンは趣味として気になりますしterm間距離の話は前に他のワークショップで聴いた話が面白かったので他のアプローチってどんななのか気になる……… | |
| LOPSTR、思ったよりProlog強度高い会議だなー。meta_predicateでモード指定した時のモジュール修飾を明示したときとimplicitなときでlookupとcallのcontextがどうなりますか各処理系での違いはドン！とかとても楽しいですがついてくのキツいですぞ |