マーチンの破産確率が計算できるとは初めて聞いたような気がする