2018年5月15日プログラミング, 理論