うわー特大夜更かし

やばい、NotebookLM 面白い

あ、以前逃したと思っていたやつがまた来ている？ 学生向け Gemini - Google AI Pro を 1 年間無料で提供

Gemini

大学生向け Gemini - Google が提供する AI 学習パートナー

宿題のサポートから動画の作成まで、学校やさまざまな場面で Gemini の力を活用しよう。Google AI Pro なら Gemini ...

『キューネン数学基礎論講義』で【定義の正当性の検証】と書いてあったのが妙に印象に残っていたので、原文でなんと書いてあるのか確認したら、"Justification" だった。今度から使おうかな

でも well-defined という言葉は定義文や表現に対して使うものであってほしいと思うなあ～

人の受けた試験問題を見て出題者をほめたり逆に文句を言ったりするなど

うお〜

票割れすぎてて面白い

勉強時間を計ると 100 時間って想像以上に長いな……となる。最低賃金で 100 時間はたらいて 10 万円と考えるとお金って大事だな……ともなる

ゆるゆる文学教室はあとでみます