2022-06-13から1日間の記事一覧

数学の証明をわかりやすく書くために

雑記

数学における証明をわかりやすく書くために，プログラムの書き方を参考にルールを考えてみます．