About me Programmer in Kyoto. Webpage : nagayamaryoga.github.io Blog : 有限猿定理 GitLab : git.sec.is.kit.ac.jp/nagayama15