杏鑫娱乐

杏鑫娱乐不久以後，六四事件爆發，觸發港人對香港前途的信心跌至低點。事後，鄧蓮如除了公開懇求英國，不要把英國子民轉讓予「一個毫不猶疑地以坦克和武力鎮壓人民的政權」（A regime that did not hesitate to use its tanks and forces on its own people），又與另一行政局議員李鵬飛雙雙前往倫敦，代表兩局議員，以道義理由就居英權向英國當局進行多番遊說，最終促使衛奕信爵士在1990年公佈居英權計劃。而透過李鵬飛與鄧蓮如的遊說，英國政府最後亦在1996年同意讓香港的退伍軍人之配偶和遺孀得到了居英權。

形式化方法是一种特别的基于数学的技术，用于软件和硬件系统的形式规范、开发以及驗證。在软件和硬件设计方面，形式化方法的使用动机，如同其它工程学科，是通过适当的数学分析便有助于设计的可靠性和健壮性的期望。但是，使用形式化方法会带来很高的成本，意味着它们通常只用于高可靠性系统，这种系统中安全或保安（security）是最重要的。对于形式化方法的最佳形容是各种理论计算机科学基础种类的应用，特别是计算机逻辑演算，形式语言，自动机理论和形式语义学，此外还有类型系统、代数数据类型，以及软件和硬件规范和验证中的一些问题。

位于自流井老街，这个地方盐卤、天然气资源十分丰富，经过数十年的开发，便凿成380眼盐井及众多天然气井。到明天启年间（1621—1627），自流井一带已是一个井灶星罗棋布、天车鳞次栉比的新盐区。自流井地名因此而得名。