https://twitter.com/kinaba のログ (twilog の方が便利です。)
| #icfpc にっきかいた http://www.kmonos.net/wlog/126.html#_2304120716 | |
| Unicode雪だるまはMSゴシックのが可愛い、という情報を得ることができたのが今回の収穫です #icfpc | |
| そういえば先週書いたHorizontal Layout日記ほとんど反響がなかった（Xtalについて教えていただいたくらい）。僕の中で近年稀にみる楽しさなのだが | |
| 「ICFPC 2012 おつかれさまでしたー」をトゥギャりました。 http://t.co/Ed3UHB6I | |
| 岩が頭上におちると同時にひげで覆われるパターンはセーフと認識してテストデータ作っていた。ICFPなんだから仕様は形式化して書いて欲しいという気持ちはかなりあるな。 | |
| おきた http://topcoder.g.hatena.ne.jp/nodchip/20120716/1342458051 つよい | |
| 「それ以上でも以下でもない」の"以上"や"以下"を数学的な順序関係の"≦"や"≧"に置き換えて考えてみてネタにするの、日常語の"ならば"や"または"を命題論理の→や∨に置き換えて云々と同じくらい面白みに欠ける気がする。その日常語彙の適切な解釈を与えて面白ければ面白がるなどしたい | |
| おそらく単純に"＜"や"＞"ではなくて、「それに含まれない要素を含んではいないしそれの含む要素を含んでいないということもない」あたりだとは思うんだけど、つまり以上=⊈、以下=⊉、あれ、あまり面白いことにならなかった… | |
| ∀x,y,z. xRz ⇒ xRy ∨ yRz | |
| 半順序の否定が何を満たすかというと、当然その否定が推移律を満たすんだけど、というのを書き下して整理するとこうなる: ∀x,y,z. xRz ⇒ xRy ∨ yRz 。この公理を満たす関係（のうち、ひとめには￢順序関係に見えないもの）の代表例を考えよう | |
| x⊈z と書かずに "zはxにはない何かを持っている" と書くと騙せる可能性がある（というのが最初の"以上"の場合） | |
| あ、いろいろ逆！⊈と⊉が逆！ https://t.co/i7immVHw https://t.co/P9WT4KSX | |
| 気づいたらロボット http://robot-movie.com/ の上映ほとんど終わりかけてるやん | |
| 大森いくか http://www.ttcg.jp/cineka_omori/schedule てか177分って思ったより長いな | |
| @fkm 周辺の面白スポット教えて下さい！ | |
| @zakkas783 解説 http://blog.livedoor.jp/route408/archives/52036545.html 見ながら読んでたのですが、わりとマジメに面白いですね。なんで煮ようと思ったし、という辺りが何度見ても強烈ですが… | |
| @fkm ほほー（検索中）。せっかくなので今からちょっと冷やかしに行ってきます！ | |
| この百貨店、二次元座標的に同じ位置にあるエスカレータが1F↔2F（右側通行）と2F↔3F（左側通行）で左右が逆なのは何故 | |
| .@peria @septef そう、2階セントリックな設計、という可能性は頭をよぎったんですが、実際はそうでもなかったですねえ。http://ja.wikipedia.org/wiki/%E3%83%80%E3%82%A4%E3%82%B7%E3%83%B3%E7%99%BE%E8%B2%A8%E5%BA%97 で今半分改装中らしいので、改装が終われば謎が解けるのかもしれない | |
| というわけで帰宅ー。ロボット完全版 http://robot-movie.com/ 見てきました。めっちゃ面白かったので未見の人はみんな見にいくといいと思う。 | |
| 開始５分でロボットが運動性能のデモと称してまず踊る、ストーリー一貫してチェンナイ市中という話なはずなのに、盛り上がってくると何故かそのためだけにマチュピチュまでロケに行って撮ってきたというダンスシーン10分が入る(しかもすごく綺麗)。 | |
| https://t.co/rQjkC2qjレンソイス大砂丘&tbm=isch あとここでも踊ってたけど、すっごい美しいですね。いつか旅に行きたくなった。 | |
| そして全編通して見ても、あの有名な"合体ロボ"が出てくる流れがぶっ飛びすぎてて受ける。と、これだけエンターテイメントしながらラストシーンほろりとさせられるし、チッティ（例のロボ）に愛着はすごく湧くが感情移入まったくさせない、という作りも巧い。 | |
| @tsukuno 金糸卵だけに錦糸町でやるのが正しいのでは… | |
| @ark_golgo http://www.kmonos.net/wlog/126.html#_2304120716 スコア計算してみました。nodchip さんとことか xhl さんとこ相手だと全く勝負になってない雰囲気ですし、ライトニングはまじさんといい勝負くらいにみえる… | |
| ロボットのパンフレット熟読している。音楽スラムドッグ・ミリオネアの人なんだ。あれも非常にいい映画だった。 | |
| まだ ∀x,y,z. xRz ⇒ xRy ∨ yRz https://t.co/67OINx5B を考えている。「桁違いに大きい」などはこれと推移律を両方同時に満たすのだな。ちょっと面白い。 | |
| そもそも全順序なら同時に満たしちゃうのだった。あとは区間同士の"大小"関係を aRb ⇔ a.lb < b.ub で定義したもの、とか考えてたけどどれも裏が透けてみえるなあ。 |