CEEDアドベントカレンダー2023(https://adventar.org/calendars/8813)ですね。21日目の記事です。最近は、CEEDのイベントに全然参加していないなという気分でいるのですが、今年も一回発表しているんですよね。その時は、Legendre関数についてお話ししました…