https://twitter.com/kinaba のログ (twilog の方が便利です。)
| @lyrical_logical @Cryolite http://lists.boost.org/Archives/boost/2008/05/137201.php これ系でしょうか（このメール以降の展開は追ってないです） | |
| ちょっと練習しておこうと思って開いた前回のDiv2 1000がひじょーにシンプルかつ典型的っぽい問題なのに解けないので死ぬ。 | |
| いかんマジで解けないし変な写真を見てしまったせいで脱力してもうだめだ | |
| @tsukuno heights[0..i] の最適解に heights[i+1] を最適に挟み込むループはexample 0が通らんようにできていた。ほかのgreedyは思いつかない | |
| @tsukuno コード書いてarenaにsubmitしといて | |
| @tsukuno おおそれでunionfindでループ作らないように結合したら通った。なんでだ | |
| うぎゃー 550-950 … | |
| 通れー通れー #SRM | |
| @tsukuno {1,4,2,6,3,8,5,7} | |
| そして550死んだ。TLEかなあ。一桁いけー #SRM | |
| 大撃墜祭り以外で初めて１桁順位とったバンザイ！そしてレート +80 来い #SRM | |
| 2626 highest!! | |
| 550一瞬でWAしていた。塗れるはずのケースを塗れないと言っている。あれ、逆はあってもそっちはないつもりだったのに… | |
| @skyaozora @WtbH ありがとうございます！ここ３回首の皮一枚で年内にJapanのCountryレートに追いつく目標に望みを繋ぎ続けているので、この調子を保ちたい… | |
| ぎゃあああああああああああああああああああああああああああああ | |
| {int backup=a; /* a を書き換えながら作業 */; a=backup;} のつもりが {int backup=a; /* backup を書き換えながら作業 */; a=backup;} になっていた。意味がわからない。俺は氏ね。 | |
| 全部constで組むのが絶対的には正しいのだろうけど、計算量を落とさないで書くのしんどい時が多いし全部pureでも同じ類の間違いは起こすので、これはやっぱりもっと真っ当な変数名をちゃんとつけるべきというのが教訓だなあ。当然すぎるくらい当然ですけど… | |
| 曲線の壁を持つ迷路を、自動的に作る http://www011.upp.so-net.ne.jp/decafish/SpaghettiMazeMaker.html これめちゃ面白いな | |
| 京都賞 受賞記念 東京サテライトワークショップ http://www.kurims.kyoto-u.ac.jp/~takazawa/KPSW/index_j.html って行きたいような気もするけどそんな暇がないような気もする | |
| ぐるぐるどっかーん [QHー1215] は @Cryolite さんにピッタリです！ | |
| シメキリ・イズ・トゥデイ | |
| @zakkas783 第一の締め切りを今倒しました！しかし「ククク…奴は11月14日締め切りのタスクの中でも最弱…」との声が脳内に響いているのでこれから第二の締め切りと戦ってきます。の前にちょっと休憩… | |
| 『とりあえず全部のコンパイル時定数の型はその値だけを含むsingleton type（178の型はintではなくInt<178>、"foo"の型は String<'f','o','o'>）。んで、それらの型は全て普通の型に暗黙変換可能（Int<178>→intなど）。』 | |
| とするのは、意外とドラスティックに見えて実はそうでもなくC++とかJavaとかHaskellの型レベル処理を劇的に使いやすく変えるんじゃないかなーということをこの前妄想していたのを思い出した。 | |
| int x; は、動的にはともかく静的には「なにかわからんけどintであることはわかる」から仕方なくintと抽象化しているのであって、123というリテラルは静的にも123以外にありえないのでInt<123>という静的な型を持ててよくて、もちろん抽象化したい時は時で自由にすればよく | |
| @okomok おおお！熟読します！ものすごく興味深いので詳しく知りたいのですが @kmizu さんのメタログラミングの会 http://atnd.org/events/9072 に来られたりするご予定はありませんか！？ | |
| System F に typedef を入れるには singleton kind が欲しいみたいな話が ATTAPL にあった気がした （うろ憶え | |
| singleton型はdependent型のない言語のworkaroundというのはまさにその通りなので、でもそこがいいところじゃないかなあと。入れる気になれば遙かに小さい変更で言語仕様に突っ込めて何も失う物が無さそう的な意味で | |
| @okomok いえこちらこそ唐突な声かけですみません… HList の論文を読んで僕はそこまで発想しなかったのでやはり興味深いです | |
| 来るなら、裏白蛇プレイヤーの全死亡ログを集計することで階を横軸、難易度を縦軸にとったグラフに描いてその形がいかに面白さに貢献しているかを語る原稿の締め切りとかが来て欲しいものである |