にぶたん談義

chokudai(高橋 直大)@AtCoder社長 @chokudai

まぁなんか実際、ライブラリとかで、int型全部おっけーなのかな？って入れてダメなのがあったらブチ切れるから、「バグ」と言いたい気持ちも判るのだけど。割と状況によりそう。いやなんかこれバグって言ってたら大量にみんなバグ産んでない？そんなことない？って話なんだけど。

Igaguri @igagurimk

@chokudai 現代では小さなマイコンで組み込みプログラミングする人だけが知っていれば良い話ですね。 64bitだとオーバーフローするくらいの要素数を扱うなんてあり得ない話ですから。 要は、昔は重要だったけど陳腐化した話と。

chokudai(高橋 直大)@AtCoder社長 @chokudai

@igaguri_mc 割と最近でもよく見るような気がしてもやっとしてます＞＜　（ちなみに、そういうのが必要な環境ではそれなりに気を付けて書きます）

chokudai(高橋 直大)@AtCoder社長 @chokudai

流れてきたこの記事に反応してたんだけど、よく見たら2016年じゃなくて2006年だったからこの話題終わりでいいですか・・・ｗ research.googleblog.com/2006/06/extra-…

chokudai(高橋 直大)@AtCoder社長 @chokudai

@objectxplosive @AoiMoe @NaOHaq ちょうど流れてきたその記事に対してのツイートでしたｗ　（そして2016年だと思ってたら2006年だった・・・ｗ

chokudai(高橋 直大)@AtCoder社長 @chokudai

maxとminの差がでかすぎるとオーバーフローするよって指摘があった。たしかに。割と全部カバーするのめんどくさい感じね。

JetBrains製IDEのパフォーマンスに生産性を握られている @konjo_p

mn + (mx - mn) って，mx = 2^31-1, mn = -2^31でオーバーフローしそう．

chokudai(高橋 直大)@AtCoder社長 @chokudai

あと「二分探索は必ず正だから」って前提持ってる人多いことに割とびっくりした。（競技プログラミング感覚だと、いわゆる「二分法」も二分探索に含まれるので、負の値も出てくる）

JetBrains製IDEのパフォーマンスに生産性を握られている @konjo_p

怖い時は mn/2 + mx/2 + (mn%2 + mx%2)/2してるけど，これも果たしてどうなのか．（個人的には書きたくない）

chokudai(高橋 直大)@AtCoder社長 @chokudai

ちなみに自分は怖いときはノータイムでlong型にキャストします。あんしん。あんぜん。

JetBrains製IDEのパフォーマンスに生産性を握られている @konjo_p

define int long long 教団

chokudai(高橋 直大)@AtCoder社長 @chokudai

割と最近は「きっちりプログラムを組む」よりも「出来るだけ早く動くものをリリースする」のほうが大切なんじゃないか、って思考に傾きつつあるので、ツイートがそっち寄りになっている。まぁベンチャー企業やってたらそりゃそうか。ポジションによって要求されるものはだいぶ違うよね。

chokudai(高橋 直大)@AtCoder社長 @chokudai

まぁ凄く正直に思っていることを言うと「競プロでは与えられる値域わかってんだから絶対オーバーフローしないのわかってんだよ！！ドヤ顔で『大体全部バグってる』とか言ってんじゃねえよ！！！状況によるやろ！！！」みたいな感じだったけど10年前の記事に言っても仕方なかった。

chokudai(高橋 直大)@AtCoder社長 @chokudai

一応言っておくと、オーバーフローに関する感覚は、多分普通の人より競プロ勢のほうが優れていると思う。逆に優れていないと思うのは、メモリリークとかなのかなあ。１回実行して終わりー、みたいな関数を書きなれてるから、そこらへんを気にしている人は少ない印象。

chokudai(高橋 直大)@AtCoder社長 @chokudai

ってかあんまり「メモリを動的に取る」って行為はしない印象で、そこは競プロやってる人の弱いところかなぁ。最初に必要なメモリをドンと取って、終わったらおしまい、って感じにしてるから、必要に応じてメモリ解放する、とかはあんまりないよね。（永続構造を再構築でMLE回避、とかはあるけどｗ