fixedpoint.jp - Implementation of "A Space-efficient Goedel Numbering with Chinese Remainder Theorem"




Implementation of "A Space-efficient Goedel Numbering with Chinese Remainder Theorem"

2009/12/27 に書いたように、"A Space-efficient Goedel Numbering with Chinese Remainder Theorem" の実装を行いました。多倍長の算術演算が標準に備わっている Scheme によるものです。

テストとともに http://github.com/tabe/goedel-number/ で公開しました。

コードにしてみると

ということが分かりました。


© 2006-2010 Takeshi Abe