991 followers
論理プログラムのセマンティクスが色々あってゴチャゴチャしてたのを綺麗に抽象化できるってのが、Approximation Fixpoint Theoryの魅力なのに、この本ではご都合主義的に仮定を足してまたゴチャゴチャし始めてて、あんまり好きになれない内容だった。
論理プログラムのセマンティクスが色々あってゴチャゴチャしてたのを綺麗に抽象化できるってのが、Approximation Fixpoint Theoryの魅力なのに、この本ではご都合主義的に仮定を足してまたゴチャゴチャし始めてて、あんまり好きになれない内容だった。
やむなく別の文献に課金💸 https://t.co/HbOPUCfo7H