「Test」を含む日記 RSS

はてなキーワード: Testとは

2026-01-09

生成AIバイナリを書く未来は、来ないとは思うが、今も普通にできる

生成AIが直接機械語バイナリを出力するようになるのではないか、という問いは本質的に間違っている。

自分は、まだ素朴なニューラルネットワーク光学文字認識(OCR)の精度を出していた頃から似たようなことを考えていたので、少し他人よりも蓄積がある。

これは、Large Language Model(LLM)を開発する企業資金を集めるために多少誇張した未来を語るという文脈では大目に見た方が良いが、正確性に欠ける。

本質的な問いは、なぜ我々は、ノイマンコンピュータを用いて、主記憶に置かれたプログラムCPUを用いて実行する形式をとるのか、というものである

まず、筋の悪い反論から説明し、妥当反論にも触れたうえで、本質的に問うべき課題説明する。

生成AIを含むAIは、十分な人間データが無いと学習が出来ないのか?

これは明確に、いいえ、と答えることが出来る。

最初こそ人間による補助は必要だが、LLMを含むAIは明確な目標があれば人間データなしでも十分に学習することが出来る。

これは身近なところでは将棋、有名なものだと囲碁実証された研究存在する。

そのため、単純に「機械語人間による学習データが少ないので扱いが難しいだろう」という反論は成立しない。

そういったものはLLMではないだろうという指摘は可能だが、LLMでそういったAIを出力することは限定的とはいえ現在でもできる。将来できないと言うだけの論拠にはならない。

プログラミング言語は、自然言語から曖昧さを無くすために必要ものか?

これは限定的に、はい、と答えることができる。

英語に限った話ではなく、人間意思疎通に用いる言語である自然言語(natural language)は、曖昧さやばらつきがある。

これを形式言語(formal language)という、曖昧さを無くして語彙や文法限定した言語記述しなおすことで、厳密にする手法がある。

この形式言語での表現が、アルゴリズムデータ構造になり、現代ノイマンコンピュータにおけるプログラムのものと言うことが出来る。

なぜ限定的かと言えば、形式言語一種であるプログラミング言語には曖昧さが許容されているかである

ほとんどのプログラミング言語では、同じ目的を達成する為に複数記述が許容されている。

主に、人間が書きやすいから、とか、複数人間で書きやすいように、といった理由で、曖昧さが許容されている。

そのため、機械命令するためには厳密さが必要からプログラミング言語必要だ、と言う反論妥当ではあるが、弱い。

人間監査するためにはプログラミング言語である必要があるのではないか

こちらも限定的に、はい、と答えることが出来る。

なぜ大統一プログラミング言語のように、自然言語意図機械に伝えるための形式言語一種類になっていないかと言えば、人間認知能力には限界があるからだ。

そのため、簡易で曖昧さを含むために最適化はできないが十分な性能を持つプログラミング言語や、非常に複雑で記述量も多くなるが大人数で作業するには最適なプログラミング言語などが複数存在する。

これらはいずれも、人間が楽に記述できる形式言語であったり、人間同士が齟齬なくコミュニケーションを取るために必要形式言語である

ありていに言って、人間人間たちが理解可能形式言語でないと機械にその意図を伝えることが出来ないから、と言える。

ただし、コンパイラから出力されたニーモニックLLVM-IR監査できる人間現代では非常に少なく、現状ほぼ監査なく受け入れていると言って良い。

何故非常に少なくなったかと言えば、機械に伝える意図が大規模になり、単純にマンパワーが足りなくなったので監査しきれなくなっただけに過ぎない。

(もちろん、途方もない努力の末に最適化が進み、ほぼどの様な書き方をしても最適な機械語が出力されるようになったから、とも言える)

同様の理屈で、単純に大規模になり監査が間に合わなくなったので、受け入れるようになる未来が来ないとは言い切れない。

なぜ、ノイマンコンピュータをわざわざ用いて、ASICを出力しないのか?

