該当ページに配置してあるWEKOが削除された可能性があります。
(https://ipsj.ixsq.nii.ac.jp/ej/index.php?active_action=repository_view_main_item_snippet&page_id=0&page_id=13&block_id=8&keyword=Micro%20Kernel%E3%81%AE%E6%80%9D%E6%83%B3%E3%82%92%E3%81%A8%E3%82%8A%E3%81%84%E3%82%8C%E3%81%9FLisp%20Server%E3%81%AE%E8%A8%AD%E8%A8%88&list_view_num=20&sort_order=16&search_type=simple&page_no=1)
 ページが自動的に更新されない場合はこちらをクリックしてください。