>>663
> 661 じゃないけど、証明自体は有名なものです。

だからそれは、「y が N に比例」すると仮定した場合だろ ?
一般的な回路でほんとにそうなるのか ?
例えば、入力を２値に弁別するのはコンパレータひとつで済むけど、３値ならコンパレータ二個いるよ。


>>669
> ていうか、むかしのIBMのマシンって10進のマイクロコード使ってなかったけ？

それは、表現だけじゃなくて ? ソースある ?