量子将棋の収束を Hall の定理で厳密に求める

飛車は縦横に動き、角は斜めに動く。通常の将棋では駒の種類が初めから決まっているが、量子将棋では、どの駒も最初は王、飛車、角、金、銀、桂馬、香車、歩のすべてになり得る。指し手を重ねると可能性は絞られ、離れた位置にある別の駒 … 続きを読む

ジエチルエーテルは植物の反応を一様には止めない

生物が外からの刺激に反応しなくなったとき、直接観察できるのは、運動や成長変化などの最終的な出力が消えたという事実である。この結果だけから、内部で何が止まったかを一意に決めることはできない。刺激そのものを検出できなくなれば … 続きを読む

scRNA-seq から細胞の現在と履歴を別々に読む

細胞を詳しく調べれば、その細胞が現在どのような状態にあるかはかなり分かるようになった。どの遺伝子が働いているかを 1 細胞ごとに測定すれば、細胞型の違いや分化の途中にある状態まで区別できる。現在の状態を知ることと、その細 … 続きを読む

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

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

同じ自分は連続性だけでは決まらない

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