種別[gsm] 2022-06-26T07:52:25Z
セクショングローバル共有メモ
日時2022-06-26T07:52:25Z
元URL(URLなし)

最後までたどり着く、対角への変換のしかたが一つ見つかったが、それも実際の関数への…

jrf> 最後までたどり着く、対角への変換のしかたが一つ見つかったが、それも実際の関数への代入を実行するとエラーが出てしまう。orz つまり、ArraySubs の段階で対角(diagonal)にするか縮約(contraction)するか何かが必要ということなんだろうな…。でも、私はここでギブアップし、コードはコメントアウトして残すことにした。