pythonでテキストデータの行数を取得したいです 1行読み込む毎にint型変数をインクリメントする以外に良い方法はありますか？