Recent developments in computing power have made it possible to solve problems that are difficult to handle mathematically. It has recently been found that a completely discrete model consisting of only 0s and 1s, called soliton cellular automata, can be treated mathematically exactly. This means that some of the digitized discrete models can be treated mathematically strictly. We are conducting research on ultradiscretization that links cellular automata with ordinary differential equations and difference equation systems.