[過去ﾛｸﾞ]
Qiita 6 - キータぞ、来たぞ、キータだぞー (1002ﾚｽ)
Qiita 6 - キータぞ、来たぞ、キータだぞー http://mevius.5ch.net/test/read.cgi/tech/1739527246/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
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
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
ﾒﾓ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 105 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.012s