[:ja]研究室の名称が「情報認識論」から「計算機基礎学」に変わりました。それに伴いホームページを更新しました。[:]