search

sazare / readings

memo for my readings of papers, books about here.
0 stars 0 forks source link

Linear Unification #16

Open sazare opened 4 years ago

sazare commented 4 years ago

Linear Unification by M. S. PATERSON 1976

linear unificationのlinearは処理の性能が入力に対して線形だという意味らしい。 まじか

sazare commented 4 years ago

substitutionは、

The substitution is to be carried out simultaneously on all variable occurrences. これはp-notationによる方式と同じように思う simultaneouslyの解釈は曖昧さがあるけど

sazare commented 4 years ago

Example 3で、simulteniousなはずのsubstitutionが左から順に実行されることになってしまった。 性能に影響がないだろうか。

unificationのcomplexityはsubstitutionのcomplexityに影響を受けるので、そんなに簡単なものではないような気がする

sazare commented 3 years ago

最初に言ってることが次のページで捨てられていて、読む気がうせた