yokodunaです。競技数学を嗜んでいます。