Program Schemas with Tree Data Structures (アルゴリズムにおける証明論)