16世紀後半から17世紀初頭にかけて、軍事指揮官たちは騎兵の打撃力を回復させる方法を模索した。フランス王アンリ4世は、サーベルとピストルを組み合わせた抜刀突撃戦術(サーベル・チャージ)を考案し、これは一定の成功を収めた。同時代のオラニエ公マウリッツもサーベルとピストルで武装し抜刀襲撃を主任務とした騎兵を整備している。アンリ4世らの抜刀突撃戦術を発展させ、これを一般化させたのは、スウェーデン王グスタフ2世アドルフであった。グスタフ・アドルフは、砲兵と銃兵の火力支援によって敵の隊列に穴を開け、その後に軽装化した胸甲騎兵を突撃させたのである。このように歩兵、騎兵、砲兵の諸兵科を協同させる戦術を三兵戦術と呼ぶ。この三兵戦術の誕生によって、騎兵は打撃力をある程度ながら取り戻すことができた。効果の低いカラコールは廃れていき、18世紀になるとほとんど見られなくなった。
カラコール(Caracole、Caracol)は、16世紀から18世紀にかけてヨーロッパの騎兵が使用した戦術。敵前にギャロップで接近し、馬上で射撃をした後に半回転して後方へ下がる機動をいう。カラコールとはスペイン語でカタツムリ、あるいは螺旋の意味である。敵前で半回転する独特の機動が、カタツムリの殻を思わせることからこのように呼ばれた。フランス語では同様にカタツムリを意味するリマソン(Limaçon)と呼ぶ。この戦術が普及したことから、カラコールは騎兵の半回転をあらわす用語となった。
9月2日、黄海北部において操業中の松生丸(船長ほか乗組8名)は、朝鮮民主主義人民共和国の警備艇より銃撃され、死者2名、負傷者2名を出した。その後、拿捕されて北朝鮮に連行された。日本政府は、日本赤十字社を通じて松生丸の乗組員・遺体の早期返還要求を行い、9月14日に負傷者2名を除く乗組員が松生丸と共に帰国し、11月14日に負傷者2名は帰国した。
松生丸事件（しょうせいまるじけん）とは、1975年9月2日に日本のフグ延縄漁船が黄海北部において操業中に朝鮮民主主義人民共和国の警備艇による銃撃により2名が殺害され拿捕・連行された事件。
司令部はマーケット・ガーデン作戦、兵士はヘルズハイウェイ。それぞれ作戦名の呼び方は違えどドイツ軍へ大きな打撃を与えた連合軍は1944年9月から広い大陸を進撃開始。だが、第101空挺師団は苦戦を強いられ続けて大勢の尊い命が奪われた。連合軍は過酷な任務を請負いながらもドイツ本国への進軍を決意。そして、1944年9月17日。史上最大の作戦である「ノルマンディー上陸作戦」を引き継ぐ「マーケット・ガーデン作戦」が決行される。マット・ベイカー軍曹が率いる様々な兵士を描いた人間ドラマの幕を開く。
以下は、ラムダ計算の教科書などに見られる、自然数のチャーチ符号化のコード例である。let zero f x = xlet succ n f x = f (n f x)let one = succ zerolet two = succ (succ zero)let add n1 n2 f x = n1 f (n2 f x)let to_int n = n (fun k -> k+1) 0let _ = print (add (succ two) two)チャーチ数nは、高階関数として表され、関数fと値xを受け取りxにn回fを適用する関数として定義されている。チャーチ数nを自然数nに変換するには、チャーチ数（実体は関数）に、インクリメントする関数と初期値0を渡せばよい。MLは関数型言語であるため、数学的なプログラミングの理論そのままに、記述することができる。
クイックソートのコード例を示す。MLは多くの関数型言語と同様、再帰処理に秀でる。また、Haskell などにも見られるパターンマッチの機能がここでも使われている。let rec quicksort = function   | [] -> []   | pivot :: rest ->       let is_less x = x < pivot in       let left, right = List.partition is_less rest in       quicksort left @ [pivot] @ quicksort right
Hello world の例を示す。以下のプログラム hello.ml は、print_endline "Hello world!";;以下のようにしてバイトコードにコンパイルされる。$ ocamlc hello.ml -o hello以下が実行結果である。$ ./helloHello world!$
以下の例は、プログラム自体としてはMLと比べ特別なものでもないし、オブジェクト指向を活用したものでもないが、OCamlを含む Caml では旧来のMLや Standard ML からの記法や演算子や名前の変更が多く、簡単なプログラムでもそのままではエラーになるものが多いので、ここでは OCaml のコードを示す。特徴として、型推論の活用により、多くの場合に型の宣言が必要なく、一部の静的型付き言語にありがちな煩雑さがないことが挙げられる。
2002年3月11日早朝（現地時間）、アメリカ・アリゾナ州のアマチュア天文家ダグラス・スナイダーは、パロミナスの私設観測所で彗星捜索中に、わし座の中に星雲星団カタログにない微かな光斑を認めた。30分間の観測中にその天体が北に移動することを確認し、新彗星として国際天文学連合に報告した。50cmf/5.0ドブソニアン望遠鏡による眼視発見で、13等級・コマ直径4分角と報告した。スナイダーの発見から7時間後、新潟県のアマチュア天文家村上茂樹も12日4時（JST）彗星捜索中に彗星状天体を発見した。46cm f=2037mm自作ドブソニアン望遠鏡68倍による眼視発見で、11等級視直径3分角で北東に移動していることを確認した。星雲星団や既知の彗星でないことを確認した後、中野主一（天文電報中央局・小惑星センターアソシエイツ）と国立天文台にFAXと留守電で報告後、さらに天文電報中央局にeメールで（英文で）直接報告した。新彗星は、村上の中央局への報告の2時間後には各地で確認され、新彗星「2002 E2」として公表され、13日に、初期放物線軌道と共に「スナイダー・村上彗星」の命名が公表された。