おっと PC フリーズ

おはようございます

曜日を勘違いしていて発表の準備期間が一日伸びた

AI が書いたコードを AI が形式検証するみたいな世界観なのかな

形式検証って OS とかのセキュリティチェックにどれくらい使えるんだろう

Win 10 サポート終了で親戚の家は大丈夫だろうかみたいな話を家族がしていたんだけど、実際どれくらいのセキュリティリスクがあってどれくらい緊急で対処すべきなのかよくわかっていない

ベースメイクだけでも色々あって大変だなあとなるのにそのあとが本番みたいな感じなのすごい

フルメイクの工数が多すぎて驚く

数学との倦怠期が来ている

心から発表準備のやる気が起きないので業務でもしよう