2017-12-09から1日間の記事一覧
ここで自然数の世界からゲーデル数の世界に入ります GNumberなどの型がやっと登場 定数 (define c0 : GSymbol (gsymbol (gnumber 1))) (define cf : GSymbol (gsymbol (gnumber 3))) : : (define c0 : GSymbol 1)ではエラーになるのはしかたないんだけど ち…
ここで自然数の世界からゲーデル数の世界に入ります GNumberなどの型がやっと登場 定数 (define c0 : GSymbol (gsymbol (gnumber 1))) (define cf : GSymbol (gsymbol (gnumber 3))) : : (define c0 : GSymbol 1)ではエラーになるのはしかたないんだけど ち…