PlusCal (旧称 +CAL) は、 Leslie Lamppost により考案された形式仕様言語で、 TLA⁺ に変換される。TLA⁺ のアクション志向が分散システムに重点を置いているのとは異なり、 PlusCalは逐次命令形のプログラミング言語と似ており、シーケンシャルアルゴリズムの記述により適している。PlusCalは  擬似コード を置き換えることを目的に設計されており、その簡潔性を維持する一方で形式的に定義され検証可能な言語を提供している。例として、1ビットクロックはPlusCalでは次のようにかける。-- fair algorithm OneBitClock {  variable clock \in {0, 1};  {    while (TRUE) {      if (b = 0)        b := 1      else         b := 0        }  }}PlusCalのツールとドキュメントは PlusCalアルゴリズム言語のページ から参照することができる．
松井家は、宮本武蔵の細川家への仕官を仲介し、晩年の武蔵を後見し兵法の弟子になるなど、武蔵と深く関わった。そのため、武蔵からの書状や水墨画や工芸品など多くのゆかりの品々が伝えられた。また、松井家の家臣で、松井家の二天一流兵法師範である正脩の父・豊田正剛は、武蔵の晩年の弟子である道家角左衛門、山本源五左衛門、中西孫之丞、田中左太夫らが生前の武蔵について語った内容を、直接または間接的に聞き、覚書として残した。父の跡を継いだ正脩は、武蔵の熊本での足跡やゆかりの品の所有者について調べた。その調査結果を正剛の覚書に加え、さらに武蔵が著した『五輪書』『独行道』、武蔵の養子である宮本伊織が手向山（現在の北九州市）に建てた新免武蔵玄信二天居士碑（小倉碑文）や寛文2年（1662年）の『羅山文集』、それらを記している享保元年（1716年）の『本朝武芸小伝』の武蔵に関する部分を参照し、宮本武蔵の史料を集めた。それらの史料を宝暦5年（1755年）にまとめ上げたものが『武公伝』である。
『武公伝』（ぶこうでん、武公傳）は、宝暦5年（1755年）に肥後細川藩の筆頭家老・松井家の二天一流兵法師範の豊田正脩が著した宮本武蔵の伝記。
東野郡（とうのぐん・とうののこおり）は備前国にかつて存在した郡である。藤野郡（とうのぐん・とうののこおり・ふじのぐん・ふじののこおり）とも表記・呼称された。また、721年の郡設置当初は藤原郡（ふじわらぐん・ふじわらのこおり）という名称で、726年に改称した。律令制下の郡衙推定地等は不明である。
中央構造線は、西側に白亜紀に低圧高温型変成作用を受けた領家帯の変成岩や花崗岩、東側にジュラ紀の付加体が白亜紀に高圧低温変成作用を受けた三波川帯の変成岩が接する断層であるが、北川露頭ではその定義通りの姿を観察できる。露頭に向かって右側（東側）の黒っぽい岩石が三波川帯の岩石、左側（西側）の薄い白っぽい岩石が領家帯の岩石である。断層の動きで破砕変質した部分のうち領家帯の白っぽい部分は、約1200万年前に熱水による変質を受けた部分。これは少し北の中央構造線上にある溝口露頭に珪長質岩脈が貫入した時期に相当し、この時期に中央構造線に沿って大きな変化があったと推定される。この露頭の「剥ぎ取り標本」が露頭近くの大鹿村中央構造線博物館に展示されており、また同館ではウェブサイト上にて、北川露頭を含む中央構造線に関する情報を公開している。
北川露頭（きたがわろとう）は、長野県下伊那郡大鹿村鹿塩、鹿塩川左岸にある中央構造線の露頭。南にある安康露頭と合わせて「日本の地質百選」・「国の天然記念物」である。
古代における攻城兵器は破城槌、カタパルト (投石機)、オナガー (投石機)、攻城塔などであった。中世になると、これらに加えてバリスタ（大型弩砲）、トレビュシェット（改良型投石機）などが加わり、近世になると大砲が用いられるようになった。城壁を用いて防衛する側は、古代においては弓矢で反撃したり、胸壁や出し狭間（石落とし）から石や煮えたぎった油、湯や糞尿を落としたりして抵抗した。中世になるとクロスボウも使われるようになった。
別府市朝見にあった長谷神社（祭神 大歳神・豊作の神）と愛宕神社（祭神 迦具土命・火の神）が1919年（大正8年）12月21日に許可を得て合併奉祀し、大穴牟遅命（薬の神）、少彦名命（水の神）を合祀して温泉神社と称したのに始まる。1907年（明治40年）に皇太子時代の大正天皇が行啓した際に建てられた御座所を社殿とし、青山町の旧別府公園内（現在の別府市営公園テニスコート・青山幼稚園付近）で創建された。第二次世界大戦後、神道指令により公有地の公園内にあった温泉神社は存続できなくなり、神体と神輿は八幡朝見神社に合祀された。以降、別府八湯温泉まつりの開会奉告祭と温泉神社神輿の御幸祭は八幡朝見神社で斎行されている。温泉神社神輿は1919年（大正8年）に造られたもので80数年の風雪による老朽化が進んだため、修理修復され、2007年（平成19年）3月24日に完成奉告祭が八幡朝見神社で行われた。また、合祀後に解体された社殿は、1945年（昭和20年）7月の大分空襲で社殿を焼失した大分市勢家町の春日神社に移築され、本殿として使用された。1967年（昭和42年）に春日神社の本殿が新築された後は、神輿を納める蔵として使用されている。