mainasuyon https://blog.hatena.ne.jp/mainasuyon/ まいなすよんな日々 https://mainasuyon.hatenadiary.org/ z3pyを導入しましたよ、というだけの日記です。 相も変わらず、「ひとりにしてくれ」の数字埋めを扱います。処置前サンプル。これを、こんなふうにしたい。 pythonを触ったこともほぼないので、配列すら使わずにベタ書きしてしまいます。 # モジュールをインポートする from z3 import * # 変数を用意する aaa_00_00 = Int('aaa_00_00') aaa_01_00 = Int('aaa_01_00') aaa_02_00 = Int('aaa_02_00') aaa_03_00 = Int('aaa_03_00') aaa_04_00 = Int('aaa_04_… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fmainasuyon.hatenadiary.org%2Fentry%2F2021%2F02%2F18%2F173051" title="ひとりにしてくれが好きだ - まいなすよんな日々" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://cdn-ak.f.st-hatena.com/images/fotolife/m/mainasuyon/20210218/20210218170522.png Hatena Blog https://hatena.blog 2021-02-18 17:30:51 rich https://mainasuyon.hatenadiary.org/entry/2021/02/18/173051 1.0 100%