... Set ( μ Fk ) decode → : data μ { 1 } { S } { I } ( F : ( s : S ) → IR { 1 } I ( I s ) ) ( j : Size ) ( s : S ) Set where ( - ) μF js decode V { } { S } ...
確定! 回上一頁