プレスリリース｜学習院大学

2025.03.07 【受賞】人文科学研究科史学専攻 博士後期課程3年 細谷篤志 さんが、「第15回（令和6（2024）年度）日本学術振興会 育志賞」を受賞しました

[YaSuYuKi]

マクスウェルの悪魔から、情報とエネルギーの可換性が発見されたのと微妙な関連性を感じる。熱力学と情報の関連は本当に深そうだ

[smbd]

"一部の物体は熱平衡化しないことも知られています" マジか。そこからして知らなかった

[takehikom]

『今回の証明ではまず、熱平衡化現象が実はコンピュータと同等以上の計算能力を有していることを証明します。つまり、コンピュータで出来るどんな計算でも、熱平衡化現象は...計算出来てしまうということです』

[mangakoji]

量子コンピュータより熱平衡コンピュータの方が使えそうな気がする。汎用AIはこれかもわからん 熱平衡しない状態はコレらしい https://optronics-media.com/news/20200512/64436/

[amori]

数学の証明系のバトルという超絶数学与太SFの「ルミナス」(イーガン)がフィクションではなくなったのかなと錯乱するわ

[medicineman]

まずしないことがあることが驚き

[Nyoho]

“「与えられた物体は熱平衡化するか」という問題は、一般的な形では解くことができない、決定不能な問題であることが数学的に証明されました。”

[belgianbeer]

へぇー、とても面白い

[oono_n]

面白い！

[avictor]

熱平衡化の有無という問題を、決定可能／不能という観点から解析したところ、それは決定不能であることを証明することが出来ました。

[t_f_m]

"決定不能な問題の代表例としては「停止問題」が挙げられます"

[kamei_rio]

"「熱平衡化するか否か」と「コンピュータが停止するか否か」を巧妙に対応させ、コンピュータが停止した場合、そしてその場合に限って熱平衡化が起こるような物体が存在することを示しました"

[muddydixon]

熱平衡しない物質って波が減衰しないってことなのかな？でも波が減衰しないだとすると永久機関的なことにならないかな、どうなってるんだろう

[Shin-JPN]

量子多体系の研究進展でマクロの熱平衡現象の方が特殊と言うか、ミクロでは起きる/起きない双方に無限のパターンがある事が判ってはいた。例えば量子多体傷跡状態なら部分の温度は周期変動し全体温度は一様化しない

[aya_momo]

物理現象が整数の問題に。量子力学だから？

[InoHiro]

"今回の証明ではまず、熱平衡化現象が実はコンピュータと同等以上の計算能力を有していることを証明します"

[qtamaki]

これか

[uehaj]

"熱平衡化現象が実はコンピュータと同等以上の計算能力を有している"

[sierraromeo]

そしてわたしたちはそよ風になった

[sgo2]

ポアンカレ予想の証明でも熱力学が使われていたような記憶が(うろ覚え)

[nonorth]

やっぱり宇宙は計算機なんですね！！（？？？？？

[synopses]

【研究結果】の第2パラグラフから全くわからなくなったぜ！

[arakik10]

わからん。というか「高度に発達した理論物理学のプレスリリースはSFと区別がつかない」という法則が確立されたのかもしれない。

[cartman0]

アニーリングの話？

[buhoho]

なるほど。完全に理解した

[hachi]

まさか停止問題とリーマン予想まで登場するとは🎊🎉