日本ではシンジロー素数と呼ばれている