tak0kadaの何でもノート

発声練習、生存確認用。

医学関連は 医学ノート へ

CRTPを使ってMonoBehaviourを継承したクラスのコンストラクタっぽいものを書く

C# unity

これは「inonoa Advent Calendar 2020」10日目の記事です。

adventar.org

--

ここ最近、KMCの「みんげー」という新入生プロジェクトでUnityというゲームエンジンを触っています（1回生ではありませんが、KMCは1年目なので許して…）。世の中のゲームは高度なものばかりで基準が狂いがちですが、自分で書いてみるとゲーム製作は管理する状態が多く、単純なものでも意外と難しいことが分かります。プログラムの技術が向上する感じがして良いですね。アドベントカレンダー主催者のinonoaさんには、Unityの便利機能を大量に教えてもらっていることから、カレンダーの方に何か書いて盛り上げていく、という趣旨（？）の記事です。

続きを読む

∏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してそのたびに起動しなくなってしまう。