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

以下で解決。 intellij-support.jetbrains.com

もうすぐテレワーク1周年ということで環境の変化を振り返ります。 markdevel.hatenablog.com の続きです。 食費がめちゃくちゃ下がった 以前は昼も夜も会社付近で外食していたが、テレワーク主体になって自炊が増えた。ただ、昼食を自炊にすると喫食・後片付…

もうすぐテレワーク1周年ということで環境の変化を振り返ります。 ストレスの大半が消滅！ 仕事のストレスのほぼ全部が満員電車だった。コロナ以前は時差通勤しても変わらず混んでたし、死んだ目で毎日乗っていた。在宅勤務でテレワークになってから、朝から…