This is the personal website of Taniguchi, who specializes in mathematical logic and formal language theory. お使いのブラウザはSVGをサポートしていません。