JAIST prof develops software that can find all non-redundant substitution patterns in disordered systems, making computation in materials informatics faster