On the Program Schemata with Meta-Flow (プログラムの基礎理論)