[This blog article is tentative. I may rewrite it without detailed account of what part is changed and when.] - 1 - This blog article is essentially translation of [my blog article in Japanese wrtten on 2025-01-03]. But I reorganized the c…