【数学】巨大数 速報 Show more
バシク行システムを「ラムダ計算」なるものに対応させることで、その停止性を証明できるかもしれないとの研究が上がってますね。成功したら物凄いことです。
https://twitter.com/damastein/status/1591033467667910656
ボーカロイド好きが集うMastodonインスタンス、通称「ボカロ丼（ボカロドン）」です。 ** This server is for "Vocaloid" lovers. If you are not, please select other server. **
