stanford-oval/wikipedia huggingface dataset:
Programlama dili teorisi
Alt disiplinler ve ilgili alanlar

Programlama dili teorisi içinde yer alan veya üzerinde derin bir etkisi olan birkaç çalışma alanı vardır; bunların birçoğu önemli ölçüde örtüşmektedir. Ayrıca PDT, hesaplanabilirlik teorisi, kategori teorisi ve küme teorisi dahil olmak üzere matematiğin diğer birçok dalını kullanır.
Alt disiplinler ve ilgili alanlar > Biçimsel anlambilim

Biçimsel anlambilim, bilgisayar programlarının ve programlama dillerinin davranışının biçimsel özelliğidir. Bir bilgisayar programının şematiği veya "anlamını" tanımlamak için kullanılan üç yaygın yaklaşım, düz anlambilim, işlemsel anlambilim ve aksiyomatik anlambilimdir.
Alt disiplinler ve ilgili alanlar > Tip teorisi

Tip teorisi, tip sistemlerinin incelenmesidir; bunlar "ifadeleri hesapladıkları değer türlerine göre sınıflandırarak belirli program davranışlarının yokluğunu kanıtlamak için izlenebilir bir sözdizimsel bir yöntemdir". Birçok programlama dili, tür sistemlerinin özellikleriyle ayırt edilir.
Alt disiplinler ve ilgili alanlar > Program analizi ve dönüşümü

Program analizi, bir programı inceleme ve temel özellikleri belirleme (program hataları sınıflarının olmayışı gibi) genel sorunudur. Program dönüştürme, bir programı bir biçimden (dilden) başka bir biçime dönüştürme işlemidir.
Alt disiplinler ve ilgili alanlar > Karşılaştırmalı programlama dili analizi

Karşılaştırmalı programlama dili analizi, programlama dillerini özelliklerine göre farklı türlere ayırmayı amaçlar; programlama dillerinin geniş kategorileri genellikle programlama paradigmaları olarak bilinir.
Alt disiplinler ve ilgili alanlar > Genel ve metaprogramlama

Meta-programlama, yürütüldüğünde sonuç olarak programlar (muhtemelen farklı bir dilde veya orijinal dilin bir alt kümesinde) üreten daha yüksek dereceli programların üretilmesidir.
Alt disiplinler ve ilgili alanlar > Alana özgü diller

Etki alanına özgü diller, etki alanının belirli bir bölümünün sorunlarını verimli bir şekilde çözmek için oluşturulmuş dillerdir.
Alt disiplinler ve ilgili alanlar > Derleyici yapısı

