プランク長
ただしformula_18はプランク長である。