パンの木を植えて

日報というタイトルにしましたが、毎日やるとは限らなくて、不定期に投稿していくつもりです。 繰り返し自乗法 今日は Lean で繰り返し自乗法の実装をしました。これは、x ^ n の計算を行うためのアルゴリズムです。 普通の、多くの人が考える素朴なアルゴリズムはこうだと思います。 /-- x の n 乗を計算する素朴なアルゴ…