難解な数式や定理を、日常の言葉に“翻訳”して、その奥にあるロマンや物語をお届けします。数学アレルギーの方や文系の方も大歓迎。「わからない」が「面白い」に変わる瞬間を共有しませんか？大人の教養や息抜きに、不思議な数の世界へご案内します。
https://podcasters.spotify.com/pod/show/millmk06d6o番組の魅力・推薦
このポッドキャストは未認証のため、最新エピソードのみ表示されます。
数学者5年分の論文が「入場券」になる——AIと数学をめぐる匿名アンケート「Futures of Maths」が11月5日に始動
2026年11月5日、数学とAIの未来を問う匿名アンケート「Futures of Maths」が始まりました。参加条件は過去5年以内に数学誌へ論文を発表したことで、回答は名前もORCIDも知られずに残ります。問いは参加者が投稿して育てられ、結果は十分な回答が集まってから公表される予定です。数学者の声の分布を地図にする試みです。参考記事〇Futures of Maths Launch（2026年11月5日）https://proofsandprompts.com/2026/11/05/futures-of-maths-launch/〇Futures of Maths（コンサルテーション公式サイト）https://community.futuresofmaths.com〇About – Proofs and Prompts（2026年10月22日更新）https://proofsandprompts.com/about-proofs-and-prompts/〇AIが3本の道を1点に束ねた——87年来の「ヤコビアン予想」に反例、決勝戦の夜に（2026年7月22日）https://note.com/math_translator/n/nd994ba292d1d#数学の翻訳家 #数学翻訳家 #AI #数学 #人工知能 #研究 #科学ニュース #数学者 #未解決問題 #形式化数学 #数学の美しさ #数学予想 #アンケート #匿名 #研究者 #学術 #大学 #数学教育 #科学コミュニケーション #ProofsAndPrompts #FuturesOfMaths #テクノロジー #数学の未来 #論文 #科学
パルテノン神殿の曲線は「錯覚の補正」ではなかった。2000年の定説に、オックスフォードの数学者が計算で挑んだ
パルテノン神殿の柱や土台がわずかに曲がっているのは、錯覚を打ち消すためだという説が2000年近く信じられてきた。2026年9月、オックスフォード大学の数学者アラン・ゴリリー氏は王立協会の学術誌で、その根拠を検証した。計算すると錯覚は起きず、柱のふくらみも人の目には見分けられない。曲線の理由は、雨水を流すためや見た目の好みだったのかもしれない。#数学の翻訳家 #数学翻訳家 #数学 #パルテノン神殿 #パルテノン #古代ギリシャ #ギリシャ建築 #建築 #建築史 #錯視 #光学錯視 #錯覚 #ウィトルウィウス #アテネ #アクロポリス #数学者 #アランゴリリー #オックスフォード大学 #幾何学 #科学ニュース #科学 #歴史 #定説 #研究 #学術論文
「逆さまの数学」を物理学に持ち込んだら、古典力学が6通りに言い換えられた
「逆数学」は、既知の定理から出発して、それを導くのに必要な前提を逆にたどって探す数学の考え方です。この発想を物理に持ち込んだのが、ミシガン大学のカルカッシとアイダラによる論文「Reverse Physics」です。二人は古典力学を六通りに言い換え、不確定性原理が量子論の全体ではなく「純粋状態のエントロピーがゼロ」という一点から出ることを示し、熱力学の第三法則を「空っぽの系」の論理へ置き換えました。数式を使わずに、物理の前提を問い直す試みを紹介します。参考記事〇Reverse Physics: From Laws to Physical Assumptions（2021年11月10日投稿、2022年3月17日改訂）https://arxiv.org/abs/2111.09107〇同論文 掲載誌版（Foundations of Physics）https://doi.org/10.1007/s10701-022-00555-z#数学の翻訳家 #数学翻訳家 #数学 #物理学 #逆数学 #リバースフィジックス #古典力学 #ハミルトン力学 #不確定性原理 #エントロピー #熱力学 #第三法則 #量子力学 #統計力学 #情報理論 #科学解説 #論文紹介 #arXiv #基礎物理学 #数学好きと繋がりたい #科学の面白さ #理論物理 #物理の基礎 #数学と物理 #教養
132年目にわかった、ロジャース＝ラマヌジャン恒等式の「出身地」
二つの数え方が条件の違いにもかかわらず同じ個数になる、ロジャース＝ラマヌジャン恒等式。2026年9月、ケン・オノ氏らは、その一般化である「X^a=Y^b」型の曲線を行列で数える新しい枠組みから、Huang、Jiang、Oblomkovの予想を証明したと発表した。証明は、円筒分割の数え上げと行列式という二本の道が同じ規則を満たして出会う形で組み立てられている。有限版はAIのAxiomProverによってLeanで形式化された。ただし論文は査読前である。〇Rogers--Ramanujan identities from the geometry of X^a=Y^b（2026年9月17日、改訂2026年10月7日）https://arxiv.org/abs/2609.20567〇Algebraic geometric framework of Rogers--Ramanujan identities（2026年8月15日）https://arxiv.org/abs/2608.15219〇HJO（形式化したLeanのリポジトリ）（2026年9月10日）https://github.com/AxiomMath/HJO#数学 #数学の翻訳家 #数学翻訳家 #ロジャースラマヌジャン #ラマヌジャン #数論 #分割数 #恒等式 #AI #AxiomProver #Lean #形式化数学 #ケン・オノ #プレプリント #数学者 #科学ニュース #研究 #組み合わせ論 #q級数 #テクノロジー #人工知能 #定理証明 #数学の美しさ #数学予想 #代数幾何学
「Lean検証済み」でも安心できない——OpenAIの180ページ証明に見つかった“翻訳ミス”2か所
「Lean検証済み」と書かれた証明でも、Leanが検査するのは機械向けの言語で書かれた文章です。人間が読む元の証明と意味がずれていれば、お墨付きは当てになりません。Science誌が報じた研究者たちの懸念を入口に、OpenAIのナビエ・ストークス証明で見つかった「Lean版が元の主張より弱い」という食い違いを紹介します。機械による検証と人間の理解の違いを考えます。〇AI is shaking up math. But can its proofs be trusted?（2026年10月28日）https://www.science.org/content/article/ai-shaking-math-can-its-proofs-be-trusted〇Navier-Stokes lost in translation: Why Lean verification of AI autoformalisation does not guarantee correct natural language proofs（2026年10月）https://arxiv.org/pdf/2610.08144〇AIが3本の道を1点に束ねた——87年来の「ヤコビアン予想」に反例、決勝戦の夜に（2026年7月22日）https://note.com/math_translator/n/nd994ba292d1d#数学 #数学の翻訳家 #数学翻訳家 #AI #人工知能 #形式化数学 #Lean #定理証明 #証明 #OpenAI #ナビエストークス #数学者 #査読 #未解決問題 #研究 #科学ニュース #テクノロジー #Anthropic #ClaudeFable5 #数学の美しさ #AI数学 #信頼性 #検証 #ケプラー予想 #数学の世界
こちらもおすすめ
jkondoの朝の散歩
ポッドキャストプラットフォーム「LISTEN」や、GPSトラッキングサービス「IBUKI」、物件メディア「物件ファン」、京都の宿とコワーキング施設「UNKNOWN KYOTO」を運営する近藤淳也（jkondo）が、朝の散歩をしたりしながら、日々の出来事や考えたことを語ります。
近藤淳也のアンノウンラジオ
株式会社はてな創業者であり現在もITの第一線で働く近藤淳也が、京都の宿UNKNOWN KYOTOにやって来る「好きなことを仕事にしている人」を深堀りすることで、世の中の多様な仕事やキャリア、生き方・働き方を「リアルな実例」として紐解いていきます。 . 【ホスト：近藤淳也】 株式会社OND代表取締役社長、株式会社はてな取締役、UNKNOWN KYOTO支配人、NPO法人滋賀一周トレイル代表理事、トレイルランナー。 2001年に「はてなブログ」「はてなブックマーク」などを運営する株式会社はてなを創業、2011年にマザーズにて上場。その後2017年に株式会社ONDを設立し、現在もITの第一線で働く。 株式会社OND: https://ond-inc.com/ . 【UNKNOWN KYOTO】 築100年を超える元遊郭建築を改装し、仕事もできて暮らせる宿に。コワーキングやオフィスを併設することで、宿泊として来られる方と京都を拠点に働く方が交わる場所になっています。 1泊の観光目的の利用だけではなく、中長期滞在される方にも好評いただいています。 web: https://unknown.kyoto/ . こちらから本文を読んだりコメントが書けます！ https://listen.style/p/unknownradio
IBUKI STATION
ここはアウトドア向けGPSトラッキング「IBUKI」にまつわる人々が集まる場所。 トレイルラン、登山、冒険、ランニング、自転車、ロゲイニング、、 スタイルは数あれど、共通しているのは自然を楽しみ、そして人とのつながりも楽しむ姿勢。 自然を目一杯楽しみ、苦しみながら、人と接する喜びにも気付く。 アウトドアを満喫するみなさんが、ほっとできるIBUKI STATIONです。 IBUKI https://ibuki.run/ 近藤淳也 IBUKIを提供する株式会社OND代表。ポッドキャストプラットフォーム「LISTEN」も展開 桑原佑輔 OND所属。IBUKI事業担当営業・テクニカルディレクター 中川和美 OND所属。IBUKI担当。トレイルランナー
桃山商事
コミュニケーション、男性性、恋愛、人間関係、ジェンダー、ケア、孤独、性欲、会社、友情、老い……メンバーがその時々で気になったテーマを１つ設定して、モヤモヤを言語化していくNEOな座談Podcastです。2011〜2016年「二軍ラジオ」(ApplePodcast)、2017〜2024年「恋愛よももやまばなし」(ニコ生→Podcast)を配信していました。清田隆之(文筆業)、森田(会社員)、ワッコ(会社員)、さとう(会社員)の４人でお届けします。
ゲイで茶を沸かす
この番組は、お茶の間の皆さまへMCシュンと週替わりで登場する3人のゲイ“茶ガマ”が、身の上話や妄想話をわ茶わ茶と繰り広げる、おしゃべり人情バラエティです。 毎週月曜配信。週の初めのお耳に一服したい時などにどうぞ🍵 第7回JAPAN PODCAST AWARDS企画賞受賞。 🎧 はじめての方におすすめのエピソード 💌【お便り回】 ep120 カミングアウトしてこない同僚との付き合い方と後輩指導で心がけていること ▶ 茶ガマたちのリアルで優しいアンサーをどうぞ 🐈🐈🐈🐕【全員集合回】 ep31 カミングアウト体験談と新作BL朗読 ▶ 勢ぞろいでカミングアウトのあれこれと、爆笑必須？BL朗読 📮おたより募集中！ 💌フォーム：https://forms.gle/jMsPwJcgNNDf19SZ9 📧メール：gaydechawowakasu@gmail.com 🌐SNSや通販サイト：https://lit.link/gaydechawowakasu 📰メディア：https://wabisabi-cha.com 🎥YouTube：https://www.youtube.com/@gaydechawowakasu 🎙姉妹番組もぜひチェック！ https://lit.link/gaytomoradio https://lit.link/mackypodcast
LISTEN NEWS
LISTENは、AI文字起こしとコミュニティで、ポッドキャストを「聴く・配信する・つながる」ためのプラットフォームです。 公式番組「LISTEN NEWS」では、開発の裏話や近況も交えつつ、最新情報をお届けします。 LISTENはこちら→ https://listen.style/