Semarang | EPFL Graph Search

Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?

Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur GraphSearch.

Découvrez-en plus sur les applications Graph.

Semarang est une ville d'Indonésie située sur la côte nord de l'île de Java, dans la région du Pasisir. C'est la capitale de la province de Java central. Elle a le statut de kota et est distincte du kabupaten de Semarang. Semarang est la cinquième plus grande métropole de l'Indonésie. Sa population est en croissance, comptant 1,5 million d'habitants selon le recensement de 2010 et est estimée à 1,8 million d'habitants en 2019. La ville est le siège de l'Archidiocèse de Semarang dont le siège est la cathédrale du Saint-Rosaire. vignette|Gravure représentant une rue de Semarang en 1859 Histoire de Java Comme plusieurs villes du Pasisir, tournées depuis des siècles vers le monde extérieur et le commerce international, Semarang est un ancien site portuaire. Son développement est lié à l'essor du Pasisir pendant l'expansion du commerce international, du XV au , marqué par l'établissement des premières communautés chinoises, les débuts de l'islamisation de cette partie de Java et la fondation du royaume de Demak. L'amiral chinois Zheng He, qui mènera sept expéditions vers l'Inde, le Moyen-Orient et l'Afrique de l'Est entre 1405 et 1433, fait plusieurs fois escale à Java. La tradition veut qu'il soit venu à Semarang. Selon la tradition, c'est le sultan Adiwijaya de Pajang qui en 1547 crée le kabupaten et élève à la dignité de bupati Pandan Arang II. Peu de temps après, Pandan Arang se retire sur le mont Jabalekat dans la région de Klaten où il se consacre à la propagation de la religion musulmane sous le nom de Sunan Tembayat. Il meurt en 1553 et est enterré au sommet du Jabalekat. Dans la deuxième moitié du , après la mort du sultan Agung, le royaume de Mataram est miné par des guerres de succession. Les rois s'endettent auprès de la VOC (Vereenigde Oostindische Compagnie ou "Compagnie néerlandaise des Indes orientales"), basée à Batavia, pour financer leurs campagnes contre les différentes rébellions. En 1677, le souverain doit céder Semarang en gage à la VOC. Au , la ville "murée" (fortifiée de palissades) abrite les Européens et assimilés et leur nombreuse domesticité.

À propos de ce résultat

Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.

Publications associées (1)

Concepts associés (20)

Indes orientales néerlandaises

Les Indes orientales néerlandaises, souvent abrégées en Indes néerlandaises (néerlandais : Nederlands-Indië ; indonésien : Hindia Belanda), est le nom que les Pays-Bas donnaient à l'ensemble des îles qu'ils contrôlaient en Asie du Sud-Est de 1800 jusqu'à la Seconde Guerre mondiale. Le , celles-ci proclament leur indépendance sous le nom de république d'Indonésie. Les Pays-Bas ne reconnaissent cette indépendance que le , au terme d'une période de conflit armé et diplomatique que les Indonésiens appellent Revolusi.

Surakarta

Surakarta, de son nom officiel Surakarta Hadiningrat, souvent appelée Solo du nom du village d'origine à l'emplacement duquel elle a été construite (également transcrit Sala), est une ville indonésienne située dans la province de Java central et ayant le statut de kota (ville). Elle comptait plus de en 2009. Fondée sur la base d'un simple village en 1745 pour devenir la nouvelle capitale du royaume de Mataram, la ville a vécu au rythme de l'histoire indonésienne.

Yogyakarta

vignette|Situation de la ville de Yogyakarta dans le territoire spécial de Yogyakarta Yogyakarta (prononcé : ou ; en javanais : ꦏꦸꦛꦔꦪꦺꦴꦒꦾꦏꦂꦠ, Ngayogyakarta, ) – anciennement écrit Jogjakarta jusqu'à la réforme orthographique de 1972 et appelé souvent Jogja (prononcé : ) –, de son nom officiel Ngayogyakarta Hadiningrat, est une ville d'Indonésie, capitale du territoire spécial du même nom, dans le centre de l'île de Java. La ville a le statut de kota.

Lightweight Polymorphic Effects

Martin Odersky, Philipp Haller, Lukas Rytz

Type-and-effect systems are a well-studied approach for reasoning about the computational behavior of programs. Nevertheless, there is only one example of an effect system that has been adopted in a wide-spread industrial language: Java’s checked exception ...

Springer-Verlag2012