tak0kadaの何でもノート

発声練習、生存確認用。

医学関連は 医学ノート

∏cos(kπ/2n+1)=...?

xのn乗根zに対して、恒等式(x-z0)(x-z1)...(x-zn-1)=xn-1が成立する。これにx=-1を代入すると、(1+z0)(1+z1)...(1+zn-1)が自然数であることが分かる。この勢いでtrigonometry - Prove that $\prod_{k=1}^{n-1}\sin\frac{k \pi}{n} = \frac{n}{2^{n-1}}$ - Mathematics Stack Exchangeと似た手続きをやれば1/2nがたぶん出る(https://artofproblemsolving.com/community/c2231h1040502s3_identities)。

dockerはバイナリを直接設置すると良いこともある

snapperのロールバック機能が便利なのとインストールが簡単なので最近はopenSUSEを使っている。 Arch Linuxと比べてつらいのは、zypperでインストールしたプログラムが動かないときがあることで、昨日はdocker runに-pオプションを付けると起動できなくて頭を抱えていた。 結局download.docker.comで配布されているdocker-proxyのバイナリをダウンロードして/usr/bin以下のものと入れ替えて解決した。

# 動く
tak0kada@hoge:~> docker run -it --rm archlinux:latest
[root@09d36e3aac60 /]# 

# 動かない
tak0kada@hoge:~> docker run -p 8888:8888 -it --rm archlinux:latest
docker: Error response from daemon: driver failed programming external connectivity on endpoint crazy_burnell (d71fd2b381a2f23c58046e5636f40c18681ff104cd3b6c13d0422d46494fd44f): fork/exec /usr/bin/docker-proxy: exec format error.

# /usr/bin/docker-proxy を入れ替えると動く

MACアドレスをIPv6に変換する

【RTX1100】初期設定をLANケーブル接続で行う方法をpythonで書いただけ。光回線を契約したらwiresharkをインストールしてRTX1000 1100 ケーブル無しで設定 | システムガーディアン株式会社の結果と一致するか確かめる予定。

続きを読む

Noether環上の有限生成加群はNoether加群になる

可換環論ではNoether環というものが性質の良いものとして知られているらしい。上の命題の証明について考えていたが、yahoo知恵袋を見て流れだけ分かったような気になっており、今のお気持ちをメモしておく。(代数学2 環と体とガロア理論|日本評論社にはNoether環の項があるので、そのうち正しい証明を確認する必要がある。)

続きを読む

arch linuxの復旧

nヶ月に一度yay -Syyuしてそのたびに起動しなくなってしまう。