merom686
- いいね数 68,598/65,408
- フォロー 229 フォロワー 565 ツイート 24,026
- 現在地 家の中
- Web https://merom686.hatenablog.com/
- 自己紹介 プログラミング（書く）、アニメ（みる）、将棋（指す）、数学・漫画（ちょっとだけ好きだけど最近やってない）、囲碁は初級レベル、AtCoderは青、ぷよぷよはウィッチ。アイコンの羽はhttp://twitpic.com/81ssmc。好きなアニメはカスミン。
2019年12月07日(土)
いま引用した「実際、どんな正の実数εに対してもε＞1/Nとなる番号Nがとれるなら」という箇所は、文脈的には「εごとに変えてはいけない、共通のN」と意味なのだが、この表現では判別がつかないですね。
タグ：
posted at 16:43:25
どちらも「自分がそこまで点数が伸びるのを予想できなかった」というのが原因で、現在のWriter/テストプレイを自分が兼務するスタイルは限界があると強く感じたので、マラソンもAGC/ARC/ABCと同じく、外部協力者を入れていかないともうダメだと思ってます。作問体制の見直しを急ぎます。
タグ：
posted at 18:31:06
やったこと(調整前後でだいたい同じ): 1000個の木をマージして1つの巨大な木にして、その木を重いノード(そのノードをroot とするsub-treeがデカいノード)から順に、可能な次数が高い頂点へと greedy に割り当てていった
タグ：
posted at 18:42:17
B社の担当部署には人を通して「こんな別解あるんですがちゃんと採点するの無理じゃないですか？」と具体的に伝えたのですが、プロの研究者でも無理なのに「大丈夫です」みたいな明らかに虚偽の回答だったので、同情の余地はないと思っています。
タグ：
posted at 20:26:38
今回の HTTF、運営（作問）側としては失敗な感じがあったかもしれないけど個人的には二部構成は普通に面白かったし問題も面白かった（これは自分が思い通りに実装できたからなだけかもしれない）
タグ：
posted at 23:34:02
2019年12月08日(日)
今からでもやったらええやん！，大抵正論なんだろうけど（俺はできんだからお前も）やればいいじゃん！に聞こえてしまうかなという部分があり，俺はあまり好きではない
タグ：
posted at 01:57:43
MarriageTheorem @MarriageTheorem
算数の文章題は「数理科学」（現象を数理モデル化して数学で解く）であるということは、もちろん当の小学生にそんな小難しいことを教え込む必要はないけど、教師の側はちゃんと理解していないとまずいことだと思うんですよね。これもまた「教師の側は、教える内容よりも深い理解が必要」の一例でしょう
タグ：
posted at 10:41:15
@Hal_Tasaki @potetoichiro 「1/3 万人向け」という表現が、「3333人向け」という需要の少ないニッチな内容を指しているのかと思った。^_^
タグ：
posted at 11:19:59
2019年12月09日(月)
今回の C 問題、「この人を正直者とするとこの人はこうなって……」みたいな遷移を真っ向から考えようとして詰め切れなくなってしまった方も多そう。
もっと俯瞰的に「正直者全員を決め打ちする」というところに行くのは、まずそれなりにギャップがある……
タグ：
posted at 02:28:46
有志によるぷよぷよの世界ランキングがなんか出てたらしい。自分は282位だそうな。
掲載されている中ではまぁ割とまともかなあ、と思いつつ、掲載されていない人も考えると400～500くらいまで落ちるのかな。とも。
www.bayoen.fr/wiki/World_Ran...
タグ：
posted at 10:14:46
MarriageTheorem @MarriageTheorem
「詰将棋作家なら誰もが憧れるシチュエーション」、自分の作品の解釈で議論が紛糾するとかでは（
タグ：
posted at 11:58:31
探索する幅はどこまで必要なんだろう？？
79が80個→80が79個、みたいな場合は79×80=6320まで記録する必要があるけど、これより多いケースはありますか？ twitter.com/maspy_stars/st...
タグ：
posted at 13:50:36
昨日のE、「うーんこのアルゴリズムだとTLEするな。せや、赤と青の差が1000以上になったやつが結果に影響することほぼ無いやろ！捨てちゃえ！」と意図的に嘘解放投げたら普通にWA付けられました
反省
タグ：
posted at 18:19:47
最近話題のAC数の奴、そもそも2000問埋めるには800点くらいを解けるようにならないと問題が足りないから普通に相関があっても因果は違うんじゃないかなって思う
タグ：
posted at 18:43:52
2019年12月10日(火)
アニメ専門学校とか声優専門学校についても誤解していて，そういうところを出ても実際にアニメーターや声優になれる人なんてほとんどいないのだと思っていた。聞いてみるとそれなりになれるんだって。
タグ：
posted at 13:42:24
焼き魚とか煮魚の食べにくいところを残すのってまあしょうがない感じがするけど肉だとあんまそういうことないよなー、と思ったけど、肉の食べにくいところはカットされているだけなのであった。
タグ：
posted at 22:19:10
