2024.11.03
https://gyazo.com/24ccb75e300d3e39cafa28539247879d
前：
2024.11.02
後：
2024.11.04
#日報
メモ
昨日の
Tait計算
のミス普通に自分がおかしかっただけだった
やった
Tait計算
を実装中
面倒すぎる
依存型
によってリストがソートされていることなどを保証出来る，しかしそれは別に保証されてなくても私が気をつければ良いので…
いいね
アニメ『まちカドまぞく 』第3話で流れたCMでマーシャル・マキシマイザー