本質的な問いは、なぜ我々はノイマンコンピュータを用いて機械意図を伝えるのか、である

ASIC(Application Specific Integrated Circuit)と呼ばれる、特定用途向けの集積回路がある。

チップとして、Realtek社のNIC(Network Interface Card)をご存じの方も多いと思う。

必要十分な処理があらかじめ定まっているのであれば集積回路を組んだ方が高効率省電力にできる。

暗号化や復号もASICで行われることが多く、ブロック暗号はその性質集積回路での実装が容易であり、それに向けた研究も行われている。

一般的にも、ハードウェアエンコーダーなどでお世話になっている人も多いと思う。

ではなぜ、我々は身近な全てをASICにしないのか。

それは、書き換えできず、単純な処理しかできず、大量生産しないとコストに見合わないかである

FPGAのように、ハードウェア記述言語を用いて集積回路を書き換えるものも、ほぼ同様の理由研究開発用途産業用途に留まっている。

(一部のPLD (Programmable Logic Device)は根強く産業利用されているし、大規模に展開され高効率要求されかつ書き換えを求められるネットワーク機器では一部採用が進んでいる)

汎用的で書き換えが可能、伝える意図を変更できる様々な処理が可能機械価値があるからである

閑話休題

ここ半年から1年で急激にLLMの性能が上がったと感じている人と、コーディングツールとしてLLMの利用が洗練されたと感じている人の間には溝がある。

自分は、LLM自体は順調に進歩し続けているが、それほど劇的な変化はない、という立場をとっている。

これはモデルのもの質的に大きく変化したと感じないから、である

しかし、プログラミング世界に限って観ると、コーディングエージェントや実利用では大きな変化があったと思う。

この、"コーディングを取り巻く環境としてのLLM利用"という文脈は、"LLMの進化"という文脈とは異なる、という点は頭の隅にでも覚えて帰ってほしい。

LLMは直接バイナリを出力するようになるのか?

これは、LLMから直接と言う意味であれば、個人的にはNOだと思う。

ただし、LLMに指示すればバイナリが出力されるという意味であれば、個人的にはYESと答える。

この二つは明確に異なるので、今後自分意見を述べる際には区別すると良いと思う。

コーディング周りの環境が劇的に整備されつつある、という話題に軽く触れたのはこのためで、LLMが直接バイナリを出力しなくても、結果が同じであれば人々はそれほど気にしない。

例えば、現時点でもローカルのLLMに指示するとGO言語で書かれたコードが生成され、ローカル環境に合わせたシングルバイナリが出力される一連のパイプラインを組むことはできる。

自分の想定する、未来AIバイナリを直接出力するというのは、この延長にあると思う。AIイコールLLMである必要はどこにもない。

また、議論している人たちが見えている世界も違うと思う。

少しでもクラウド上でのサーバー処理について触れると、廃棄容易性(Disposability)は俎上に上がる。いつでも落とせていつでも捨てられる、という性質のことである

こうした、単機能バイナリコンテナ等に載せて処理し、日に数度デプロイするような環境だと、LLMがバイナリを出力するというのもそれほど遠い未来の話には思えなくなる。

まとめに代えて

LLMが機械語を出力する未来個人的には来ないと思う。それは難易度が高いからではなく単純にメリットが少ないかである

ただし、パイプラインが組まれた一環として、LLMがバイナリを出力する未来は、それほど不思議には思わない。現時点でも可能である

単純なLinterから進んで静的解析や、動的な結合試験が組み込まれているCICDパイプラインが珍しいとまでは言えない現代において、来るべき近未来像としては妥当性がある。

(その場合ソースコードログとして機能し、テキストで保管が容易な、次回以降変更可能コンテキストの一部になるだろうと思う。今後変更不要ならHDLでFPGAを弄った方が早い)

