用python程序写韩信点兵的典故：韩信带1500名士兵去打仗，战死四五百人，3人一排多出2人， 5人一排多出4人，7人一排多出6人，编程计算机剩下士兵的人数。

这是一个经典的模运算问题，可以使用 Python 来求解。韩信点兵的问题可以通过找到满足条件的最大公约数（GCD）并计算总人数后减去战死人数来解决。因为3、5、7的最小公倍数就是他们的乘积，然后根据剩余人数的规律，可以用这个乘积去除以人数减少的数量，得到的结果再减去战死人数即为剩下的士兵人数。

这里是Python代码来实现这一逻辑：

def find_survivors(total_soldiers, deaths):
    # 找到3, 5, 7的最小公倍数
    lcm = total_soldiers
    for num in [3, 5, 7]:
        lcm = (lcm * num) // math.gcd(lcm, num)

    # 根据题意计算剩下士兵人数
    survivors = lcm - (lcm % 3 + lcm % 5 + lcm % 7)
    
    return survivors - deaths

# 韩信带的士兵总数和战死人数
total_soldiers = 1500
deaths = 450

survivors_count = find_survivors(total_soldiers, deaths)
print("剩下士兵的人数是:", survivors_count)

在这个代码中，`math.gcd()` 函数用于计算两个数的最大公约数，而 `lcm` 变量则是 3、5 和 7 的最小公倍数。我们先假设士兵总数是 lcm，然后找出剩余士兵的个数，再减去战死人数，就得到了最后的答案。