文字列の事典 (An Online Encyclopedia of Strings) — 文字列の事典(仮称): An Online Encyclopedia of Strings 篠原研究室