大量の降雨がある雷雲の下に乾燥した空気があると、雨滴から蒸発が起こるために潜熱が吸収され気温が低下する。このように生じる一種の小規模な寒冷高気圧を雷雨性高気圧、またはメソハイと呼ぶ。
大気の大循環により、北極や南極付近にできる高気圧を極高気圧という。極地方では、年間を通して他の緯度に比べて日射量が少なく、相対的に低温となるため、冷たい空気が下降して高気圧が形成される。高圧なのは大気下層だけで、上空2-3 km以上では低圧になる。この低圧の領域は極渦という。
下層が冷えて、地表面付近に寒冷な空気がたまり、密度が大きくなった空気の重さで高気圧になったものを寒冷高気圧という。気圧が高いのは地上付近のみで、上空では高気圧にはならない（背の低い高気圧）。背の高さは2 km程度で、高層天気図においては、700 hPaでは不明瞭になり、500 hPaではほとんど見られなくなる。大陸の放射冷却によって、冬のシベリア方面にできるシベリア高気圧が代表的なものである。オホーツク海高気圧は小笠原気団や移動性高気圧がオホーツク海に差し掛かると寒冷な海水による冷却で気団変質が起き海霧を伴う寒冷高気圧となり滞留すると考られる。チベット高原で分流された偏西風によりブロッキング現象が発生すると長期間居座り東日本を中心に冷夏をもたらす。
偏西風の蛇行が激しくなると、蛇行が高緯度側へ張り出した部分(気圧の尾根)が切り離されて独立した渦となることがある。この部分は南からの暖気が入り込んでいる部分であるので温暖な高気圧となる。これが、ブロッキング高気圧、切離高気圧といった名で呼ばれる高気圧である。ブロッキング高気圧の名は、この高気圧の存在によって温帯低気圧や移動性高気圧の通常の西から東への移動が滞るところから付けられた。ブロッキング高気圧は偏西風の流れから切り離されているため移動が遅く、特定の気圧配置を持続させる。そのため、渇水や大雨、異常高温・低温などの異常気象の原因となることがある。
温帯低気圧の間を、低気圧とともに移動していく高気圧を移動性高気圧という。温暖高気圧に分類される。上空の偏西風波動に伴う下降気流によって生じるので断熱圧縮により温暖な高気圧となる。成因が温帯低気圧と対応するものであるため、温帯高気圧と呼ばれることもある。日本でみられる移動性高気圧は、揚子江高気圧の一部が分離して移動しているものであるので、最初は寒冷であるが、移動中に上記の機構や温暖な海流によって暖められる。
大気の大循環により、北緯（南緯）30°付近にできる高気圧を亜熱帯高気圧という。温暖高気圧に分類される。赤道地帯で上昇した空気は、ハドレー循環により緯度30°あたりで集積し、下降する。この際、断熱圧縮により温度が上昇するため、温暖な高気圧となる。日本付近では、太平洋高気圧（小笠原高気圧）がこれに当たる。
地表付近で温暖な空気を持つ高気圧を温暖高気圧という。相対的に軽い温暖な空気を持つにもかかわらず気圧が高くなるのは空気が集積し対流圏界面が成層圏側に盛り上がっているためである。
1874年（明治7年）、大分県大野郡上井田村（現豊後大野市）村長であった渡辺要蔵の長男として生まれる。彫刻家を目指した長男は東京美術学校（現・東京芸術大学）に入学し、仏像彫刻家の山田鬼斎に師事する。すぐに頭角を現し、イタリアへと留学していた長沼守敬に欧州の彫刻技術を学ぶなど、先駆性を発揮した。1897年11月に高村光太郎や武石弘三郎、白井雨山、青木外吉ら同窓生と「青年彫塑会」を結成し、木彫家をもまじえて技術上の交流をはかり、新進気鋭の彫刻家として注目されるようになる。この頃に実弟である朝倉文夫が長男を頼って上京。元々俳句を志して正岡子規に師事しようとしていたが、その子規の死もあるものの、文夫が彫刻（彫塑）への道を選択したのは、長男の多大なる影響がある。長男は人物彫刻を得意とし、明治天皇騎馬像や井上馨像、太田道灌像、広瀬中佐像など、数多く製作した。また、東京日本橋の欄干の麒麟と獅子のブロンズ像は、長男の手によるものである。鋳造は義父である岡崎雪聲が行った。
Axiom においては、オブジェクトはすべて型を持っている。型は数学的な「構造」であり、例えば環、体、多項式などがある。またデータ構造はリスト構造、木構造、ハッシュテーブルなど、計算機科学のものが実装されている。関数は引数として型そのものを取ることができ、型はその返り値にもできる。たとえば Fraction という関数は引数として IntegralDomain を取り、その引数の分数からなる体を返す。また、有理数からなる大きさ 4 × 4 の行列のなす環は SquareMatrix(4, Fraction Integer) によって生成できる。その環での演算を行う場合、1 は単位行列、A^-1 は A の逆行列 (存在する場合) であると解釈される。複数の演算が同じ名前を持つことができ、それらはオブジェクト指向プログラミングの場合と同様、引数と求められる結果の型によって区別される。Axiom の拡張言語として SPAD と呼ばれるものがある。Axiom に実装されている数学的な知識はすべて SPAD で書かれている。Axiom の対話的実行環境は、SPAD の概ね全てを理解する。SPAD はかつて A#、続いて Aldor という名前で開発されていた。後者は現在も、SPAD の代わりに Axiom から使うことができる。しかし Axiom とは異なるライセンスで公開されている。