この記事は，IQ1の2まいめっ Advent Calendar 2018の2日目の記事です． adventar.org 5秒でわかるさくらんぼ計算 導入 さくらんぼ計算の例です． さくらんぼ計算は，計算の定義をよく知らないんですが，たぶん以下のような命題を使った計算方法だと思います…