この記事はJulia Advent Calendar 2018の15日目の記事です。 また、ここ数年チャレンジしている@kjunichiのパーソナルアドベントカレンダーの15日目の記事も兼ねてます。 背景 JuliaにはSpecialFunctionsパッケージにゼータ関数が用意されている。 これを使…