JAISTの知識系研究棟の様子。