No Such Blog or Diary

「ファイル(F)」→「ユーザー設定」→「設定」で wheel を検索して Editor: Mouse Wheel Zoom を有効にする．これでコード編集画面は「Ctrl+マウスホイール」でフォントサイズを変更できる．

そして MarkDown Preview のフォントサイズも同様に変えられるようになってほしかったのだけどこちらは CSS をいじらないとダメなのかな？　プラグインとか探せばあるのだろうか．

大学曰く「使っていいかどうかは担当教員に聞け」

ということで，ポジティブに丸投げ．まあ，ChatGPT とかって電卓とかと同程度のツールだろうということで，それをうまく使えるなら使いましょうということかね．

そのうち生成系AIの使い方とかいう講義ができたりするのだろうか．

コロナで電子化された手続きを事務が紙に戻してきたのでその必然性を聞いてみたらまともな理由が返ってこなかった．いやぁ，感想は要らないので客観的な必然性を示してくれませんかね……　単純に「コロナが片付いたから元に戻した」ってだけで，理由部分は何か言わなきゃならんから中身のないそれっぽいことを書いてみたって感じ．じゃなきゃまともな理由が返ってくるはず．

せっかく効率化されたのを何も考えずにもとに戻して改悪するのはやめてほしいね．

提出遅れが 1割居るってのは何なんだ……　Moodle に締め切り時刻書いてあるしレポートの説明時にも締め切り時刻宣言してるのに何なんだろう？　

たまたまヤベェ部分集合だった可能性は否定できないか．

ツイッターのトレンド入りしてたので挙げられてる写真を見てみたらかなりきれいに真っ白だった．この時期でこの綺麗さは珍しいかね．真冬っぽい．

今年の盆は久々に登りたいので天気良くなってくれるとありがたいなぁ．

有限体の元の数って英語だと order で日本語では位数だよね？　「ググったら次数って出てきた」って言われたんだけどそういう派閥もあるん？　次数って聞くと拡大の次数かなって思うところだけど……

んー，"order of the finite field" をぐーぐる翻訳すると「有限体の次数」って出てくるな．これが原因？