Miscellaneous

• ISHII (石井) is a popular surname in Japan. Shun is also common, but the corresponding Chinese character (竣) is rarely used for names. Please be careful when citing my name, since there are many similar-looking Chinese characters…
• Other than mathematics, I enjoy hiking around mountains and taking pictures of wildflowers, especially of Myco-heterotroph.