Rethinking programming "environment": technical and social environment design toward convivial computing. - Jun Kato 001; Keisuke Shimakage (Programming, 2020)