日記2023-04-21
TODO
Gabaの予約を入れる
システムがトラブっててイラっとしたけど、最終的に直ったので水に流そう
土日それぞれ16時から2コマ
未踏ジュニアの書類審査を終わらせる
日曜締切
過去のGabaのテキストはミニクラに入っていたので取り出し申請。火曜日に届くようだ。
>erukiti LLMの学習データのソースコード比率と、推論能力に因果関係が発見できてしまうと「人間の思考能力はプログラミングをやれば向上する」「プログラミングをやらないと、一定以上のフィールドで戦えなくなる」という世界観が待ってるかもしれない
>erukiti 仮にそうだとしたら、「情報」の授業が義務教育になった現代の子供達の知性は、そうじゃない世代よりも向上するのではないか
もちろんそうだと思っている。
「厳密に記述できて、コンピュータが検証できる言語」で表現することを経験している人たちが増えていく
プログラムを読めない人が多数派の世界ではまだピンときていない人がほとんど
(僕も最近までそちらだった)
プログラムを読める人が大半になった社会では「曖昧な自然言語ではなく明確な言語によって記述された契約書」となる