投稿者: 774

証明はいつ数学的知識になるのか

2026年10月9日 by 774

数学では、証明が得られるまでに長い時間がかかることが珍しくない。そのため、問題を解き、正しい証明を書くことが研究の大きな制約として意識されてきた。しかし、証明候補を短時間で大量に生成できるようになると、その先にあった工程 … 続きを読む

2026年10月8日 by 774

人は昨日と今日で変わっている。身体状態は変化し、記憶は増減し、知識は更新され、価値観や判断基準も時間とともに組み替わる。それでも通常は、昨日の自分と今日の自分を同じ人物として扱う。変化が起きているにもかかわらず同一人物と … 続きを読む

2026年10月7日 by 774

数値、分類、理論、物語は、複雑な対象を扱うための表現である。既稿「測ることは、考えることの代わりにならない」では、体温、KPI、GDP、AI の評価指標のような数値を、対象そのものではなく、一定の測定条件によって対象から … 続きを読む

2026年10月6日 by 774

AI の性能を比較するとき、最初に目に入るのはモデル名と得点である。あるモデルが 80 点、別のモデルが 70 点なら、同じ試験を受けた結果として前者の性能が高いと読むことはできる。ただ、その 80 点にはモデルの能力だ … 続きを読む

2026年10月5日 by 774

SPA を一つ動かすところまでなら、React で画面を作り、HTTP API を用意し、データベースへ接続すれば形になる。しかし、業務アプリケーションとして継続利用できる状態まで進めると、画面と API の外側に別の設 … 続きを読む

2026年10月4日 by 774

大規模な AI モデルを見ると、知識や能力の多くは学習済みの重みに蓄積されているように見える。大量のデータを入力し、目的関数との誤差に応じて多数のパラメーターを更新する。その更新を繰り返すことで、分類、予測、文章生成、推 … 続きを読む

2026年10月3日 by 774

昔の出来事を思い出すとき、頭の中に保存されていた映像や文章を取り出しているように感じることがある。この感覚に従えば、記憶の正確さは、保存した情報がどれだけ失われずに残っているかで決まることになる。時間がたって細部を忘れる … 続きを読む

2026年10月2日 by 774

まだ結果が存在しない計画を評価するとき、評価者が直接確認できるのは計画そのものだけである。研究計画なら、どの問題を解こうとしているか、提案した方法がその問題に対応しているか、既存研究との差が説明されているか、必要な実験や … 続きを読む

2026年10月1日2026年10月1日 by 774

外界について多くの情報を保持できる系は、区別できる状態の数も多い。視覚で細かな形や色の違いを識別でき、音の高さや方向を精密に区別でき、身体内部の変化まで細かく捉えられるなら、その系が取り得る内部状態も増える。経験内容の差 … 続きを読む

2026年9月30日 by 774

未来に起きた結果は、なぜ過去の行為を変えられるのか。行為の直後に結果が返る場合、原因候補は比較的絞りやすい。ボタンを押した瞬間に報酬が出れば、その報酬を直前のボタン押しへ結び付けても大きな矛盾は生じない。ところが結果が … 続きを読む