西松と申します。複素数を多用する数値計算をしています。

--- in [yarv-dev:1122] SASADA Koichi wrote:
> 　Float の高速化ですが，いくつか案があり，それぞれ得失があります．
> で，とりあえず 64bit 前提に考えています．
> 
> 　高速化は，主に Float の「埋め込み」によって行おうと考えています．
> 要するに，Fixnum と Bignum の関係です．Fixnum はヒープ上にメモリをア
> ロケートしていません．Float はヒープ上にメモリをアロケートしているの
> で，たくさん数値計算をすると GC が発生します．

複素数の高速計算のことも忘れてもらっちゃ困るのです。C99とFortranでは
複素数は２個つづきの実数です。

で、ぼくがつねづね夢想しているのが「富豪的VALUE型」です。たとえば、
5x64=320bitの富豪的VALUE型は[0][1][2][3][4]の形をしていて、[0]には
オブジェクトの種類、すなわち[1]以降に何が入っているのか、または、true,
false,　nilくらいの即値が格納されます。[1]以降は倍精度実数だったら[1]
だけにそれが、倍精度複素数だったら[1][2]に、さらには倍精度のハミルトン
の四元数まで表すことができて[1][2][3][4]をすべて使います。それぞれが
64bit整数ってのもありです。これなら各数値演算にCPUの機能をそのまま使え
ます。[0]が俺は文字列だと言っているなら、[1]にはポインタが[2]には
サイズが入ります。CやFortranの整数、実数、複素数の配列も同様に[1]には
ポインタが[2]にはサイズが入ります。[3][4]も使えば３次元配列まで表せ
ます。基本的なオブジェクトはデータ以外の属性を余裕のある[1][2][3][4]
に格納するわけです。

シロウトが夢を語って申し訳ありませんでした。

参考リンク：
富豪的プログラミング http://pitecan.com/articles/Bit/Fugo/fugo.html
ハミルトンの四元数 http://ja.wikipedia.org/wiki/%E5%9B%9B%E5%85%83%E6%95%B0
-- 
love && peace && free_software
西松タケシ



--
ML: yarv-dev quickml.atdot.net
Info: http://www.atdot.net/~ko1/quickml