カテゴリー: math

大腸がんでは曝露と診断の間に変異とクローンの時間がある

2026年10月16日 by 774

大腸がんの原因として腸内細菌を調べるなら、患者の便を調べればよいように見える。診断時点でどの菌が存在するか、どの遺伝子を持つ菌がどれだけいるかを測れば、発がんに関係する細菌も見つけられそうである。腸内細菌を原因候補と考え … 続きを読む

2026年10月15日 by 774

赤いリンゴを見たとき、視覚系は眼に届いた光を網膜で神経信号へ変換し、色や輪郭などの特徴を処理する。私たちはその結果を使って、目の前の物体をリンゴと識別し、色を「赤い」と報告できる。しかし、赤いと答える能力を説明することと … 続きを読む

2026年10月14日 by 774

「有限」と聞くと、どれほど大きな対象であっても、時間をかけて一つずつ処理すれば最後には到達できるように思える。有限集合には最後の要素があり、有限回の操作には終端があるからである。この説明には、操作を実行する主体が使える時 … 続きを読む

2026年10月9日2026年10月9日 by 774

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

2026年10月8日 by 774

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

2026年10月7日 by 774

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

2026年10月4日 by 774

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

2026年10月2日2026年9月25日 by 774

低ビット LLM の議論では、重みを何ビットまで小さくできたかが最初に注目される。16 ビットから 8 ビット、4 ビット、2 ビットへ下げれば、重み本体の保存容量を減らせる。推論時に重みを繰り返し読み出す処理では、メモ … 続きを読む

2026年9月21日 by 774

数学の未解決問題には、答えへ到達するまで何年、何十年とかかるものがある。時間を要する理由は、最終的な証明を書く作業だけにあるのではなく、その証明へ至る経路を見つけるまでに大きな探索が必要になるためである。どの定理を使うか … 続きを読む

2026年9月21日2026年9月19日 by 774

2026 年 9 月 15 日、TypeSafe AI は最初の System One Model として Jev を公開した。同社は Jev を、文章を逐次生成する従来の LLM とは異なり、ソフトウェアから直接利用で … 続きを読む