5ちゃんねる ★スマホ版★ ■掲示板に戻る■ 全部 1- 最新50  

■ このスレッドは過去ログ倉庫に格納されています

巨大数探索スレッド10

485 : ◆.Oacidi9ME :2015/05/10(日) 06:39:30.29 ID:Du1eSr9e
連投すみません
T[m](n)を記述するメタ言語を作成しようとしてみました
強さ 結合 種類 表記 意味
N 無 構文 A;BまたはA改行B A式とB式
N 左 説明 A::B Aの例
N 左 説明 ::A コメント
1 右 定義 B→C BはCになる/BとCは同じ意味である
2 左 定義 A=B AはBと置換される :: [11] → [+]
3 無 演算 @A Aを計算する :: @[5-2] → [3]
3 無 演算 #A Aを評価する :: #[[2]*3] → [222]
4 右 演算 A+B AとBを結合する :: [2][3] → [23]
5 右 演算 A*B AをB回繰り返す :: [3]*6 → [333333]
6 無 演算 `A Aの一番外側の括弧を外す
以下例
定義部
[1]*n=@n
[Amn]=(@m)+n
[G1n]=@[3↑]*@[n-1]+[3]
[Gmn]=([G((]+@[m-1]+[)])*m+[(n)]+[)]*m
::G23 → G(1)(G(1)(3)) → G(1)(@[3↑]*[2]+[3]) → G(1)(@[3↑3↑3]) → @[3↑]*@[(3↑3↑3)-1]+[3] → @[3→3→(3→3→3)]
実行
G(A(111111)1111))1111
以上例
・・・アレ?定義部自体があれなんだが・・・定義部T[13](80),実行部T[5](21),しめてT[13](101)

347 KB
■ このスレッドは過去ログ倉庫に格納されています

★スマホ版★ 掲示板に戻る 全部 前100 次100 最新50

read.cgi ver 05.04.02 2018/11/22 Walang Kapalit ★
FOX ★ DSO(Dynamic Shared Object)