２０２０年６月１２日の保守作業の際、horyu.el.kyutech.ac.jpは故障しました。復旧には１週間程度の時間が必要と予測しています。ご迷惑をお掛けしますが、ご了承ください。