https://twitter.com/kinaba のログ (twilog の方が便利です。)
最短性チェッカの脳内実装が完了した。コーディングも15分はかからんはず。今晩やろう。 | |
@sawawww 普通に再帰っぽく書いたプログラムのcallをQueueで無理矢理解釈する自然なsemanticsが意外と思いつかなくて今悩んでいるので、これは、既存実装であるsawa君の机の使用方法を観察しておくべきだった… | |
@ikegami__ そういえば僕も量子オートマトンが…。怖いと評判のTarski先生の相手をしなければならなくなっているところで止まっている… | |
そしてそんなことより、メール1通書くのに10時間かかる自分をなんとかせねばならない… | |
@heppoko_maid 早く、要件をformalに論理式で書いたら適切にメールの体裁を整えた文章にしてくれるツールを開発してください。 | |
@andochin SO・RE・DA! | |
@minolin 文章かんがえるのニガテすぎてもうダメなのです>< twitterのレスですら5分10分は当たり前に考えてる気がする | |
朝考えた最短性チェッカは、対象プログラムが「最短じゃなくていもいいけど、最低限、パスがあるときはどれかは見つけてくるルーチンである」ことを暗に仮定していた……ダメだ…。 | |
地続き型言語 | |
@kmizu 確定させた経路をたどって$で塗るのが面倒だから、経路ではなく塗った盤面ごとキューに突っ込んでるコードに感銘を受けました→ http://shinh.skr.jp/m/?date=20100113#p06 | |
日記書いた。笑いどころはソルバよりチェッカの方が10倍以上デカいところですね。 | |
@tri_iro 僕は Knaster?Tarski の定理がいちばん馴染み深いですねえ、というか一番よく使う | |
@_a_u IPってなんでしょう。きになる。 | |
@_a_u ありがとうございます。なるほど、http://en.wikipedia.org/wiki/Interactive_proof_system こんな概念が。面白そうです。 | |
あと n 分寝ずにいる方法を 67-n 分以内に編み出す必要がある。 |