「C++の色々配慮してめんどくさい感じは好きだけど、実務になったらメモリ安全性とか考えて今後Rustに変わっていくんかな」
「うだうだ言ってないで仕事で必要なのをやればいいんだよ、趣味なら好きなのやればいい」
っていう雑談スレ。
結局C++とRustってどっちが良いの? 4traits
https://mevius.5ch.net/test/read.cgi/tech/1686046386/
関連スレ(マ板): Google&MS「バグの70%はC/C++。Rustにする」
https://medaka.5ch.net/test/read.cgi/prog/1619943288/
結局C++とRustってどっちが良いの? 5traits
■ このスレッドは過去ログ倉庫に格納されています
2023/06/30(金) 21:56:35.52ID:PDIJ4aZy
357デフォルトの名無しさん
2023/07/08(土) 21:01:52.49ID:CoFTghq/ >>354
そうですね
一般的には“コンパイラにできないわけではない”場合でもユーザーにあえて“注釈をつけさせる”事が非常に便利な場合があります
多分Rustのライフタイム注釈もそれだと思ってはいるんですけど、ほんとにそれで間違い無いのか文書でまとめられたものがないか確認したいんです
HaskellやRustの型推論システムはもう論文でいくつか読んだ事があるのでそのメカニズムもまぁわかります
Rustのライフタイム注釈の場合も多分同じ事ができそうだとは思ってるんですけど敢えてか何故かやってない、それが“できそう”と思ってる自分の勘違いなのか、やはり“できるけど敢えてやってない”のか、あるいは現時点の最新研究でどこまではできることが確認されているのかとかその辺の情報持ってる人いないかなと
そうですね
一般的には“コンパイラにできないわけではない”場合でもユーザーにあえて“注釈をつけさせる”事が非常に便利な場合があります
多分Rustのライフタイム注釈もそれだと思ってはいるんですけど、ほんとにそれで間違い無いのか文書でまとめられたものがないか確認したいんです
HaskellやRustの型推論システムはもう論文でいくつか読んだ事があるのでそのメカニズムもまぁわかります
Rustのライフタイム注釈の場合も多分同じ事ができそうだとは思ってるんですけど敢えてか何故かやってない、それが“できそう”と思ってる自分の勘違いなのか、やはり“できるけど敢えてやってない”のか、あるいは現時点の最新研究でどこまではできることが確認されているのかとかその辺の情報持ってる人いないかなと
358デフォルトの名無しさん
2023/07/08(土) 21:16:10.37ID:p+sO9/0D いやいや
関数を使う人間側が推論不可だろ
関数を使う人間側が推論不可だろ
359デフォルトの名無しさん
2023/07/08(土) 22:06:00.43ID:7vcICBIU NGでスッキリ
360デフォルトの名無しさん
2023/07/08(土) 22:07:59.43ID:p+sO9/0D ググったら理由が出てきた
基本的に関数シグネチャが変わるような事態を避けたいようだ
関数内部を変更したら推論されるライフタイムを含んだシグネチャも変わってしまう事態が起こりうる
変更で呼び出した側であちこちにボコボココンパイルエラーが出るのはプログラマ的にうれしくないので避けてる
呼び出し規約は人間が決めてそれをコードを書く側が守ると言うこと
基本的に関数シグネチャが変わるような事態を避けたいようだ
関数内部を変更したら推論されるライフタイムを含んだシグネチャも変わってしまう事態が起こりうる
変更で呼び出した側であちこちにボコボココンパイルエラーが出るのはプログラマ的にうれしくないので避けてる
呼び出し規約は人間が決めてそれをコードを書く側が守ると言うこと
361デフォルトの名無しさん
2023/07/08(土) 22:12:52.52ID:0dKdZ1v3 Rustは関数単位で色んなチェックしてるけど
その関数が「どこでどう使われているか」を材料にして検証とか推論はしないし
最初からそんなつもりはないと思う
関数を全部インライン展開して1つのmain関数にできれば理論的には全部推論できそうだけど
関数ポインタとかdyn traitを使った動的な呼び出しが絡むと多分無理
Haskellレベルの推論は動的な呼び出しが存在しない参照透過性?が前提にあるはず
その関数が「どこでどう使われているか」を材料にして検証とか推論はしないし
最初からそんなつもりはないと思う
関数を全部インライン展開して1つのmain関数にできれば理論的には全部推論できそうだけど
関数ポインタとかdyn traitを使った動的な呼び出しが絡むと多分無理
Haskellレベルの推論は動的な呼び出しが存在しない参照透過性?が前提にあるはず
362デフォルトの名無しさん
2023/07/08(土) 22:13:25.29ID:p+sO9/0D 推論されたライフタイムを含むシグネチャと人間側が思ってる必要なシグネチャ(ライフタイム)と違うことが起こりうる
例えば他人が作ったライブラリのコードが変わって自分のところに波及してきたら嫌だろ?
従来のはそのままで別のシグネチャの関数を作れと思うだろ?
例えば他人が作ったライブラリのコードが変わって自分のところに波及してきたら嫌だろ?
従来のはそのままで別のシグネチャの関数を作れと思うだろ?
363デフォルトの名無しさん
2023/07/08(土) 22:19:22.93ID:+KTtE1Ht イヤ、ライふタイム注釈の推論に“使われる場所”まで検証する必要はないですよ
関数の返り値を作成してる右辺値を調べればそれで十分だと思います
その単位で返り値のライフタイム注釈が決定されれは、返り値が解放後に参照されるエラーが発生するか否かはその返り値を利用する呼び出し側関数のコンパイル時点で検出できると思います
関数の返り値を作成してる右辺値を調べればそれで十分だと思います
その単位で返り値のライフタイム注釈が決定されれは、返り値が解放後に参照されるエラーが発生するか否かはその返り値を利用する呼び出し側関数のコンパイル時点で検出できると思います
364デフォルトの名無しさん
2023/07/08(土) 22:20:56.17ID:ugEehqjn >>332
論文を探す前にチュートリアルを読みましょう
論文を探す前にチュートリアルを読みましょう
365デフォルトの名無しさん
2023/07/08(土) 22:24:17.70ID:p+sO9/0D せっかくググって答えを見つけてきたのにガン無視されてる…
366デフォルトの名無しさん
2023/07/08(土) 22:24:38.70ID:892HfYmC いい感じにゴミ集積所になりつつあるな
367デフォルトの名無しさん
2023/07/08(土) 22:27:06.38ID:7vcICBIU ゴミクズ荒らすなよ
368デフォルトの名無しさん
2023/07/08(土) 22:30:55.58ID:p+sO9/0D 最初は実質ライフタイムの使い方がわからないと言うのが徐々に軌道修正されて変なところまでたどり着いた
369デフォルトの名無しさん
2023/07/08(土) 22:33:04.65ID:5IIZUoQE >>382
コンパイラが推論する型と人間が想定する型が違うなんてもちろん日常茶飯事ですね
Haskell使ってて:tで推論した型表示させたら「うおーなんじゃこりゃ」と思うことなんてしょっちゅうです
コンパイラは右辺値(haskellでは表現)が提供可能な“最大に一般的な型”を与えようとします、そしてその「提供可能な最大の多層型」の中に関数の利用者が要求する利用可能ないずれかの型が含まれるかどうかを確認して可能ならその単相型を導出し、無理ならコンパイルエラーを吐きます
そして同じメカニズムは多分Rustのライフタイム注釈でも可能なはずです
しかしいくつか当たったRustのライフタイム注釈の解説文書のなかにはあたかも「それは不可能なのでプログラマに注釈をつけさせる」という類の説明がついてることが多いんです
それ見てホントかと、しかもその手の文書についてる例では明らかに推論可能でそれくらいコンパイラが自分でできるやろというくだらない作業をプログラマに強いてるだけの例がついてる事が多いんですよ
それがRustの“仕様”であるならそれはそれでいいんですけど、それを強いる理由が「推論することが不可能だから」と説明してるのがおかしいなと、何か自分の気付いてない勘違いしてるのかなと
コンパイラが推論する型と人間が想定する型が違うなんてもちろん日常茶飯事ですね
Haskell使ってて:tで推論した型表示させたら「うおーなんじゃこりゃ」と思うことなんてしょっちゅうです
コンパイラは右辺値(haskellでは表現)が提供可能な“最大に一般的な型”を与えようとします、そしてその「提供可能な最大の多層型」の中に関数の利用者が要求する利用可能ないずれかの型が含まれるかどうかを確認して可能ならその単相型を導出し、無理ならコンパイルエラーを吐きます
そして同じメカニズムは多分Rustのライフタイム注釈でも可能なはずです
しかしいくつか当たったRustのライフタイム注釈の解説文書のなかにはあたかも「それは不可能なのでプログラマに注釈をつけさせる」という類の説明がついてることが多いんです
それ見てホントかと、しかもその手の文書についてる例では明らかに推論可能でそれくらいコンパイラが自分でできるやろというくだらない作業をプログラマに強いてるだけの例がついてる事が多いんですよ
それがRustの“仕様”であるならそれはそれでいいんですけど、それを強いる理由が「推論することが不可能だから」と説明してるのがおかしいなと、何か自分の気付いてない勘違いしてるのかなと
370デフォルトの名無しさん
2023/07/08(土) 22:34:33.60ID:p+sO9/0D371デフォルトの名無しさん
2023/07/08(土) 22:34:40.18ID:7vcICBIU わかったから消えろ
372デフォルトの名無しさん
2023/07/08(土) 22:38:51.77ID:p+sO9/0D 完全に推論可能かは知らないが実害があるのでそもそも実装されていない
ただあからさまな場合は省略可能
コンパイラも楽だろ
戻り値のライフタイム覚えておいて型を返す場所でチェックするだけだし
ただあからさまな場合は省略可能
コンパイラも楽だろ
戻り値のライフタイム覚えておいて型を返す場所でチェックするだけだし
373デフォルトの名無しさん
2023/07/08(土) 22:51:32.65ID:5IIZUoQE >>372
そうですね、多分コンパイラが楽だからがホントの理由な気がします
推論するには最低限その関数の関数定義が終了する時点まで読まなければならないですからね
しかし実際には関数の終わりの時点まで読んだ段階で完全に決定してその1回目の読み、ワンバス目で終わる気はします、少なくともコンパイラの世界の暗黙の了解「線形オーダーで解決しなくてはいけない」はクリアするとは思います、(勘ですけど)
まぁそれでも「必ず宣言するように、異論は認めない」が仕様ならそれはそれで結構なんですけどそれを「できないから宣言するしかないんです」という説明はある程度以上を勉強するつもりの人が読むと多分混乱招くと思うんですよ
初学者が余計な気を回さないように「できない、信じろ、なので宣言しろ」は初学者向けの説明でありかなとは思わないではないんですけどね
そこでちゃんとした論文ないもんかと
そうですね、多分コンパイラが楽だからがホントの理由な気がします
推論するには最低限その関数の関数定義が終了する時点まで読まなければならないですからね
しかし実際には関数の終わりの時点まで読んだ段階で完全に決定してその1回目の読み、ワンバス目で終わる気はします、少なくともコンパイラの世界の暗黙の了解「線形オーダーで解決しなくてはいけない」はクリアするとは思います、(勘ですけど)
まぁそれでも「必ず宣言するように、異論は認めない」が仕様ならそれはそれで結構なんですけどそれを「できないから宣言するしかないんです」という説明はある程度以上を勉強するつもりの人が読むと多分混乱招くと思うんですよ
初学者が余計な気を回さないように「できない、信じろ、なので宣言しろ」は初学者向けの説明でありかなとは思わないではないんですけどね
そこでちゃんとした論文ないもんかと
374デフォルトの名無しさん
2023/07/08(土) 22:58:05.15ID:Yg5OnBqY もしかして、クロージャなら式から推論してるのかな
関数のシグネチャはフルで書かなきゃいけないってだけで
関数のシグネチャはフルで書かなきゃいけないってだけで
375デフォルトの名無しさん
2023/07/08(土) 23:59:50.01ID:PWdcv54p クロージャは型推論してくれるからそういう用途に使える
集合としてみてもfnよりFnを満たす集合の方が大きい
逆にクロージャでも型指定を要求されることもある
集合としてみてもfnよりFnを満たす集合の方が大きい
逆にクロージャでも型指定を要求されることもある
376デフォルトの名無しさん
2023/07/09(日) 02:18:11.28ID:/JDwe3nB いずれにせよ、Rustは、自由と民主主義をベースとする西側諸国
の価値観には合わず、中国と同じ社会主義的な東側諸国の価値観
に合っている。この言語が成功することはIT産業が壊滅状態になる
ことを意味する。
の価値観には合わず、中国と同じ社会主義的な東側諸国の価値観
に合っている。この言語が成功することはIT産業が壊滅状態になる
ことを意味する。
377デフォルトの名無しさん
2023/07/09(日) 02:21:16.31ID:/JDwe3nB 自分達の作った言語を普及させるためには、無料にして、他の業者
がどれだけ迷惑を被っても構わないというスタンスをとる。
このことは、世界の中心でありもっとも進んだ国であるところの
中国の価値観を広めるためには、人民の犠牲もいとわない、
他国がどれだけ苦しんでも構わない、むしろ歓迎する、などという
中国のスタンスと共通する。
がどれだけ迷惑を被っても構わないというスタンスをとる。
このことは、世界の中心でありもっとも進んだ国であるところの
中国の価値観を広めるためには、人民の犠牲もいとわない、
他国がどれだけ苦しんでも構わない、むしろ歓迎する、などという
中国のスタンスと共通する。
378デフォルトの名無しさん
2023/07/09(日) 02:24:03.48ID:/JDwe3nB もっとも優れた政治経済思想であると事の中国流社会主義を
世界に広めるためには、どんな犠牲もいとわず、どんな
人権侵害も環境破壊もいとわず、経済ルールを無視して独自
ルールを徹底し、言論統制し本当の情報を流さない、
という中国のスタンスと、Rust信者達が行っているスタンスは
そっくりである。
世界に広めるためには、どんな犠牲もいとわず、どんな
人権侵害も環境破壊もいとわず、経済ルールを無視して独自
ルールを徹底し、言論統制し本当の情報を流さない、
という中国のスタンスと、Rust信者達が行っているスタンスは
そっくりである。
379デフォルトの名無しさん
2023/07/09(日) 02:26:49.94ID:/JDwe3nB 中国人は洗脳の結果、自分達が世界最高の政治体制を持つ偉大な
国家であり、その思想と政治体制を世界中に教えてあげなければ
ならないと思っている。
そしてアジアの最高の先進国は中国であり、日本より上回っている
と勝手に思い込んでいる。
この状況とRust信者の脳内心理はそっくりである。
国家であり、その思想と政治体制を世界中に教えてあげなければ
ならないと思っている。
そしてアジアの最高の先進国は中国であり、日本より上回っている
と勝手に思い込んでいる。
この状況とRust信者の脳内心理はそっくりである。
380デフォルトの名無しさん
2023/07/09(日) 04:44:46.78ID:KDx9Q8HN >>376
IT産業の壊滅とか最高じゃん。一番損をするのは覇権国のアメリカ、一番得するのは出遅れた日本だからねぇ。
ちなみにOSSとITの民主化は中国などのレッドチームを追い詰めることに繋がると思うぞ。お得意の世論統制が難しくなるからね。
IT産業の壊滅とか最高じゃん。一番損をするのは覇権国のアメリカ、一番得するのは出遅れた日本だからねぇ。
ちなみにOSSとITの民主化は中国などのレッドチームを追い詰めることに繋がると思うぞ。お得意の世論統制が難しくなるからね。
381デフォルトの名無しさん
2023/07/09(日) 07:41:46.99ID:xOIWVRNM >>376
お前誰からも必要とされてないから消えて
お前誰からも必要とされてないから消えて
382デフォルトの名無しさん
2023/07/09(日) 07:46:09.21ID:4eXZ8lBD383デフォルトの名無しさん
2023/07/09(日) 08:32:03.98ID:kMeOQgn0 マシな流れからまたクソな流れになってきそうだな
384デフォルトの名無しさん
2023/07/09(日) 09:19:07.63ID:KDx9Q8HN RustはDynamicRustみたいな感じのRustコンパイラ上で動くスクリプト言語が有っても面白いかもな。
385デフォルトの名無しさん
2023/07/09(日) 11:03:32.10ID:BH58EEOI 頭のおかしいネトウヨがアンチrust側で良かった
386デフォルトの名無しさん
2023/07/09(日) 11:23:19.56ID:KDx9Q8HN387デフォルトの名無しさん
2023/07/09(日) 12:20:32.66ID:r53YpIy/388デフォルトの名無しさん
2023/07/09(日) 13:41:10.77ID:3PS2GvjM 効きすぎだろw
389デフォルトの名無しさん
2023/07/09(日) 14:20:00.41ID:5sT0qDGq Rustなら失敗しなかったと思う割とマジで
https://www.youtube.com/watch?v=XDy0dqZrbN4
https://www.youtube.com/watch?v=XDy0dqZrbN4
390デフォルトの名無しさん
2023/07/09(日) 14:21:39.84ID:jB1Be+SF だれもRustの使用を強制してないのに強制されてると思い込んでるあたりが危険だな…
どこかの大臣が「Rustの利便性向上のためにC++コンパイラを廃止します」とか言い出したら騒いでもいいけど
どこかの大臣が「Rustの利便性向上のためにC++コンパイラを廃止します」とか言い出したら騒いでもいいけど
391デフォルトの名無しさん
2023/07/09(日) 14:30:11.62ID:5sT0qDGq >>337
Rustが安全であるという考え方が最も危険である
Rustが安全であるという考え方が最も危険である
392デフォルトの名無しさん
2023/07/09(日) 15:40:54.31ID:LeWNN8mE >>308
それが本当なら水虫言語じゃん
それが本当なら水虫言語じゃん
393デフォルトの名無しさん
2023/07/09(日) 15:57:49.89ID:4eXZ8lBD 糖質だから仕方ない
誰からも必要とされてないことすら気がつかないのだから
誰からも必要とされてないことすら気がつかないのだから
394デフォルトの名無しさん
2023/07/09(日) 16:23:35.82ID:JjLC50DJ RustがC/C++に似ているとか、構文が便利だとか本気で思っている
方が統合失調症だ。病院で見てもらえ。
方が統合失調症だ。病院で見てもらえ。
395デフォルトの名無しさん
2023/07/09(日) 18:47:10.60ID:KDx9Q8HN Rustが爆発的に飛躍するには何が足りないの?
396デフォルトの名無しさん
2023/07/09(日) 19:01:36.68ID:/ahYiZL6 学習コスト低減、ライブラリ作成支援
何よりもRustの案件・求人の増加
何よりもRustの案件・求人の増加
397デフォルトの名無しさん
2023/07/09(日) 19:08:06.34ID:4eXZ8lBD 誰からも必要とされてない人
今日もよく喋るな
今日もよく喋るな
398デフォルトの名無しさん
2023/07/09(日) 19:43:24.19ID:JWK25eUy せいぜい、人から必要とされまくって楽しい人生を謳歌しろよ。
ww
ww
399デフォルトの名無しさん
2023/07/09(日) 20:02:58.84ID:KDx9Q8HN 行列積ってマルチスレッドで実装すべき?それとも、キャッシュやコピーを減らすためにシングルスレッドの方が良いのかな?
400デフォルトの名無しさん
2023/07/09(日) 20:44:21.03ID:To34JzcQ GPUに投げるべき
401デフォルトの名無しさん
2023/07/09(日) 20:46:14.43ID:To34JzcQ 真面目な話するとプロファイル取ってサイズで分岐すればいいんじゃないすかね
402デフォルトの名無しさん
2023/07/09(日) 21:34:02.14ID:xOIWVRNM >>399
parallel=trueみたいなオプションをどこかに書けばスレッド使うようにする
parallel=trueみたいなオプションをどこかに書けばスレッド使うようにする
403デフォルトの名無しさん
2023/07/09(日) 21:55:27.03ID:KDx9Q8HN >>400
GPUを使った並列演算処理を提供するRustのクレートで良いのは何?できれば、GPUのデバイスによらずに操作が抽象化されてるものが良いな。
GPUを使った並列演算処理を提供するRustのクレートで良いのは何?できれば、GPUのデバイスによらずに操作が抽象化されてるものが良いな。
404デフォルトの名無しさん
2023/07/09(日) 23:36:02.19ID:wAJ5czLT 四次元ポケットがあるかのような話だな…
405デフォルトの名無しさん
2023/07/09(日) 23:43:54.14ID:e+9JuWWy C++にはあるんじゃね?
406デフォルトの名無しさん
2023/07/09(日) 23:57:17.50ID:KDx9Q8HN rust-gpuとかいうクレートはどうなの?これはcudaがないと動作しない感じ?
407デフォルトの名無しさん
2023/07/10(月) 00:29:46.98ID:fziS9tUP CUDAとかOpenCLとか書かれているから、CUDAでなくても動くんじゃね?
408デフォルトの名無しさん
2023/07/10(月) 01:25:56.97ID:h4dg/BEy GPUは考えなくて良いと思う
まずはCPUのシングルノードで性能を出すことが大事
GPU使えるなら現状は生のCUDAやpytorch使うので
まずはCPUのシングルノードで性能を出すことが大事
GPU使えるなら現状は生のCUDAやpytorch使うので
409デフォルトの名無しさん
2023/07/10(月) 02:08:14.76ID:gFGbWr8l どうしてOSSの人って自分が良い事してると思ってるのか。
競合企業には悪魔なのに。
競合企業には悪魔なのに。
410デフォルトの名無しさん
2023/07/10(月) 08:11:40.21ID:ZGeN7ohp 慈善でやってると思ってる阿呆
411デフォルトの名無しさん
2023/07/10(月) 10:33:54.78ID:Xcne1xaV >>408
現状ではnumpyではCPUってどれくらい効率的に使用できてるの?
現状ではnumpyではCPUってどれくらい効率的に使用できてるの?
412デフォルトの名無しさん
2023/07/10(月) 11:38:27.06ID:ikEhHQu8413デフォルトの名無しさん
2023/07/10(月) 11:50:27.92ID:g81ZTmTB >>409
お,無根拠なOSS批判だ
お,無根拠なOSS批判だ
414デフォルトの名無しさん
2023/07/10(月) 12:17:50.81ID:6RMJuu71 >>320
「料理を自由にやられたら料理人が困るだろ!」
「レシピを共有するやつはカルトだ!左翼だ!」
って言ってるようなもの
料理人は家庭では難しい料理をつくるなり
サービスで付加価値をつけるなり
マネタイズ方法はいくらでもある
「料理を自由にやられたら料理人が困るだろ!」
「レシピを共有するやつはカルトだ!左翼だ!」
って言ってるようなもの
料理人は家庭では難しい料理をつくるなり
サービスで付加価値をつけるなり
マネタイズ方法はいくらでもある
415デフォルトの名無しさん
2023/07/10(月) 13:15:01.70ID:5iSLO28B >>356
ChatGPTωには無理ωωω
ChatGPTωには無理ωωω
416デフォルトの名無しさん
2023/07/10(月) 13:36:14.40ID:5iSLO28B417デフォルトの名無しさん
2023/07/10(月) 13:37:15.38ID:5iSLO28B >>400
それ
それ
418デフォルトの名無しさん
2023/07/10(月) 13:38:07.30ID:5iSLO28B419デフォルトの名無しさん
2023/07/10(月) 15:10:35.46ID:h4dg/BEy >>411
君の言う効率的の意味が単純に速度ということなら
全てin-place演算子かつ同じメモリを使い回すような書き方をすればキャッシュヒット率が高くなり
ベクトル演算を使うので生のCで書くより速い
rustでこの速度と同等まで持っていくのはなかなかしんどいが
非同期IOやスレッドを組み合わせることで
大規模な演算では上をいける可能性はなくはない
君の言う効率的の意味が単純に速度ということなら
全てin-place演算子かつ同じメモリを使い回すような書き方をすればキャッシュヒット率が高くなり
ベクトル演算を使うので生のCで書くより速い
rustでこの速度と同等まで持っていくのはなかなかしんどいが
非同期IOやスレッドを組み合わせることで
大規模な演算では上をいける可能性はなくはない
420デフォルトの名無しさん
2023/07/10(月) 15:36:45.51ID:Y/mmaJD9 例えばメモリに乗らないようなクソでかい行列の積が上げられる
MMLなどの学習時に使われる多次元配列は普通にやるとメモリに乗らないので
ファイルに吐くことになる
その時非同期IOやスレッドを駆使できるrustの方が速くなるのではないかと思う
MMLなどの学習時に使われる多次元配列は普通にやるとメモリに乗らないので
ファイルに吐くことになる
その時非同期IOやスレッドを駆使できるrustの方が速くなるのではないかと思う
421デフォルトの名無しさん
2023/07/10(月) 16:19:14.48ID:ikEhHQu8 普通にやるとメモリに乗らないので、モンスターマシンを使う、とかじゃないん。
422デフォルトの名無しさん
2023/07/10(月) 16:28:12.83ID:K2YeESBC ファイルなら無限大
423デフォルトの名無しさん
2023/07/10(月) 16:33:34.04ID:h4dg/BEy424デフォルトの名無しさん
2023/07/10(月) 20:18:27.95ID:Gb5m/Q1F Rustで5ちゃんみたいな掲示板作れないの?
425デフォルトの名無しさん
2023/07/10(月) 20:35:07.61ID:B9xklitj 当然作れるけど言語に関係なく
無数にSNSがある状況で宣伝資本がなければ集客が無理
さらに犯罪予告から怒涛の妨害書き込みへの対処が面倒
無数にSNSがある状況で宣伝資本がなければ集客が無理
さらに犯罪予告から怒涛の妨害書き込みへの対処が面倒
426デフォルトの名無しさん
2023/07/10(月) 21:19:10.81ID:HuRNpvAr とりあえずrust純正の多次元配列の実装の以下の感じでやって行こうと思う。
シングルスレッドでの多次元配列の演算の実装
⬇
CPUベースのマルチスレッド(rayonとtokioを主に使用)での演算の最適化の実装
⬇
requires_gradの実装(これもマルチスレッドでの計算最適化を適用。)
⬇
余裕があればGPUベースの並列演算機能も実装。これはできればcudaがなくともGPUの種類によらない計算ができるようにしたい。
シングルスレッドでの多次元配列の演算の実装
⬇
CPUベースのマルチスレッド(rayonとtokioを主に使用)での演算の最適化の実装
⬇
requires_gradの実装(これもマルチスレッドでの計算最適化を適用。)
⬇
余裕があればGPUベースの並列演算機能も実装。これはできればcudaがなくともGPUの種類によらない計算ができるようにしたい。
427デフォルトの名無しさん
2023/07/10(月) 22:41:22.83ID:HuRNpvAr Numpyは多次元配列の中身を1次元配列に変換して持っているけど、多次元インデックスから内部の配列の対応するインデックスを一々計算してるのかなぁ?
428デフォルトの名無しさん
2023/07/10(月) 23:45:11.15ID:nKw3UH6a 行とか列に沿って数値処理する計算ならインデクスを一定間隔でずらせばいいでしょ
ランダムアクセスならどうしようもないけど
ランダムアクセスならどうしようもないけど
429デフォルトの名無しさん
2023/07/11(火) 00:08:55.75ID:hvAV/O5o430デフォルトの名無しさん
2023/07/11(火) 00:10:24.53ID:hvAV/O5o それと、数100Gバイト 位なら、スパコンならRAMにおいて
問題ないだろう。
問題ないだろう。
431デフォルトの名無しさん
2023/07/11(火) 00:13:54.90ID:ZJ6seY0P M*Nの巨大なメモリを一気に確保できる範囲内ならばそれが可能だけど無理な場合もありそう
例えばM=N=100万とすると
1要素64bitとして1列分は64MBだけど
行列全体は64TBだね
例えばM=N=100万とすると
1要素64bitとして1列分は64MBだけど
行列全体は64TBだね
432デフォルトの名無しさん
2023/07/11(火) 00:21:06.99ID:hvAV/O5o >>414
それとはかなり違う。
料理の場合:
1. 本当に優れた料理人のレシピは公開されて無い。
(もし公開されている、とされていても、本物かどうか分からない。)
2. レシピがあっても、腕が無いと作れない。
3. 仮に作れても、手間がかかるので料金を払ってでも、作ってもらって
食べたい人が大勢いる。
ソフトウェアの場合、特に 3 の部分が全く違っていて、
簡単にコピーできてしまう特徴がある。
それとはかなり違う。
料理の場合:
1. 本当に優れた料理人のレシピは公開されて無い。
(もし公開されている、とされていても、本物かどうか分からない。)
2. レシピがあっても、腕が無いと作れない。
3. 仮に作れても、手間がかかるので料金を払ってでも、作ってもらって
食べたい人が大勢いる。
ソフトウェアの場合、特に 3 の部分が全く違っていて、
簡単にコピーできてしまう特徴がある。
433デフォルトの名無しさん
2023/07/11(火) 00:28:20.56ID:hvAV/O5o434デフォルトの名無しさん
2023/07/11(火) 02:04:14.13ID:pWql3Z3H >>429
複数ノード使えばなんの問題もない
今のスパコンはほぼそれ
俺が普段やってる流体や量子化学計算も
32コア程度のマシンを複数台で1週間計算したりしてる
今のpytorchはasync使ってないから行列計算を並行してできるところも全てブロックしてる
GPUへの転送もブロックする処理をしてる
シングルノードで超高性能のGPUで力技で計算するというのは普通の企業では難しい
クラウド使っても費用が半端ない
CPUでの高速化を実現しコストを下げることができれば次のステージへ行ける
なんか運営でゴタゴタが起きてるらしく
スレの読み込みができなくなったから改善しないと今後は書き込まないかも
複数ノード使えばなんの問題もない
今のスパコンはほぼそれ
俺が普段やってる流体や量子化学計算も
32コア程度のマシンを複数台で1週間計算したりしてる
今のpytorchはasync使ってないから行列計算を並行してできるところも全てブロックしてる
GPUへの転送もブロックする処理をしてる
シングルノードで超高性能のGPUで力技で計算するというのは普通の企業では難しい
クラウド使っても費用が半端ない
CPUでの高速化を実現しコストを下げることができれば次のステージへ行ける
なんか運営でゴタゴタが起きてるらしく
スレの読み込みができなくなったから改善しないと今後は書き込まないかも
435デフォルトの名無しさん
2023/07/11(火) 02:39:20.70ID:ZJ6seY0P >>434
専ブラ何使ってる?
各種スレ読み込み方法見つかってるよ
例えばchmateならばこうするらしい
設定メニュー→URLを指定して開く
http://mevius.5Ch.net/tech/
※注意 5chが大文字で5Ch
専ブラ何使ってる?
各種スレ読み込み方法見つかってるよ
例えばchmateならばこうするらしい
設定メニュー→URLを指定して開く
http://mevius.5Ch.net/tech/
※注意 5chが大文字で5Ch
436デフォルトの名無しさん
2023/07/11(火) 03:35:24.17ID:pWql3Z3H とりあえずスクリプトで書き込めるので雑に書く
シングルノードで性能を出すのは意外と難しい
コア数=スレッドという単純なものではないから
OSのスレッドや他のアプリも多数のスレッドが動いている
コア数を最大限活かすというのはとにかく計測することでしか最適解を出せない
最近のCPUはハイパースレッディングという技術があり
これを使うと各コアで一つ以上のスレッドを動かすことができる
このようにCPUはまだまだ無限の可能性を秘めている
ベクトル演算もこれまで全く活用されてこなかった
さらに非同期IOを組み合わせればさらに待ち時間を減らせる
いまCPUが熱い
シングルノードで性能を出すのは意外と難しい
コア数=スレッドという単純なものではないから
OSのスレッドや他のアプリも多数のスレッドが動いている
コア数を最大限活かすというのはとにかく計測することでしか最適解を出せない
最近のCPUはハイパースレッディングという技術があり
これを使うと各コアで一つ以上のスレッドを動かすことができる
このようにCPUはまだまだ無限の可能性を秘めている
ベクトル演算もこれまで全く活用されてこなかった
さらに非同期IOを組み合わせればさらに待ち時間を減らせる
いまCPUが熱い
437デフォルトの名無しさん
2023/07/11(火) 07:16:15.54ID:VTWwffnW コピペルナーV6
438デフォルトの名無しさん
2023/07/11(火) 11:18:17.20ID:heSsZz8c >>433
その能力では重力波観測出来ないな
その能力では重力波観測出来ないな
439デフォルトの名無しさん
2023/07/11(火) 11:34:55.16ID:heSsZz8c440デフォルトの名無しさん
2023/07/11(火) 16:25:11.26ID:pWql3Z3H テスト
441デフォルトの名無しさん
2023/07/11(火) 17:19:00.53ID:QLD1ZTwR442デフォルトの名無しさん
2023/07/11(火) 18:29:18.59ID:dW46lKMj443デフォルトの名無しさん
2023/07/11(火) 19:54:59.41ID:UcX6nu3h jane styleはOSSをクローズにしてやりたい放題やって
こんなに迷惑をかけている
こんなに迷惑をかけている
444デフォルトの名無しさん
2023/07/11(火) 20:33:49.40ID:FPwSRARi 確かこんな経緯だっけ?
Janeは元々オープンソースのおかげで便利な特徴ある亜種が豊富にある閲覧ブラウザ
↓
Jane Styleはその亜種の中の一つだがソース非公開
↓
当時2ch/5chは各スレのデータが*.datファイルとしてオープンデータなAPIだったので自由に多種多様な閲覧ブラウザが作られていた
↓
ところがある時Jane Style側が5chにクローズドなAPI化で広告必須にして儲ける提案を持ちかけた
↓
Jane Style側が管轄する5ch APIが誕生しJane Style側と契約しない多くのブラウザが締め出されStyle以外の各種Janeは全滅
↓
数年間経過
↓
Jane Style側が5ch APIを突如閉鎖して新掲示板Talkへ誘導
↓
5chは対抗処置として各スレの*.datファイルを再びオープンデータとし自由な閲覧ブラウザの参入を呼び掛け
Janeは元々オープンソースのおかげで便利な特徴ある亜種が豊富にある閲覧ブラウザ
↓
Jane Styleはその亜種の中の一つだがソース非公開
↓
当時2ch/5chは各スレのデータが*.datファイルとしてオープンデータなAPIだったので自由に多種多様な閲覧ブラウザが作られていた
↓
ところがある時Jane Style側が5chにクローズドなAPI化で広告必須にして儲ける提案を持ちかけた
↓
Jane Style側が管轄する5ch APIが誕生しJane Style側と契約しない多くのブラウザが締め出されStyle以外の各種Janeは全滅
↓
数年間経過
↓
Jane Style側が5ch APIを突如閉鎖して新掲示板Talkへ誘導
↓
5chは対抗処置として各スレの*.datファイルを再びオープンデータとし自由な閲覧ブラウザの参入を呼び掛け
445デフォルトの名無しさん
2023/07/11(火) 22:45:13.05ID:IUx5aYIs446デフォルトの名無しさん
2023/07/11(火) 22:55:33.99ID:0HX/1I5L 5chは終わりだな
talkに移住したほうが良さげ
talkに移住したほうが良さげ
447デフォルトの名無しさん
2023/07/11(火) 23:05:48.32ID:IUx5aYIs Jane Styleがユーザー数一番多いのかな?
ざっと何%くらいなんだろう?
ざっと何%くらいなんだろう?
448デフォルトの名無しさん
2023/07/11(火) 23:11:31.90ID:8n82Mx+O449デフォルトの名無しさん
2023/07/12(水) 00:52:13.10ID:NJFIcEQ6 >>433
統計力学と熱力学の勉強を大学でやったけど、これをメモリに応用する方法とか全く検討つかないんだけど、どうやんの?
統計力学と熱力学の勉強を大学でやったけど、これをメモリに応用する方法とか全く検討つかないんだけど、どうやんの?
450デフォルトの名無しさん
2023/07/12(水) 01:12:01.30ID:w0UvOxDC451デフォルトの名無しさん
2023/07/12(水) 06:44:12.72ID:GThgJXoz .try_into().unwrap()
なにこれ超めんどくさいんだけど
だっさ
なにこれ超めんどくさいんだけど
だっさ
452デフォルトの名無しさん
2023/07/12(水) 07:27:41.45ID:40CzoJJP 課金したら閲覧者が枯渇
453デフォルトの名無しさん
2023/07/12(水) 13:39:50.28ID:JEmfvhKm >>449
今回は、AIの機械学習の話だから、ニューラルネットワーク限定。
シナプス結合が、「ほぼ 0」とみなせるようなニューロン対が
有るのだと思われる。
それを理論的に見つけるために熱力学や統計力学が使えるのではないかと
思われる。
実際、最近の機械学習では熱力学からヒントを得ていると聞いている。
今回は、AIの機械学習の話だから、ニューラルネットワーク限定。
シナプス結合が、「ほぼ 0」とみなせるようなニューロン対が
有るのだと思われる。
それを理論的に見つけるために熱力学や統計力学が使えるのではないかと
思われる。
実際、最近の機械学習では熱力学からヒントを得ていると聞いている。
454デフォルトの名無しさん
2023/07/12(水) 13:47:41.55ID:JEmfvhKm455デフォルトの名無しさん
2023/07/12(水) 14:03:47.08ID:75WTF1Df 大工の源さんは枯渇したよ
456デフォルトの名無しさん
2023/07/12(水) 16:36:21.89ID:EH/jRxPW すっかり人が減ったな
イーロンマスクがいかに優秀だったかわかるな
ひろゆきの言うようにtwitterは致命的な状態にはなってないんだよ
イーロンマスクがいかに優秀だったかわかるな
ひろゆきの言うようにtwitterは致命的な状態にはなってないんだよ
■ このスレッドは過去ログ倉庫に格納されています
ニュース
- ミス・ユニバース フィンランド代表の「つり目」写真が波紋… 本人釈明も批判やまず 協会謝罪「徹底的に検証」へ [冬月記者★]
- 自民・麻生太郎副総裁 石破政権の1年は「どよーん」 高市政権発足で「何となく明るくなった」「世の中のことが決まり動いている」★2 [Hitzeschleier★]
- 【おこめ券】鈴木憲和農相 小泉前農相の備蓄米放出を“反省”「備蓄の円滑な運営を図ってまいります」 [Hitzeschleier★]
- 1人3千円の食品高騰対策、何に使える? あいまいなまま衆院通過 [蚤の市★]
- ゆたぼん 二重手術を報告「めちゃくちゃ気に入っています」 [muffin★]
- 【山形】クマ駆除で誤射した猟友会隊員に町が1663万円請求へ...弾当たり男性大けが2023年 小国町 [nita★]
