#多値と多価って同じ物を指すんですか？
#多値関数と言った場合、いくつかの(意味的に別な)値を返す関数を指す場合と、いくつもの値が有り得る関数を指す場合がある。プログラミング言語での多値関数は前者。数学での複素初等関数は後者。多価関数と言うと曖昧さなく後者のことを指す。
#多価関数は amb 評価器だときれいに書けそうですよね。
#実際問題としては、特定の範囲に枝刈りして数値計算するので十分なことは多いですが (例えばarcsin(1) = (1/2 + 2n)π だけど、値域を制限しちゃってπ/2のみを答えにするとか)
#多価関数の値を無限(かもしれない)集合と考えて集合ごと計算しようとするなら、ambで表現できるでしょうね。
#なるほど、multi-value っていってもいろんな意味があるんだなあ
#kahuaのtrunkって、thread-poolはGaucheのやつを使うようになったんだっけ。
#ソースからはkahua/thread-pool.scmは除かれてるんだけど、Makefile.inに残ってるようだ。
#おお
#make installしてないのがばればれ
#コミットしました。失礼しました。
Gauche > Archives > 2010/08/04