行数がわかっているファイルを指定した数で分割する場合、どのように分割するかを求める。
py
total=100 # 総行数
div = 7 #分割数
div_list = [ (total//div) + (1 if x <(total%div) else 0) for x in range(div)]
# div_list = [15, 15, 14, 14, 14, 14, 14]
上記の例だと、100行あるファイルを7つに分割すると、
15行のファイル2つと14行のファイル5つに分割すれば良い。