https://twitter.com/kinaba のログ (twilog の方が便利です。)
| 長いこと気になっていた Merd の Horizontal Layout http://merd.sourceforge.net/choices_syntax.html#wysiwyp の実装を読んでいた＆理解した。めでたい。 | |
| 細かいところを省くと、「第一フェーズ: 普通にparseただしスペースが来たら強制reduceを試みて結果を第二フェーズ向けリストにappend、を繰り返す」「第二フェーズ: 第一フェーズの出力したリストを普通にparse」。納得。 | |
| あと multi_ops の構文解析把握したら自分でいろいろ実装してみよう。 | |
| 急にゆずこしょうが食べたい | |
| 今年からISではHORSがわかる人材が量産されるようになっているのか。すごい楽しげ | |
| 天地魔闘の構えをとっています https://t.co/lNoUE0tN | |
| え、さすがに250は二部マッチでも解けるけど貪欲解法もちゃんとある問題じゃないのでしょうか。しかしこれだけマッチング書ける人がいるなら見え見えのマッチングは250でいい気もするな。 | |
| 作問はしないと本当に申し訳ない気分になるのでHardなんとかして思いつこう...（と毎回思いつつ思いつかないのでなにか強制力のある手段を導入しないと（...（...（...）））） | |
| とりあえず今ストックしてある解ける問題をひねり回して全部難しくしておくか。 | |
| 10 [[iwi]] 11 rankalee 12 kohyatoh 13 sky58 14 cafelier なんだこれ | |
| . @iwiwi さんついにターゲットか！ぱない！ | |
| int a,b,c,d; a/b > c/d の判定を int でやるために a>c*b/d ってやってる人がいてしばらく落とせるんじゃないかと考えてしまった。n>r iff n>floor(r) だから大丈夫なのだな。ふむー。ていうかおとなしく両辺払ってください | |
| よく考えると / を２通りの意味で使い分けてて意味わからないツイートをしてしまった（けど言いたいことは伝わると思いたい） | |
| @koyama41 いや、そこも注意すべきポイントだと思います。今回はさっきあったtopcoderの問題で正整数のa/b>c/dが必要な問題がでていたというコンテキストが通じてる人に通じてればいいやという感じの大ざっぱな書き方でした | |
| ここ https://t.co/5jh3fl1R から話を無理矢理 Galois connection に繋げる話術（無理） |