リーマン予想で出てくる、リーマンゼータ関数の「自明でない零点」を代数的、機械的両方で計算してみる。