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

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