SnO₂WMaN @sno2wman@fedibird.com

Lean4 正式リリースおめでとうございます

https://github.com/leanprover/lean4/releases/tag/v4.0.0

はてなブログの記事にMastodonとMisskeyのシェアボタンを追加できるようにしました - はてなブログ開発ブログ

https://staff.hatenablog.com/entry/2023/09/07/183300

開発に携わっています　よろしくおねがいします

院試はダメだった　来年はお茶を濁しつつロジックをやるということに

完全に忘れていた

日報(2023.09.07)

https://scrapbox.io/sno2wman/2023.09.07

日報(2023.09.06)

https://scrapbox.io/sno2wman/2023.09.06

日報(2023.09.05)

https://scrapbox.io/sno2wman/2023.09.05

日報(2023.09.04)

https://scrapbox.io/sno2wman/2023.09.04

日報(2023.09.03)

https://scrapbox.io/sno2wman/2023.09.03

日報(2023.09.02)

https://scrapbox.io/sno2wman/2023.09.02

Solovayがまだご存命なのすごすぎる

日報(2023.09.01)

https://scrapbox.io/sno2wman/2023.09.01

日報(2023.08.31)

https://scrapbox.io/sno2wman/2023.08.31

日報(2023.08.30)

https://scrapbox.io/sno2wman/2023.08.30

日報(2023.08.29)

https://scrapbox.io/sno2wman/2023.08.29

代入処理が面倒なので論理式の量化にde Brujinインデックスを採用したいが、ドキュメントがなく辛い

日報(2023.08.28)

https://scrapbox.io/sno2wman/2023.08.28

日報(2023.08.27)

https://scrapbox.io/sno2wman/2023.08.27

日報(2023.08.26)

https://scrapbox.io/sno2wman/2023.08.26

日報(2023.08.25)

https://scrapbox.io/sno2wman/2023.08.25