[過去ﾛｸﾞ] Rust part30 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
635: 06/07(土)13:38 ID:xi57kquP(4/10) AAS
>>634
それは静的に解決できるRustの言語仕様のおかげで様々な安全性が保証される
人間もAIも立場は同じ
636(1): 06/07(土)13:52 ID:hQgu9D5P(2/2) AAS
複おじに構うつもりはないのだけど、AIはRustの言語仕様を理解しているのだから、
例えばRustの仕様に基づいた暗黙的なメモリ解放が行われるコードをAIが生成した場合、それはAIが明示的に制御して解放しているのと変わらないとも考えられるよね
632の言うように、GC言語がフェイルセーフとしてGCは使いつつも殆どの場合において適切に確定的なタイミングでメモリ解放するようになったら、
Web系みたいに多少ファジーでもいい分野は完全に持っていかれるかもね
637: 06/07(土)13:58 ID:xi57kquP(5/10) AAS
>>636
架空の言語？既存の言語？
Rustの肝はその言語仕様にあるから既存の言語には無理だよ
638(1): 06/07(土)15:58 ID:D5LAHAi0(2/2) AAS
>>633
rustは、メモリ管理を人に強制してるじゃん。>>632の言いたいことは、違うと思うけれどな。
639: 06/07(土)16:21 ID:xi57kquP(6/10) AAS
>>638
その「適切な箇所に解放処理を挿入してくれる」はRustやC++の仕様で実現されてる
他の言語には無理
640: 06/07(土)18:36 ID:evsGciRN(2/4) AAS
言語仕様を既に理解している者にRustは何も強制しない
逆に言えば強制とは理性のない物体を操る技術とか、それを人間にも当てはめるしぐさのこと
641(3): 06/07(土)18:53 ID:nANhvbt8(1/5) AAS
究極の理想系は Python みたいな軽い言語で雑に書いて、それを AI が最大限効率的なコードに変換するようなものだろうな
ヒープ不要な変数はスタックに、他と共有しないデータは変数のスコープと共に破棄されるように、共有されるデータはArcに、循環参照してるものは寿命の短い方を判断して weakref に、というふうに
現在はまだ無理だからGCレスが必要な場面にRustを使うけど、 &T や Arc<Mutex<T>> みたいな型はメモリ管理のためでしかないし、AIが自動的にうまく変換してくれるならその方が進化だと思う
642: 06/07(土)19:02 ID:xi57kquP(7/10) AAS
>>641
Rust以外の既存の言語の仕様でそれは不可能
643: 06/07(土)19:07 ID:WTKqP7i+(1/3) AAS
>>641
循環参照が必要なケースはだいたいアリーナでいいんじゃないかな
アリーナのスコープはだいたい人間の意図をそのまま反映するのでAI向きだと思う
644: 06/07(土)19:07 ID:evsGciRN(3/4) AAS
誰でもいいからPythonをRustに変換してもらうのが雑なやり方
AIを指名するのはちょっと細かいことにこだわり過ぎている
645: 06/07(土)19:10 ID:xi57kquP(8/10) AAS
>>641
AIであろうと論理的に無理なことはできない
AIも人間と同様で魔法を使えない
646(2): 06/07(土)20:18 ID:nANhvbt8(2/5) AAS
単純な構文解析では無理だけど、AIがコードの意味や呼び出し関係なども含めて解析できるようになれば可能性あるんじゃない？
2-3年後にとは思わないけど、5年や10年後ならそういう未来もあって良いように思う
最近のAIの発展は凄まじいし
Rustは良くも悪くも低レベルの事情が見えすぎるんだよな
Option, Result や enum のような型はビジネスロジックの表現に役立つし、他の言語でも欲しい人はいるだろうけど、SendやSyncなんかはちょっと違う
これらはC++経験者にとって嬉しいだけで、多くの人からすれば、そういうものは意識せずに済む方がずっと便利なはず
647: 06/07(土)20:22 ID:nANhvbt8(3/5) AAS
意識することは必要かもしれないけど、そのための面倒くささを減らせるなら、その方がいい的な話
648: 06/07(土)20:27 ID:8xDjgwkI(1) AAS
>>646
>これらはC++経験者にとって嬉しいだけで
勝手に妄想すんな。
649: 06/07(土)20:32 ID:xi57kquP(9/10) AAS
>>646
そんな方法ロジックが存在するなら現在AI関係なく実現できる
AIと言えども無理
650(1): 06/07(土)21:03 ID:nANhvbt8(4/5) AAS
実際面倒でしょ
GCのある言語ではとっくに解決済みの問題だし、パフォーマンスのためという理由さえ無ければ、そんな面倒は無い方がいい
人間が書くコードはビジネスロジックに注力して、最適化などの面倒な部分はAIが頑張る、みたいな未来を夢見ても良くない？
「世界中の初級〜中級プログラマがみんなRustを書ける時代」よりは、「初級〜中級プログラマが書いたコードがRust並みに高パフォーマンスに動く」の方が有り得そうに思う
大手ITとか新進気鋭のスタートアップならともかく、世の中のレベルってそんなに高くないと思うので
651: 06/07(土)21:18 ID:xi57kquP(10/10) AAS
>>650
既存の言語の仕様では不可能
もし手段があるならAI関係なく今すぐ実現させる
652(1): 06/07(土)21:34 ID:nANhvbt8(5/5) AAS
言語の限界というより、現状のコンパイラが行なっている構文解析という手法の限界じゃないの？
他の言語で書かれたプログラムを (人間が時間をかければ) Rustに移植できる、と言えるなら、それは将来AIにもできる可能性のある仕事だと思う
「理屈上どうやってもC/C++/Rustでは実現できないロジック」とかがあるなら無理だけど、そういうのはおそらく滅多に無いだろうし
653: 06/07(土)21:50 ID:4dOcWkyN(2/2) AAS
現代の方式での AI の能力というのは言語モデルに縛られる。
プログラミング言語間で移植するには仕様をより抽象的な言語 (人間がやるなら自然言語？) で抽出してから再実装という工程を経ることになる。
仕様抽出のときにどの挙動が仕様でどこが仕様ではない (再現しなくてもかまわない) のかはプログラムの字面だけからはわからず、ドメイン知識が要るだろう。
654(1): 06/07(土)22:08 ID:WTKqP7i+(2/3) AAS
そんな複雑なビジネスドメインでRust採用しちゃうようなタイプのエンジニアとAI、
どっちがドメイン知識があるか、客からヒアリングしたドメイン知識に真面目に向き合えるかな
俺はAIだと思うね
655(1): 06/07(土)22:13 ID:V3GF7XBg(1) AAS
RDBだとSQLを渡せば構文解析という手法を通してるけどオプティマイザが最適と思われる実行プランを作ってくれる
今までは用途の限られたDSLでしかこういうことはできなかったがAIを使うことで汎用プログラミングの広い用途で同じようなことが近い将来にできるようになる可能性が高い
その時にRustのような低レベルな言語を使う必要があるのはRDBでたとえるとDBエンジンを作っている人達だけ
一般的なプログラマー(プログラマーとは呼ばれなくなるかもしれないが)は入力としてSQLを書いて生成された実行プランを確認できればそれで問題なくなる
実行プランの内部表現がどうなってるかや各ステップでのメモリ管理方法だったり並行モデルや同期方法は要求に対して最適と思われるものを選んでくれればそれでいい
656: 06/07(土)22:28 ID:noiqQ3+R(1) AAS
>>655
できないことを皮算用せずに
その新言語をさっさと作ればよくね？
657: 06/07(土)22:31 ID:5EbSwuA7(1) AAS
>>654
顧客からのヒアリングは担当AIになると言われてるね
あとはAIがRustコード吐いて人類がチェック
658: 06/07(土)22:36 ID:evsGciRN(4/4) AAS
マークアンドスイープも仮想関数も低レベルだった
どっちも要らない可能性に気がついた奴は低レベルの縛りが少ない
そんなこと考えたこともない奴が偉そうにしても意味がない
659: 06/07(土)22:46 ID:x0Lmj2vj(1) AAS
>>652
元言語のT型のオブジェクトをArc<Mutex<T>>型にすれば変換できるけど意味ないでしょ
660: 06/07(土)23:36 ID:JFrNmexI(1) AAS
人類がAIに支配されないための歯止めが最終プログラムコードを人類の監視管轄下に置くこととと言われている
AIにRustコードを吐かせるとしてもそのチェックは人類が責任を持たねばならない
そのプログラミング言語は実行パフォーマンスと安全性と抽象的な可読性からRust以外に選択肢はない
661(1): 06/07(土)23:51 ID:WTKqP7i+(3/3) AAS
AIエージェントがバズってる時点でチェックもクソもない
あっちはAIがやれることは呼び出せるツールの範囲に限られるから問題ないという理屈だが、
そういうガードのかけ方をするならそもそも実行バイナリ自体を制約されたサンドボックス環境下で実行し、
限定的なAPIセットのみ実行を許可するようなアーキテクチャになるから、Rust云々というレイヤの話ではない
662: 06/08(日)00:08 ID:T2dNb6GD(1) AAS
>>661
そんな制限の仕方ができるのは特殊なものだけ
コードは人間がレビューして責任を持つしかない
663(1): 06/08(日)00:53 ID:ZN3JGvHo(1) AAS
マルウェアをテストする時のような扱いをしないと怖いようなAI製ソフトウェアを本番業務に投入するとか論外だしな
とはいえ、AIが生成した文字通り膨大なソースに人間が有意義なチェックをできるかっていうとそれも机上の空論だろうし
現実的にはブラックボックステストだけ人間がやって、コードはロクに見ず本番投入なんだろう
664: 06/08(日)00:59 ID:FT4pj4FW(1) AAS
>>663
それだと極めて特殊な入力が来た時だけ特別な実行をAIに仕込まれて人類が詰むパターン
上下前次1-新書関写板覧索設栞歴
あと 338 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.025s