https://twitter.com/kinaba のログ (twilog の方が便利です。)
| LL Tiger って7/31なのか。参加できないっぽい…ってかあんまり参加するつもりはなかったのでそっちは残念度は低いのだけど、裏イベント http://twitter.com/ranha/status/18023346517 のウォッチできないのが無念 | |
| ICFPとかPOPLの採択論文は、論文名リスト出た瞬間にググってもすでにdraft PDFがガンガンひっかかる割合がかなり高くて、それが普通だと思ってたのだけど実は他だとそうとも限らんなーということで、この点についてはとても素晴らしいコミュニティなのだなあ、ということを思っている | |
| Boost.Spirit の Qi よりも Karma の方が気になる今日この頃。あれコンビネータの種類だいたい同じなんだから一つルール書くだけで一発でparseとgenerate両方使えるようなインターフェイスにできたりしないものかなあ。 | |
| @lef @ranha 拝見しておりますありがとうございます。虎のように論文読みたいがーの会とかはとても興味があるのですが、その近辺の自分の日程がいつ空いてるか全然わからないので、合わせて頂くのは申し訳ないので無視して決めていただければと… | |
| XSugar http://www.brics.dk/xsugar/examples.html みたいなパーザアンパーザ同時生成系はとても面白いと思う | |
| @kimuraya 万引き撲滅 http://www.google.co.jp/search?q=%E4%B8%87%E5%BC%95%E3%81%8D%E6%92%B2%E6%BB%85 とか結構聞きませんか | |
| 型レベルプログラミングの話をみててふと思った。「第１フェーズ：check 第２フェーズ：run」が「第１フェーズ：check&run 第２フェーズ：run」になってきてるとみられると思うのでここらでいっそ全部入れ替えて「第１フェーズ：run 第２フェーズ：check」にしちゃおう | |
| と適当なことを何も考えず書いてから、もっともらしい意味づけを考えるか。 | |
| 普通の型ではcheckせずrunだと型エラーで落ちちゃうので意味ないけど、もっと複雑な性質ならどうか。runフェーズは「正しく動いてた」証拠として使える情報をコードに注釈として残す。checkフェーズがそれを確かにそうと確認する。ある種のcertified programming | |
| 普通にありそうだ。終了。 | |
| @sleep_bear はい。具体的にどうやって動かしてみて、どの辺りが理解できなかったか教えていただけますか？長くなりそうでしたらメール ( kiki (atmark) kmonos (dot) net ) でお願いします。 | |
| 午後の紅茶PLAINかなり好みだこれは | |
| Codeforces登録したけどめっちゃ眠いです | |
| 一般システム理論の本、10年くらい前に買って読んで、これは自分の期待したものと違うなーと思って売ってしまったような記憶があるのだけど、今になって読み返したくなってきた、というか何がどう自分の期待と違ったのかくらいどっかに書き残しておけや俺という気持ちでいっぱいです |