Lean 関連の活動の 4-7 月の振り返り

日記です．

私は滋賀県に住んでいたころは毎日琵琶湖のまわりを散歩していたのですが，大阪に引っ越してから散歩をしなくなりました．散歩しがいのある場所がなかったんですよね．私は散歩中に，野生の鳥とか小動物とか，その辺に生えてるキノコ *1 とかを眺めるのが好…

日記

前回の記事で私はこんなことを書きました． Lean で数値計算ができるようになればもっと多くの層が取り込めることが期待できるのですが，現状では難しそうです． seasawher.hatenablog.com 改めて考えてみると，数値計算は丸め誤差と打ち切り誤差がどうして…

Lean を学び始めて8カ月がたちました．

数学科の就職と Lean 言語について私が今思っていることを書きます．

大学受験のときの自分の行動を振り返って，良かったことと悪かったことを考えます．

中学校に，ひどい先生がいたという回想．

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