Greenwich Mean Time
フランス革命暦y年m月d日午前0時（パリではなく、グリニッジ標準時）の修正ユリウス日は、x 以下の整数の中で最大のものをformula_1で表すと