Kuniwak

// https://chat.openai.com/share/a75ee402-3131-4ee8-9a9d-54bf1b81071c
using System;

namespace Playground.CopilotTDD.Tests
{
    public static class NumberGenerator
    {
        public static int GetBetween0To100BySeed(int seed)
        {
            // 線形合同法のパラメータ

Kuniwak

M: ℕ     （支払い金額）
S: coin multiset     （財布）
W1, W2, W3: coin multiset     （渡す貨幣）
O1, O2, O3: coin multiset     （お釣り）
submultiset: 'a multiset ⇒ 'a multiset ⇒ bool     （多重集合が包含されていれば真、そうでなければ偽）
card: 'a multiset ⇒ ℕ     （多重集合の要素数）
norm: coin multiset ⇒ bool     （貨幣の多重集合が正規形であれば真、そうでなければ偽）
val: coin multiset ⇒ ℕ     （貨幣の多重集合の価値）
Pay(M, S, O, W) ≡ submultiset(W1, S) ∧ val(W) - val(O) = M ∧ norm(O) ∧ norm(S - W + O)     （支払い関係が成立していれば真、そうでなければ偽）

Kuniwak

package main

import (
	"encoding/json"
	"fmt"
	"net/http"
	"os"
	"strconv"
)