はじめに この記事はじゆうちょうアドベントカレンダー25日目の記事です．今年もまた1回しかブログを更新しなかったので，なんだかアドベントカレンダー専用ブログみたいになってしまっていますね．せめて来年こそはブログの名前を決めてあげたい． さて，今…