Osamu HOSHUYAMA

仕事は信号処理とその応用、バーチャルリアリティや人間拡張的な技術。過去業務は電話レベルの音質を確保するための音響、水中ソーナー、音響監視、インフラ診断、衛星合成開口レーダ画像の解析。趣味はアナログ電子楽器の回路鑑賞と設計。

[見物の念仏 @nenbtunotetsu]

山田五郎氏は、テレビやラジオに出てる時はいつも上機嫌なのが素敵だった。TLに流れてくる思い出話の数々によると、普段もそんな感じだったらしい。
「いつも機嫌がいい」ことは本当に大事だと、自分が年齢を重ねるごとに実感する。
機嫌の悪い人、人間関係がどんどん痩せ細っていくからね。

[Daisuke Okanohara / 岡野原 大輔 @hillbig]

本日、岩波新書から刊行される『ヒトとAI』は、今後のAIの発展によって未来がどのように変わるのかを考えるための論点を整理し、読者自身に考えてもらうことを目的とした本である。

その一つの章では、AIによって科学研究がどのように変わるのかを扱っている。AIの能力向上はまだ頭打ちにはなっておらず、今後も続くと考えられる。そうした状況の中で、科学研究はどのように変わっていくのだろうか。

現在、AIはとりわけ数学、理論物理、理論計算機科学などの分野で強みを発揮している。これらの分野は、AIの強化学習やエージェント化と非常に相性が良い。答えの正否を比較的明確に判定できるうえ、数学ではLeanなどの証明支援系を用いることで、証明の各段階について厳密なフィードバックを得られる。
また、複数の解法を並列に探索し、推論時の計算量を増やすことで、成功率を高めやすい。

数学では、形式証明を用いたシステムが2024年に国際数学オリンピック（IMO）で銀メダル級に到達し、2025年には自然言語で証明を生成するAIが金メダル級に到達した。さらに、AlphaEvolveのように、プログラム生成、自動評価、探索を組み合わせることで、未解決問題を前進させたり、既知の最良解を更新したりする例も現れている。

2026年5月には、ポール・エルデシュが提起した平面単位距離問題に関する、約80年来の中心的な予想をAIが反証した。

これは、平面上に (n) 個の点を配置したとき、距離がちょうど1となる点の組を最大でいくつ作れるかという問題である。
長年、単位距離の組の最大数は n^{1+o(1)} を超えないと予想されていた。しかしAIは、代数的整数論の手法を離散幾何へ持ち込み、ある固定された (\delta>0) に対して、少なくとも n^{1+\delta} 個の単位距離を持つ点配置が、無限に多くの n について存在することを示した。これにより、従来の予想は反証された。

さらに2026年7月には、AIの支援によって、Jacobian予想の3変数の場合における反例が発見された。

Jacobian予想とは、多変数の多項式で定められた写像について、各点の近傍で常に逆向きにたどれるのであれば、空間全体でも一対一に対応し、多項式で表される逆写像を持つはずだ、という予想である。より正確には、Jacobian行列式がゼロでない定数となる多項式写像は、必ず大域的に可逆であると主張する。

この反例は、Jacobian行列式がゼロでない定数であるにもかかわらず、異なる複数の入力を同じ出力へ写す多項式写像である。したがって、この写像は局所的には可逆でありながら、大域的には単射でも可逆でもない。

提示された式が反例になっていること自体は、誰でも計算できる短い計算で検証できる。しかし、そのような式を発見し、背後にある構造へたどり着くことは容易ではない。なお、この結果によってJacobian予想は3変数以上では否定されたが、2変数の場合は依然として未解決である。

今後の人の役割はどうなるだろうか。

考え得る問題の大半は、必ずしも研究上重要な問題ではない。どの問題に取り組むべきかを選び、途中で得られた着想を発展させ、一つの意味ある成果としてまとめることも、研究の重要な仕事である。何を重要な問題とみなすかという価値判断において、現実世界と接点を持つ人間は有利だと考えられる。もしくはそこを訓練された人は有利かもしれない。
現在もAIにそのまま「面白い」小説や漫画を書かせるのは難しいようにみえる。ここは人の感性が活かされるからだ（ただし人が手伝えばすでにかなり作れる）
この点で、人間がAIを上回り続けるのであれば、そこに人間の研究者の役割が残る可能性はある。

