Running Lean を読んでわからなかったこと