Semua disiplin akademis secara berkala menilai efektivitasnya, mengevaluasi kemajuan penelitian sebelumnya dan menilai pendekatan mana yang berguna dan mana yang tidak. Meskipun tidak ada bidang yang dapat bertahan hidup jika tidak melakukan apa pun selain menilai kemajuannya, penilaian sesekali penting dan jika dilakukan dengan baik dapat membantu memajukan bidang tersebut. Buku ini menyelidik…
Cara mencegah asteroid seberat empat miliar ton bertabrakan dengan bumi; sebuah fantasi teknologi oleh MIT Students System Project. Fantasi teknologi ini, produk dari MIT Students System Project dan inspirasi untuk film "Meteor" tahun 1979, menyajikan sebuah rencana untuk menghindari tabrakan hipotetis antara Bumi dan asteroid Apollo, Icarus, yang melintas setiap sembilan belas tahun dalam jara…
Karya ini merupakan puncak dari kolaborasi selama delapan belas tahun antara Ken Hale dan Samuel Jay Keyser dalam studi sintaksis unsur leksikal. Karya ini menguji hipotesis bahwa perilaku unsur leksikal dapat dijelaskan dalam bentuk sejumlah kecil prinsip yang sangat sederhana. Secara khusus, unsur leksikal diasumsikan memproyeksikan konfigurasi sintaksis yang didefinisikan hanya pada dua rela…
Kumpulan esai asli ini mencerminkan luasnya penelitian terkini dalam ilmu komputer. Kumpulan esai asli ini mencerminkan luasnya penelitian terkini dalam ilmu komputer. Robin Milner, tokoh utama dalam bidang ini, telah memberikan banyak kontribusi mendasar, khususnya dalam ilmu komputer teoretis, teori bahasa pemrograman, dan bahasa pemrograman fungsional. Setelah biografi singkat Milner, buku i…