good guys are…

belakangan ini, saya kembali teringat omongannya Karen Kasumi yang entah kenapa sangat memorable itu. bukan kenapa-kenapa, tapi kutipannya sendiri cukup catchy, sekaligus ‘kontroversial’, sekaligus pula mengundang untuk disanggah dan didebat… walaupun, sampai saat ini saya masih belum menemukan bukti yang benar-benar mantap maupun sanggahan yang benar-benar telak untuk soal ini.

ah sudahlah, langsung saja deh. pembaca, anda mungkin masih ingat kutipan yang sempat saya singgung sambil lewat beberapa waktu yang lalu ini.

good guys are either taken or gay.

menarik. catchy. dan ‘kontroversial’ dengan caranya sendiri. dan yang menyebalkan, hal ini mungkin akan diamini dengan penuh semangat oleh para kaum hawa di luar sana.

huh. menyebalkan. tapi, apa iya? mari kita coba buktikan.

sebelumnya, kita definisikan dulu ‘cowok baik’. apa kriteria yang membuat seorang cowok dapat dimasukkan ke dalam kategori cowok baik?

berdasarkan konsensus umum, mari kita tetapkan bahwa ‘cowok baik’ adalah seorang cowok dengan karakteristik sebagai berikut: (1) setia (2) jujur (3) ramah dan sopan (4) bisa diandalkan (5) punya prinsip (6) bisa membawa diri. kenapa parameternya begitu, mari kita tetapkan sebagai konsensus bahwa penilaian ‘baik’ di sini akan difokuskan kepada aspek kepribadian.

tentu saja, siapa yang peduli soal tampang? cowok itu, yang penting nggak berantakan atau kucel! minimal, rapi dan enak dilihat. lagipula, bukankah ada ungkapan bahwa ‘cowok itu karena baik makanya jadi ganteng?’ :mrgreen:

sekarang, mari kita tinjau kembali kutipan tadi. secara umum, kutipan tersebut dapat diterjemahkan dalam bentuk preposisi logika sebagai berikut.

(good guy) -> (taken) OR (gay)

dengan tanda panah menyatakan implikasi, di mana seorang ‘cowok baik’ selalu diikuti kenyataan bahwa orang tersebut sudah punya pasangan, atau gay. perlu diperhatikan bahwa hal ini tidak berlaku sebaliknya; belum tentu cowok yang sudah punya pasangan atau cowok gay adalah cowok baik!

dari sini, untuk menyanggah pernyataan tersebut, kita perlu mencari counterexample; kita perlu cowok baik yang masih single, dan juga bukan seorang gay.

tidak susah. saya pernah menemukan cowok jenis ini — review kembali kriteria di atas. nggak banyak sih, tapi ya ada. jadi dengan demikian, preposisi tersebut tidak berlaku. tapi, sekarang bagian serunya: bagaimana caranya kita mendefinisikan preposisi baru yang berlaku umum? 😀

berdasarkan counterexample yang ditemukan, tampak bahwa walaupun ada juga instance ‘cowok baik’ yang bukan gay dan tidak dalam keadaan memiliki hubungan dengan komitmen, tapi ada atribut yang unik; ternyata, dalam ruang sampel ini, subyek sudah menemukan seorang gadis yang disukainya! 😯

tentu saja, dengan demikian preposisi tersebut harus dirombak supaya tetap valid. jadi, saya mengusulkan preposisi seperti ini.

(good guy) -> (taken) OR (gay) OR (in love)

masuk akal. walaupun dalam taraf yang lebih rendah daripada ‘taken’, tapi keseluruhan sampel ‘cowok baik’ di sini masih terpenuhi dengan preposisi baru tersebut. kalau bukan sudah punya pasangan, ya biasanya sudah ada gadis beruntung yang kejatuhan cintanya. kalau nggak, ya mungkin memang gay… jadi preposisi tersebut dapat diajukan sebagai pengganti preposisi awal.

tapi, tapi, ada masalah lain! 😯

baru-baru ini, ditemukan beberapa sampel baru terkait ‘cowok baik’ ini. masalahnya, keadaannya tidak sesuai dengan preposisi yang diajukan; masih single, bukan gay, dan tidak sedang jatuh cinta. tentu saja, preposisi tersebut harus dirombak lagi.

argh. menyusahkan saja. tapi mari kita cari pola dan hubungan yang mungkin dari konteks ini.

ternyata, ditemukan bahwa sampel ini punya karakteristik yang cukup unik: masing-masing contoh ternyata pernah mengalami patah hati tingkat menengah-sampai-parah, setidaknya satu kali. masuk akal, tapi ada yang mengganjal — karena diketahui bahwa ‘patah hati’ tidak memiliki korelasi khusus dengan ‘menjadi cowok baik’.

