CFexpress（CFX）は、2016年9月に発表されたPCIe 3.0とNVMe 1.2をベースとした規格である。2017年4月に公開されたCFexpress 1.0では、2レーンのPCIe 3.0を採用しており、最大転送速度2 GB/sに対応している。将来的には8レーンまで増やすことで8 GB/sまで対応可能である。XQDメモリーカードと上位互換性を保持している。
転送速度はレキサー・メディアがCDの転送速度の1倍速である150KB/s（1.2Mビット毎秒）を等倍とすると制定しており、各社はこの表現を採用している。規格の改定のたびに、パラレルATA規格の更新を取り入れている。CF Spec. Rev 6.0では、UDMA 7の最大1113倍速、167MB/sの転送速度である。PCカードアダプタを介して接続した場合、従来の16ビットPCカードスロットでは速度が遅いものしかないため（最高35倍速5.3MB/s、一般に10倍速前後1〜2MB/s）、高速なCFカードはその性能を発揮できない。その場合は、CardBusアダプタ（バス速度444倍速66.6MB/s、2007年現在実測260倍速39MB/s）、または、ExpressCardアダプタ（2007年現在200倍速30MB/s、2008年現在300倍速45MB/s）を使用することで高速転送が可能となる。USBカードアダプタを介して接続した場合、USB 2.0 では最大60MB/sとなり、超高速タイプ(90MB/sから100MB/s)のコンパクトフラッシュの性能が発揮できない。そのような場合は、USB 3.0対応のカードアダプタを使えば解決できる。
現在はその大容量を生かし、デジタル一眼レフカメラなどの高級機器において使用されている。かつては、ニコン・キヤノンを中心にデジタルコンパクトカメラにも使われていたが、今ではデジタルコンパクトカメラ用として使用する記録媒体はほぼSDメモリーカードとなっている。転送速度の優位性から、一眼レフデジタルカメラの上級機種では、CFとSDのデュアルスロットを備え、両者を併用できるようになっているものもある。
型理論の研究者は、派生型であると宣言されたもののみを派生型とするnominal subtyping（nominative; 公称型）と、2つの型の構造によって派生型関係にあるかが決まるstructural subtyping（structural; 構造型）を区別する。上記のクラスベースオブジェクト指向言語の例は公称型である。構造型のオブジェクト指向言語では、型A のオブジェクトが型B のオブジェクトの処理できるメッセージすべてを処理できるなら（言い換えると、同じメソッドを実装していれば）、継承関係に関係なく、A はB の派生型となる。型の派生を持つプログラミング言語の実装は大きく2つに分類される。型A の値の内部表現が型B の値としての内部表現も兼ねるinclusive（包含的）な実装と、型A の値が型B の値に「自動的に変換」されることのあるcoercive（強制的）な実装である。オブジェクト指向言語のサブクラスによる型の派生はたいてい包含的である。前述の整数と浮動小数点数の派生型関係は、内部表現が異なっているので、強制的な例である。ほぼすべての型システムでは型の派生関係が定義されている。それは反射律（型A について、A <: A）と推移律（A <: BかつB <: CならばA <: C）を満たすものである。つまり前順序が成り立つ。
コンピュータサイエンスにおいて、データ型S が他のデータ型T とis-a関係にあるとき、S をT の派生型（はせいがた、subtype）であるという。またT はS の基本型（きほんがた、supertype）であるという。基本型のデータを処理するように作られたプログラムは、その派生型のデータでも正しく処理することができる。つまり、基本型-派生型関係ではリスコフの置換原則(Liskov Substitution Principle)が成り立つ。とは言っても、実際のプログラミング言語では独自の型の派生（subtyping）の概念を採用していることもあり、またそのような概念を持たないこともある。
九重連山の1,700m級の山々に囲まれた標高1,360mの峠。日本の百名峠に選定されている。九州最高峰中岳、稲星山、白口岳と立中山、大船山の間を結ぶ鞍部にあたり、九重連山の主要な登山道のひとつである。また、九州自然歩道もこの峠を通る。坊ガツルの南側に位置しており、竹田市側からは坊ガツルへの入口にも当たる。
以上の話にはバワーズ自身の誇張や思い違いが多く、バワーズの上司であったアール・アーンスト(Earle Ernst)らの功績を歪曲していたことが、2000年代に発表された日米の研究（参考文献：Brandon、浜野）で明らかになっている。実際には、歌舞伎班はアーンストを長に8人編成の部隊であり、検閲作業に関しては全員で当たっていた。自分だけが「歌舞伎の救世主」であると自ら喧伝し、アーンストら他の人員はナチのようにふるまっていたと嘘を連ねるパワーズに対して、アーンストは「法的手段を講じることも辞さない」と怒りをあらわにしたうえで、「彼のエゴイズムよりも、歴史の事実が曲げられることを懸念する」と書いている。マッカーサーの副官という触れ込みも嘘で、本当はボナー・フェラーズ准将の部下（通訳）で、正しい肩書きは「総司令官付軍事秘書官（Military Secretary）」である。1960年に行われた本格的なアメリカでの歌舞伎上演、いわゆる渡米歌舞伎に際して、市川猿之助 (2代)を降ろすように迫って配役にまで口出しし、松竹と対立している。河原崎国太郎は次のように自伝に書いている。「この人（バワーズ）を歌舞伎再生の恩人だと、一部の知識人が口にしますが、わたしは、とんでもないと思っています。自分に対して頭をさげてくる役者を、ひいきのような扱いをしたりしました。」