数学

概要

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

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

$\sum_{n=1 ...

数学

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

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

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

MySQL,技術

概要

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


Displa

Python,プログラミング

概要

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

Java,プログラミング

概要

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

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

Rust,プログラミング

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

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

Rust,プログラミング

前置き

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

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

Terraform,技術

結論

まずflatten関数を使ってネストになっているデータ構造を平らにします。

role_policy_arns = flatten(])

作成したmapのリストからfor_eachで使うためのmapを新しく作成します。

AWS

AWSのサービスを利用するときにリージョンとAZ (Availability Zone)を指定することがあると思いますが、自分の環境で使えるリージョンとAZの具体的な値がわからなかったので、今回はその一覧を作成してみることにしました。 ...

ロシア文学,文学

次の朝、僕がお茶をしに降りると、母は僕を叱った──しかしながら想像していたより少しだった──そして前の夜どのように過ごしたのか話すよう迫った。僕は少しの言葉で母に答えたが、多くの詳細を省き万事何事もなかったかのごとく見せるよう努めた。 ...