Qiita 7 - キータぞ、来たぞ、キータだぞー (768ﾚｽ)
上下前次1-新
589: 2025/12/20(土)11:26 ID:RoZWkMSX(1) AAS
>>588
？
590(1): 2025/12/20(土)15:12 ID:9GmKsNmq(1/3) AAS
『functionalプログラミングって組込みに適さないかも』という記事への例の先生のコメント
＞「関数型プログラミングでは変数を持てない」との主張ですが、ものすごく違和感を感じます。
＞言いたいこととしては、「関数型プログラミングでは内部状態を持てない」なのだろうと思うのですが、それでも違和感を感じます。
＞「純粋関数型プログラミングでは内部状態を持てない」ならば、少しは理解します。
＞ちなみにGenServerについては、ご存知でしょうか？ ElixirやErlangにおいて、内部状態を持たせるための仕組みなのですが。
「純粋関数型プログラミングではないElixirやErlangには内部状態を持たせるためのGenServerという仕組みがあります。調べられてはいかがでしょうか?」みたいな書き方できないのかな?
つかメモリ食いすぎでGCも前提の関数型プログラミングが組み込み用途に向かないのは自明なんだが何でもかんでもElixirでできると主張してる先生の精一杯の揚げ足と思えば微笑ましいかｗ
591: 2025/12/20(土)15:42 ID:vtYooeZ7(1/4) AAS
>>590
そこじゃないだろ
まず変数とは何かを理解できていない
✕変数を持てない
○mutableな変数を持てない
○immutableな変数は持てる
592(1): 2025/12/20(土)16:07 ID:9GmKsNmq(2/3) AAS
関数型プログラミングでは「変数」の意味が違うしどこ視点の話だからそれは問題にすべき点ではない。
593: 2025/12/20(土)16:12 ID:vtYooeZ7(2/4) AAS
>>592
変数の意味は同じだ
mutable変数とimmutable変数を区別してimmutable変数のみを用いるのが関数型プログラミング
594: 2025/12/20(土)16:20 ID:9GmKsNmq(3/3) AAS
関数型プログラミング説明するのにmutable変数持ち出す人がいて腹が痛いｗ
595: 2025/12/20(土)18:05 ID:vtYooeZ7(3/4) AAS
mutable変数を用いないことが関数型プログラミングの特性の根源だぞ
それがメリットを生み出している
596(1): 2025/12/20(土)18:46 ID:X6SZKdRF(1) AAS
関数型に詳しくないから疑問なんだけど、純粋な関数型言語だと配列なんかも全てイミュータブルにするの？
例えば画像の変換みたいなことをしようとするときは、出力先に1画素を書き込むごとに新たな配列を確保する必要があるという感じ？
597(1): 2025/12/20(土)21:01 ID:vtYooeZ7(4/4) AAS
>>596
各言語の概念や仕様と実行コードの生成コンパイルは別だ
配列でもオブジェクトでも元の値が他で使われていなければ最適化により元の値を更新してそのまま使う実行コードを生成できる
598: 2025/12/20(土)21:09 ID:iRaniInA(1) AAS
『祝・実験終了 🎉 Linux カーネルの Rust 採用が正式化！ C から Rust へ ─ AI コードエージェントが Linux カーネルコードを書き換えるとどうなるか？』
外部ﾘﾝｸ:qiita.com
LinuxがRustをサポートってモジュールやドライバをRustで書けるようなったってだけで、既存のCコードをRustで置き換えようってものではないんだけどなんか勘違いしてるのかなこの記事。
記事の趣旨は「AIを使えばCコードを容易にRustに移植できますよ」というものだけど、記事自体AIに生成させたためかおかしな個所あるし、AI使っても人力チェックは重要だし容易なことではない証明になってるのは皮肉だな。
599: 2025/12/20(土)23:47 ID:Pkt8PJOT(1) AAS
>>597
コンパイラではそういう最適化は無理くない？
Haskellにも可変な配列型はあるし、パフォーマンスが必要ならそれを使うでしょ
600: 2025/12/21(日)13:39 ID:i93tKLa3(1) AAS
youtubeもqiitaもAI記事だらけになるとつまらんな
時間の無駄
601: 2025/12/23(火)00:29 ID:JlZFE5FW(1) AAS
Brainf**kの命令を直接実行できるCPUを作った話
外部ﾘﾝｸ:qiita.com
WASM となかよくなりたいから Brainfuck をコンパイルしよう
外部ﾘﾝｸ:qiita.com
スタックベースでmincaml to brainfuckトランスコンパイラ
外部ﾘﾝｸ:qiita.com
なでしこさんで大石泉すき言語のインタプリタ
外部ﾘﾝｸ:qiita.com
わたしがプログラミング言語の処理系を作れるわけないじゃん、ムリムリ！（※ムリじゃなかった！？）
外部ﾘﾝｸ:qiita.com
省3
602(1): 2025/12/24(水)10:45 ID:lAQJIQKC(1) AAS
『ElixirChipの鼓動? 70年間続くノイマン型の闇を抜けて 〜君は高速分散データ処理とエッジコンピューティングの未来を見る』に付けられてたコメント
＞すみません、お願いがあるのですが、piacerexさんの技術で作り込むことで実際にどれくらい電力消費を抑えることができたという実績を、先日のQiitaカンファレンスでお話しされていたと思うのですが、その数字をあらためて教えていただくことは可能でしょうか。目的は、高校生や大学1年生に向けて、モデルに合わせてハードウェアを作り込むとこんなに計算が早くなる、だけではなくて、どれくらい現在の地球規模の問題解決に貢献できる可能性があるか、を、概念ではなく数字で伝えたいためです。
こんな与太記事信じちゃうんだなあ、情報リテラシー低いなこの人。名前ぐぐったら神奈川工科大学 工学部 教授だそうだが。
603: 2025/12/24(水)11:43 ID:altwASQJ(1) AAS
都内に鯖置くより北海道に置く方が圧倒的にコスト下がるのは事実
極地でどうなるかは知らん
カムチャツカやアイスランドあたりで地熱発電で電力を供給して
自然冷却するのが効率良さそう
604: 2025/12/24(水)14:16 ID:pMH1hthZ(1) AAS
>>602
わかったうえでいじって遊んでんだろうよ
605: 2025/12/24(水)21:32 ID:bb73/rOv(1/2) AAS
いじって遊ぶんなら
「36ページの表の2021年第3四半期発売 8コア16スレッドのIntel Xeon Silver 4309Yの性能(MOps/Sec)が58121で同年第4四半期発売16コア32スレッドのIntel Xeon Gold 6326の性能が69219っておかしくないですか? つかこれどういうベンチで測った値?」
とか
「ElixirFPGAの性能(MOps/Sec)が124890でx4機とx8機の場合は 124890x機数x0.7 にぴったり一致しているのは理論値ということですか?」
とか
「ElixirFPGAの性能(MOps/Sec)が理論値ということは実はまだ動いてないの?」
とか
「Mシリーズ搭載したMacやARMプロセッサ搭載の省電力サーバと比較してないのは何でですか?」
とかいろいろ訊くだろｗ
606: 2025/12/24(水)21:41 ID:bb73/rOv(2/2) AAS
『【Docker】イメージは「PCのクローン」？ソースコードを内包する仕組みとメリットを解説』
外部ﾘﾝｸ:qiita.com
> (1) どこでも動く（箱そのものが動く）
> イメージの中に、OSの設定、ライブラリのバージョン、そしてソースコードの全てが入っています。
> つまり、この「箱」さえあれば、世界中のどこでも全く同じ動きをします。
>
> 自分の開発用Mac
> 同僚のWindowsマシン
> 本番環境のCloud Run
能天気すぎ。今はMacとWindowsで同じDockerイメージ使うにはかなり条件あるぞ。
省5
607: 2025/12/25(木)13:22 ID:nGwYSuDE(1) AAS
エリクサーアドベントカレンダー２０２５シリーズ３の２４日に予定されてた『ElixirChipでGPUと生成AIの限界を超える』という記事きょうになっても投稿されてないなあ。
今度はどんな馬鹿なこと書くかワクテカしてたのに残念。
608: 2025/12/25(木)14:03 ID:ORi8cE47(1) AAS
＞ElixirChip
ポエムばっかじゃん
上下前次1-新書関写板覧索設栞歴
あと 160 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.024s