Calculato上の反転プロジェクトのための立場と思考者のミニモデル群