2021-02-18から1日間の記事一覧

ひとりにしてくれが好きだ

z3pyを導入しましたよ、というだけの日記です。 相も変わらず、「ひとりにしてくれ」の数字埋めを扱います。処置前サンプル。これを、こんなふうにしたい。 pythonを触ったこともほぼないので、配列すら使わずにベタ書きしてしまいます。 # モジュールをイン…