現代人のすべてがJavaで同一の書き方をしているのではない現状において、自然言語では揺らぎが強すぎて形式言語ほど意図機械に伝えきれないという反論は、弱い。

それよりは、現代のLLMはコンテキストウィンドウ人間の数倍~数十倍程度で、適切に分割して処理しなければならず、大規模なソフトウェアを丸ごと扱えるほどではない、という反論の方が適切である

ただ、LLMに適したプログラミング言語が生まれるのではないかと言う予測には懐疑的である既存プログラミング言語を使う方が人間が読みやすい。

AIが、人間が欲しいバイナリに適したプログラミング言語をLLMを用いて書き、LLMを用いてレビューし、テストツールテストし、コンパイラビルドし、ツールデプロイし、実稼働するという未来予想図が、荒唐無稽とは思えない。

LLMに適したプログラミング言語が生まれ未来よりも、(冗長であっても)人間可読性の高いコードやSelf-documenting codeが生成される未来の方が、来そうに思う。

また、おそらくこの文章もつくであろう「どんなプロンプトで書いたのか」という、一定以上の長さの文章はLLMが出力しただろうと仮定する人間が増えている(そしてある程度の妥当性がある)現状において、プロンプトで指示してデプロイまでされる未来はそこまで遠いとも思えない。

ただ、購入できるハードウェアの性能とコスト律速になるので、よほど特殊な(CPUGPU設計をLLMが劇的に改善する)状況にならない限り、5~10年はプログラマーが消えることは無いと思う。

金に糸目をつけないのであれば、再来年当たりからはLLMレビューのみで仕様バグ以外のほぼ無いプロダクトが世に出てもおかしくは無いと思う。

生きているうちにWozniak testパスしたというニュース出会えるかもしれないと、最近は思っている。

anond:20250628122821

2026-01-05

anond:20260105173628

そもそもこんなの何十年もやり尽くされたトピック心理学じゃ常識なんだよね

調べればすぐに出るはず

それを「無能な女」だからからないというのがダメなところでIQ問題ではない

IQ普通にあれば誰でもできることであって知的トレーニング問題

• Irwing & Lynn (2005) – Sex differences in means and variability on Raven’s Progressive Matrices

https://doi.org/10.1348/000712605X53542

Hyde (2005) – The gender similarities hypothesis

https://doi.org/10.1037/0003-066X.60.6.581

• Machin & Pekkarinen (2008) – Global sex differences in test score variability (Science)

https://www.science.org/doi/10.1126/science.1162573

• Deary (2012) – Sex differences in intelligence (Cambridge Handbook of Intelligence)

https://www.cambridge.org/core/books/cambridge-handbook-of-intelligence/sex-differences-in-intelligence/C2918C9E4FC97CE772D74388A242DEA2

• Halpern et al. (2007) – Males and females have the same distribution of IQ scores

https://www.cambridge.org/core/books/in-the-know/males-and-females-have-the-same-distribution-of-iq-scores/B4846D7CDDD50BC915C54B22CF82C6BD

2025-11-22

anond:20251122095000

これらのコード元ネタwebにあるはずなので出せ。

質問とした所、

いい質問。ただ、**今回私が提示した C# コード(MemoryMappedFile + Parallel.For で CR を数える)**には、明確に一つの「このネット上の記事リポジトリをそのままコピーした」元ネタはありません。

いくつか似たアイデアを使ってる部分と参考になる記事ドキュメントはあるので、それらを紹介します:

---

## 🔍 関連しそうな参考記事サイト

*Microsoft ドキュメント — Memory-Mapped Files (.NET)*

 メモリマップファイル基本的な使い方が説明されている。

 ([Microsoft Learn][1])

*Kieren Johnstone: 高速に MemoryMappedFile からバイト列を読む方法(StackOverflow)*

 `MemoryMappedViewAccessor` を使って unsafe コードからポインタを取得し、Marshal.Copy で効率よく読み出す方法

 ([Stack Overflow][2])