また、現在のAIは、数式やコードで構成された仮想的な環境では特に高い能力を発揮する一方、実験や観察を伴う研究については必ずしも同様ではない。
AIが新しい理論を提案したとき、それを検証するにはどのような実験を行うべきか。実験結果が本当に理論を支持しているのかを、どのように判断するのか。こうした部分には、引き続き人間の役割が残るかもしれない。

AIが導き出した結果を人間が考察し、さらに深い理解へと進むことで、科学研究が発展する例も増えていくだろう。Jacobian予想の反例についても、Terence Taoは、提示された式がなぜ反例として機能するのかを人間が理解できる形に再構成し、その背後にある幾何学的な構造を掘り下げている。これは、AIによる発見を人間が理解し直し、新たな数学的知識へと変えていく一つの例といえる。

その一方で、AIが導き出した結果を、誰一人として理解できない状況が訪れるかもしれない。しかも、その結果が人類にとって重大な意味を持つ可能性もある。
そのとき人間は、自ら理解できない結果を、そのまま利用してよいのだろうか。

例えばAIが、「この方法を使えば反重力装置を作ることができる」と提示したとする。その機構を人間がまったく理解できなくても、実際に動作することだけを根拠として、その装置を利用した乗り物を製造するという判断ができるだろうか。それは、古来存在してきた神託に従うことと、いったい何が違うのだろうか。

本書では、このような、AIと人間の関係を考えるためのさまざまな論点を整理し、読者自身に考えてもらうための本である。

[柳田康幸 Yasuyuki Yanagida @yngdysyk]

VR学会で活動する精鋭の先生方によるハプティクス本，出ました！
https://t.co/n3ltTGEkkO

[Taishi Nakashima (中嶋 大志) @_tai_shi]

BSSを速く実装するコツの文書書きました

https://t.co/Jnl8pPOs6m

[一楽 儀光 @doravideo]

某会社に楽器作りの為に買って頂いた3Dプリンターもう楽し過ぎて自分用にカスタマイズ‼️滅茶苦茶楽し過ぎ‼️コレで自己完結出来て楽器量産出来る‼️楽しみ‼️物作りは本当に楽しい‼️

[Yoshiaki Bando @yoshipon0520]

先日のDCASE 2026 Challenge Task 4の件について、産総研の公式HPに掲載いただきました！
https://t.co/99ensL3Amp

[Daisuke Okanohara / 岡野原 大輔 @hillbig]

『ヒトとAI』という本を、2026年7月22日に岩波書店より出版します。

近年のAIの急速な進展を踏まえ、これから人間とAIがどのような社会を築いていくのかを、事実や研究を手がかりに論じた一般向けの本です。

タイトルを「人間とAI」とせず「ヒトとAI」としたのは、ヒトという種そのものをAIと比較して考えたかったからです。
AIの登場によって、私たちは改めて、ヒトの知能を客体として眺められるようになりました。ヒトの知能にはどんな特徴と欠点があるのか。逆に、能力を伸ばし続けるAIには、どんな特徴と限界があるのか。

その上で、この本では「最新のAIはどれほどすごいのか」よりも、その先までAIが進んだとき、私たちは何を考えなければならないのかを、いくつもの思考実験を通じて掘り下げています。

例えば、「AIは責任をとれるのか」は本書の中心テーマの一つです。どれだけ能力が高くなっても、AIが重大な判断ミスをしたとき、人間と同じように責任をとってくれるとは感じられません。しかし、そもそも「責任をとる」とは何でしょうか。なぜ私たちは、AIには責任がとれないと感じるのかを考えます。

さらに、AIが誰にも理解できない理論を生み出し、説明できない方法で大きな成果を上げたとき、人はそれを使うのか。使わざるを得ないなら、社会や制度はどう設計されるべきなのか。

現在のAIの限界についても述べています。いまのAIの学び方は、人間とは大きく異なります。AIはさまざまな問題や文章を、まるでショート動画を次々と見せられるように、細切れの断片として学んでいます。そこには、人間が人生を生きるような継続性がありません。この「継続性のなさ」は、AIが社会の中で活動するとき、どんな限界として現れるのでしょうか。

こうした問いを通じて、AIそのものだけでなく、AIの登場によって改めて見えてくる「ヒトとは何か」を考えた本です。

目次や試し読みを含むサポートページへのリンクは、このスレッドで紹介します。

