Binary and gray code encoding for Ising problem Yuya Seki (National Institute of Advanced Industrial Science & Technology (AIST))