山学校のヤマケン
@gcyn.bsky.social
"[B!] AIは数学者になれるか 数学界に衝撃、証明検証ソフトLean登場：朝日新聞" b.hatena.ne.jp/entry/s/www....
『AIは数学者になれるか 数学界に衝撃、証明検証ソフトLean登場：朝日新聞』へのコメント
この記事に対して15件のコメントがあります。注目されているコメントは「Leanの「登場」からは10年以上経ってるし、定理証明支援の老舗のCoqなんて35年以上前からあるし、数学界でも普通に使われてきてると思うが……」、「Leanの最初のリリースは2015年らしい。AIとの直接的な関係もない。タイトル適当すぎない？」、「コンピューターの基礎理論であるチューリングマシンが証明という作業を機械化するため...
b.hatena.ne.jp
December 14, 2025 at 8:29 PM
"[B!] AIは数学者になれるか 数学界に衝撃、証明検証ソフトLean登場：朝日新聞" b.hatena.ne.jp/entry/s/www....
集団としての研究とか探究の成果っていうのは、何につけ、そういうものなのでしょうねー。
December 14, 2025 at 12:40 PM
集団としての研究とか探究の成果っていうのは、何につけ、そういうものなのでしょうねー。
こちらの女性・服部さんは（お話のなかでもおっしゃってましたけれども）少し前にご自身の研究の過程で見知った面白い猫研究を紹介するような一般書を出されていて、その紹介の一環で触れられていたのは、動物の研究は家畜・経済動物で優先されてきた上、気まぐれな猫の習性や歴史の細かいところにまで研究成果が広がってきたのは、研究手法が進んだ近年のことなんだそうです。そういう意味では「動物心理学」の内実も学界発足当時とはずいぶん変わっているのでしょうね〜！
December 14, 2025 at 10:29 AM
こちらの女性・服部さんは（お話のなかでもおっしゃってましたけれども）少し前にご自身の研究の過程で見知った面白い猫研究を紹介するような一般書を出されていて、その紹介の一環で触れられていたのは、動物の研究は家畜・経済動物で優先されてきた上、気まぐれな猫の習性や歴史の細かいところにまで研究成果が広がってきたのは、研究手法が進んだ近年のことなんだそうです。そういう意味では「動物心理学」の内実も学界発足当時とはずいぶん変わっているのでしょうね〜！
"デフリンピック：手話がモニターに映らず…開幕式で見えた課題 東京デフリンピック | 毎日新聞（2025年11月16日）" mainichi.jp/articles/202...
デフリンピック：手話がモニターに映らず…開幕式で見えた課題 東京デフリンピック | 毎日新聞
日本初開催となる東京デフリンピックは15日、東京都渋谷区の東京体育館で開会式が行われ、阿波踊りのパフォーマンスに迎えられ各国選手らが入場した。最後に登場した日本選手団は、旗手の小倉涼選手（空手女子）を先頭に行進。両手をひらひらと振る手話の拍手を会場から送られると、手を振って応えた。
mainichi.jp
December 13, 2025 at 3:13 PM
"デフリンピック：手話がモニターに映らず…開幕式で見えた課題 東京デフリンピック | 毎日新聞（2025年11月16日）" mainichi.jp/articles/202...