東京で雪が降った。今シーズンは二回雪山に行ったので雪自体はもう見慣れたものだけど、東京で雪が降るとなるとまた違った趣がある。
そんな雪が降る中、今日はガーデニングをした。ガーデニングといっても植物をいじるのではなく、Chromium のビルドツリーを管理する仕事だ。先週末に Chromium のバグトラッカーが Monorail から Google Issue Tracker へと移行された。Google Issue Tracker は Google が社内で使っているバグトラッカーで、今回の移行作業を通して複数のトラッカーを管理する手間を省き、よりリッチな機能を提供するのが目的である。バグトラッカー移行後、最初のガーデニング担当者が運悪く私になってしまい、何かトラブルが起きないかとヒヤヒヤしながら臨んだが、蓋を開けてみれば至って平和な一日だった。新しいワークフローに若干の戸惑いはあったものの、大きな問題は起きなかった。移行を担当された方々に賛辞を送りたい。でも個人的には Monorail の方がシンプルな UI で使いやすくて好きだったな・・・
ガーデニングをするときは家で仕事をすることにしている。そんなわけで、今日のおやつは帰宅してきた子どもたちと一緒に食べた。その時テレビで再生されていたのがこの動画。
「正 2.5 角形を描けるか」というところから出発して、それを正 n/m 角形へと一般化していく。正多角形というと正三角形とか正五角形のような自然数で表現されたものを思い浮かべるけど、実は分数を持つ正多角形も作れるそう。Wikipedia によると、こういうのを「星型正多角形」というらしい。n と m の図形的な意味を美麗なアニメーションとともに分かりやすく解説してくれていてとても面白かった。同じチャンネルの他の動画も見てみたい。