いものやま。

雑多な知識の寄せ集め

2020-12-01から1ヶ月間の記事一覧

2020年をふりかえってみた。

毎年恒例のふりかえり。 (びばさんに倣って平仮名の「ふりかえり」でw) 去年のふりかえりは以下: そして、今年やっていきたいと考えていたことは以下: 仕事 まずは仕事に関して。 新型コロナがあったりとかで転職活動も大変だったんだけど、7月から無事…

天体ショーを整数計画問題で解いてみた。

ペンシルパズルの「天体ショー」を整数計画問題として定式化してソルバーを使って解いてみた。 これは数理最適化 Advent Calendar 2020の19日目の記事です。 天体ショー ペンシルパズルだとピクロスや数独が有名だけど、天体ショーもその一つ。 いろいろなペ…