形式的検証の適用例としては、内部にメモリを持つ暗号回路、組み合わせ回路、デジタル回路などのシステム、ソースコードで表現されるソフトウェアがある。これらのシステムの検証は、システムを抽象化した数理モデル上で行われ、その数理モデルと実際のシステムの性質は一致している。使用される数理モデルとしては、有限状態機械、ラベル付き遷移系、ペトリネット、timed automata、hybrid automata、プロセス計算、プログラミング言語の形式意味論（操作的意味論、表示的意味論、公理的意味論）、ホーア論理などがある。
形式的検証（けいしきてきけんしょう）とは、ハードウェアおよびソフトウェアのシステムにおいて形式手法や数学を利用し、何らかの形式仕様記述やプロパティに照らしてシステムが正しいことを証明したり、逆に正しくないことを証明することである。
次元潜航艇（じげんせんこうてい）は、テレビアニメ『宇宙戦艦ヤマトIII』に登場する架空の宇宙艦艇。デザイン担当は板橋克己。『宇宙戦艦ヤマト』のリメイク作である『宇宙戦艦ヤマト2199』に登場する次元潜航艦 UX-01についても、本項で解説する。
この作品は、柴田よしきの短編小説集『ふたたびの虹』をモチーフに描かれた作品で、名古屋市のオフィス街にある居酒屋「ばんざい屋」を舞台に、オフィス街で働くサラリーマンやOLの悲喜こもごもと、ばんざい屋の女将・悦子とのふれあい、さらに悦子自身の辛い過去の経験などを織り交ぜたほのぼの、かつしんみりとさせる人情劇に仕上げた。主演・悦子役の相田翔子はWinkの活動停止以後、歌手、女優業およびバラエティ番組への出演を中心に行ってきたが、主演作品、かつ帯ドラマへの出演は本作が初めてとなった。
国際吃音理解啓発の活動として、オンライン会議を含めて毎年10月1日から22日まで、言語病理学者に加えて吃音や言語障害に関心のある人々によって会議が行われる 。 1998年以降の各年の会議録はオンラインで閲覧できる。そこには、公的な自覚イベント、メディアキャンペーン、教育活動、およびオンラインソースも掲載されている。イギリスの雑誌コミュニティケアーに国際吃音理解啓発の日の記事として掲載された、ブルガリア吃音協会のイリーナ・パペンチヴァから取材した記事において、障害を持つ人むけのサービスプロバイダーのヨーロッパ協会の熱烈な支持者たちは、吃ることについて、斬新な態度を要求したと報じた。それは、『誰もが吃音者と会話したり議論したりする時に、敏感な注意を払う責任を持っている。』『吃ることが奇妙なことではない。』と述べている。
国際吃音理解啓発の日（こくさいきつおんりかいけいはつのひ、英語、International Stuttering Awareness Day、略称、ISAD）は、1998年に国際吃音者連盟・国際流暢性学会などによって定められた、世界に数百万人（総人口の1％）いるとされる吃音（きつおん）や言語障害を持った人に対する理解啓発を目的とする日。10月22日。
同種の混泳は条件付きで可能。ペアになると他のカクレクマノミを攻撃するため2匹での飼育が望ましい。複数飼育する場合は縄張りができないくらい多くの数を飼育すると問題なく飼育できる。他種と混泳する場合、カクレクマノミは温和な性格のため、基本的に問題ない。イソギンチャク、サンゴを食べることがないため同じ水槽に入れて問題ない。イソギンチャクの種類により共生する。カクレクマノミはイソギンチャクの毒から身を守る耐性があるため共生可能なのである。共生可能なイソギンチャクの種類とされているのは、ハタゴイソギンチャク、シライトイソギンチャク、センジュイソギンチャク、サンゴイソギンチャクである。一方共生しないイソギンチャクは、ロングテンタクルアネモネ、イボハタゴイソギンチャク、タマイタダキイソギンチャクである。ただし、共生は個体差があるため共生するイソギンチャクの種類であっても共生しないこともあれば、逆のこともある。
海水魚店、ペットショップにて一般的に販売されている。繁殖された個体が販売されていることが多く、繁殖された個体のほうが一般的に安い。また、他のペット同様ヒレや体に傷が有る場合は安価で販売される。
映画『ファインディング・ニモ』（2003年）に登場するキャラクターとして紹介され、一躍有名になった。ただし、ニモは生物学的にはペルクラ種の特徴を備えている。詳しくはクマノミ亜科を参照。
近縁種のペルクラと同様、センジュイソギンチャクなどのイソギンチャクと共生の関係にあり、住みかとして、また捕食者からの避難のために利用している。イソギンチャクの触手には刺胞（毒針）があるのだが、クマノミ類の魚はそれに耐性があるため、そのようなことが可能である。一般的に、カクレクマノミはペルクラよりも丈夫で、性格は若干大人しい。カクレクマノミは、彼らが住みかとしているイソギンチャクが食べ残したものを餌としている。
2019年5月18日現在、成道会、拳友会、竜成会、天心会の4つの会派と直轄支部道場およびオーストラリアに支部がある。毎年10月に、NPO法人世界寛水流空手道主催のオープン選手権を、二代目会長・世古典代の生誕地である三重県津市で開催している。尚、参加資格は大会ルールを守れるものであれば「空手・各種格闘技・その他誰でも可。流派非公開も可」と広く門戸を開放していることから,選手権には60流派、約800名の選手が参加し、東海地方で最も大きな空手大会の1つとなっている。また、大会には名誉会長であるアントニオ猪木をはじめ寛水流出身のプロレスラー・後藤達俊、奥田啓介、角界に進んだ徳真鵬元久などがゲストとして参加し、開会式のアントニオ猪木による「1、2、3、ダァー」は恒例行事となっており会場は大変な熱気に包まれる。