lambdaとprocの違いについて書かれたドキュメントを全体的に見直します。 文書の構成は変えず、古い分岐の削除やサンプルコードの修正などを行いました。