>>803
IHARAは?Grothendieck-Teichmuller群の導入とかあるよ。