ヴェルデ（VERDE）とは、スズキがかつて生産していたスクータータイプの原動機付自転車（オートバイ）の名称である。ヴェルデ (Verde)はイタリア語で緑の意味。発売当初のイメージカラーが緑であった事から命名された。ちなみに初代以外は緑系の色設定は無い。Vで始まる5文字言葉でなければならなかったという見方も有る。初期のロゴマークを見ると、ピアジオの"Vespa"に酷似しているのである。このロゴは後にやや角ばったものにデザイン変更されたが、これはスズキがピアジオから書面で抗議を受けた為と言われている。
泉の下層には大規模な鍾乳洞が水没していることが知られている。水面下では決して形成されることのない鍾乳洞が見られるのは、次のように説明されている。氷期の海水準低下時に形成された長大な地下川型洞窟系が、後氷期の海面上昇に伴い、内陸部では地下水位が上昇することによって洞窟系全体が水没した。このような洞窟の天井の一部が崩落して陥没ドリーネが生じた結果、セノーテができた。語源は、ユカテコ語の「ゾノト」（dzonot）から転化したと考えられている。ユカタン半島の北部低地では川も湖もないため、主要な水源であった。ユカタン半島のセノーテは、チクシュルーブ・クレーターを埋めた石灰岩の層の中に形成されたものである。ユカタン半島の多くのセノーテは、まず第一に真水の供給源であったが、チチェン・イッツァやバランカンチェー洞窟のセノーテのように巡礼の地、供物を捧げる場として機能したものもあった。崇拝の対象となった多くのセノーテは、マヤの雨神チャクに捧げられていた。サック＝アクツン・システムは、総延長152.975kmの世界最大の水中鍾乳洞である。
静的解析と動的解析は相互に補完する技術である。例えば、マルチスレッド処理にまつわるバグは静的解析では見落とすおそれがあるが、動的解析では特定することができるため、Javaアプリケーションの解析には両方の解析手法が必要である。静的解析と動的解析を組み合わせることで、バグ検出の精度と速度が高まり、競合状態やデッドロック、リソースリークなど、実行してみないと表面化しない処理を徹底的に解析することができる。静的解析、動的解析で発見できることは、モデル検査、証明系でより効率的に発見できることもある。これらの機能を動的解析の中に組み込んでいる場合もある。
動的プログラム解析 (Dynamic Program Analysis) とは、ソフトウェア解析手法の一種であり、実際のあるいは仮想のプロセッサでプログラムを実行して解析を行うこと。動的解析を効率よく行うために、標的プログラムに十分な量のテストケースを入力し、興味深い動作を起こす。コードカバレッジ等のソフトウェアテスト技法を用いて、起こりうる動作を記述したソースコードの箇所を十分な量見つけ出すことができる。ただし、実行中の一時的な命令の効果を過小評価してしまうことに気をつける必要がある。テストが不十分だと、ロケット「アリアン5」が初飛行でランタイムエラーにより機体が崩壊したように、破局的な失敗をするおそれがある。
フロリダ州の人口は急速に変化してきた。第二次世界大戦後、空調と州間高速道路システムで北部からの人の流入を促進しフロリダ州は変わってきた。1950年、フロリダ州の人口は全国で20番目だった。50年後にはそれが4番目になった。低い税率と暖かい気候のお陰で、フロリダ州は北東部や中西部およびカナダで現役を引退した者の多くの目的地となった。1959年のキューバ革命で、南フロリダに大きなキューバ人移民の波が訪れ、マイアミはあらゆるラテンアメリカにとって商業と金融と交通の主要中心となった。ハイチや他のカリブ海諸国、および中米や南米からの移民は今日でも続いている。南部の他の州と同様に、フロリダ州には公民権運動で活動する多くの黒人指導者を輩出した。1940年代と1950年代に新しい世代がこの問題に関する活動を始めた。ハリー・ムーアはフロリダに全米有色人地位向上協会を造り、急速に会員を拡大して1万人の大台に達した。フロリダ州の選挙権法はジョージア州やアラバマ州のそれほど厳しくはなかったので、黒人有権者登録でいくらか成功を収めた。1940年代に黒人有権者登録を済ませたのは資格のある年代でみると5％から31％にも増加した。州内には黒人を攻撃し殺害するという点で変化に抵抗する白人集団がいた。1951年12月、活動家ハリー・ムーアとその妻ハリエットの家に悪名高い爆発事件が起こり、二人とも爆発で負傷したことが原因で死んだ。当時この殺人事件は解決されなかったが、2006年の州政府の捜査で、彼らはクー・クラックス・クランの独立した一派によって殺されたと報告された。1951年から1952年のフロリダ州では黒人に対する多くの爆発事件があった。州内人口は新しい集団の流入によって著しく変化したが、同時に20世紀初期の大移住期の間に4万人の黒人が北部に流出した。1960年時点でフロリダ州の黒人人口は880,186人となっていたが、州人口の18％にしか過ぎなかった。これは1900年よりもかなり少ない数字であり、1900年の国勢調査に拠れば、黒人人口は州内人口の44％であったが、その絶対数は231,209人であった。19世紀以降、教育を受けた黒人中産階級が多くの都市で発展した。黒人はフロリダや他の州の指導層によって、あらゆる市民の投票権を保護する1964年の公民権法および1965年の選挙権法の国民的支持を得、立法化させた。これらの法成立後、南部の黒人や他の少数民族は投票を始め、政治の世界にフルに参加し始めた。