Symmetry in Moorish and other ornaments
نویسندگان
چکیده
منابع مشابه
Ornaments in practice, higher-order ornaments
6 Syntactic ornaments in the binary language 21 6.1 From ornaments to projection . . . . . . . . . . . . . . . . . . . . . . . . . . 24 6.2 Syntax of the binary language . . . . . . . . . . . . . . . . . . . . . . . . . . 25 6.3 Projection . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27 6.4 Datatype environment . . . . . . . . . . . . . . . . . . . . . . . . . . ....
متن کاملMirror Symmetry and Other Miracles in Superstring Theory
The dominance of string theory in the research landscape of quantum gravity physics (despite any direct experimental evidence) can, I think, be justified in a variety of ways. Here I focus on an argument from mathematical fertility, broadly similar to Hilary Putnam’s ‘no miracles argument’ that, I argue, many string theorists in fact espouse. String theory leads to many surprising, useful, and ...
متن کاملProgramming with ornaments
Dependently typed programming advocates the use of various indexed versions of the same shape of data, but the formal relationship among these structurally similar datatypes usually needs to be established manually and tediously. Ornaments have been proposed as a formal mechanism to manage the relationships between such datatype variants. In this paper, we conduct a case study under an ornament...
متن کاملThe essence of ornaments
Functional programmers from all horizons strive to use, and sometimes abuse, their favorite type system in order to capture the invariants of their programs. A widely-used tool in that trade consists in defining finely-indexed datatypes. Operationally, these types classify the programmer’s data, following the ML tradition. Logically, these types enforce the program invariants in a novel manner....
متن کاملChapter 10 --sexual Ornaments and Mate Choice Mate Choice and Sexual Ornaments
Get out of your chair and go look at some animals behaving. I hope that spring is in the air so that you can see animals courting and mating. Look at insects, birds, mammals, or reptiles. Go to the beach and look at the fiddler crabs. So sad if the dead of winter has set in and animals aren’t engaged in mating rituals. Look at fish in an aquarium. Go to a tropical fish store and look at a tank ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Computers & Mathematics with Applications
سال: 1986
ISSN: 0898-1221
DOI: 10.1016/0898-1221(86)90416-5