これでできましたね。38(1): はちみつ餃子◆8X2XSCHEME (ワッチョイ 6332-x8bn) [sage] 2025/05/07(水) 23:14:20.16 ID:jrPMMEx+0(3/4) AAS
>>35
与えている要素の個数に間違いがないことを確実にしたいというのが目的だとしたらこういう関数を定義するのはどうだろう。
外部リンク:wandbox.org
そうでしたか45(1): はちみつ餃子◆8X2XSCHEME (ワッチョイ 6332-x8bn) [sage] 2025/05/08(木) 08:59:22.62 ID:aAWkv5hi0(2/3) AAS
>>44
それは特に裏の意味はないよ。
全ての U が T に変換可能 (convertible) であるという制約を入れてる。