26/07/16 14:46:44.03 72H6GtC3.net
AIにオイレル定数が有理数では無いことを証明させるにはどうしたらいいの？
772:１３２人目の素数さん
26/07/16 14:54:26.71 iSR61Vb4.net
Euler
773:１３２人目の素数さん
26/07/16 14:55:36.11 iSR61Vb4.net
日清オイリオ
774:１３２人目の素数さん
26/07/16 19:18:11.81 vGH+HRuJ.net
oilio
シンメトリ
775:１３２人目の素数さん
26/07/16 19:23:08.14 ScSdC/Wg.net
惜しい、エルが一つ足りない。
しかし、シンメトリー。
776:１３２人目の素数さん
26/07/17 08:41:41.40 lTbhocAH.net
回語
777:１３２人目の素数さん
26/07/17 10:54:40.31 Cb3PmteB.net
はてさて
どうなるか
URLﾘﾝｸ(www.nikkei.com)
AIが侵食し始めた日米の若者雇用 ブルーカラーへの転職のリアル
NIKKEI Film 2026年7月16日
人工知能（AI）の普及などを背景に米国や日本の雇用市場に変化が起きている。米レイオフ・エフワイアイ（Layoffs.fyi）によると、2026年上半期で世界200社以上のテック企業が約11万3600人の人員削減に踏み切った。25年は1年間で約12万2600人だった。
ホワイトカラー職の人員整理が進む一方で、専門性の高いブルーカラー職の需要は高まり給与も上昇。米名門大学で学んだ会計士が配管工に転職...
今月の閲覧：残り1本
残り193文字
すべての記事が読み放題
まずは無料体験（初回1カ月）
778:１３２人目の素数さん
26/07/17 12:54:49.13 625eSbsA.net
イタリア語ではolioだが
オリーヴが語源
oilにひっくり返った
779:１３２人目の素数さん
26/07/17 13:07:52.64 23BpFpic.net
アーリオオーリオ
780:１３２人目の素数さん
26/07/17 17:50:57.21 625eSbsA.net
エペペロンチーノ
781:１３２人目の素数さん
26/07/17 17:57:59.05 Y3NcRstE.net
barrier
782:１３２人目の素数さん
26/07/17 18:02:09.65 Y3NcRstE.net
ハルナック
783:１３２人目の素数さん
26/07/19 01:39:29.79 tS8s+oGb.net
AIに「ひたすらリーマン予想の証明に取り組め！」と命じて、延々と原子炉10台分の電力を消費させ続けたら、
5年ないし10年位したら、証明に成功しました、といって正しい証明ができてくるなどということが期待できる
のだろうか？ リーマン予想ほどでなくても「オイラー数の無理数性の証明」とかならどうだろうか。試行錯誤
あるいは適用が気が付かれていないだけで、既知の（ただし有名ではない昔の）論文の結果に含まれる関係式
を使えば実はあっさりと証明できるなどということがあったりしないものだろうかね。
784:１３２人目の素数さん
26/07/19 05:19:01.55 LENEhNUI.net
無意味。そんなに電力を無駄に使っていいはずがない。
ソフトの進化を待った方が賢い。そして、「力業で解こう」
という発想が拙い。ところが、現代の一部のAI投資家は
数学の問題のためではないが、似たようなことを言っている。
OpenAIへの投資で大損するかもしれない孫正義もその一人。
ともかくデータセンターだ、電力だ、数百兆円の投資だ
と言うのだが、そのお金はどこから来ているかと言えば
元を辿れば人々の銀行預金であったりするのだ。
エネルギーだって、限りのある資源であり、孫が勝手に
使い道を決めていい話ではない。
今、米国のAI関連企業が戦々恐々としているのは
半導体の制約をかけられた中国企業がソフト開発に力を
入れた結果、「あれ、別に超高級半導体いらなくね？」
という雰囲気が出て来ているから。
785:１３２人目の素数さん
26/07/19 05:24:57.53 LENEhNUI.net
AI自身が「フレーム問題を解決していない」と言う。もし探索の範囲が
間違っていれば、いくら探しても証明がみつからないということは
十分考えられる。そして、「フレームをすべてなくして探索する」
ということは不可能。考えるべき可能性が無限に生じてしまうから。
786:１３２人目の素数さん
26/07/19 11:45:55.68 tS8s+oGb.net
AIに数千桁の整数（2つの長大な素数の積）を示して、これを素因数分解しろと命じて、
数秒で正解が帰って来たとする。どうやったのかと尋ねても、自分には判りませんと答える。
でも積を計算してみると元の数になりますから正しいですと返事される。
しかしこういうことがあったら、非常にまずい。身辺を調査した方が良いだろう。
787:１３２人目の素数さん
26/07/20 10:36:31.87 tXBgWMjQ.net
ホワイトカラー職の人員整理が進む一方で、専門性の高いブルーカラー職の需要は高まり
バスの運転手が足りない
788:１３２人目の素数さん
26/07/21 13:16:21.36 oOVYpKSk.net
面白い
URLﾘﾝｸ(atmarkit.itmedia.co.jp)
atmarkit.itmedia.co.jp
「AIコーディングブーム」が去ったUSで、エンジニアに求められる「本体の強さ」
Go AbekawaのGo Global！ 牛尾剛さん AI vs.人間編（前編）
（1/2 ページ）
米国MS開発の最前線では「コーディングエージェントブーム」は既に終息し、AIは日常の文房具に。AI時代に本当に求められる「人間の本体の強さ」と、思考を手放さない新たなAI活用術について、シニアソフトウェアエンジニアの牛尾剛さんに聞いた。
2026年07月21日 [取材・文：阿部川久広（Go Abekawa）, 鈴木麻紀，＠IT]
「マイクロソフト本社では、コーディングエージェントブームは数カ月前に去っていて、いまは違うことに興味がある感じですね」
こう語るのは、米マイクロソフト Azure Functions プロダクトチームでシニアソフトウェアエンジニアを務める牛尾剛さんだ。牛尾さんは、大手SIerでITエンジニアのキャリアをスタートし、アジャイル、DevOpsのコンサルタントを経て2015年にマイクロソフトに入社。
エバンジェリストとして活躍後、2019年より米国本社でAzure Functionsの開発に従事し、ソフトウェア開発の最前線での学びを伝えるnoteが人気を博している。2026年6月には新著『部下としてのAI』（文藝春秋刊）を上梓した。
2年前に本連載で「自分が幸せか否かっていうのが重要やと思う」と語った牛尾さんは、AI浸透後にどのような葛藤を経て、どこに行き着いたのだろうか。今回は、これからの時代を生き抜くための「本体の強さ」と「思考を手放さないAI活用術」について聞いた。
(抜粋)
USで「コーディングエージェントブーム」が去った理由
生成AIがプログラミングコードを自動生成する「コーディングエージェント」の登場は、世界中のエンジニアに衝撃を与えた。しかし、米マイクロソフトの最前線で働く牛尾さんの周囲では、既にそのブームは過去のものになっているという。
「使ってないという意味じゃなくて、別にそこまで興味持ってないというか当たり前になってる。定着したので。言うたらね、WordやExcelと同じように当然使うものになった感じです」
もはやコーディングエージェントは、エンジニアにとって特別な「魔法」ではなく、日常的な「文房具」になったのだ。そして、現場で使い倒していく中で、ローカルで動かすコーディングエージェントの限界も見えてきたという。
つづく
789:１３２人目の素数さん
26/07/21 13:17:02.07 oOVYpKSk.net
つづき
「コーディングエージェントってもともと、プログラマーがコードを書くのをAIが支援してくれるために誕生したじゃないですか。それで何でもやるという方向性は、十徳ナイフで何でもこなそうとしている感じに思います。だから実際に使い倒していくと、いろいろ面倒くさいことが出てくるんですよね。例えば自動化とか思いっきりしたいときに、何で僕のPCを使わなあかんねんて思いません？ 勝手にやってほしいですよね。他にもさまざまな懸念があります。例えば、さまざまなシステムのアクセスに使われるユーザートークンはユーザーが使うときにリスクがないように設計されてるわけですよ。だから途中でエクスパイア（失効）するとか、ブラウザにログイン画面が上がってきてもう1回プスっと押さなあかんとかね。あれは明らかに自動化したいときの設計じゃないんですよ」
開発者を支援する目的で作られたツールは、完全な自動化には向かない。そのため、米国の開発現場の最前線ではクラウドネイティブなAIシステムによる「ヘッドレス（全自動化）」への移行が進んでいる。例えば、牛尾さんのチームが取り組むシステムのインシデント（障害）対応では、以下のような世界が既に実現している。
「インシデントがプスっと来ると、インシデントを受けてクラウドのエージェントが勝手に動いて、いろんなクエリをアドホック（その場限り）にうまいこと投げてくれて、僕らの内部のドキュメントを呼んだりしながらバッサーっと動いて分析して、RCA（Root Cause Analysis：根本原因分析）を提供してくれるんですよね。で、ミティゲート（緩和、応急処置）って言えるコンフィデンス（確証）があれば自動でミティゲートしますし、分析の途中でここは間違ったチームにルーティングされたからこっちに渡してあげないけませんっていうのが分かったら、自動で他のチームに転送されます。で、インシデントがリゾルブ（解決）の状態になったときは別のエバリュエーションエージェント（評価用AIエージェント）が勝手に走って、これを評価しますし、問題があれば定義を改善してプルリクエストを作ります」
AIが障害を検知し、原因を分析してコードを修正し、さらに別のAIがその対応を評価する。コーディングはAIに任せ、人間はより高度なシステムのアーキテクチャ設計や、自動化の仕組み作りに注力する時代が到来しているのだ。
次ページ
“しょぼにゃんにゃん”がAIを使えば、10倍速でゴミを生産する
元の実力がゼロであれば、AIを使ってもゼロのままである。だからこそ、優秀なエンジニアはコードを自分で書かなくなっても、決して「理解」を手放してはいない。それが本体を強くする最良の方法だと知っているからだ。
後編に続く。
(引用終り)
以上
790:１３２人目の素数さん
26/07/21 13:49:01.96 B5yiNlAz.net
リリースしたパッチを当てたら、その7日後にWindowsが全くブートしなくなるとか、
人間が操作をしていない時間がある程度つづくとファイルを消したりとか、ビット
ロッカーのパスワードを勝手に変えてしまったりというようなことがあれば大変な
ことになるだろうな。
791:１３２人目の素数さん
26/07/22 15:05:45.14 9MKC7iWmj
例えは゛『JＡ310A』は「盗撮窃盗詐欺猥褻税金泥棒反社會殺人組織ダサイタマ県警」た゛が
クソ航空騒音被害は noise.wеb.fc2.com で犯人特定して連絡先確認
クレー厶電話をすれは゛国土破壊省が許可してるだのと主張するだろうが騒音まき散らして私権侵害する憲法無視の許可など出してはいない
しかも航空法では付近の建物最上部から高度300Μ以上が規定されてるが高層ビルた゛らけの都会て゛は違反だらけ
私人も定置場に集団で押しかけて現行犯逮捕できるわけで揉み合って死なせたとしても事故だから殺人には問われないし尾行して自宅特定や
法務局で取得した社長住所に襲撃に行ったり我々はそうした人権侵害テ□をぶっ潰す社会貢献活動に送金したくて仕方か゛ないわけた゛が
お前らの生活苦も税金で支援までされてる航空燃料によってクソ航空機が莫大な温室効果ガスまき散らして気候変動災害連発住民殺害物価暴騰
睡眠妨害免疫力低下病人倍増医療財源逼迫、労働生産性から國際竸争カ壊滅と日本を貧困化させてるのが原因、諸悪の根源を殲滅しよう!