https://scratch.mit.edu/projects/357130538/
こちらのプログラムはペア数列数の実装をしたはずなのですが、何故かまともに動いてくれません。助けてください。
581
ページ
すべての投稿
Mitsuki1729さんのすべての投稿
expandのbut root(Pair)以降の部分が全く動いていないようです。実際ペアの複製、結合などに使われる(はずの)変数やリストに全く動きがみられません。
（Mitsuki1729さんが編集しました）
「文字列のリストの長さは文字列として結合した時の長さ」はキャストの規則と言うところです。
「文字列のリストのn番目は文字列として結合した後のn番目」については、また語弊を起こしてしまったようですが、もともとPairはペア数列の項を全て結合させたものです。
ペア分解(Pair)は言葉で言えば「Pairの中の最初の閉じかっこを探してそれより前(つまりペア一つ分)を分解ペア保管に入れ、それ以外の部分をまたペア分解にかける、引数のPairがもし空であったならそこでプログラムを止める」と言うプログラムです。文字列をリストとして扱って探索しているわけではありません。
に乗っている記事が参考になると思います。
（Mitsuki1729さんが編集しました）
すいません。少し誤解が起きているようです。
Pairは文字列のリストではなく「文字列のリストの要素を全て順番に並べた文字列」です。リストをリストのまま引数とすることはできません。(できればかなり楽になるんですが…)
（Mitsuki1729さんが編集しました）
すいません。文字列のリストってPairの長さのことだと気づかず…。その場合文字列としての長さになります。
その場所では何でも屋2は「文字列の最初のペアの位置」を表す変数になるので、ペアの長さ - 何でも屋2 - 1 は必ず0以上になります。(0の場合はループを行いません。)
（Mitsuki1729さんが編集しました）
ふぃっしゅ数v1はふぃっしゅ数バージョン1の略です。
S変換は関数→関数の変換と関数と数→数の変換の2ステップに分割できると思うのですが…
（Mitsuki1729さんが編集しました）
f(x)にふぃっしゅ数v1のS変換をn回行ったものを(S^n)f(x)とします。 f(x)から(S^x)f(x)の写像をS(2)変換とします。 S(2)変換と同様にS(x)変換を定義し、f(x)から(S(x)^x)f(x)の写像をS(2,2)、f(x)から(S(2,2)^x)f(x)をS(2,3)、f(x)から(S(2,3)^(S(2,2))f(x))f(x)をS(2,4)、f(x)から(S(2,4)^(S(2,3)^S(2,2)f(x))f(x))f(x)をS(2,5)…(以下同様)、S(2,S(2,x)f(x))をS(3,1)、S(3,S(2,S(3,x)f(x))f(x))をS(4,1)、S(4,S(3,S(2,S(3,S(4,x)f(x))f(x))f(x))f(x))をS(5,1)…とし、S(x,x)をT(x)とします。 これまでの定義の中のSを全てTに置き換えた時にT(x)の代わりにできる変換をU(x)、これまでの定義の中のSをTに置き換えTをUに置き換えた時にU(x)の代わりにできる変換をV(x)…(以下同様にアルファベット順で進める)とした時のZ(63)f(63)(f(x)=x+1)をみっき数(みつきだとなにかと被りそうなので)とするとみっき数はどれくらいですか？ そんな小さい数を(ryだったらそれでもいいです。
（Mitsuki1729さんが編集しました）
巨大数スタジオというところにこれまで作った巨大数プロジェクトを
入れてあります。ふぃっしゅ数v1とv2の仮実装もあるので、ちゃんと実装できているか教えて下さい。
（Mitsuki1729さんが編集しました）