  |
はてなキーワード: バイナリとは
逆方向、生成AIがバイナリを「読む」未来は来る。というか知っている範囲では検証はされている、製品として売られているかは知らない。セキュリティ会社とかだと多分公開しない。メーカー系も公開しない。
実際は、バイナリを直接読むんじゃなくて逆汗したasmを逆コンパイルするのにLLMを使う系。既存でも逆コンパイラはあるけれどもっといい感じに読みやすくしようというやつ。
ふと思ったけれど、ターゲット限定して特定の難読化ツールの逆トランスレーターのファインチューニングが千万ていどなら、ハッカーとか金出して作りそう
生成AIが直接機械語やバイナリを出力するようになるのではないか、という問いは本質的に間違っている。
自分は、まだ素朴なニューラルネットワークで光学文字認識(OCR)の精度を出していた頃から似たようなことを考えていたので、少し他人よりも蓄積がある。
これは、Large Language Model(LLM)を開発する企業が資金を集めるために多少誇張した未来を語るという文脈では大目に見た方が良いが、正確性に欠ける。
本質的な問いは、なぜ我々は、ノイマン型コンピュータを用いて、主記憶に置かれたプログラムをCPUを用いて実行する形式をとるのか、というものである。
まず、筋の悪い反論から説明し、妥当な反論にも触れたうえで、本質的に問うべき課題を説明する。
これは明確に、いいえ、と答えることが出来る。
最初こそ人間による補助は必要だが、LLMを含むAIは明確な目標があれば人間のデータなしでも十分に学習することが出来る。
これは身近なところでは将棋、有名なものだと囲碁で実証された研究が存在する。
そのため、単純に「機械語は人間による学習データが少ないので扱いが難しいだろう」という反論は成立しない。
そういったものはLLMではないだろうという指摘は可能だが、LLMでそういったAIを出力することは限定的とはいえ現在でもできる。将来できないと言うだけの論拠にはならない。
英語に限った話ではなく、人間が意思疎通に用いる言語である自然言語(natural language)は、曖昧さやばらつきがある。
これを形式言語(formal language)という、曖昧さを無くして語彙や文法を限定した言語に記述しなおすことで、厳密にする手法がある。
この形式言語での表現が、アルゴリズムやデータ構造になり、現代のノイマン型コンピュータにおけるプログラムそのものと言うことが出来る。
なぜ限定的かと言えば、形式言語の一種であるプログラミング言語には曖昧さが許容されているからである。
ほとんどのプログラミング言語では、同じ目的を達成する為に複数の記述が許容されている。
主に、人間が書きやすいから、とか、複数の人間で書きやすいように、といった理由で、曖昧さが許容されている。
そのため、機械へ命令するためには厳密さが必要だからプログラミング言語が必要だ、と言う反論は妥当ではあるが、弱い。
なぜ大統一プログラミング言語のように、自然言語の意図を機械に伝えるための形式言語が一種類になっていないかと言えば、人間の認知能力には限界があるからだ。
そのため、簡易で曖昧さを含むために最適化はできないが十分な性能を持つプログラミング言語や、非常に複雑で記述量も多くなるが大人数で作業するには最適なプログラミング言語などが複数存在する。
これらはいずれも、人間が楽に記述できる形式言語であったり、人間同士が齟齬なくコミュニケーションを取るために必要な形式言語である。
ありていに言って、人間や人間たちが理解可能な形式言語でないと機械にその意図を伝えることが出来ないから、と言える。
ただし、コンパイラから出力されたニーモニックやLLVM-IRを監査できる人間は現代では非常に少なく、現状ほぼ監査なく受け入れていると言って良い。
何故非常に少なくなったかと言えば、機械に伝える意図が大規模になり、単純にマンパワーが足りなくなったので監査しきれなくなっただけに過ぎない。
（もちろん、途方もない努力の末に最適化が進み、ほぼどの様な書き方をしても最適な機械語が出力されるようになったから、とも言える）
同様の理屈で、単純に大規模になり監査が間に合わなくなったので、受け入れるようになる未来が来ないとは言い切れない。
本質的な問いは、なぜ我々はノイマン型コンピュータを用いて機械に意図を伝えるのか、である。
ASIC(Application Specific Integrated Circuit)と呼ばれる、特定の用途向けの集積回路がある。
蟹チップとして、Realtek社のNIC(Network Interface Card)をご存じの方も多いと思う。
必要十分な処理があらかじめ定まっているのであれば集積回路を組んだ方が高効率省電力にできる。
暗号化や復号もASICで行われることが多く、ブロック暗号はその性質上集積回路での実装が容易であり、それに向けた研究も行われている。
一般的にも、ハードウェアエンコーダーなどでお世話になっている人も多いと思う。
ではなぜ、我々は身近な全てをASICにしないのか。
それは、書き換えできず、単純な処理しかできず、大量生産しないとコストに見合わないからである。
FPGAのように、ハードウェア記述言語を用いて集積回路を書き換えるものも、ほぼ同様の理由で研究開発用途や産業用途に留まっている。
（一部のPLD (Programmable Logic Device)は根強く産業利用されているし、大規模に展開され高効率を要求されかつ書き換えを求められるネットワーク機器では一部採用が進んでいる）
汎用的で書き換えが可能、伝える意図を変更できる様々な処理が可能な機械に価値があるから、である。
ここ半年から1年で急激に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が出力しただろうと仮定する人間が増えている(そしてある程度の妥当性がある)現状において、プロンプトで指示してデプロイまでされる未来はそこまで遠いとも思えない。
ただ、購入できるハードウェアの性能とコストが律速になるので、よほど特殊な(CPUやGPUの設計をLLMが劇的に改善する)状況にならない限り、5～10年はプログラマーが消えることは無いと思う。
金に糸目をつけないのであれば、再来年当たりからはLLMレビューのみで仕様バグ以外のほぼ無いプロダクトが世に出てもおかしくは無いと思う。
| 日 | 記事数 | 文字数 | 文字数平均 | 文字数中央値 |
|---|---|---|---|---|
| 01 | 2858 | 421959 | 147.6 | 44 |
| 02 | 1847 | 224819 | 121.7 | 45 |
| 03 | 2197 | 493345 | 224.6 | 70 |
| 04 | 1414 | 196763 | 139.2 | 44 |
| 05 | 1799 | 208824 | 116.1 | 42 |
| 06 | 1523 | 183331 | 120.4 | 42 |
| 07 | 1444 | 242079 | 167.6 | 50 |
| 08 | 2477 | 619688 | 250.2 | 71 |
| 09 | 2031 | 260905 | 128.5 | 44 |
| 10 | 2582 | 379962 | 147.2 | 46 |
| 11 | 1918 | 233300 | 121.6 | 41 |
| 12 | 1702 | 191678 | 112.6 | 44.5 |
| 13 | 1647 | 217123 | 131.8 | 42 |
| 14 | 1459 | 221863 | 152.1 | 46 |
| 15 | 1829 | 235657 | 128.8 | 45 |
| 16 | 1891 | 239829 | 126.8 | 43 |
| 17 | 2147 | 253321 | 118.0 | 43 |
| 18 | 1755 | 209939 | 119.6 | 43 |
| 19 | 1972 | 223987 | 113.6 | 45 |
| 20 | 1675 | 219127 | 130.8 | 46 |
| 21 | 1620 | 208198 | 128.5 | 43 |
| 22 | 1701 | 240709 | 141.5 | 47 |
| 23 | 1904 | 218436 | 114.7 | 42.5 |
| 24 | 1959 | 266653 | 136.1 | 42 |
| 25 | 1889 | 259213 | 137.2 | 46 |
| 26 | 1692 | 228352 | 135.0 | 42 |
| 27 | 1329 | 167049 | 125.7 | 41 |
| 28 | 1658 | 197115 | 118.9 | 42 |
| 29 | 1850 | 220938 | 119.4 | 44 |
| 30 | 1694 | 241346 | 142.5 | 44 |
| 31 | 1706 | 209237 | 122.6 | 40 |
| 1月 | 57169 | 7934745 | 138.8 | 45 |
■彼女とのセックスを諦めたら全てが許せなくなった /20251210211739(104), ■娘の為にパソコンへ詳しすぎる夫を倒したい /20251205122823(88), ■anond：20251224113645 /20251224171736(60), ■若い頃は貯金より経験！自己投資しろ←これを真に受けた結果 /20251216200722(58), ■Yes/Noで聞いてるのに答えない奴はマジでゴミ /20251212090941(54), ■恋愛相談したらソープ行けって言われて怒ってる /20251218074135(53), ■大金持ちしか味わえない娯楽って現代にないのか？ /20251208133212(53), ■自分が突如2人に分裂したら、自分の意識はどっちにいくの？ /20251216211058(49), ■彼女が勝手に仕事を辞めた /20251215111022(46), ■ /20251202073909(44), ■経営者の好きにさせてくれよ /20251224113645(43), ■非モテのオタクが5年前に振られた子にまだ片思いしてる /20251217075235(42), ■34歳（男） 恋愛をしてみたい /20251206024723(41), ■【悲報】尊敬していた会社の先輩（39）が「オス化」してて絶望した話 /20251223083338(40), ■企業のTech Blog担当者よ、頼むからその「無価値なゴミ」の量産を止めて /20251208081455(40), ■｢AIと違って人間は責任取れるから」とか言ってる奴､自惚れすぎだろ /20251214182609(40), ■ソープ行けって言ってくれてありがとう /20251219073726(40), ■馬鹿舌ってどうやったら直せるんだろう /20251222225842(39), ■貯金1000万あるけどNISAも投資も何もしていない /20251208172246(39), ■リベラリズムからの中国批判が必要です🙏 /20251207201018(38), ■ /20251225072754(38), ■「女子枠」という未成年男子たちを生け贄にする制度 /20251204184916(38), ■婚活中の結婚できない女の独り言 /20251206203107(37), ■未だにキャッシュレスにしてない男はちょっと無理 /20251203124031(37), ■フリマアプリの会社で働いていた /20251221114355(37), ■彼女とセックスの話をしたらバケモノになってしまった /20251213001421(36), ■日本を没落させたのは「おまえ」 /20251219192436(36), ■立憲民主党ってネット上で全く人気ないのに、なんで議席多いの？ /20251220200559(35), ■娘に夢を諦めろと言うべきか /20251215200559(33), ■ゆるぼ:予算3万円。QOLをあげてくれるもの /20251210103151(33), ■あんまり値上がりの実感ないんだよな /20251208085157(33), ■なぜ高市首相が支持されているか /20251201001448(33), ■ /20251207133406(32), ■ /20251210010824(32), ■女子枠批判してる人って、男が女より圧倒的に優秀だと信じてるんだよね /20251209090921(31), ■社会から女に対して行われている消費促進がえげつない /20251217105701(31), ■おっさんが嫁さんに感じる何かを吐き出させてほしい /20251209132346(31), ■女にとってセックスは苦痛と断定されるなら私は何者なんだ /20251212152945(31), ■作りたがる人ばかり多くて受け手がいない界隈､マジで地獄説 /20251210132853(31), ■アクセサリーが分からない /20251217115031(30), ■末期癌なのだが /20251223204430(30), ■ /20251221191428(30), ■おおみそかのワクワク感、何歳から消えたんだろう /20251210122409(29), ■食洗機の話になると必ず現れる「手洗いなら5分で終わる妖怪」 /20251208075157(29), ■ /20251215211849(29), ■「リベラルは中国を批判しない」の、仕方ないとも思う /20251209120558(29), ■推しの私生活を嗅ぎ回ったオタクの末路がこれ /20251211143911(28), ■ノンバイナリーを名乗りたくなる気持ちはわかる /20251211021922(28), ■パーカーのフードって実際使う？ /20251218233517(28), ■大人のプレゼント交換、何が欲しい？ /20251219082904(28), ■妻が朝から泣いていた /20251230103025(28), ■ /20251228105206(28), ■ /20251229111252(28), ■6歳の娘が愛情不足で大変なことになっている /20251211124036(28)
他の人は知らないけど、少なくとも増田は入りたかったコミュニティに入れなかった理由をノンバイナリーだからって言いたいだけじゃない？と思った
変な人だと思われて外れたくないと思うならやっぱりそのコミュニティで一緒にいて楽しいと思われるようある程度の努力は必要だと思うよ。それにボーイッシュな子だってボーイッシュ同士でしかいないわけじゃないし、友達同士で何でも趣味が合う！なんて珍しい。化粧や可愛い服じゃなくても好きな小説家や食べ物でいろんなタイプの人と友人になれる。虫好きの同性の友達とは出会えなくても猫好きの友達と出会えることもある。
もちろんノンバイナリー界隈もその一つかもしれないけど人同士の共通点ってたくさんあるよ
自慰しないの？ってレスもあったかと思うけど、私は人生で一度もしたことないしそんな気分になったことない。セックスは一回経験してみてなんか違うなと思ってから一度もしてない。
可愛い格好するのは好きだけどアイドルとか芸能人とか全く興味ないので大学生時代からテレビない生活をしてる
みんなと違うなと思うことはたくさんあるけど、それは自分という人間ががそうなだけで私もしかしてノンバイナリー⁉️なんて思うことはないし、芸能人知らなくても芸能人の話大好きな子とも誰の話かわかんないけど楽しそうでいいね！って気持ちで話聞いて仲良くやってる
格好に無頓着な子でもプログラミングの趣味は合うからたまに休日もくもく会してご飯食べて解散みたいな遊び方もする
女っぽいから女のコミュニティに入れるんじゃなくて、周りの人がこの人と一緒にいて楽しいと思ってくれるから一緒にいれるんだと思うよ
すぐ発達障害認定するのは好きじゃないんだけど、自称トランスジェンダーとかノンバイナリーとかって
やっぱり発達障害の傾向があるような気がするよ
だってこれ
https://anond.hatelabo.jp/20251211021922
そう言うと「それは女性ならみんなが感じている」と言う声が聞こえる気がするがそういうことではない。
他の女性達から「受け入れられていない」女性は珍しくないし、そういう女性が女性でない訳があるか。
自称トランスやノンバイナリーの人達って、この人達がその他大勢のモブだとみなしている他人にもそれぞれ心があって、顔で笑って心で泣いていたり
自分がいない所でもそれぞれ固有の人間関係があって、スムーズにいかなくて悩んでいたり、その悩みを表には見せていなかったりする事を理解できていないんじゃない？
これってサリーとアン問題ができないっていう、よくある発達障害の特徴そのものなんだよね
勿論実際には発達障害者が皆そのような考え方をする訳ではないけれど。
生まれてこの方可愛い洋服や化粧などに一切の興味が持てず、男性アイドルにも女性アイドルにも興味がない。
加えて私はあまり恋愛ごとにも興味がない。これまで好きだと感じた人を思い浮かべると男女比率は半々で、性別関係なく性愛は感じない。
そんな奴が女性の中に混ざると当たり前に浮く。全く話が合わない。
もし増田と関わらなければいけないとして
この説明を聞いたらなるほどそういう人なんだねと思うけど
「私はノンバイナリです」と言われたら何も伝わらない
自閉傾向だから男、女、バイナリーすべてが集団の名前を表す言葉に見えていて、そこに帰属意識がない。感覚経験より合理性よりだから性欲は薄く、一貫性ある思想的な立場としてフェミニズムに賛同できる。でも現に存在するフェミニストは集団として活動してるものだから仲間意識はない。同化を強要してきて何かをするよう命令してくるのは嫌だから。そう言いたいんだろう。独立した自分自身の性質として性とはなにかに迷ったというより、自分が属している集団は女性で合っているのかに迷ったわけ。女性集団に属さなくても女性であることはできる。
それ、「普通の女」ですよ
「普通の女」はみんな同性との付き合いに悩むし、弾かれたりカースト底辺になって病んだりするの
増田みたいな女性って性別をそのまま反転させて男性にしたら弱者男性を名乗ってそうなんだけど
女性だと弱者女性でなくてノンバイナリーになるのはどうしてなんだろうな
単に周りの平均的な女とちょっとずれてるってだけで、ノンバイナリーとか訳の分からんことを言い出すのが混乱のもとな気がする
