日記2023-04-21

TODO

• Gabaの予約を入れる
  • システムがトラブっててイラっとしたけど、最終的に直ったので水に流そう
  • 土日それぞれ16時から2コマ
• 未踏ジュニアの書類審査を終わらせる
  • 日曜締切

過去のGabaのテキストはミニクラに入っていたので取り出し申請。火曜日に届くようだ。

erukiti LLMの学習データのソースコード比率と、推論能力に因果関係が発見できてしまうと「人間の思考能力はプログラミングをやれば向上する」「プログラミングをやらないと、一定以上のフィールドで戦えなくなる」という世界観が待ってるかもしれない erukiti 仮にそうだとしたら、「情報」の授業が義務教育になった現代の子供達の知性は、そうじゃない世代よりも向上するのではないか

もちろんそうだと思っている。

• 「厳密に記述できて、コンピュータが検証できる言語」で表現することを経験している人たちが増えていく
• たとえばスマートコントラクトは、プログラムによって記述できる契約なわけだ
  • プログラムを読めない人が多数派の世界ではまだピンときていない人がほとんど
    • (僕も最近までそちらだった)
  • プログラムを読める人が大半になった社会では「曖昧な自然言語ではなく明確な言語によって記述された契約書」となる
    • 国による言語障壁がなくなる、世界中の人と共通言語による契約が行われるようになる

日記2023-04-20←日記2023-04-21→日記2023-04-22 100日前 日記2023-01-11 1年前 日記2022-04-21