数学的にどうなのさ?

概要 職場で作る必要が出てきたので．ただ職場はproxy周りの問題だと思うがうまくインストールできなかった． そこで自宅PCでやってみて問題の切り分けをやろうというのが裏の目的． 環境 OS: windows10 Pro WSL内のOS: Ubuntu wslの準備 準備は以前まとめていたのでこちらを参照． lua0810.hatenablog.com dockerのインス…