SFプロトタイピングとPolis的システムの反復