Entries from 2018-01-03 to 1 day
足し算の定義:0と−が存在して結合法則と交換法則を満たすような演算のことを足し算と呼ぶ (-1)×(-1)=1の数学的証明が凄すぎて大草原 | 不思議.net ここを見て、Agdaで(-1)*(-1) = 1を証明したいと思った。 いちおうできた。 Agda/integer7.agda at m…
足し算の定義:0と−が存在して結合法則と交換法則を満たすような演算のことを足し算と呼ぶ (-1)×(-1)=1の数学的証明が凄すぎて大草原 | 不思議.net ここを見て、Agdaで(-1)*(-1) = 1を証明したいと思った。 いちおうできた。 Agda/integer7.agda at m…