[過去ﾛｸﾞ]
Qiita 6 - キータぞ、来たぞ、キータだぞー (1002ﾚｽ)
Qiita 6 - キータぞ、来たぞ、キータだぞー http://mevius.5ch.net/test/read.cgi/tech/1739527246/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
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
882: デフォルトの名無しさん [sage] 2025/08/25(月) 14:39:30.63 ID:srlPQ0qE 上でマッチ試行といっているのは、複数（1個の場合もありうる）のパターンのどれがマッチするかを決定するプロセスのことね。この意味のマッチ試行はパターンマッチには必ず存在すると思うけど？ 一般的な代入をパターンマッチと見るなら、マッチ対象としてのパターン（変数パターン・キャプチャパターン）は1つしか与えられておらず、かつ変数パターン・キャプチャパターンは常にマッチが成功するというだけ。OK? http://mevius.5ch.net/test/read.cgi/tech/1739527246/882
883: デフォルトの名無しさん [sage] 2025/08/25(月) 14:59:16.48 ID:ObvBiXjx 対象となる型とパターンによって、静的にrefutableか否かが確定する。 irrefutableなパターンには、マッチ試行という行為どころかその概念すら存在しない。 http://mevius.5ch.net/test/read.cgi/tech/1739527246/883
884: デフォルトの名無しさん [sage] 2025/08/25(月) 15:21:06.37 ID:nKaFri9X そんなに難しいことを言っているつもりはないんだけどな。 たとえばPythonのmatch文なら、各caseブロックに掲げられているパターンのいずれかにマッチしてそのcaseブロックのコードが実行されるのか、あるいはどのパターンにもマッチしないのかということが決定されるプロセスのことを便宜上「マッチ試行」と呼んでいるだけなんだが。 用語法が気に入らないというなら別に他の用語でもいいけれど、どこに引っ掛かっているのか、元の>>877との関係で何を主張したいのかがよく分からないな。 http://mevius.5ch.net/test/read.cgi/tech/1739527246/884
885: デフォルトの名無しさん [sage] 2025/08/25(月) 15:31:47.26 ID:ObvBiXjx irrefutableなパターンは必ずマッチし必ず束縛が起きる。 match文のような試行による場合分けを必要としない。 irrefutableか否かは実行前に静的に判明する。 http://mevius.5ch.net/test/read.cgi/tech/1739527246/885
886: デフォルトの名無しさん [sage] 2025/08/25(月) 15:51:21.92 ID:srlPQ0qE 常にマッチに成功するパターンであることが実行前に判明しているからといって、それがマッチ試行（別の名前でも構わないが）をというフェイズを観念すること、特に名前束縛と区別されるフェイズとして観念することの障害になるとは思わないが。 常にマッチに成功するパターンであることが実行前に判明しているパターンであれば、実行時のコストがないので良かったねというだけの話だと思うんだがな。 http://mevius.5ch.net/test/read.cgi/tech/1739527246/886
887: デフォルトの名無しさん [] 2025/08/25(月) 18:23:24.53 ID:vHlOrEFX うざい http://mevius.5ch.net/test/read.cgi/tech/1739527246/887
888: デフォルトの名無しさん [sage] 2025/08/27(水) 21:45:27.82 ID:eb4ghrLT 重盛雅人さん、６月上旬から７月上旬にＡＩに吐かせたデタラメ記事投稿しまくってたけどピッタリ止まったなｗ http://mevius.5ch.net/test/read.cgi/tech/1739527246/888
889: デフォルトの名無しさん [sage] 2025/08/27(水) 22:17:44.63 ID:bqhIS4hH 転職先みつかったんじゃないの？自分の周りにいるかもしれないと思うと怖いけどw （もちろん、思想や技術力、意識高すぎで怖いなー！って意味です。） http://mevius.5ch.net/test/read.cgi/tech/1739527246/889
890: 525 [sage] 2025/08/28(木) 01:43:28.31 ID:ujmUIFuN > プロフィールの自画像らしき画像みるといい年したオッサンのようなのだけど、経験や知識が乏しい若造が見栄張りたいんだかなんかでしそうなことなんでこんなオッサンがするかなあ? と思ったのだけど、自画像も生成画像の可能性もあるか。 に > 身元がはっきりしている人が身元を保証するようなコメント・会話したら本人の可能性が高まる とコメントしたらいなくなった プロフィール画像も記事もAIというネタ http://mevius.5ch.net/test/read.cgi/tech/1739527246/890
891: デフォルトの名無しさん [sage] 2025/08/28(木) 07:50:45.18 ID:qxkZDpeA ツイッタで先月末に ＞この度、Qiita Tech Festaにて最優秀賞を受賞いたしました。業務の都合で当日参加できなかったことは残念でしたが、このような素晴らしい賞をいただけたことを大変光栄に思います。関係者の皆様、そして応援してくださった皆様に心より感謝申し上げます。 と呟いたあとは今月一回呟いただけかあ。 http://mevius.5ch.net/test/read.cgi/tech/1739527246/891
892: デフォルトの名無しさん [sage] 2025/08/28(木) 20:50:59.02 ID:YfXKp/4u Claude Code UIレビュー：スマホからでもAIコーディングが可能に！開発効率が劇的向上 --- そして、ブラウザで以下のURLにアクセスします： ローカル：http://localhost:5173/ ネットワーク：http://192.168.10.79:5173 --- バ〇丸出しで爆笑したんだがw 一歩間違えればセキュリティ事故 ちなみにこんなんでハートが100超えてる。 http://mevius.5ch.net/test/read.cgi/tech/1739527246/892
893: デフォルトの名無しさん [sage] 2025/08/28(木) 21:12:41.99 ID:dVcVvjwE プライベートIPアドレス帯をグローバル公開でもしてんの? http://mevius.5ch.net/test/read.cgi/tech/1739527246/893
894: デフォルトの名無しさん [sage] 2025/08/28(木) 21:46:33.48 ID:YfXKp/4u うん、誰かコメントしてあげるのがいいんじゃないかな（めんどくさいからもちろんボクはしませんw） > 公開されている 192.168.10.79 はプライベートネットワークのアドレスなので、他の読者はアクセスできません。単なる、記事執筆時点でのあなたのPCのプライベートIPアドレスでしかない可能性もなくはありません。記事では <your-ip> のように置き換えておくとより親切かもしれません 👍 ついでに 192.168 の意味とかRFCとかも引用してあげると好感度upじゃないかな。 http://mevius.5ch.net/test/read.cgi/tech/1739527246/894
895: デフォルトの名無しさん [sage] 2025/08/28(木) 22:49:45.05 ID:Qw7a7WjR >>892 > 初回アクセス時には、ユーザー名とパスワードを設定するだけで、すぐに使い始められます。 パスワードが破られなければセキュリティ事故にならなくない？ http://mevius.5ch.net/test/read.cgi/tech/1739527246/895
896: デフォルトの名無しさん [sage] 2025/08/28(木) 23:20:26.39 ID:YfXKp/4u おいおい、なんでここでSC試験の問いに出てくるアホ設定の若者の相手しなきゃいけないんだよw http://mevius.5ch.net/test/read.cgi/tech/1739527246/896
897: デフォルトの名無しさん [sage] 2025/08/28(木) 23:38:03.08 ID:Qw7a7WjR それはおまえの発言がインターネット（不特定多数）に公開されてるからだろ 自分しか参照できない場所に書けばいいんじゃない？（二度と５ｃｈに投稿するな） http://mevius.5ch.net/test/read.cgi/tech/1739527246/897
898: デフォルトの名無しさん [sage] 2025/08/28(木) 23:46:50.90 ID:YfXKp/4u いくらでも投稿するよ〜ん（笑） http://mevius.5ch.net/test/read.cgi/tech/1739527246/898
899: デフォルトの名無しさん [sage] 2025/08/29(金) 10:06:25.14 ID:O16jShy/ >> 897 本人にしか言えないキレ論理だな http://mevius.5ch.net/test/read.cgi/tech/1739527246/899
900: デフォルトの名無しさん [sage] 2025/08/29(金) 22:40:43.95 ID:7lde8q8i 『バブルソートでわかるRISC-Vのきれいさ』 クソコードできれいさを語るのは何故なのか? http://mevius.5ch.net/test/read.cgi/tech/1739527246/900
901: デフォルトの名無しさん [] 2025/08/30(土) 02:55:22.61 ID:cASASKMm >>900 そいつはCPUとメモリとのやりとりが遅いことがわかってないな 8086のアセンブラを知らないから、高水準言語のようなやり方をしている。 しかもコメントもわかりにくいし、ジャンプ命令の行はコメントがない。 コメントにコード比較を書いてみたり、日本語を書いてみたりと他人に見せるもんじゃねえな。 http://mevius.5ch.net/test/read.cgi/tech/1739527246/901
902: デフォルトの名無しさん [sage] 2025/08/30(土) 06:59:58.86 ID:4+92gjub CISCと比べてRISCきれいつっても、みんな知っとることを今更何？なんだよなあ http://mevius.5ch.net/test/read.cgi/tech/1739527246/902
903: デフォルトの名無しさん [sage] 2025/08/30(土) 07:16:23.33 ID:4+92gjub あとはまあ、知っている奴にはわかるが知っていない奴にはわからない無意味記事だよなこれ http://mevius.5ch.net/test/read.cgi/tech/1739527246/903
904: デフォルトの名無しさん [] 2025/08/30(土) 11:01:18.74 ID:suEHjCIt 0.知っている奴にはわかるが知っていない奴にはわからない 1.知っている奴でもわからない知っていない奴にもわからない 2.知っている奴にはわからないが知っていない奴にはわかる 3.知っている奴にはわかる知っていない奴にもわかる たぶん3が意味があるんだろうけど天才肌は1か2だろうな http://mevius.5ch.net/test/read.cgi/tech/1739527246/904
905: デフォルトの名無しさん [] 2025/08/30(土) 12:47:41.71 ID:cASASKMm CPUの仕組みの変化の話をアセンブラのコード量で語るのはおかしいし、半導体としてのCPUの進化を無視しているのも謎。 AIチップなどの特定のロジックを半導体化することを否定する記事。 http://mevius.5ch.net/test/read.cgi/tech/1739527246/905
906: デフォルトの名無しさん [sage] 2025/08/30(土) 14:42:08.38 ID:vxiJTEr3 > 比較したいいところ > 1. 命令フォーマットが規則的で読みやすい > x86版では > > cmp al, [si+1] > jl common > xchg al, [si+1] > mov [si], al > のように「レジスタ＋メモリ」「メモリ＋メモリ」が混ざっていて、例外的なルール (xchg は直接使えないから mov に分ける) があります。 と解説してて、記事中のコードの該当部分は > cmp eax, ebx > jle no_swap > mov [array + esi*4], ebx > mov [array + esi*4 + 4], eax となってるのが味わい深い。 投稿者がコードと記事の両方を理解して書いてたらこうはならないと思うのでAIにやらせてんだろうなあ。 http://mevius.5ch.net/test/read.cgi/tech/1739527246/906
ﾒﾓ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 96 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.020s