プログラミング

ウィルソンの定理は\(p\)が素数ならば \begin{align}(p-1)! \equiv =-1(mod p)\end{align} が成り立つ定理である。今回はwikipediaにある表をmpirを用いて計算した。

素数の数は \begin{align}N(n) =\sum_{k=1}^{m} \left \lfloor \cos^2 \frac{(n-1)! + 1}{n} \pi \right \rfloor \end{align} で求められる。

その数が素数かどうかは \begin{align}isprime(n) = \left \lfloor \cos^2 \frac{(n-1)! + 1}{n} \pi \right \rfloor \end{align} で判定できる

mpirで再帰関数を使うにはmpz_tで定義した数値をmpz_ptrで返す必要がある。 mpz_ptrはmpz_tのポインタである。 例

通常の数値と同じ。

sortとbegin、endを併用する

unsigned long long int 型で作られたvectorを表示する。

C++でpairで作られたlistをCSVで保存する。 読み込んで放り込めばいい。

C++でlistをCSVで保存する。 string型のfile名とunsigned long long intのリストを渡せば保存できる。 unsigned long long intはintなどに変換可能。

C++でΣの公式を計算する。今回計算する公式は次の通り。 \begin{align}\sum_{k=1}^{n} k^3 = \left \{ \frac{n(n + 1)}{2} \right \}^2\end{align} 以下コード

ポケモンの速度判定は異なる場合はより数値の大きな方、同じ場合はランダムになる。 今回はCoin.getCoinValue()でコイントスを行う関数を実装し同速の場合の判定を作った。 なお、arrayで作っているのはダブルバトル等への拡張を容...

enum class は列挙型の一種で名前衝突の回避ができる。 使うときは型名::列挙子とする。

gistへの登録は色々なサイトにあるので割愛。 今回はポケモンの技相性のcsvデータを登録した。