>>203
colim は下限、 lim は上限に対応