2021-03-25から1日間の記事一覧

日記 2021/03/24, 2021/03/25

数学はすすんでない。 履修を見直した。 Factorioやったけど、厳しかった。 述語論理の形式モデルの実装は違う方法を思いついたので作っていたが、代入ですこしまた詰まった。