merom686
- いいね数 68,598/65,408
- フォロー 229 フォロワー 565 ツイート 24,026
- 現在地 家の中
- Web https://merom686.hatenablog.com/
- 自己紹介 プログラミング（書く）、アニメ（みる）、将棋（指す）、数学・漫画（ちょっとだけ好きだけど最近やってない）、囲碁は初級レベル、AtCoderは青、ぷよぷよはウィッチ。アイコンの羽はhttp://twitpic.com/81ssmc。好きなアニメはカスミン。
Favolog ホーム
» @merom686
» 2019年11月26日
並び順 : 新→古 | 古→新
2019年11月26日(火)
偉大過ぎる兄と伝説のライバル（主人公）を持つホップくんが（強がりかもしれないけど）作中でネガティブな面をほとんど見せないの，あまりにも強いメンタルを感じる
タグ：
posted at 16:39:24
人間って処理能力があんまりないから、基本的にO(1)の処理しか出来ないせいで、「O(1)のそれっぽい解」を発見するのに異様に長けている人が多いから、それが偶然最適解であった時に、そこを難易度評価に加えるのがめちゃめちゃ難しい。
「最適証明難度」を評価するのか、「発見難度」で評価するのか。
タグ：
posted at 11:42:17
非公開
タグ：
posted at xx:xx:xx
よく「実務では出てこない」って言う人が結構いるけど、それって、AtCoderが「解かないといけない状況」をあえて作ってるから始めて出来ないことを自覚しているだけで、普段そういう問題に直面しても、「解けないものとして扱う」って感じでスルーしてるだけだと思うんだよねえ。
タグ：
posted at 10:29:57
スポンサーリンク