[Minoru Fujimoto(藤本実) @bboypopeye]

そうなんですよ。LEDフラッグやLEDリボンに続いて新しいジャンルとして発表したら中国の会社にめちゃくちゃ真似されて、勝手に映像や写真使われてて困っております😭
今回は新型9m x 12m版を披露しました。

[centre @centrevillage]

デモ動画はこちら🫱

https://t.co/C3szetdguI

[centre @centrevillage]

4トラックステレオルーパーの LilaC Repeater をリリースしました！
長年考えてきた理想のルーパーです！

都内楽器店にも近日取り扱い予定です。
よろしくお願いしますー🙏

https://t.co/g7q56qqejZ

[NEW【テクノロジーニュース】 @sutoroveli_news]

【発明】何もない空間に触れた感触が生まれた。Ultraleapは256個の超音波振動子を並べ皮膚に届く空気の圧力だけでボタンの手応えを再現する装置だ。装置から1メートル離れた場所でも触覚をはっきり感じ取れる技術だ。

[一楽 儀光 @doravideo]

知合いからの案件。PCを使わずSwitchのJoy-comで 直接無線でMIDI楽器をコントロール出来ないか？と言う依頼。私も興味があるし面白そうなので試行錯誤し一晩徹夜で作ってみた。コレは最高‼️小さく軽くレイテンシーも無く一挙に28個ものパラメーターがコントロール出来てハードオフで千円‼️完璧‼️凄‼️

[読書猿 5/23 新刊『ゼロからの読書教室』 @kurubushi_rm]

猿でもわかるエビデンス

という記事をまとめました。

「エビデンス」は正解の印籠ではなく、判断材料。

体験談はなぜ弱いのか。
「リスク2倍」はなぜ印象操作になりうるのか。
「エビデンスがない」は本当に否定なのか。

みたいな、ごくごく基本的なまとめです。

https://t.co/KlkVjYsDf4

[福産起業 / Fukusankigyo @fukusan]

【NEWS】Oberheim の創設者であり、シンセサイザー設計のパイオニアとして知られる Tom Oberheim 氏の90歳を祝うメッセージ動画が公開されました。世界中のミュージシャンや開発者、業界関係者から祝福のメッセージが寄せられています。ぜひご覧ください。https://t.co/rlABuHAiEk

[Naoto Onda @sugakuyaro]

甘利俊一「情報理論」(ちくま学芸文庫)
が面白い。誤差逆伝播法を提唱し、情報幾何学を作った著者が情報理論の概念を発見的に定義し、ニュアンスを丁寧に説明してくれ、しかも前提知識は高校数学くらいという入門書です。

ニューラルネットワークを実装していて感じていた「確率のlogを取ってるのは何なんだろう」のような疑問が晴れてスッキリしました。
AIに興味ある日本人は読んだほうがいいなと思いました。甘利先生の本もっと読みたい。

[1T🍵T @1T0T]

20年以上大学教員をやっているが、学部1年前期科目のレポートとしては今までで一番面白かった課題の一つになった。
プロンプトへの履修生の熱量がすごい。特に自分の趣味や興味を題材にして可視化を試みた人たちの「こういうデータをどこかから検索してきて」「こんなデザインで図表を描いて」（続

[NT東京 @NT_tokyo_info]

📢 NT東京2026、開催の詳細が決まりました！🎉
「作ってみた」が集まる、ものづくりの祭典🛠️✨

📅 10月3日(土)・4日(日) 10:00-17:00
📍 科学技術館（東京都千代田区）
🎫 入場無料・出入自由
📝 出展エントリー 7/20(月・祝) 15:00〜

続くポストに詳細＆リンクを👇
#NT東京

[Handstone @AKU_T]

【平成のガジェット!! 歴代ウォークマンからMacintosh INFOBAR iPhoneなど3000点】懐かし機器が揃う絶滅メディア博物館！ https://t.co/hpgHZqaKc8 @YouTubeより
マクガフィンに絶滅メディア博物館が出る時代かー！

[Odashi @odashi_t]

生涯を通して適切に手元の技術を更新し続けている職業ソフトウェアエンジニア（だった人）の鑑
https://t.co/zTrRpc5UWO

[imotts @imotts]

DCASE2026 Challenge results are out!
https://t.co/KzKxNkzwE8