ごめんなさい， shrai.la ドメインの更新に失敗して，取り戻してました． DNSの復旧にも時間かかりすぎ． 忙しすぎました． CEDECのレポートを最速公開できず残念．