デスクトップPCのCPUクーラーを交換しましたのでその記録です。 スペック 私のデスクトップPCはcpuが intel core i7 3770 、マザーボードが ECS B75H2-M2 です。cpuソケットは LGA1155 です。 交換するcpuクーラー 交換前に使っていたcpuクーラーは Vortex P…
デスクトップPCに新しいストレージとしてM.2SSDを導入することにしました。最初はwindows10の起動ドライブの移行をしようとしていたのですが、実際に試してみるとできなかったので、純粋にデータストレージとして使うことにしました。その様子も含めてまとめ…
windows10の環境でC++のマルチスレッド・べクトル化プログラムを実行してみます。 cpuがintel core i7-3700 (4core/8thread)の環境です。 実行ポリシーを指定できる <execution> *1 が gcc9(C++17) から使えるそうなので *2 mingw-w64のgccのインストールからやりました</execution>…
boost の boost/integer/extended_euclidean というライブラリに1次不定方程式を拡張ユークリッド互除法で解く型があるので使ってみます． 1次不定方程式 $mx + ny = \operatorname{gcd}(m, n)$ の解 $x, y$ を1つ求めることができます． 以下のプログラムを…
boost の boost/integer/common_factor_rt というライブラリで整数配列の最大公約数や最小公倍数を求める関数があるので使ってみます． 最大公約数を求めるのは gcd_range，最小公倍数を求めるのがlcm_range です．戻り値のpairの1成分目に値が入っています…
本ブログでは数式の表示にMathJaxを用いている．少し前にバージョンを3.0にしたのだが，数式番号だけがうまく改行されずに表示されるという問題が発生していた． この問題の根本原因や理由は分からないのだが，とりあえず解決策は見つかったのでまとめておく…
$\quad $ 実数列 $ \{a _ n\}, a _ n>0 ~ (\forall n) $ に対して，相加平均 $ A _ n $ ，相乗平均 $ G _ n $ ，調和平均 $ H _ n $ は次のように定義される． \begin{align} A _ n &= \frac{a _ 1 + a _ 2 + \cdots + a _ n}{n} \\ G _ n &= \sqrt[n]{a _ 1…
Atcoder ABC150D D - Semi Common Multiple 時間内にはできませんでした．解説を見ながらやり直したのでまとめます． a = { a₁ ，a₂ ，... ，aN } a/2 = { a₁/2 ，a₂/2 ，... ，aN/2 } と表すことにします．a が偶数列なので，a/2 は整数列です．a の半公倍…
atcoder の D - Remainder Reminder のような，剰余 a%b を調べる問題で a と b のどちらを固定するかで議論の難しさがとても違ったので（自分は最初 a を固定して考えていて分からなくなった），この際，剰余の関数グラフをプロットして見てみる． 特別な結…
次のページの証明1：確率漸化式について自分はすこし戸惑ったので補足説明をする． AtCoder ARC 085 C - HSI (300 点) - けんちょんの競プロ精進記録 この漸化式を保証しているのは次の公式である． 確率変数 X, Y に対し，E[X] = E[E[X|Y]] である． これは…
