科学モデルとしての集団予測コーディング：生成的科学に向けた科学活動の形式化