Derleyici teorisi, derleyiciler (veya daha genel olarak çevirmenler) yazma teorisidir; Bir dilde yazılmış bir programı başka bir forma çeviren programlar. Bir derleyicinin eylemleri geleneksel olarak sözdizim analizine (tarama ve ayrıştırma), semantik analize (bir programın ne yapması gerektiğini belirleme), optimizasyona (bir metrik tarafından belirtildiği gibi bir programın performansını iyileştirme; tipik olarak yürütme hızı) ve kod oluşturma olarak ayrılır (bazı hedef dilde eşdeğer bir programın oluşturulması ve çıkışı; genellikle bir CPU'nun emir seti).
Alt disiplinler ve ilgili alanlar > Çalışma zamanı sistemleri

Çalışma zamanı sistemleri, sanal makineler, çöp toplama ve yabancı işlev arayüzleri dahil olmak üzere programlama dili çalışma zamanı ortamlarının ve bileşenlerinin geliştirilmesine atıfta bulunur.
Dergiler, yayınlar ve konferanslar

Konferanslar, programlama dillerinde araştırmaları sunmak için birincil mekandır. En iyi bilinen konferanslar arasında Programlama Dilleri İlkeleri Sempozyumu (POPL), Programlama Dili Tasarımı ve Uygulaması (PLDI), Uluslararası İşlevsel Programlama Konferansı (ICFP), Uluslararası Nesne Yönelimli Programlama, Sistemler, Diller ve Uygulamalar Konferansı (OOPSLA) ve Uluslararası Programlama Dilleri ve İşletim Sistemleri için Mimari Destek Konferansı (ASPLOS) .
PLT araştırmasını yayınlayan önemli dergiler arasında ACM İşlemleri Programlama Dilleri ve Sistemleri (TOPLAS), Journal of Functional Programming (JFP), Journal of Functional and Logic Programming ve Higher-Sıradan ve Sembolik Hesaplama bulunmaktadır.
Konuyla ilgili yayınlar

Abadi, Martin ve Cardelli, Luca . Bir Nesneler Teorisi . Springer-Verlag.
Michael JC Gordon . Programlama Dili Teorisi ve Uygulaması . Prentice Salonu.
Gunter, Carl ve Mitchell, John C. (ed.). Nesne Yönelimli Programlama Dillerinin Teorik Yönleri: Türler, Anlambilim ve Dil Tasarımı . MİT Basın.
Harper, Robert . Programlama Dilleri için Pratik Temeller . Taslak sürüm.
Knuth, Donald E. (2003). Bilgisayar Dilleri Üzerine Seçilmiş Bildiriler 31 Mayıs 2017 tarihinde Wayback Machine sitesinde arşivlendi. . Stanford, California: Dil ve Bilgi Çalışmaları Merkezi.
Mitchell, John C. . Programlama Dillerinin Temelleri .
Mitchell, John C. . Programlama Dili Teorisine Giriş .
O'Hearn, Peter. W. ve Tennent, Robert. D. (1997). Algol benzeri Diller . Teorik Bilgisayar Biliminde İlerleme. Birkhauser, Boston.
Pierce, Benjamin C. (2002). Türler ve Programlama Dilleri 4 Kasım 2021 tarihinde Wayback Machine sitesinde arşivlendi. . MİT Basın.
Pierce, Benjamin C. Türler ve Programlama Dillerinde İleri Konular .
Pierce, Benjamin C. ve ark. (2010). Yazılım Temelleri 9 Kasım 2013 tarihinde Wayback Machine sitesinde arşivlendi. .
Sakız Adası (şarkı)

Sakız Adası; Nil Karaibrahimgil'in 16 Nisan 2020 tarihinde yayınlanan teklisidir. Emre Güven tarafından çekilen klibi de aynı tarihte dijital platformlarda gösterime sunulmuştur.
Yapım görevlileri

Nil Karaibrahimgil - vokal, söz yazarı
Ezgi Özkan - aranjör
Barış Büyük - mastering
Rubus transjectus

Rubus transjectus, Rubus cinsine bağlı bir bitki türüdür.
Salih Turgay

Salih Turgay, (d. 1896, Bosna) - (ö. 8 Ağustos 1962), Türk siyasetçi.
Darülfünun Kimya Bölümü ve Levâzım Mektebi mezunudur. Harbiye Nezareti Levâzımâtı Umûmîye Dairesi 3. Şube çalısanlığı, Levâzım Zabit Vekilliği, Viyana, Berlin ve Ukrayna Satın Alma Komisyonları Üyeliği, Bakırköy Barut Fabrikası Başkimyagerliği ve İşletme Müdürlüğü, Askerî Fabrikalar Merkez Kimyahanesi Başkimyagerliği, Millî Müdâfaa Vekâleti Barut Tesellüm Komisyonları Teknik Sorumluluğu, Harp Gazları laboratuvarı Kimyagerliği, Kimya Mühendisliği, TBMM V. ve VI. Dönem Kayseri Milletvekilliği yapmıştır.
Refah devleti

Ülkelere göre sosyal harcama grafiği (OECD)
Refah devleti veya sosyal devlet, minimum düzey ötesinde vatandaşlarının refahı için birincil sorumluluk kabul eden devlet kavramı olup devletin vatandaşlarının iktisadi ve sosyal esenliklerinin korunması ve teşvik edilmesinde ana rol oynamasını önerir. Müdahaleci, düzenleyici, yeniden dağıtıcı, girişimci ve bireylere hak ve özgürlüklerin sağlanması bakımından pozitif bir devlet anlayışıdır. Bu şekil devlet kavramı fırsat eşitliği, servetin eşit şekilde dağılması ve nispeten rahat bir hayat sağlamak için gerekli asgari şartlara yetişemeyen kişiler için kamu mesuliyeti prensiplerine dayanır. Bu genel yaklaşım bir ülkenin çok değişik şekilde iktisaden ve sosyal bakımdan organize edilmesini mümkün kılar.
Genel olarak bir refah devletinin iki değişik siyasi ve sosyal yaklaşımı olabilir:
Bir modele göre devlet vatandaşlarının refahı için başta gelen birinci merci ve mesuliyet yükü taşıyan kurumdur. Bu teoriye göre devletin mesuliyeti çok geniş kapsamlıdır çünkü bir vatandaşın refahının her yönü üzerinde devlet mesuliyet yüklenmiştir ve bu mesuliyete hiçbir istisna olmadan ülkenin tüm kişileri üzerinedir.
Diğer yaklaşıma göre refah devleti devletin vatandaşlarının hayat standartlarının iyice belirlenmiş asgari standartların altına düşmemesi için bir "sosyal güvenlik sağlama ağı" yaratılmasıdır.
"Refah devleti" ve "refah toplumu" İngilizce konuşulan ülkelerde (özellikle ABD'de) bazı kavramsal karışıklıklara yol açmış ve bu önemli tartışma konusu olmuş ve olmaktadır. ABD'de ve bazı diğer ülkelerde asgari refah seviyesi merkezsel devlet tarafından garanti edilip doğrudan doğruya bir merkezden sağlanmamaktadır. Ama her vatandaşın bu refah seviyesine yetişmesi için, bağımsız gönüllüler, hem kar gütmeyen özel sosyal kurumlar ve hem de azami kar hedefli özel şirketler ve mahalli ve çok az da olsa merkezi hükûmet mercileri tarafından bileşik olarak katkılar yapmaktadır. Bu bileşik katkıya "refah sosyetesi" veya "refah sistemi" adı verilmektedir. Bazı tanımlara göre ise buna karşıt olan "refah devleti" kamu sektöründen dolaylı olarak subvansiyon verilmesi gerekli kişilere yapılan fon aktarımıdır ve bu aktarılan fonların baş kaynağı ise eşit dağılım prensiplerine uyan (progresif) vergileri veren özel sektördür.
Örneğin okul ücretsizdir ve hastaları tedavi etmek devletin görevidir. Devlet, işsizlere ve az gelirli kişi veya ailelere gelir subvansiyonu yapabilir. Aynı şekilde devlet kendi evini satın alamayacak ve özel kiralık ev piyasasındaki yüksek kiralar veremeyecek kadar fakir olanlara, ya subvansiyon olarak ev kirası verebilir veya ucuz kamu malı kiralık ev yapıp bunları maliyet altında kiraya verebilir. Bunu yapmak için yüksek vergiler konması gerekebilir. Eğer vergi sistemi progresif ise genellikle zengin insanlar en fazla vergi verenlerdir. Progresif vergi hadlerı değişkendir, bunun nedeni, geliri daha az olanların vergilerini rahatlıkla ödeyebilecek durumda olmasını sağlamaktır. Örneğin Birleşik Krallık'ta, yoksul insanlar, daha zenginlere göre, gelirlerinin daha küçük bir yüzdesini vergi olarak vermektedir. Ayrıca KDV, alınması zaruri olmayan şeylere konur.
"Sosyal devlet" ve "refah devleti"

Sosyal devlet ile refah devleti kavramlarının aynı anlama geldiği ve bu kavramların farklı anlamlara geldiği yönünde iki farklı görüş vardır.
Huber'e göre refah devleti, eşitsizliklerin önüne geçmek için sosyal faydaların  yeniden dağıtımı yönünde yapılanların bütününü ifade etmektedir. Sosyal devlet ise, sosyal reformlardan oluşan bir devlettir. Ancak sosyal reform, sadece devletin yardımlarını ifade eden sosyal devlet değildir. Luhmann'a göre refah devleti, sosyal devletten daha kapsamlı sosyal yardımlar sunan bir yapı olarak görmüştür. Refah devleti, ileri derecede sanayileşmiş ülkelerde ortaya çıkmış ve gelişmiştir.
Batı toplumlarında ifade edilen refah devleti kavramı, sosyal devletten farklı bir anlam taşımamaktadır. Örneğin Almanya'da Weimar Cumhuriyeti döneminde refah devleti terimi, daha sonraki yıllarda yerini sosyal devlet kavramına bırakmıştır. Türk hukukunda ise sosyal devlet başta olmak üzere refah devleti ya da sosyal refah devleti kavramları kullanılmaktadır.
Amacı

Refah devletinin amacı, vatandaşlara; insan onuruna uygun bir refah düzeyi sağlamak ve onların dara düşmesini önlemektir. Sosyal devlet olmanın en temel şartı ise ülkede yaşayan herkesin kendini güven altında hissetmesidir. Buna paralel olarak ekonomik büyüme ve kalkınmanın sağlanması amacıyla sermaye yatırımlarını teşvik etmekle birlikte, ekonomik faaliyetlerin tam istihdamı sağlayacak düzeyde gerçekleşmesi için gerekli koşulları ve ortamı sağlamaya da çalışır.[kaynak belirtilmeli]
Özgül amaçlar ise şu şekilde sıralanabilir:[kaynak belirtilmeli]
Gelir dağılımında adaleti sağlamak
Yoksullukla mücadele etmek
Yoksul kişileri, güçsüzleri ve bakıma muhtaç çocukları korumak
Kamu sermayesini kullanarak toplumdaki gelir düzeyinde oluşan eşitsizlikleri düzenlemek
Türleri

Refah devleti uygulamaları, ülkelerin kendine özgü; sosyal, ekonomik, politik ve kültürel koşullarına göre farklılıklar gösterir. Bu durum, birçok refah devleti uygulamasının doğmasına neden olmuştur. Bu türlere ilişkin ilk sınıflandırmayı yapan Titmuss, sosyal devleti aşağıdaki gibi üç başlık altında inceler.[kaynak belirtilmeli]
Piyasa ikamesine dayalı refah devleti modeli
Endüstriyel başarı-performans modeli
Kurumsal yeniden dağıtıcı modeli
Robin Fedden

Henry Robin Romilly Fedden, (1908-1977) Britanya İmparatorluk Nişanı sahibi İngiliz yazar, diplomat ve dağcıdır. Sanatçı Romilly Fedden ve romancı Katherine Waldo Douglas'ın oğluydu.
Çocukluğu Fransa'nın Chantemesle kentinde geçen Fedden, Cambridge Üniversitesi İngilizce Fakültesi'nde eğitim gördü. Sırasıyla Atina'da diplomat ve Kahire Üniversitesi'nde İngiliz edebiyatı profesörü olarak çalıştı. Lawrence Durrell ve Bernard Spencer ile birlikte Personal Landscape adlı edebiyat dergisininin editörlüğünü yaptı. II. Dünya Savaşı'ndan sonra kültür ve çevre değerlerini koruma amacıyla kurulmuş National Trust örgütünde çalıştı ve Genel Müdürü Yardımcılığına yükseldi. 1973'te emekli oldu.
Yazdığı kitaplara da yansıyan çok çeşitli ilgi alanlarına sahipti. The Enchanted Mountains and Chantemesle en bilinen eseridir. Ayrıca National Trust için birkaç rehber kitap yazmıştır.
Fedden'a göre, Çağ­daş Türk halklarından Lazlar, Yakın Doğu halklarına özgü güçlü ve karakteristik çizgiler taşırlar.
Kişisel hayatı

Renee Fedden ile evli olan Fedden'ın iki kızı vardı.
Bazı eserleri

In the steps of the Argonauts
The Enchanted Mountains: A Quest in the Pyrenees
Alpine Ski Tour 1956
Chantemesle (1964; reissued by Eland Books in 2002)
The National Trust Guide
Treasures of the National Trust
The Continuing Purpose: History of the National Trust, Its Aims and Work
The National Trust: Past and Present
Churchill And Chartwell
Egypt: Land of the Valley
Crusader Castles
The Country House Guide
Suicide: A Social and Historical Study
Syria and Lebanon
Syria: An historical appreciation
English Travellers in the Near East
Anglesey Abbey
Petworth House
Ratatuy (film)

| --- | --- |
Ratatouille
Ratatouille Film Afişi
Yönetmen: Brad Bird Jan Pinkava
Yapımcı: Brad Lewis
Senarist: Brad Bird Jan Pinkava Jim Capobianco Emily Cook Kathy Greenberg
Oyuncular: Patton Oswalt Lou Romano Peter Sohn Brad Garrett Ian Holm Brian Dennehy Janeane Garofalo Peter O'Toole
Müzik: Michael Giacchino
Görüntü yönetmeni: Robert Anderson Sharon Calahan
Kurgu: Darren T. Holmes
Dağıtıcı: Walt Disney Pictures Pixar Animation Studios
Cinsi: Sinema Filmi
Türü: Animasyon Macera Komedi
Renk: Renkli
Yapım yılı: 2007, ABD
Süre: 111 Dakika
Dil: İngilizce
Bütçe: 150 Milyon $
Hasılat: 620,261,049 $
Ratatouille (Fransızca: /ʁatatuj/, Ratatuy) Pixar tarafından yapılan ve Walt Disney Pictures tarafından dağıtılan, 2007 yılı, bilgisayar animasyon filmidir. Brad Bird'in 2005'te Jan Pinkava'den aldığı Ratatouille filmi, Pixar'ın sekizinci filmidir. ABD'de 29 Haziran 2007'de gösterime girdi ve hem olumlu eleştiriler aldı, hem de gişede başarı kazandı. Ratatouille en iyi Animasyon dalında Oscar Ödülü kazandı  ve En İyi Özgün Senaryo da dahil olmak üzere birçok başka film için aday gösterildi. Ayrıca BAFTA Ödülü de kazandı. Filmin adı bir Fransız yemeği olan Ratatouille'den gelmektedir.
Ratatouille, 22 Haziran 2007'de Los Angeles, Kaliforniya'daki Kodak Tiyatrosu'nda 29 Haziran 2007'de Amerika Birleşik Devletleri'nde genel gösterimi ile prömiyer yaptı. Film 620,7 milyon dolar hasılat elde etti ve senaryosu, animasyonu, ses performansları ve Michael Giacchino'nun müzikleri ile büyük beğeni topladı.
Ratatouille daha sonra BBC tarafından yapılan 2016 yılında uluslararası eleştirmenler arasında yapılan bir ankette 21. yüzyılın en büyük 100 filminden biri seçildi.
Konusu > Karakterler Ve Seslendirenler

Patton Oswalt,Toprak Sergen, Remy
Lou Romano,Emrah Özertem, Alfredo Linguini
Brad Garrett,Ercan Demirel, Chef August Gusteau
Janeane Garofalo,Berrak Kuş, Collette Tatou
Ian Holm,Nüvit Candaner, Chef Skinner
Peter O'Toole,Erhan Abir, Anton Ego
[³]
Ryota Nagaki

| 0 | 1 | 2 | 3 |
| --- | --- | --- | --- |
 
Kişisel bilgileri
Tam adı:  Ryota Nagaki
Doğum tarihi:  4 Haziran 1988 (36 yaşında)
Doğum yeri:  Yokohama, Japonya
Boyu:  1,73 m (5 ft 8 in)
Mevkii:  Orta saha
Profesyonel kariyeri*
| Yıllar |  Takım |  Maç |  (Gol) |
| 2010-2015 |  Shonan Bellmare |   |   |
| 2016- |  Kashima Antlers |   |   |
 * Yalnızca lig maçları ve gollerini içerir. 
Ryota Nagaki (d. 4 Haziran 1988), Japon futbolcudur. Profesyonel kariyerine 2010 yılında Shonan Bellmare kulübünde başladı. Daha sonra Kashima Antlers kulübüne transfer oldu.
Roy Bailey

| Roy Bailey |
| --- | --- |

Genel bilgiler
Doğum: 20 Ekim 1935(1935-10-20) Londra, İngiltere
Ölüm: 20 Kasım 2018 (83 yaşında) Sheffield, İngiltere
Meslekler: Söz yazarı, müzisyen ve şarkıcı
Çalgılar: Gitar

Roy Bailey (d. 20 Ekim 1935 –ö. 20 Kasım 2018), İngiliz sosyalist görüşlü halk müziği şarkıcısı, söz yazarı ve gitaristtir.
Kariyeri

Ses getirmiş müzik çalışmaları arasında; "Songs of Life from a Dying British Empire" ve "Gentle Men" sayılabilir. Bailey, kariyeri boyunca müzisyenler Leon Rosselson ve Robb Johnson ile çalışmıştır.
Ölümü

20 Ekim 1935'te Londra'da doğan İngiliz müzisyen Roy Bailey 20 Kasım 2018'de  Sheffield, İngiltere'de geçirdiği kalp krizi sonucu 83 yaşında ölmüştür.
Diskografi

Solo çalışmaları :
1968 Oats & Beans & Kangaroos
1969 Cobweb of Dreams (EP)
1971 Roy Bailey
1976 New Bell Wake
1982 Hard Times
1982 … Freedom Peacefully
1988 Leaves From A Tree
1989 Why Does It Have to Be Me?
1994 Business As Usual
1997 New Directions in the Old
2000 Coda
2002 Up the Wooden Hill
2003 The Writing on the Wall – Live in Cambridge 2000
2005 Sit Down and Sing
2009 Below the Radar
Leon Rosselson ile :
1975 That’s Not the Way It’s Got to Be
1977 Love, Loneliness & Laundry
1979 If I Knew Who the Enemy Was …
Toplama albümleri :
1991 What You Do With What You’ve Got
1998 Past Masters
Rosina Ferrario

Rosina Ferrario, 1912
Rosina Ferrario (1888–1959), 3 Ocak 1913'te Vizzola, Lombardiya'da bir Caproni tek kanatlı uçak'da testini geçtiğinde pilot lisansı alan ilk İtalyan kadındı. İtalya Aeroclub'dan 203 No'lu Lisans aldı.
Biyografi

Varlıklı bir burjuva ailede doğan Ferrario, memur olarak çalıştı. Hevesli bir sporcu ve dağcının yanı sıra hevesli bir bisikletçiydi. Pilot lisansını aldıktan sonra, 1913 ve 1914 yıllarında Napoli , Roma ve Como'da gibi çeşitli gösteri ve sergi uçuşlarına katıldı. Ekim 1913'te Giuseppe Verdi'nin Busseto'daki doğumunun 100. yıl dönümü kutlamaları için Achille Landini'nin yanında uçtu. Haziran 2013'te,Erminio Donner Flori ile birlikte Milan'dan Lodi'ye giden bir sıcak hava balonunda bir gün geçirdi.
1914'te Ferrario, Birinci Dünya Savaşı ilan edildiğinden, Güney Amerika'da uçma davetini kabul edemedi. İtalya'da Kızıl Haç için çalışmak için başvurdu ancak asker olmadığı için reddedildi. İtalyan Alp Kulübü ile bir gezide tanıştığı Enrico Grugnola ile mutlu bir evlilik yaşadığı 1921 yılına kadar Ferrario hakkında çok az bilgi bulunmaktadır. Birlikte, iki çocukları ile birlikte yaşadıkları Milano'da geniş bahçeli bir otel açtılar. Pionieri dell'Aeronautica'nın (Havacılık Öncüleri) toplantılarına düzenli olarak katıldı, ancak artık uçmuyordu. 1959'daki ölümüne kadar öncü olarak tanınmaya devam etti.
Rundvatnet

| Rundvatnet |
| --- | --- |

Havza
Konum: Nordland; Norveç 
Rundvatnet; Norveç'in Nordland idari bölgesi sınırları içerisinde bir göldür.
Salih Tatlıcı

| Mehmet Salih Tatlıcı |
| --- | --- |
Doğum: 1931 Diyarbakır, Türkiye
Ölüm: 22 Şubat 2009 (78 yaşında) Londra, İngiltere
Meslek: İş adamı
Evlilik: Bedriye Tatlıcı Nurten Tatlıcı
Çocuk(lar): 4

Mehmet Salih Tatlıcı (1931, Diyarbakır - 22 Şubat 2009, Londra), Türk iş adamıdır.
Diyarbakır'da yoksul bir ailenin çocuğu olarak dünyaya gelen Salih Tatlıcı, 1960'lı yıllarda İstanbul'a gelerek ticarete atıldı. Pastane işletmeciliği yaparak kazandığını gayrimenkule yatırarak önemli gayrimenkullere sahip oldu.  Salih Tatlıcı, iki evlilik yapmış ve bu evliliklerden toplam 4 çocuğu olmuştur. Salih Tatlıcı 2009 yılında tedavi amacıyla gittiği Londra'da 22 Şubat tarihinde ölmüştür. Salih Tatlıcı Forbes Dergisi tarafından 2006 yılında Türkiye'nin en zengin 27. kişi olarak gösterilmişti.  Ölümünün ardından, ikinci eşi Nurten ve oğlu Uğur tarafından Salih Tatlıcı Vakfı adında bir vakıf kurulmuştur.
Sanogasta

Sanogasta, Anyphaenidae familyasına bağlı bir örümcek cinsidir.
Ragusa (il)

| Ragusa ili Provincia di Ragusa |
| --- | --- |
İl

Ülke:  İtalya
Bölge: Sicilya
Başkent: Ragusa
Komün sayısı: 12
İdare
 • Başkan: Dario Cartabellotta
Yüzölçümü
 • Toplam: 1.623,89 km²
Nüfus (28 Şubat 2017)
 • Toplam: 321.192
 • Yoğunluk: 200/km²
Zaman dilimi: UTC+01.00 (OAS)
 • Yaz (YSU): UTC+02.00 (OAYS)
Posta kodu: 97100, 97010-97015, 97017-97019
Alan kodu: 0932
Plaka kodu: RG
Ragusa (İtalyanca: Provincia di Ragusa; sicilyaca: Pruvincia di Rausa), İtalya'da Sicilya Özerk Bölgesinde yer alır. İlin başşehri Ragusa şehridir.
Ragusa, Modica ve Scicli "Val di Noto" vadisinde bulunan ve geç Barok mimari stilinin çok güzel örnekleri olan şehirler oldukları için 2022'den itibaren UNESCO Dünya Mirasları listesine dahil edilmişlerdir.
Ragusa ili Mezzogiorno adi da verilen Güney İtalya'da bulunan iller arasında gayrisafi milli harcama değeri en yüksek ve en zengin ildir.
Coğrafi konumu

Ragusa ili, Siraküza ili ile birlikte Sicilya adasının en güney ilini oluştururlar. Ragusa ilinin komşu illeri Siraküza ili, Katanya ili ve Caltanissetta ilidir ve güneyi Akdeniz kıyılarıdır.
Ragusa ilinin Akdeniz kıyısı Scoglitti beldesinden Pozzalla beldesine kadar ulaşıp yaklaşık 85 km uzunluktadır. Bu sahillerde Kaukana, Punta Secca, Marina di Ragusa ve Marina di Modica adlarında genellikle balıkçılıkla uğraşan balıkçı kasaba ve köyleri bulunur. Ragusa ilinin kuzeyinde Hyblaean dağlar silsilesi vardır ve bunların en yüksek tepelerinin adları "Monte Lauro", "Monte Casale" ve "Monte Arcıbessi"dir. Ragusa ilinde "Irmınio", "Dirillo" ve "İppar" adlı akarsular bulunur. İlde bulunan tek göl "Sant Rosalia Gölü", "Irinio Irmağı"'na bir regülatör baraj yapılması suretiyle ortaya çıkmıştır.
Ragusa ilinin kuruluşu İtalya Faşist rejimi ile idare edilmekte iken 1927'dedir.
19. ve 20. yüzyılda Ragusa şehrinden kuzeyde diğer İtalyan ve yabancı şehirlere büyük göçler olduğu için Ragusa ili ve sahilleri, birçok diğer İtalya illeri sahilleri gibi, yeni beton yapılarla kaplanmamıştır. İlde bulunan şehir ve kasabaların eski mimarî usulüne uyan kuleleri ve kubbeleri muhafaza etmiştir. Bunlar arasında bulunan Ragusa, Modica ve Scicli Dünya Mirası listesine alınmıştır ve bu şekilde gelecek nesiller için korunma altındadır.
Önemli beldeler

Ragusa ili, 1.614 km²'lik bir alana ve (28.2.2010 tahminleri itibarıyla) 316.488 kişi nüfusa sahiptir. İlde 12 adet komün vardır. 30.12.2009 tahmini nüfuslara göre 10.000'den fazal nüfusa sahip olan komünler:
| Komün adi | Nüfus (kişi) | Alan (km²) |
| --- | --- | --- |
| Ragusa | 73.333 | 442 km² |
| Vittoria | 62.747 | 181,31 km² |
| Modica | 54.988 | 290,77 km² |
| Comiso | 30.365 | 64,93 km² |
| Scicli | 26.409 | 137,57 km² |
| Pozzallo | 19.116 | 14,94 km² |
| Ispica | 15.356 | 113,5 km² |
Ulaşım

Ragusa ilinde otoyol bulunmamaktadır. Şu devlet karayolları ana yollardır:
SS115 - batıda Gela'dan doğuda Siraküza'yı bağlar ve ilden geçer.
SS413 - kuzeye doğru Ragusa ile Katanya bağlantısıdır.
SP25 İl Yolu - Ragusa'yı Marina di Raguşa'ya bağlar.
Ragusa ilinde 120 km uzunlukta tek hat şekilde elektrifiye edilmemiş tren yolu bulunmaktadır. Bu hatlar üzerinde düzgün önemli merkezler arasında çalışan bölgesel tren servisleri bulunur.
Ragusa ilinde bulunan "Comiso havaalanı" Soğuk Harp sırasında Avrupa'da en büyük NATO uçak üssü olmuştur. Fakat şimdi bu üs kapatılmış; havaalanı sivil havacılık için yeniden düzenlenmiş ve bir ticari sivil havaalanı olarak hizmete girmiştir.
Pozzallo limanı İtalya'da bulunan ve Malta'ya düzgün yolcu feribotları ve ticari yük seferleri yapılan tek limandır ve Ragusa ilinin güneyinde bulunmaktadır.
İlde  Scoglitti ve Donnalucata gibi ticarai balıkçılık limanları vardır. Ayrıca Marina di Ragusa ve Punta Secca gibi turistik marinalar ve yat limanları da bulunur.
Görülecek yerler > Barok mimarı eserleri

Ragusa ilinde  Raguşa, Modica ve Scicli şehirleri geç Barok mimarı stilinin en iyi örneklerini ihtiva ettikleri için 2020'den itibaren UNESCO Dünya Mirasları listesine alınmışlardır. Bu şehirlerdeki en önemli yapılar şunlardır:
Ragusa: San Giovanni Katedrali;
Ragusa İbla: San Giorgio Kilisesi girişi
Ragusa İbla: San Giorgio Katedrali
Modica: San Giorgio Katedrali
Modica: San Pietro Katedrali
Scicli: San Bartolomeo Kilisesi
Scicli: Palazzo Beneventano
Görülecek yerler > Arkeoloji

Ragusa ilinde en önemli arkeoloji merkezi deniz sahilinde bulunan antik Yunan "Kamarına" şehrinin kalıntılarıdır.
Diğer Yunan kalıntıntılar: "Kasmenai", "Akrillai" ve "Scornavacche"
Antik Romalı kalıntıları: Kaukana; Comiso Roma hamamı ve Ispica.