ソフトウェアの基礎理論①_プログラムの形式化――プログラムのモデルであるプログラム形を考え，その性質を定義する