secara sederhana, konsepsi ‘cowok patah hati’ bisa digambarkan dengan implikasi berikut.

(broken) -> (good guy) XOR (total jerk)

wajar sih. tapi ini masih belum menjelaskan mengenai sampel yang tadi disebutkan. cowok baik, patah hati tingkat parah, dan tidak menjadi brengsek. hmm, tampaknya, ada yang masih kurang di sini… tapi, mari kita coba pendekatan berikut.

[(broken) -> (good guy)] <-> [(kind) AND (stubborn)]

preposisi ini tampak menarik, bahwa cowok yang pernah patah hati tingkat parah akan menjadi ‘cowok baik’ jika dan hanya jika dia ternyata masih punya kebaikan hati dan cukup keras kepala untuk itu.

menarik, jadi dengan demikian kita bisa menurunkan preposisi baru dari sana, untuk sebuah preposisi yang berlaku umum pada sampel yang telah ditemukan sejauh ini.

dengan demikian, preposisi baru yang diajukan sebagai berikut.

(good guy) -> (taken) OR (gay) OR (in love) OR [(broken) AND (kind) AND (stubborn)]

hei. ternyata preposisi tersebut berlaku untuk semua contoh kasus di ruang sampel. dengan demikian, kita dapat mengklaim bahwa preposisi tersebut berlaku umum untuk berbagai keadaan — atau setidaknya, keadaan-keadaan yang diobservasi di ruang sampel.

pada tahap ini, kita sudah mendapatkan sebuah ungkapan baru yang merupakan pengembangan dari preposisi Kasumi yang telah didiskusikan sebelumnya, sehingga:

good guys are either taken, gay, or in love… or broken, but stubbornly kind.

perlu diperhatikan bahwa walaupun terdapat issue yang harus diperhatikan lebih lanjut dalam ruang sampel yang lebih besar, namun pendekatan dalam preposisi ini mampu menjelaskan hal-hal di luar ruang lingkup dari preposisi Kasumi yang telah didiskusikan.

sebagai catatan akhir, pendekatan yang diajukan di sini difokuskan kepada logika kombinatorik, dengan asumsi bahwa atribut-atribut dari contoh kasus di ruang sampel tidak bersifat terkait-waktu. pendekatan logika waktu-linear (linear-time logic) dengan predikat yang bersifat temporer (temporal properties) merupakan hal yang menggoda untuk dieksplorasi lebih lanjut, mungkin untuk pekerjaan selanjutnya di masa depan. future work. :mrgreen:

kartu tahun baru, 2009

melanjutkan kebiasaan terkait proyek-sambil-iseng yang dimulai setahun lalu, maka tahun ini pun saya kembali menyibukkan diri (haiyah!) dengan membuat desain kartu digital untuk tahun baru kali ini. agak berbeda dengan tahun lalu, kali ini ada sedikit kesibukan yang membuat proyek-sambil-iseng kali ini agak terhambat. tapi apapunlah, yang penting bisa selesai, tidak ada masalah, kan?

tahun baru kali ini, saya kembali berada di rumah yang mendadak sibuk karena kedatangan cukup banyak tamu menjelang pergantian tahun. lumayan sibuk sih, tapi toh masih jauh lebih menyenangkan daripada satu sesi coding atau programming di depan komputer. dan tentu saja, dengan sejumlah paman-bibi-sepupu yang jarang-jarang bisa ketemu apalagi ngobrol dengan santai, untuk apa pula saya menghabiskan waktu di depan komputer dan koneksi internet? :mrgreen:

jadi mohon maafkan keterlambatan ucapan selamat tahun baru dari saya. sekarang ini sih sudah setengah hari lewat sejak awal tanggal 1 Januari 2009, tapi ya sudahlah — ada sepotong kartu tahun baru dari saya, untuk anda pembaca yang kebetulan sedang membaca halaman ini.

[2009-NewYear]

edisi kali ini, ungkapan selamat tahun baru dari keluarga di Britannia. selamat tahun baru, pembaca.

seperti biasa, tak ketinggalan pula ungkapan selamat tahun baru dari saya bagi anda pembaca yang telah berkenan mengunjungi rumah maya saya yang sederhana ini. terima kasih pula untuk anda pembaca yang telah menemani perjalanan selama setahun terakhir ini dengan segala komentar, kritik, saran, maupun kontak langsung melalui e-mail dan instant messaging.

wishing you the best of luck for another next year…

Happy New Year!