パンの木を植えて

主として数学の話をするブログ

LeechBlock: オープンソースのWebサイトブロッカー

今回は,最近見つけて使い始めたブラウザ拡張機能の宣伝をします. LeechBlock です. 私は自制心が皆無で,いちどTwitterやTogetterを見始めるとやめることができなくなってしまいます.気づいたら夜中の3時になっていて,翌朝の仕事に差し支える事態にな…

数学科卒の転職・就職体験談

転職先が決まったので体験談をメモします

Lean Prover を学んでみよう

定理証明支援系 Advent Calendar 2023 参加記事.初心者向けに,Lean Prover のおもしろさ,魅力を解説します.

日記:予防接種を受けました

予防接種を受けた日記

線形代数の無料の学習リソース

線形代数の無料で閲覧できる学習リソースを少し調べました

今後使ってみたい,あるいは愛用している静的サイトジェネレータ(SSG)まとめ

静的サイトジェネレータ (SSG) についていろいろと調査をしたときのメモを公開します.

型理論の資料,リソース

型理論のリソースを探したのでメモします.

1/0 = 0 になるのはなぜ?Lean Prover でのゼロ除算の扱いについて

lean でのゼロ除算の扱いについて

Lean4 で選択ソート

Lean4 で選択ソートを実装します

Lean4 でフィボナッチ数列の2つの表現が同値であることを示す

Lean4 でフィボナッチ数列の2つの表現を実装し,同値であることを示します