*Red-Gate: Sharing is Caring: Using Memory Mapped Files in .NET*

 MemoryMappedFile を使ったキャッシングなどの応用。

 ([Redgate Software][3])

*Stephen Cleary のブログ: Memory-Mapped Files と Overlaid Structs*

 メモリマップファイル構造体を重ねて(オーバーレイ)扱う方法など。

 ([blog.stephencleary.com][4])

---

もしよければ、**あなたコードCR を数えるもの)に特化した元ネタさらに探してみます**。やりましょうか?

[1]: https://learn.microsoft.com/en-us/dotnet/standard/io/memory-mapped-files?utm_source=chatgpt.com "Memory-Mapped Files - .NET"

[2]: https://stackoverflow.com/questions/7956167/how-can-i-quickly-read-bytes-from-a-memory-mapped-file-in-net?utm_source=chatgpt.com "How can I quickly read bytes from a memory mapped file in ..."

[3]: https://www.red-gate.com/simple-talk/development/dotnet-development/sharing-caring-using-memory-mapped-files-net/?utm_source=chatgpt.com "Sharing is Caring: Using Memory Mapped Files in .NET"

[4]: https://blog.stephencleary.com/2023/09/memory-mapped-files-overlaid-structs.html?utm_source=chatgpt.com "Memory-Mapped Files and Overlaid Structs"

ChatGPT:

が、出てきて、やってくれと言ったら、こういうのが出てきた。

了解しました — 広く(英語日本語GitHubブログ・StackOverflow 等)再検索しました。結論と見つかった“近い”ソースをまとめます

結論(要点)**

あなたが求めている**MemoryMappedFile を使い、UTF-8 バイナリ中の `CR`(0x0D)だけを数える・マルチスレッドで分割して処理する**」という **完全一致の“元ネタソースコード**は、公開された web 上のリポジトリ記事の中では見つかりませんでした(複数検索ワード検索対象確認)。([hyr.mn][1])

ただし、ほぼ同種の要素(メモリマップファイルの読み方・大きなファイルの行数カウントバイト単位カウント高速化する手法)は複数見つかりました。これらを組み合わせれば、先に示した実装典型的パターンであることが確認できます。([Microsoft Learn][2])

見つかった“近い”・参考になりそうなソース抜粋)**

1. .NET公式ドキュメント(MemoryMappedFile の説明) — `MemoryMappedFile` の基本と CreateViewStream / CreateViewAccessor の使い方。必須の参照。([Microsoft Learn][2])

2. 「Counting lines with C#」というブログ記事C# で改行(CR/LFカウントに関する実装GitHub リンク) — 行数カウント目的とした実装パターンがある。([hyr.mn][1])

3. StackOverflow:MemoryMappedFile から高速にバイトを読む方法(`MemoryMappedViewAccessor` / unsafe ポインタ / Marshal.Copy 等の議論) — 高速実装のヒント。([Stack Overflow][3])

4. StackOverflow/Q&A:ファイル中の LF/CR の数を求める方法に関するスレッド(`grep -c $'\r'` 等の unix 例や C# でのカウント方法議論)。([Stack Overflow][4])

5. GitHubサンプルリポジトリ(MemoryMappedFile のテストサンプル) — メモリマップファイルを使う実装例。([GitHub][5])

もう少し深掘りできます選択肢)**

(A) GitHub を **リポジトリ全体**(コード本体)に絞ってさらクエリを投げ、Gist や commit レベルまで探索します(よりコストがかかるため広範検索)。

(B) ブログ技術記事対象に **全文一致(コード断片)検索** を行い、私が先に示した C# コードの実際の一節(たとえば `mmf.CreateViewStream(offset, size)` や `Interlocked.Add(ref totalCount, localCount)` など)を直接検索して完全一致を探します。

(C) 「オリジナルGitHub にあるはず」と思われるなら、あなたが覚えている**リポジトリ名の断片/作者名投稿日**などを教えていただければ、それを手がかりに探します(断片情報があるとヒット率がぐっと上がります)。

