豊福＠パパイヤです。

ごとけんさん
>>  [1]_q0 みたいな書き方ができると同値類っぽく
>
> なる! []_abc とか {}_foo とか ()_xyz などの
> 文法は嬉しいかも知れませんね。
> 1.3alpha が始まってからお願いしてみようかな。

  ruby の文法として困ることがありそうな気が
なんとなくしたんですが大丈夫ですかね。

> えーっと、代表元をキーとする Hash のよーなモノと
> 見るとすんなりするのでわ? いかがです?

  私も前のメールを出した後、hash と見れば
不自然ではないなと思い、q0 を実際に hash
で実装してはと思いましたが、そうすると
   q0
       ==>[1=>[1, 3, ...], 2=>[2, 4, ...],
           3=>[1, 3, ...], 4=>[2, 4, ...],
           ...]
  （最初の [1, 3, ...] と後の [1, 3, ...] は
    同一オブジェクト。[2, 4, ...] も同様）
となってわかり／使いづらそうですね。
---
			豊福＠パパイヤ
			unbound / papaya.juice.or.jp
			toyofuku / juice.or.jp