$\gcd(a, \mathrm{lcm}(b, c)) \sim \mathrm{lcm}(\gcd(a, b), \gcd(a, c))$の証明が上手く行かないな。

$\mathrm{lcm}(a, \gcd(b, c)) \sim \gcd(\mathrm{lcm}(a, b), \mathrm{lcm}(a, c))$はhttp://www.mu.c.titech.ac.jp/Dmath/Dist_lcm_gcd.html を参考に証明したので束論の双対原理を使えば証明できるので直接証明しなくても良いのだが、GCD整域の話をしているので直接証明していおいた方が読み易いかなという。

poetryの依存解決がクソ遅いと思ったらFAQにあった
> PyPIにある全てのライブラリが適切なメタデータの宣言をしているわけではなく、
> 現時点では、パッケージをダウンロードし、中身を調べて必要な情報を取得する以外の選択肢は、Poetryにはありません。
https://cocoatomo.github.io/poetry-ja/faq/#_1

工ｴｴｪｪ(´д｀)ｪｪｴｴ工
やはりPythonはクソ

私の書くプログラムは速いことが大事なことが多い。
なので、GCのないコンパイル言語が良い。
また、intrinsicsやインラインアセンブリが使えないと困る。
加えて、静的ポリモーフィズムが欲しい。

Rustはこれを満たした上で、トレイト境界があり、例外と継承が無いのが良い。
しかも、ある種の安全性はコンパイラが保証してくれてcargoが便利。