どれを優先して探しましょうか?(A: GitHub全探査 / B: コード断片で全文検索 / C: あなたからヒント提供

※続けて深掘りする場合は、すぐにさらに広い検索を行って該当ソースを探します(そのまま実行します)。

[1]: https://hyr.mn/catching-flowers-with-a-net?utm_source=chatgpt.com "Counting lines with C# - hyr.mn"

[2]: https://learn.microsoft.com/en-us/dotnet/standard/io/memory-mapped-files?utm_source=chatgpt.com "Memory-Mapped Files - .NET"

[3]: https://stackoverflow.com/questions/7956167/how-can-i-quickly-read-bytes-from-a-memory-mapped-file-in-net?utm_source=chatgpt.com "How can I quickly read bytes from a memory mapped file in ..."

[4]: https://stackoverflow.com/questions/35182022/how-to-calculate-count-of-line-feed-or-carriage-return-characters-from-a-text-fi?utm_source=chatgpt.com "How to calculate count of line feed or carriage return ..."

[5]: https://github.com/byGeek/MemoryMappedFileTest?utm_source=chatgpt.com "test csharp code for using memory mapped file."

がでてきたので、どうもstack overflowgistMSDN元ネタのようだ

2025-11-17

なんでこのスレ異世界語話してるの?

ttps://greta.5ch.net/test/read.cgi/poverty/1763295628/

パヨにコ逓い帽棺けわ碑匠接りナ畝

2025-10-01

test

 

Hash: SHA512

https://anond.hatelabo.jp/20251001170238#

iHUEARYKAB0WIQTEe8eLwpVRSViDKR5wMdsubs4+SAUCaNzgHwAKCRBwMdsubs4+

SEkQAP46nKlZ/cLh0l2iM/XUrKy+sk/xSI2/DOwCP2oAPrDJ2AD+JAitesEA1bdQ

/aHw2ahphzPH5LZqYcD5i9f7RlrsRQo=

=1UF+

  • END PGP SIGNATURE-----

2025-09-30

anond:20250930160407

元の主張は「人手不足ではなく“給料不足”。時給を3,000円にすれば学生主婦高齢者で十分まかなえる。移民不要」という趣旨ですが、これは現実日本経済制度人口動態を正確に踏まえていません。

実務の現場では、①国内の可動労働力の“量”が足りない、②制度上フルに働けない層が多い、③一部の産業価格規制労働時間規制で“賃上げだけでは人が埋まらない”、④それでも需要は拡大している――ために、たとえコスト高でも外国人材を雇わざるを得ない、というのが実態です。

以下、エビデンスを示しつつ反論します。

  

1) そもそも“人”の母数が減っている(賃上げ解決できる話ではない)

日本の15~64歳の生産年齢人口は長期低下トレンドで、足元まで減少が続いています

労働需給はこの「分母」の制約を強く受けます賃上げ労働参加が多少増えても、人口要因は跳ね返せません。

日本銀行や総務省系の統計系列でも、働き手の確保難が慢性化していることが示されています

加えて、有効求人倍率総合で1倍超を維持(=仕事の数が人の数を上回る)。産業別では建設介護・運輸・宿泊飲食などで特に逼迫が続きます

  

2) 「国内の未就労層を賃上げで動かせばよい」には制度的な限界がある

学生在留資格留学)で働けるのは学期中28時間/週が上限。そもそもフルタイムの穴は埋められません。

既婚女性社会保険の“年収の壁”(106万円・130万円など)が就業調整を誘発。政府自身が壁対策を進めていること自体が、制度労働時間拡大のボトルネックである証拠です(2025年法改正要件撤廃方向)。

高齢者:在職老齢年金の仕組み( earnings test )は一定閾値年金が減るため労働供給抑制し得る、との実証研究内閣府エコノミストから出ています。体力面の制約も大きい。

