[過去ログ]
Qiita 6 - キータぞ、来たぞ、キータだぞー (1002レス)
Qiita 6 - キータぞ、来たぞ、キータだぞー http://mevius.5ch.net/test/read.cgi/tech/1739527246/
上
下
前
次
1-
新
通常表示
512バイト分割
レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
801: デフォルトの名無しさん [sage] 2025/08/12(火) 12:46:06.83 ID:H79WcWG/ 未定義動作、つまり環境依存の動作のことを、 あたかも定義された動作のように記事を起こす人が多いから突っ込まれてるだけだよ http://mevius.5ch.net/test/read.cgi/tech/1739527246/801
802: デフォルトの名無しさん [sage] 2025/08/12(火) 12:46:29.84 ID:FRnJU+lm 俺は公の場では絶対C/C++系の記事は書かないようにしてる。例え話としても出さない。だってウジみたいに湧いてくるから。 http://mevius.5ch.net/test/read.cgi/tech/1739527246/802
803: デフォルトの名無しさん [sage] 2025/08/12(火) 13:02:40.48 ID:FFG2OFiu これだけまともなプログラミング言語がたくさん充実した時代になってもなお 未定義動作のあるC/C++を使い続けてる人はキチガイが集結してる面があるね ただし専用Cコンパイラしか使えないマイナーな機器環境の人だけは免除 http://mevius.5ch.net/test/read.cgi/tech/1739527246/803
804: デフォルトの名無しさん [sage] 2025/08/12(火) 15:16:25.50 ID:0023ioAn > 未定義動作、つまり環境依存の動作のことを、 未定義動作と環境依存は違うぞw http://mevius.5ch.net/test/read.cgi/tech/1739527246/804
805: デフォルトの名無しさん [sage] 2025/08/12(火) 15:32:29.84 ID:Y4QsSLLN 環境依存だよ http://mevius.5ch.net/test/read.cgi/tech/1739527246/805
806: デフォルトの名無しさん [sage] 2025/08/12(火) 17:37:23.10 ID:oJ7Zw9aL charが8ビットでないことが本当にあるかAIに聞いたら9ビット、16ビット、64ビットがあると答えた Cの記事が炎上するのは良い 炎上しなければ知る機会がなかったから charが8ビットだという記事を書いて恥じることはない Cが変なのだから http://mevius.5ch.net/test/read.cgi/tech/1739527246/806
807: デフォルトの名無しさん [sage] 2025/08/12(火) 17:48:58.70 ID:Y4QsSLLN x86とx64くらいしか知らなきゃそうだろうけど、 世の中にはそれ以外のプロセッサがごまんとあるんよ パソコンでだけ使われる言語じゃないんすよCって http://mevius.5ch.net/test/read.cgi/tech/1739527246/807
808: デフォルトの名無しさん [sage] 2025/08/12(火) 19:59:51.39 ID:FXrbj/Sl 高レベルなとこっておもんないしな http://mevius.5ch.net/test/read.cgi/tech/1739527246/808
809: デフォルトの名無しさん [] 2025/08/13(水) 05:46:59.66 ID:7paf0TTq >>806 そもそもCHAR型というのは文字列型だからな。 C言語限定の話になってないし。 http://mevius.5ch.net/test/read.cgi/tech/1739527246/809
810: デフォルトの名無しさん [sage] 2025/08/13(水) 08:04:59.20 ID:RgWezXCP >>809 charが文字列型の言語って何かある? http://mevius.5ch.net/test/read.cgi/tech/1739527246/810
811: デフォルトの名無しさん [sage] 2025/08/13(水) 09:47:20.04 ID:Wq+5CWpp >>810 そういうときこそAIを使うべき。 AIに「CHARが文字列型の言語って何かある? SQLはどう?」とか訊くと優しく教えてくれる。 http://mevius.5ch.net/test/read.cgi/tech/1739527246/811
812: デフォルトの名無しさん [sage] 2025/08/13(水) 09:52:49.55 ID:gprdxSvI >>811 >>809に訊くことが目的だからAIじゃ代替にならない http://mevius.5ch.net/test/read.cgi/tech/1739527246/812
813: デフォルトの名無しさん [sage] 2025/08/13(水) 10:00:35.99 ID:BOX5HTm7 QiitaもZennも、もうAIで生成したのをペタっと貼った箇条書き記事ばっかだし 質問もAIのほうが親切でわかりやすい解答くれるし、マジでコミュニティにおける人間の役目なんて、もうレスバのサンドバッグだけだな http://mevius.5ch.net/test/read.cgi/tech/1739527246/813
814: デフォルトの名無しさん [sage] 2025/08/13(水) 12:31:40.16 ID:Wq6DNp8m Rustだとchar型はユニコードの値そのまま つまりchar型は21bitただし最小0~最大0x10ffff メモリサイズとしては32bitを占有 つまり符号なし32bitのu32型と占有サイズは同じだが別の扱い 数値として見た時の値は必ず0x10ffff以下でユニコード値が保証される Rustの文字列型はユニコードのUTF8そのまま 必ず正しいUTF8形式であることが保証される ちなみに8bitの型を使いたかったら 符号ありi8型か符号なしu8型 http://mevius.5ch.net/test/read.cgi/tech/1739527
246/814
815: デフォルトの名無しさん [sage] 2025/08/13(水) 15:03:41.82 ID:tW4zveqn >>813 8割型AIコピペだな 俺はちゃんと書いてるけど まあ単なる手順書しか書いてないけど http://mevius.5ch.net/test/read.cgi/tech/1739527246/815
816: デフォルトの名無しさん [] 2025/08/13(水) 20:06:00.97 ID:7paf0TTq C言語のchar型が1バイトというのが時代に合わないからなあ http://mevius.5ch.net/test/read.cgi/tech/1739527246/816
817: デフォルトの名無しさん [sage] 2025/08/13(水) 20:13:02.71 ID:0hYsd34f >>816 さっきから的外れなこと言ってるな はやく>>810答えてくれよ http://mevius.5ch.net/test/read.cgi/tech/1739527246/817
818: デフォルトの名無しさん [] 2025/08/13(水) 21:08:14.62 ID:7paf0TTq >>817 Fortran http://mevius.5ch.net/test/read.cgi/tech/1739527246/818
819: デフォルトの名無しさん [sage] 2025/08/13(水) 22:11:25.31 ID:tW4zveqn ちゃんとした記事にはあまりいいねがつかずに AIコピペした自己啓発っぽいやつはいいねが多いな http://mevius.5ch.net/test/read.cgi/tech/1739527246/819
820: デフォルトの名無しさん [sage] 2025/08/13(水) 23:58:03.89 ID:P2dxXLDh >>818 答えるべきでない 非匿名ならgiveに返礼を期待できるから答えるべき 匿名ならgiveに返礼が期待できない takerが跋扈したら匿名掲示板が終わる 匿名掲示板はgiveし合う場所 takerを無視すべき http://mevius.5ch.net/test/read.cgi/tech/1739527246/820
821: デフォルトの名無しさん [sage] 2025/08/14(木) 00:36:59.69 ID:qB+GDcFh >>818 Fortranのcharacter型とCのchar型を同一視してそもそも~ってのは無理がないか? http://mevius.5ch.net/test/read.cgi/tech/1739527246/821
822: デフォルトの名無しさん [] 2025/08/14(木) 16:44:08.51 ID:nMKdg+4A >>821 古い時代ほど、1文字を格納する変数を用意するのは変ではなかった。 しかし、同時に文字列を格納する変数も用意した。 C言語はUNIXの一部のコマンドを作るために用意したものだから、文字列はメモリをあちこちに確保してしまうから用意しなかったと思われる。 http://mevius.5ch.net/test/read.cgi/tech/1739527246/822
823: デフォルトの名無しさん [sage] 2025/08/14(木) 19:12:33.15 ID:aK6pSFOp >>822 文字列処理のための言語じゃねーからだよ http://mevius.5ch.net/test/read.cgi/tech/1739527246/823
824: デフォルトの名無しさん [] 2025/08/14(木) 19:45:42.82 ID:gTzwqsfm >>823 CUIのOSなのに? http://mevius.5ch.net/test/read.cgi/tech/1739527246/824
825: デフォルトの名無しさん [sage] 2025/08/14(木) 20:42:01.45 ID:29xeAa1J >>822が>>821へのレスのつもりなのマジ意味わからん http://mevius.5ch.net/test/read.cgi/tech/1739527246/825
826: デフォルトの名無しさん [] 2025/08/15(金) 01:10:13.48 ID:TJxn8xVJ キャラクター型の表記がcharacterとcharで別だと思っているのも新種。 英語圏で別だと発言したら何を言っているのかと思われてしまう。 http://mevius.5ch.net/test/read.cgi/tech/1739527246/826
827: デフォルトの名無しさん [sage] 2025/08/15(金) 16:44:22.49 ID:IRNlLQIU 英語圏ではキャラクター型の表記がcharacterとcharでは別だと発言したら何を言っているのかと思われてしまいますか? >AI http://mevius.5ch.net/test/read.cgi/tech/1739527246/827
828: デフォルトの名無しさん [sage] 2025/08/15(金) 18:55:46.56 ID:Imxd5qhX >>826 K&RによればCのcharはcharactorだぞ http://mevius.5ch.net/test/read.cgi/tech/1739527246/828
829: デフォルトの名無しさん [sage] 2025/08/15(金) 18:57:54.76 ID:Imxd5qhX ついでに他の言語の文字列型はstring型だな c++の標準クラスでもstringの名が採用されてる characterで文字列って方が異端 http://mevius.5ch.net/test/read.cgi/tech/1739527246/829
830: デフォルトの名無しさん [sage] 2025/08/17(日) 10:25:04.08 ID:aoLMwBwv >>818 「そもそもCHAR型というのは文字列型だからな。」の例としてC言語より後のFORTRAN77以降の機能挙げてて草w http://mevius.5ch.net/test/read.cgi/tech/1739527246/830
831: デフォルトの名無しさん [sage] 2025/08/18(月) 09:12:00.97 ID:qN8+xyCh このスレタイやばいだろう 完全に精神疾患朝鮮人って感じ http://mevius.5ch.net/test/read.cgi/tech/1739527246/831
832: デフォルトの名無しさん [sage] 2025/08/18(月) 12:40:27.49 ID:8Fen5YXa Qiitaの記事ではないが 『ElixirがHW化され、最新CPU/GPU/NWを過去のものとする数万倍、高速+超省電力化されたWeb/動画配信/AIが動く日』 Qiitaのアドベントカレンダーが箔付けに使われてたのでやはりQiitaは悪と確信した。 http://mevius.5ch.net/test/read.cgi/tech/1739527246/832
833: デフォルトの名無しさん [sage] 2025/08/18(月) 16:51:25.96 ID:zzJFaFgq アラレちゃんの歌を知らないってもしかして5chじゃレアな世代なのでは http://mevius.5ch.net/test/read.cgi/tech/1739527246/833
834: デフォルトの名無しさん [sage] 2025/08/18(月) 20:21:33.16 ID:iCT6Shdq >>832 またあいつか なんか知識不足げな奴なんだよなあ http://mevius.5ch.net/test/read.cgi/tech/1739527246/834
835: デフォルトの名無しさん [] 2025/08/18(月) 21:01:27.49 ID:Np/csd8G >>833 キータをまともな情報源にしている世代は知らないと思う http://mevius.5ch.net/test/read.cgi/tech/1739527246/835
836: デフォルトの名無しさん [sage] 2025/08/18(月) 23:49:38.91 ID:iCT6Shdq 別の奴やったわ しっかしあの界隈はなんかなあ http://mevius.5ch.net/test/read.cgi/tech/1739527246/836
837: デフォルトの名無しさん [sage] 2025/08/19(火) 00:12:45.99 ID:OCOnJZMm 凄く重いElixerをHW化したら速くなったらしい しかし普通にElixerを使わずに速い言語で書いた時との速さ比較ではないところが http://mevius.5ch.net/test/read.cgi/tech/1739527246/837
838: デフォルトの名無しさん [sage] 2025/08/19(火) 01:28:02.53 ID:Z5L+/1fr >>832 スライド1枚目の「北九州市立大学「プログラミング論」教授級非常勤講師」って何だ?w 准教授より偉いのか? 下か? サッパリ分からんw 「ElixirChipとElixirChip Liteで超低消費電力・高性能の世界へ」と被ってるところもあるし例の准教授と一緒にやってんだろうなあw つかスライドにある最新CPUの1000〜10万倍の性能ってのが本当なら量子コンピュータに匹敵するインパクトだと思うが比較してんのがIntel Xeon E3-1285 v6って7年前のCPUなの何なのw
http://mevius.5ch.net/test/read.cgi/tech/1739527246/838
839: 838 [sage] 2025/08/19(火) 01:59:11.90 ID:Z5L+/1fr 教授級非常勤講師って存在する職階なのね。面白がったのは失礼だったわ。すまなんだ。 https://www.google.com/search?q=%22%E6%95%99%E6%8E%88%E7%B4%9A%E9%9D%9E%E5%B8%B8%E5%8B%A4%E8%AC%9B%E5%B8%AB%22&ie=UTF-8 http://mevius.5ch.net/test/read.cgi/tech/1739527246/839
840: デフォルトの名無しさん [sage] 2025/08/19(火) 08:57:31.19 ID:3HBbfX0k >>835 Qiitaをまともな情報源にしてるやつと5chやってる奴は概ね別の集団だと思う http://mevius.5ch.net/test/read.cgi/tech/1739527246/840
841: デフォルトの名無しさん [sage] 2025/08/19(火) 09:31:32.64 ID:trdxcqMD >>832 『ElixirChipとは』のページに「従来のサーバーCPU/GPUに換装できる独自アーキテクチャを採用したFPGAボード」とあるけど掲載されてる基板、電源回路かなんかじゃね? http://mevius.5ch.net/test/read.cgi/tech/1739527246/841
842: デフォルトの名無しさん [sage] 2025/08/20(水) 07:38:50.19 ID:LKsAaYDR なんかどうでも良い感じの記事が沢山トレンドに挙がってるなあと思ったら株式会社PRUMというのが身内でいいね付け合ってるのか。 http://mevius.5ch.net/test/read.cgi/tech/1739527246/842
843: デフォルトの名無しさん [sage] 2025/08/20(水) 08:28:59.23 ID:ICwxck0n エリクサーチップの初お目見え会というのが9月に開催予定で6月から参加募集しててまだ30席埋まってないのかあ。 最新CPUの千から十万倍の性能という画期的なものに対して世間の反応は冷静で安心した。 http://mevius.5ch.net/test/read.cgi/tech/1739527246/843
844: デフォルトの名無しさん [sage] 2025/08/20(水) 10:12:32.25 ID:+hnQoXe9 HWの能書きに対して記事の質が低くてなあ おめーなんもわかっとらんやろって http://mevius.5ch.net/test/read.cgi/tech/1739527246/844
845: デフォルトの名無しさん [sage] 2025/08/20(水) 10:46:10.51 ID:ofeLyuD5 >>842 PRUM, JISOU, Nucoは悪目立ちしてるよなぁ http://mevius.5ch.net/test/read.cgi/tech/1739527246/845
846: デフォルトの名無しさん [sage] 2025/08/20(水) 23:01:08.17 ID:LKsAaYDR 前スレからコピペ >職場がインターフェース誌購読してたんで今更ながら読んでみた。FPGA内蔵SoCみたいなの(SoMとか言うらしい)に8bitの積和演算器64個並列に実装して上限の動作速度の500MHzちょっとで動作できましたって内容だった。 > >500なんとかメガ(動作周波数)×2(積和だから乗算+加算なので2)×64(積和演算器の数)×32(積和演算器のパイプラインステージ数)=2.1TOPs > >って変な計算してて、それとXeon比べて消費電力(但しTDP)あたりの性能でXeonの何十倍効
率が良いって主張だったけど、おいおいパイプラインステージ数は積和演算器の性能に直結しないだろ。なぜそれ掛けてXeonと比べる? って思ったわ。 > >一番気になったのは先生が使ったKria KR260ってAMDの製品、8bitの積和演算が16個同時にできるCortex-A53が4コア載ってて1.3GHzで動作すんだよね。500MHzちょっとで積和演算器64個動かして何なん? 比べるとしてもXeonとじゃなくてそっちとじゃね? とかって素人ながら思ったわ。 http://mevius.5ch.net/test/read.cgi/tech/1739527246/846
847: デフォルトの名無しさん [sage] 2025/08/20(水) 23:03:27.61 ID:LKsAaYDR >×2(積和だから乗算+加算なので2) と >×32(積和演算器のパイプラインステージ数) がスゴいなw 大学の先生がこんな記事書いてるのw http://mevius.5ch.net/test/read.cgi/tech/1739527246/847
848: デフォルトの名無しさん [sage] 2025/08/20(水) 23:12:03.79 ID:v5FE9hYt ElixirChip+Elixir<<<普通のCPU+普通の速い言語 http://mevius.5ch.net/test/read.cgi/tech/1739527246/848
849: デフォルトの名無しさん [sage] 2025/08/21(木) 12:47:16.45 ID:SBsr4HaM >×2(積和だから乗算+加算なので2) こういう宗派もありそうではあるんだよな >×32(積和演算器のパイプラインステージ数) だがこれはねーわwwww http://mevius.5ch.net/test/read.cgi/tech/1739527246/849
850: デフォルトの名無しさん [] 2025/08/21(木) 13:43:36.26 ID:ORgNsa3P いろいろ突っ込みどころあるけど、そういう単純な計算だけだったら比較対象はCPUじゃなくてGPUでは。ちなみに整数じゃないけど3060で100tflops http://mevius.5ch.net/test/read.cgi/tech/1739527246/850
851: デフォルトの名無しさん [sage] 2025/08/21(木) 17:52:50.55 ID:E+kShMsl >>832のスライド、現在が2030年だったりPFLOPSって単位が普通に出てきたり酷いなw Xeonに対してFPGAで2.5倍の性能出せたという次のページで10倍規模、20倍規模のFPGAを使えば260倍、520倍の性能が実現可という主張も酷いw 26倍は電力あたりの性能という話だった筈だがもはやこれスライド書いてる人物が主張内容理解してないだろw 「ElixirChip導入パートナー募集スライドより」とところどころあるけどこんな
酷い資料で開発資金募ったりしてるんだろうか? http://mevius.5ch.net/test/read.cgi/tech/1739527246/851
852: デフォルトの名無しさん [sage] 2025/08/21(木) 18:51:17.34 ID:E+kShMsl 訂正: >Xeonに対してFPGAで2.5倍の性能出せたという次のページで10倍規模、20倍規模のFPGAを使えば260倍、520倍の性能が実現可という主張も酷いw KR260に対してAlveo U50とU100のスペック比べてみたが別にこれFPGAの規模が10倍、20倍ってのはなかったわw つか260倍、520倍の根拠がまるで分からんw http://mevius.5ch.net/test/read.cgi/tech/1739527246/852
853: デフォルトの名無しさん [sage] 2025/08/21(木) 18:54:21.82 ID:agMKH+uP コードを動かしてみたら記事の説明と実際の挙動が違うとか 手順おかしいとか こいつ何もわかってねえなみたいなのの方がいいね多いな http://mevius.5ch.net/test/read.cgi/tech/1739527246/853
854: デフォルトの名無しさん [sage] 2025/08/21(木) 19:39:29.30 ID:E+kShMsl いまのQiitaの「いいね」はなんも知らん初心者が「なんかわからんけどいいこと書いてそう」くらいでポンポン押されてるから記事の質を担保してくれたりはしないんだよなあ。 Qiitaは一時期「いいね」じゃなくて「LGTM」を使ってたが、あれは「自分が見た感じでは良いと思いますよ」くらいの意味で、軽くても保証の意味を含むのだけど、あれが正確に理解されてて運用されてたら今の惨状はなかったかもしれないと思うと、「LGTM」導入は運営の問題意識の現れだったのかもし
れない気がしてきた。まあ失敗だったわけだが。 http://mevius.5ch.net/test/read.cgi/tech/1739527246/854
855: デフォルトの名無しさん [sage] 2025/08/21(木) 20:21:06.63 ID:VzLBGTCW 正しい新たな知見を書く場だと儲からない 正しくない記事でも既出事項をAIにまとめてももらった記事でも多くを受け入れることが広告利益に繋がる http://mevius.5ch.net/test/read.cgi/tech/1739527246/855
856: デフォルトの名無しさん [sage] 2025/08/22(金) 03:19:38.65 ID:isSxr+zd わかんねえけど調べながらとりあえず一回書き切るのもまあ勉強にはいいけど それで生み出された記事はやばいよな http://mevius.5ch.net/test/read.cgi/tech/1739527246/856
857: デフォルトの名無しさん [sage] 2025/08/22(金) 09:58:32.66 ID:jgVYsxbV 『無限リストによるエラトステネスのふるい』 エラトステネスのふるいと称して剰余計算を使った間違った実装がエリクサーのタグ付いた記事に複数あるのはこの記事が元凶かな? 記事が公開されて10年間間違いを指摘するコメントがひとっつも付いてないのは驚きすらあるな。 http://mevius.5ch.net/test/read.cgi/tech/1739527246/857
858: デフォルトの名無しさん [sage] 2025/08/23(土) 02:32:36.04 ID:ZHJgu+VL トップページより 『海外ドキュメントを読めない英弱集まれ~!読み方のイロハを教えよう』 『君たちは本当のマウスホイールを知らない』[株式会社Works Human Intelligence] 『エンジニア「ファシリって苦手…」←3つの心得授けたる』 『【TCP/IP】重要な技術すぎる』[株式会社Works Human Intelligence] 『AgentCoreッ!よくもクオータをッ! ◯してやるぞ、◯してやるーッ!!』 『【推しAIエージェント】v0とフォーリンラブ』[株式会社Works Human Intelligen
ce] こういうタイトルをつけるとトップページに載る http://mevius.5ch.net/test/read.cgi/tech/1739527246/858
859: デフォルトの名無しさん [sage] 2025/08/23(土) 14:46:25.99 ID:Jlhf4LRb タイトルじゃなくて本文の質に凝ってもらいたいんだけどな http://mevius.5ch.net/test/read.cgi/tech/1739527246/859
860: デフォルトの名無しさん [sage] 2025/08/23(土) 15:00:47.14 ID:R3xXJSdl 本文はAIが生成するだけだし、何書いてるか投稿者もわかってないから凝れない http://mevius.5ch.net/test/read.cgi/tech/1739527246/860
861: デフォルトの名無しさん [sage] 2025/08/24(日) 02:58:43.26 ID:Qrvb4ZMQ 福岡Elixirコミュニティのデタラメっぷりが凄まじいけど、今の九州って詐欺まがいなことしなきゃ生きていけないくらいの惨状なの? http://mevius.5ch.net/test/read.cgi/tech/1739527246/861
862: デフォルトの名無しさん [] 2025/08/24(日) 08:32:07.01 ID:A1CDiF/H プログラミング言語 クリトリス https://mevius.5ch.net/test/read.cgi/tech/1755991901/ http://mevius.5ch.net/test/read.cgi/tech/1739527246/862
863: デフォルトの名無しさん [sage] 2025/08/24(日) 13:20:07.19 ID:62HKqvUZ 日経クロステックで『イスラエル新興「エヌビディアのGPUより1000倍高速」、光活用のAI計算機』という記事を見たが、たかだか1000倍程度では「最新CPU/GPU/NWを過去のものとする数万倍、高速+超省電力化」というElixirChipの敵ではないなw http://mevius.5ch.net/test/read.cgi/tech/1739527246/863
864: デフォルトの名無しさん [sage] 2025/08/24(日) 14:29:22.07 ID:tSYkoq2u 「値を変数に束縛」って記述を見るとモヤっとするな http://mevius.5ch.net/test/read.cgi/tech/1739527246/864
865: デフォルトの名無しさん [] 2025/08/24(日) 17:26:45.37 ID:A1CDiF/H >>863 全角オジサン http://mevius.5ch.net/test/read.cgi/tech/1739527246/865
866: デフォルトの名無しさん [sage] 2025/08/24(日) 18:15:55.93 ID:T42zIQJU >全角オジサン プロバイダによるんだろうが一バイト文字入ってると「もう余所でやってください。」出て投稿できないのの対策だぞ http://mevius.5ch.net/test/read.cgi/tech/1739527246/866
867: デフォルトの名無しさん [sage] 2025/08/24(日) 19:26:06.29 ID:T42zIQJU 『C++のHello World、23年越しの進化』 puts知らない人かな。 http://mevius.5ch.net/test/read.cgi/tech/1739527246/867
868: デフォルトの名無しさん [sage] 2025/08/24(日) 21:03:09.13 ID:xUQta1y7 鍋谷臭 http://mevius.5ch.net/test/read.cgi/tech/1739527246/868
869: デフォルトの名無しさん [] 2025/08/24(日) 22:55:04.42 ID:62HKqvUZ 鍋谷だったら本人がコメントしてるであろう http://mevius.5ch.net/test/read.cgi/tech/1739527246/869
870: デフォルトの名無しさん [sage] 2025/08/25(月) 01:00:01.07 ID:EitlHfFW 自意識過剰な鍋谷がコメント返してきてる時点で満足できたよ!おやすみ〜! http://mevius.5ch.net/test/read.cgi/tech/1739527246/870
871: デフォルトの名無しさん [sage] 2025/08/25(月) 02:48:14.61 ID:0JwXjeDy 欧米はジャッジしない文化が浸透してる 日本語は「いいね」「良いね」ボタンで価値観を善悪で分ける 英語は「like(好き)」ボタンでジャッジせず個人の感想に留める http://mevius.5ch.net/test/read.cgi/tech/1739527246/871
872: デフォルトの名無しさん [] 2025/08/25(月) 03:48:29.07 ID:hNI1nJq/ >>864 束縛という日本語をコンピュータ用語として転用してるのに元の日本語での使われ方にひきずられて主客が逆だのいってるのがそもそも間違い http://mevius.5ch.net/test/read.cgi/tech/1739527246/872
873: デフォルトの名無しさん [sage] 2025/08/25(月) 06:56:03.13 ID:OEsGKRZP >>872 「値を変数に束縛」で合ってるだろ どこが逆なんだ? http://mevius.5ch.net/test/read.cgi/tech/1739527246/873
874: デフォルトの名無しさん [sage] 2025/08/25(月) 08:08:58.91 ID:WlmCPLTm >>867 欲しけりゃ作れる言語なんだから欲しけりゃ作れとしか http://mevius.5ch.net/test/read.cgi/tech/1739527246/874
875: デフォルトの名無しさん [sage] 2025/08/25(月) 08:18:28.78 ID:WlmCPLTm 本人が別の記事で > ストラウストラップ先生からのアドバイス > あわてるな! 時とともにすべてが明らかになるのだから。 > よいプログラムを書くのに、C++のすべての詳細を知る必要はない。 > 言語機能ではなく、プログラミング技法に集中しよう。 と書いた上での記事というのも笑いどころ http://mevius.5ch.net/test/read.cgi/tech/1739527246/875
876: デフォルトの名無しさん [sage] 2025/08/25(月) 09:20:09.08 ID:8weJ9FR0 要するに名前とその指示対象との対応関係のことなんだからどちらがどちらに束縛されるという表現でもいいじゃないかという考え方もあるし、名前というのは高級言語によって導入された抽象化であってその指示対象に対して二次的な概念に過ぎないから「名前が〜に束縛される」という表現の方が本来の表現ではないかという考え方もある。自分は一応後者の考え方に従っているけど、そんなに強いこだわりはないかな。 これについてはOCamlの五十嵐先生の本にもちょっと
だけ言及があって、その本では「名前が〜に束縛される」という方の表現が採用されているみたいだった。関数型言語の界隈で一般的にそちらの表現の方がメジャーかどうかまでは知らないが。 http://mevius.5ch.net/test/read.cgi/tech/1739527246/876
877: デフォルトの名無しさん [sage] 2025/08/25(月) 09:56:33.15 ID:EO/zzaZJ 単純代入や単純束縛だと変数名が確定しているから変数名が先に来るのもわかる しかしパターンマッチングが主流の現代だと値はマッチング前に既に確定しているが 複数のパターンが並んでいてその中に変数が0個~複数個と各々で存在しどの変数がマッチするか実行まで決まらない すると順に「値を」「(各々の)変数に」「束縛(成功または失敗)」というイメージが正解っぽくみえる http://mevius.5ch.net/test/read.cgi/tech/1739527246/877
878: デフォルトの名無しさん [sage] 2025/08/25(月) 12:36:43.40 ID:srlPQ0qE パターンマッチングのマッチ試行というのは、あくまでもパターンとのマッチングであって、変数とのマッチング(?)ではないような気がするけど。そもそもマッチ試行と名前束縛は区別されるべき別々のフェイズであって、名前束縛は特定のパターンにマッチした後のフェイズなのでは? また、仮にそれは措くとしても、「特定の対象に対応する変数が0 〜 複数個あり得てどれが対応するのか実行時まで決まらない → 値が変数に束縛されるというイメージの方が正解っぽ
く見える」の論理的繋がりがあまり明確でないような……。むしろ逆なのではという感じもするし、特に関係ないようにも感じるし。 http://mevius.5ch.net/test/read.cgi/tech/1739527246/878
879: デフォルトの名無しさん [sage] 2025/08/25(月) 12:56:33.15 ID:jDlX8Dv4 普通の代入がなくて全てパターンマッチングな言語も増えているからな 従来の代入はたまたま変数が一つのパターンと見るのが自然 >>878 両者を区別するのは頭の硬い古い考え http://mevius.5ch.net/test/read.cgi/tech/1739527246/879
880: デフォルトの名無しさん [sage] 2025/08/25(月) 14:11:40.25 ID:srlPQ0qE パターンマッチは、マッチ試行と名前束縛(およびその名前を用いた何らかの処理)という複数のプロセスに分解して理解できるという話と、特定の言語の言語仕様上、それをまとめてパターマッチと呼ぶことがあるという話は普通に両立する話だと思うんだが。 代入をいわゆる変数パターン・キャプチャパターンとのマッチとして整理するという考え方は十分ありうるところだけど、その場合でもマッチ試行と名前束縛というフェイズ分けはできるわけで。 http://mevius.5ch.net/
test/read.cgi/tech/1739527246/880
881: デフォルトの名無しさん [sage] 2025/08/25(月) 14:31:34.25 ID:ZhfKELAH >>880 パターンマッチは型が決まれば任意の値に対して必ず成功するパターンと 値次第で成功も失敗もありうるパターンの二つに明確に二分される 前者にはマッチ試行なんて概念は出てこない いきなり名前束縛のみが起きる 通常の束縛や代入文で現れるパターンマッチングはこれ マッチ試行なんてフェーズはない http://mevius.5ch.net/test/read.cgi/tech/1739527246/881
メモ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 121 レスあります
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.015s