まーす

競技プログラミング(math, __math) ICPC 2016 World Final (team chikOkU), CTF, ISUCON(team takedashi) splatoon1カンスト, splatoon2: S+200

[まーす @__math]

Windowsで、実行ファイルを書き換えずに既存の.Netアプリケーションのメソッドを置き換える話 - math314のブログ https://t.co/ymjO6A5xrI
書いた。2年越しくらいのネタです。

[まーす @__math]

レイダース900階突破！

[まーす @__math]

バニラエッセンス、2~300円だったから買ってしまった

[まーす @__math]

グラタンできた

[まーす @__math]

ピザ(コゲコゲ)

[まーす @__math]

レイダースの1000階、もしかして滅茶苦茶難しくないか？

[🥑 @yujitach]

二ヶ月 Claude Fable を研究に使ってみて思ったことを徒然に書いてみました: https://t.co/k27lUfVqPa

[まーす @__math]

焼いた

[けその日暮らし @keso_diary]

うちに世界一可愛いタマヒロイいるから見て

[まーす @__math]

無限食堂850Fいけた

[まーす @__math]

@tom_yam_goong カチ割りリッターです！手軽に最強だった…

[まーす @__math]

無限食堂820Fで足踏み

[まーす @__math]

@camypaper ステージの厳選必須でだいぶ辛い

[herumi @herumi]

リンクしてなかったので。
「最近のIntel CPUは複数の連続する即値加減算命令をフュージョンする」
https://t.co/ClSHK0dcRh
最初気がついたときは、なんでそんな最適化機構が入れたの?と思ったので、そういうの好きな人はぜひ読んでください。

https://t.co/lyWRcPcVOJ

[まーす @__math]

@camypaper リッターの貫通が強すぎる

[まーす @__math]

780階くらいまで来たが厳しくなってきた

[柴田 淳 - 「みんなのPython」の著者・機械学習講師 @ats]

7は「2³−1」というメルセンヌ数。この数学的な性質を使うと、曜日換算から重い剰余演算 % 7 を追い出し、わずか数命令で計算できる。

曜日計算は本質的には「日数を7で割った余り」を求める処理です。ところが負の日付まで正しく扱おうとすると、単純な % 7 は意外に複雑な機械語になります。Ben Joffeは、7が 2のべき乗から1を引いたメルセンヌ数 2³−1 であることに着目。7日周期を計算しやすい8日周期へ写像することで、剰余をビット演算へ置き換える超高速な曜日換算アルゴリズムを考案しました。

核になるのは、n % 7 を直接求めるのではなく、7日ごとに架空の1日を挿入して8日周期として扱う発想です。すると最終的な % 8 は下位3bitを見るだけで済みます。さらに7による除算も固定値の乗算とシフトへ変形できるため、実用的な日付範囲なら、曜日を乗算・加算・ビットシフトというわずか3演算で求められます。

ここで重要なのは、単なる「割り算の高速化」ではないことです。7を一般的な整数として扱うのをやめ、7＝2³−1という数の構造そのものをアルゴリズムに持ち込んだことで、問題をCPUが得意な2のべき乗の世界へ移しています。この手法は 3, 7, 15, 31… のような 2^N−1 型の数にも一般化でき、曜日以外の周期計算にも応用できます。

ベンチマークでは既存の高速手法をさらに大幅に上回り、JiffというRustの日付ライブラリでも関連処理が約40％高速化したとされています。つまり、すでにコンパイラが % 7 をかなり最適化している現代でも、数学的な見方を変えることで、その最適化をさらに追い越せるわけです。

https://t.co/a5VGFhitRR

[Akira Takahashi @cpp_akira]

CPU3命令でうるう年を判定する最適化。

bool is_leap_year_fast(uint32_t y) {
return ((y * 1073750999) & 3221352463) <= 126976;
}

A leap year check in three instructions
https://t.co/NVh3GNUMiJ

GCCの実装でも取り入れられた。
https://t.co/9ywj0GlPvO

[まーす @__math]

カチ割りリッター強すぎて700階までいけそう

[まーす @__math]

このメッセージ記憶にない…