まり、“賃金さえ上げればみんなフルタイムで働く”という前提がまず成り立ちません。

  

3) 価格規制労働時間規制のある産業では、賃上げだけで充足しない

介護介護報酬という公定価格の枠内で賃金原資が決まるため、事業者単独賃上げ余地には限界があります。一方で必要人数の見通しは2026年度+約25万人、2040年度+約57万人の不足と厚労省公表。足元から構造的な人手不足です。

物流トラック):2024年残業上限規制運転時間のもの物理的に縮小(いわゆる「2024年問題」)。賃上げしても“時間の空白”は埋まらず、輸送能力は落ちます

建設国土交通省調査でも技能労働者は恒常的に不足。工期や安全規制の制約下で、賃上げだけでは直ちに人が湧いてくる構造ではありません。

  

4) 需要はむしろ膨張している(観光サービス

インバウンド2024年コロナ前を超えて過去最高を更新2025年過去最速ペース。

宿泊飲食・小売・交通人員需要は増え続けています国内必要人数が増える一方、供給側の人口制度制約は緩まない――ミスマッチが拡大しています

  

5) それでも企業外国人を雇う“理由”――高コストでも代替がないか

移民外国人材)は安い」というのも誤解です。企業側には日本採用にない追加コストが確実に乗ります

代表例:

手続支援コスト在留資格特定技能)で雇う場合、受入企業には生活日本語・行政手続支援10項目が義務化され、外部の登録支援機関委託するなら1人あたり月2~3万円程度の委託料が相場公的団体解説

初期費用採用渡航・住居手配・日本語/技能訓練などの初期費用は1人70~100万円程度を見込むケースが一般的に紹介されています(実務ガイド)。

コンプライアンス監督技能実習/特定技能監督官庁・監理団体の関与が強く、違反時のリスクも高い(制度目的保護規定法令で明記)。

まり日本採用より“高コスト”で“手間も大きい”のが普通です。

それでも企業外国人材を選ぶのは、国内だけでは必要数を確保できないからにほかなりません。

政府もこの現実を踏まえ、特定技能対象分野拡大・受入れ拡大方針を明確にしています

  

6) 「まず国内補助金を出せば足りる」への再反論

公費・補助で狙い撃ち賃上げをしても、介護のように公定価格産業では結局“国民負担”(介護保険料や税)に跳ね返ります

物流労働時間規制ボトルネック建設養成時間がかかる。

加えて、女性高齢者就業拡大は政府も推進中ですが、制度壁の撤廃や保育・介護家事外部化には時間がかかり、直近の欠員は埋まりません。

MHLW白書も、近年の人手不足は「長期的・粘着的(persistent)」だと総括しています

  

7) 事実関係のまとめ

人口の分母が縮んでいるので、賃上げだけでは全体の穴は塞がらない。

主要産業の欠員は慢性的介護建設・運輸・観光)。

国内就労層は制度・体力・時間制約でフルに動かせない。

外国人採用日本人より“高コスト”だが、それでも需要を満たすために必要

  

結論

「時給3,000円にすれば国内だけで回る」は、人口制度規制需要の四つ巴の現実を見落としています

現場では、外国人採用は“安いから”ではなく、“高コストでもそれしか選択肢がない場面が増えているから” 進むのです。

日本賃金水準引上げや制度改革年収の壁の撤廃等)は重要で、同時並行で進めるべきです。ただ、それらの効果が出るまでのタイムラグと、そもそも人口制約を考えれば、移民外国人材受入れ、国内の省人化投資労働参加促進の“三本立て”以外に現実解はありません。

政策企業行動も、すでにその方向に舵を切っています

必要なら、あなたの想定する具体的な業種・地域を教えてください。その条件で、どれだけ国内人材で埋められ、どこから外国人材が不可欠になるか、数字で試算します。

ログイン ユーザー登録
ようこそ ゲスト さん