330(1): デフォルトの名無しさん [] 2024/06/24(月) 10:35:24.72 ID:DSxd+1cL(1) AAS
統合失調症 100人い１人
本当に音波電磁波攻撃だった場合
統合失調症の寿命は短いからして殺害されている

トロッコ問題にあてはめると
Aの線路に電磁波攻撃をしている者が100人いる
Bの線路に被害者が１人いる
トロッコに乗っている者も第三者
切り替えポイントに第３者がいる
間違いなく選んだ方の線路の者は全員死亡する

あなたはどちらを助けますか?

329(2): デフォルトの名無しさん [sage] 2024/06/24(月) 09:09:09.41 ID:sUiNH5u5(1) AAS
>>328
六次式でいいなら一瞬でできるでしょ

334(2): デフォルトの名無しさん [sage] 2024/06/24(月) 16:21:31.19 ID:jX1oxSab(2/5) AAS
>>333
//1→2
//2→1
//3→3
(1) 四則演算のみ:
y=2*(x-2)(x-3)+1*(x-1)(x-3)+3*(x-1)(x-2);
規則は、y0*(x-x1)(x-x2)のようなパターンを
サイクリック(循環的)に繰り返す。

(2)三項演算子、その1
y=x==1?2:(x==2?1:(x==3?3:0));

(3)三項演算子、その2
y= (x==1?2:0) + (x==2?1:0) + (x==3?3:0);

508(1): デフォルトの名無しさん [] 2024/06/30(日) 16:59:35.48 ID:WATrci3L(3/4) AAS
質問です。

.map(|(i, line)| line.map(|line| println!("{}: {line}", i + 1)))
↑
line.mapは文字列へのmapで１文字１文字に番号振ってる様に見えますが、違うのでしょうか？
素直に

.map(|(i, line)| println!("{}: {line}", i + 1))

とは出来ないのでしょうか？

628(2): デフォルトの名無しさん [] 2024/07/07(日) 16:52:52.64 ID:7aG8TPof(2/2) AAS
大きなプログラムを実際に書かずに、本を読むだけで、この言語のこの仕様は悪いとか良いとか判断できるようになりますか？

683(1): デフォルトの名無しさん [sage] 2024/07/09(火) 20:49:10.75 ID:sTXYSGuF(1/2) AAS
簡単な話だよな
オブジェクト指向プログラミングで
例えばクラスを使うと
LSPに違反する二つの型のコード例を容易に作れてしまう
つまりクラスは本質的に欠陥品なんだよ

Rustのトレイトを使うと
LSPに違反する二つの型のコード例を作ることができない
つまりRustのトレイトは優れた方式なんだよ

812(3): デフォルトの名無しさん [sage] 2024/07/13(土) 10:59:18.93 ID:SqKWY/h6(1) AAS
>>767 >>768
>traitが実装される具体的な型は全てsubtypeに相当する兄弟同士であるため
>supertrait/subtraitの場合に例えばある構造体についてそのインスタンスはどちらも同一になるから
どちらも同じ勘違いをしてるよ
よく読もうね

What is wanted here is something like the following substitution property:
If for each object o1 of type S there is an object o2 of type T such that for all programs P defined in terms of T,
the behavior of P is unchanged when o1 is substituted for o2 then S is a subtype of T

814(1): デフォルトの名無しさん [sage] 2024/07/13(土) 11:14:27.08 ID:3n/3tOrD(1) AAS
>>812
そこでRustの場合はTがトレイトでSが構造体などの各型で
「impl T for S 」とS型にトレイトTを実装して
「let o1: S = ...」がS型の値(＝オブジェクト)になる
『object o1 of type S』　←存在する
『object o2 of type T』　←存在しない
したがってRustのトレイトはLSPとなんら関係がない

816(1): デフォルトの名無しさん [sage] 2024/07/13(土) 11:44:56.49 ID:4Ly9sDTU(1) AAS
>>815
fn foo(x: impl T)は単相化されて
fn foo(x: S1)と
fn foo(x: S2)の二つの関数になるんだよ
いずれにしてもxはS1の値かS2の値であって
Tの値は存在しないね