Movie "The Great War of Archimedes"

In 1933, Japan's split with the West deepens, setting the country on the road to war. At this time, the Navy Department is secretly working on a plan to build the world's largest battleship, but some in the ministry oppose the plan. Navy Major Isoroku Yamamoto attempts to demonstrate the folly of this plan by calculating what a waste of the national budget the construction of a giant battleship would be. Yamamoto asks Tadashi Kai, a former Imperial University mathematician, for help. An unprecedented battle of wits between a genius mathematician and the Navy has begun.