Avatar
koher 4/9/2018 1:51 PM
うーん、プロトコルじゃないんですね。なら一意に定まりそうですねぇ。
1:53 PM
𝐑 * 𝐑 は一通りしかないはずなんですよね… 𝐑 * M みたいな感じで係数になりうるケースはあるので、その辺がマッチしちゃってるんだと思うんですが…
𝐑 * 𝐑 ではなく𝐑 * ? で探索始めちゃってるんですかねぇ？コンパイラの内部の挙動を確認しないとわからなさそう・・・。