沿岸砲（えんがんほう Coastal artillery）または海岸砲（かいがんほう）は、沿岸防御施設・海岸要塞に設置された対艦および水際防御用の大砲のこと。要塞砲の一種であり、16世紀から20世紀中盤まで活用された。その後は役割を地対艦ミサイルや、陸戦と兼用できて機動力の高い自走砲に譲ったが、21世紀に於いても北朝鮮のような一部諸国は洞窟陣地などに固定・牽引式の海岸砲を配備している。
コッラード・ザンベッリ（Corrado Zambelli）に師事。1946年、ボローニャ市立劇場にて、リヒャルト・ワーグナー作曲「ローエングリン」の伝令の役で初舞台を踏む。以後、イタリア国内の劇場で多数の出演契約を獲得。1963年11月、NHK招聘による第4次イタリア歌劇団の一員として来日。東京文化会館と大阪フェスティバルホールにおいて、プッチーニ作曲「西部の娘」公演でランスの役をつとめた。1980年、メトロポリタン歌劇場での「トスカ」公演を最後にオペラの舞台から引退。2002年、コルツァーニの生地、ブドリオの市立劇場主催により、その業績を記念して国際声楽コンクール（Concorso lirico internazionale Anselmo Colzani）が創設された。2009年、ブドリオ市立劇場後援により、コルツァーニ国際声楽コンクールの日本会場が創設された。私生活においては、ビデオカメラ撮影とタイプライターによる原稿執筆を趣味としていた。
アンセルモ・コルツァーニ（Anselmo Colzani、1918年3月28日 - 2006年5月19日）は、イタリアのバリトン歌手。
ホール、ホテル、オフィスなどからなる多目的複合施設で、老朽化した大分県立芸術会館・旧NHK大分放送局などの代替として、旧大分県立病院跡地に1998年に完成した。OASISはOita ASia International Squareの頭文字で、命名者は完成当時の大分県知事平松守彦。建物は財団法人大分県文化スポーツ振興財団と株式会社エフ･ティー･シー大分が管理している。年間来館者数は約180万人、年間公演数は約300件。高さ101.17m、21階建てと、大分県内で最も高い建築物であり、大分市のランドマークとなっている。大分県立総合文化センター、オアシスタワー（ホテル・オフィス・商業施設）、NHK大分放送会館の構造的には独立した3つの部分から成るが、空間的には連結して一体的に利用されている。このうち、大分県立総合文化センターについては、「いいちこ」で有名な酒造メーカーの三和酒類が、5,000万円/年、5年契約で命名権を取得し、「iichiko 総合文化センター」と命名されている。地下駐車場の入口近くには、かつてこの場所に県立病院があったことを示す「大分県病院兼医学校開設の地」、「大分県看護教育発祥の地」という2つの記念碑がある。当所への移転前にNHK大分放送局があった場所は、現在はNS大分ビルになっている。
この地域ではいくつかの路線バス会社があり、都市部と近隣の村々とを結んでいる。イバゲーでは国道40号線と43号線が交差しており、東へは首都ボゴタに、西へはアルメニアに、北へはオンダに至る。市内の長距離バスターミナルからは国内のほとんどの大都市に便が出ており、特にボゴタ、カリ、メデジン便が多い。カルタヘーナ、バランキージャへは夜行バスも出ている。サンタ・マルタ便は時季によっては運航されない。市街地から10km東へ行くとペラーレス空港があり、ボゴタとメデジンの間で一日数便が運航されている。
1852年に法科学生のフランシス・ガスリー(Francis Guthrie)が数学専攻である弟のフレデリック・ガスリーに質問したのを発端に問題として定式化され、19世紀後半になって数学者がその話を聞いて証明を試みたが、多くの数学者の挑戦をはねのけ続けていた。1879年、アルフレッド・ブレイ・ケンプ(Alfred Kempe)による証明が『アメリカ数学ジャーナル』誌上で発表された。この証明は妥当と見なされていたが、1890年になってパーシー・ヒーウッド(Percy John Heawood)により不備が指摘された。しかし、ケンプの証明で使われた論理に沿って、地図を塗り分けるには5色で十分であることが証明された。これは五色定理と呼ばれている。4色で十分かどうかは、グラフ理論における最も有名な未解決問題として残った。1976年にケネス・アッペル (Kenneth Appel) とヴォルフガング・ハーケン (Wolfgang Haken) は、ヘーシュ(Heinrich Heesch)により考案された「放電」(discharging)と呼ばれる手続きを改良し、コンピュータを利用して約2000個の（後に1400個あまりに整理された）可約な配置からなる不可避集合を見出し、四色定理を「証明」するに至った。これは一応は認められたが、人手による実行が（事実上）不可能なほどの複雑なプログラムの実行によるものであることから、ハードウェアやソフトウェア（コンピュータやそのプログラム）のバグの可能性などの懸念から、その確実さについて疑問視する向きもあった。しかしその後、1996年にニール・ロバートソン (Neil Robertson) らによりアルゴリズムやプログラムの改良が行われ、より簡易な手法（従来の放電手続きよりシンプルな放電手続きを考案し、不可避集合の数を1405個から633個に抑えた）による再証明が行われるなど、第三者による複数の改良された証明が行われ、証明は確実視されるようになっていった。2004年にはジョルジュ・ゴンティエ (Georges Gonthier) が定理証明系Coqを用いて、よりシンプルな証明を行うなど、コンピュータの応用手法の洗練により、より確かな手続きで証明が行われるなどしているため、現在では四色問題は解決していると捉えられている。