ふと思い立って、アドベントカレンダーの記事を書きます！ adventar.org ３０日なので、７で割った余りの日の記事にしようと思ったら、埋まってたので、その次の日（１２月３日付け）の記事ということで。 まえがき みなさん、ロジバンやってますか？ 私はで…