ACL2 の有理数要素し扱えない複素数、存在して何が嬉しいのかと思ったけどガウス素数とか表現できるのか。と、この動画みながら思った。https://www.youtube.com/watch?v=Fd_c0oQDLDQ
@tojoqk ５はガウス素数ではない５はアイゼンシュタイン素数である～
様々な目的に使える、日本の汎用マストドンサーバーです。安定した利用環境と、多数の独自機能を提供しています。
