数学科の就職と Lean 言語について私が今思っていることを書きます.
大学受験のときの自分の行動を振り返って,良かったことと悪かったことを考えます.
中学校に,ひどい先生がいたという回想.
今回は,最近見つけて使い始めたブラウザ拡張機能の宣伝をします. LeechBlock です. 私は自制心が皆無で,いちどTwitterやTogetterを見始めるとやめることができなくなってしまいます.気づいたら夜中の3時になっていて,翌朝の仕事に差し支える事態にな…
転職先が決まったので体験談をメモします
定理証明支援系 Advent Calendar 2023 参加記事.初心者向けに,Lean Prover のおもしろさ,魅力を解説します.
予防接種を受けた日記
線形代数の無料で閲覧できる学習リソースを少し調べました
静的サイトジェネレータ (SSG) についていろいろと調査をしたときのメモを公開します.
型理論のリソースを探したのでメモします.