休日にpythonでz3と戯れてました。 z3とは全然関係ないのですが、pythonで多次元配列を初期化する場面でこんなコードを書いた。 a = [[]] * 4 そして、値を追加してみる。 for i in range(3): a[0].append(i) 以下のようになると思っていたら、なっていなく…