駄場さん

導入

以下のように定義される$\zeta(s)$をリーマンゼータ関数(Riemann zeta function)と呼びます。

$$
\zeta(s)=\sum_{n=1}^{\infty}\frac{1}{n^s} ...

導入

正の実数$x$に対して以下のガンマ関数(Gamma function)を定義します。

$$
\Gamma(x)=\int_{0}^{\infty}t^{x-1}e^{-t}dt
$$

このよ ...

概要

以下のように定義される$B_n$をベルヌーイ数(Bernoulli number)と呼びます。
$\frac{x}{e^x-1}$をマクローリン展開したときの係数です。

$$
\frac{x}{e^x- ...

概要

$\sum_{n=1}^\infty \frac{1}{n^2}$が収束するか
収束する場合の値は何か

という問題について考えます。
この問題をバーゼル問題(Basel problem)と呼びます ...

まず、半径$r$の球について、極座標表示を用いて微小な表面積$dS$を求めます。

半径$r$の円周の長さは$2\pi r$で、このうち$\theta$ (rad)の弧の長さは

$$2\pi r\cdot\fra ...

概要

TINYINT(1)の(1)の部分は表示幅(display width)の設定であって、格納できる値の制限ではありません。
これは公式ドキュメントにも記載があります。

Displa

概要

Pythonに限ったことではないですが、プログラムの単体テストを作成するときに、テスト対象のメソッドが依存するリソースをモックで置き換えることがあります。
たとえば、データベースから値を取得する処理をモックに置き換えたり、 ...

概要

以前作成した記事では、publicなフィールドをもつクラスを使ってYAMLのデータを読み込みました。
今回はrecordを使用してYAMLのデータを読み込む方法を紹介します。

前回の記事: JavaでYAMLフ ...

flate2を使ってgzip圧縮されたテキストファイルの読込みと書込みを行います。

[package]name = "gzip-sample"version = "0.1.0"edition = "2021"[d ...

前置き

RustでDataFrameを扱うためのPolarsというライブラリがあります。

コア部分はRustで書かれていますが、Pythonからも使用することができます。
実際にGoogle検索してみると、Rustよ ...