equation知らないってことは、
lamport本の付録Cにすら目を通してない。