Leslie LamportによるLaTeXサンプル