正規分布の便利な性質「再生性」を証明する。

プログラミングでは、何らかの状態を制御しなければならない。状態を制御するいくつかの書き方をまとめる。

0.5を足してintにキャストして四捨五入するのは素人。プロはstd::nearbyintを使う。

エンジニアリングは多くの場合属人的であり、人材を代替可能と安易に考えるべきではない。

Pythonのmatplotlibで、少しだけこだわってグラフを描いてみた。

Schwartzの不等式を証明する。

集合の極限を考える。

太極図説の書き下し文。

条件付き確率を定義し、容易な変形で得られるベイズの定理を述べる。

積事象の確率の下界の見積もりに使うボンフェロニの不等式を証明する。

可測空間と位相空間の定義は少し似ている。その違いとつながりについて述べる。

数学的な確率の定義を行う。

特になんのひねりもなく、2つの円の交点を求めた。

Gitで前に戻るのは割と簡単だが、ブランチを限定して次に進むには、エイリアスを設定する必要がある。そのエイリアスを紹介する。

Valaという少しマイナーな言語の開発環境をVim/Ubuntu 20.04/WSL2で構築した。そのやり方を書く。

レンダラとしてGoldmarkを使用している場合のHugoのマークダウン記法で、外部リンクを新しいタブで開くようにする方法を紹介する。

.gitignoreのテンプレートを使っていて、予期せぬファイルが無視された時に、なぜ無視されたかを調べるgit check-ignore -vコマンドを紹介する。

yum installは存在しないパッケージ名を指定しても、コード0を返却する。この挙動を変更する方法を書く。

大菩薩嶺で紅葉狩りをした。その記録を書く。

IPAの令和2年度10月 応用情報技術者試験の午後問題 問3を解き、C言語で実装した。その解答と実装方法を書く。

3次元特殊直交群SO(3)に直観的な距離を入れ、具体的な計算例を与える。

『望み』という映画を見た。その感想を書く。

西黒尾根を往復して、谷川岳で紅葉狩りをした。その記録を書く。

正奇数角形の対角線を引くと、内部に相似な正多角形ができる。その相似比を求めた。

タイムスタンプ=>日付文字列のツールをコマンドラインツールとして整備した。実装にPerlを使った。最近のPerl不人気を憂える。

標準正規分布に従う確率変数の余弦(コサイン)の期待値を求めた。

タイムスタンプ<=>日付文字列を行う2つのアプリを作った背景について書く。

Svelteというフロントエンド技術を使って、タイムスタンプを日付文字列に置換するアプリを作った。

遠藤周作の『海と毒薬』を読んだ。その感想を書く。

fishのようにカレントディレクトリをいい感じに省略して表示する$PS1の設定を紹介する。