https://twitter.com/toku51n/status/1533401499983749121 の検算。
$ cd verify
$ cargo run --bin tan_add # tan の加法定理による検算
$ cargo run --bin complex # 複素数による検算ocr/ は画像をテキスト化するツールだが、精度が悪いため出力を手で修正する必要がある。
https://twitter.com/toku51n/status/1533401499983749121 の検算。
$ cd verify
$ cargo run --bin tan_add # tan の加法定理による検算
$ cargo run --bin complex # 複素数による検算ocr/ は画像をテキスト化するツールだが、精度が悪いため出力を手で修正する必要がある。