y. is a user on mathtod.online. You can follow them or interact with them if you have an account anywhere in the fediverse. If you don't, you can sign up here.
y. @waidotto

原始再帰的関数とかDiophantus的述語とかで細かいプログラミングをしていると,入力のvalidationとかの例外処理を毎回書きたくなってしまうが,数学的にはどちらかといえば無駄なので微妙な気持ちになる

· Web · 0 · 0