前の記事でオブジェクトのメモリ上のサイズを計算してみましたが、結局System.Stringのサイズがよく分かんないというなんでそれ書いたんだよって感じのアレになりました。2016の11日目の記事となります。パスワード付き共有フォルダにファイルをコピーするでした。.NETチームのブログを眺めていたところ、面白そうなライブラリを見つけました。前回は地獄のSMT-LIBコピペ祭りを経て、z3で数独を解くことに成功しました。今回はVBから制約を発行してz3に数独を解かせてみましょう。マイクロソフト・リサーチが開発しているz3定理証明器に興味を持ったのでそれについてです。オンラインのコンソールで鶴亀算を解いてみましょう。弊社はクッソ苦手です。Frameworkのデバッグをするときのコマンドの備忘録です。