HP の https 化が完了しました。

研究室ホームページの https 化(常時 SSL 化)が完了し、セキュリティーが強化されました。