はじめに この記事は，Stan advent calendar 2018の最終日の記事です。つまり，クリスマス