search

kouamano / RECURSIVE-SYSTEM

test for recursive operation
3 stars 1 forks source link

オペレータ表現の変更 #80

Closed kouamano closed 4 years ago

kouamano commented 4 years ago

$xxx$ => {$xxx$ ... }に変更

kouamano commented 4 years ago

@ksakam これも、いま、書き換えてしまいますか？

ksakam commented 4 years ago

@ksakam これも、いま、書き換えてしまいますか？

検証してからのほうがよろしいかと。

kouamano commented 4 years ago

では、コード検証おねがいします。で、次回発表できれば。

なお、ざっとみたところ、$xxx$というパターンを直接検索しておらず、直前の数字までIndicatorPtrを動かしているようです。

ksakam commented 4 years ago

了解ですが、コードの検証というより仕様上の検証がメインと思われます。

kouamano commented 4 years ago

@ksakam 7/16の議論によれば、tq型とlisp型に整理されたことにより、このissueは不要？

ksakam commented 4 years ago

@ksakam 7/16の議論によれば、tq型とlisp型に整理されたことにより、このissueは不要？

と思います。