コード内にアサーションをおくことができる。線形時相論理で記述される検証項目はモデル全体に関する性質を記述するのに対して、アサーションはそれが置かれた場所で満たすべき条件を記述する。
長谷部安春
略歴.
編集者時代は藤井鷹史（ふじい たかし）という筆名で執筆活動を行っており、日活入社後も脚本執筆時には主にこの筆名を使用していた。
ウィリアム・ヘンリー
ウィリアム・ヘンリー (William Henry)
大六天 (飯能市)
大六天（だいろくてん）は、埼玉県飯能市飯能にある小祠。宗教法人ではない。西側に市指定文化財（史跡）「本郷大六天青石塔婆と樫樹」がある。
由緒.
当社には「向かい天狗の絵馬」があり、岩井宏實（民俗学者・帝塚山大学名誉教授）の著書に掲載されている。
本郷大六天青石塔婆と樫樹.
「伝 畠山重忠の墓」.
ただし、史実では重忠が二俣川で敗れた後、遺骸はそのまま同地に葬られたとされており、墓所についても重忠生誕の地である旧武蔵国男衾郡畠山郷（現・埼玉県深谷市畠山、「畠山重忠公史跡公園」内）に所在している。
所在地・交通.
ウイリアム・ヘンリー
アングラー (潜水艦)
艦歴.
戦後.
牧健二
来歴・人物.
中田薫との間で、地頭論争を展開した。息子は法制史学者の牧英正。
犢皮紙
ブートストラップ問題
名前についてはブートストラップの記事を参照。
種類.
コンパイラをソースコード形式で配布する場合、同時に移植の容易なバイトコード版のコンパイラを提供し、コンパイラ自身のコンパイルができるようにする（一例）。
経緯.
また、パーサジェネレータなど、言語処理系の実装に際して、プログラムを生成するプログラムを使っている場合も、似たような再帰的依存関係の問題がある。
ジェイムズ・ポーク
金槌坊
金槌坊（かなづちぼう）は、熊本県八代市の松井文庫が所蔵する江戸時代の妖怪絵巻『百鬼夜行絵巻』にある日本の妖怪。
概要.
鳥のような顔の妖怪が、金槌を振り上げた姿で描かれているが、解説文が一切ないためどのような妖怪かは不明である。
国立歴史民俗博物館所蔵の『化物絵巻』や国際日本文化研究センター所蔵の『化物尽絵巻』にもまったく同様の姿に描かれた妖怪が見られる。こちらは大地打（だいちうち）という名称で描かれている。解説文が一切存在しないのも同様である。