2008年12月25日に、ジュピターテレコム（J:COM）が、従来の株主であるLiberty Japan MC,LLC（リバティ・グローバルの子会社。45.46%）、MC investments,Ltd.（23.85%）、Mediatti Holdings,Ltd.（20.85%）、豊田通商（5.75%）、PCCW Mediacom,Ltd.（PCCWの子会社? 2.72%）、個人3名（1.37%）の8者から、発行済み株式6万8275株すべてを283億52百万円で買取り、連結子会社化した。これによりジュピターテレコムは、タイタス・コミュニケーションズ、ケーブルウエストに続き国内のMSOの3社目を買収したことになる。
内野電停から鴨川を渡り、三橋集落の東側中心部に入ったところに存在した。現在の三橋中学校の北に当たる。交換電停について記述がゆれている中、確実に交換可能であった電停の一つである。
標高50~1700mにある渓流の周辺に生息する。繁殖期は4~5月、繁殖の後に1ケ月程の春眠に入る。の後樹上に登ることもある。食性は動物食で、昆虫、節足動物、ミミズなどを食べる。繁殖形態は卵生。4-5月に渓流の水底に、ひも状の卵塊に包まれた約2,500個の卵を産む。
ヘモグロビンの電気泳動法による解析では、解析結果がニホンヒキガエルとは類似するもののヨーロッパヒキガエルとは系統が異なる（近縁ではない）と推定されているタイプ標本は奈良県大台ケ原産で大阪市立自然史博物館に保存。人工的に近縁のニホンヒキガエル、アズマヒキガエルとの間に、妊性(雑種二代目が可能)のある雑種が出来る。自然下ではごく一部地域でアズマヒキガエルとの雑種が知られている。これは生息環境の破壊等により、アズマヒキガエルの繁殖地が本種と重なった結果]だと言われている。しかし、通常この二種は同所には生息しておらず、生殖隔離はほぼ完全なため、亜種では無く、別種として扱うのが適当とされている。
体長オス7-12.1センチメートル、メス8.8-16.8センチメートル。皮膚には疣状の突起がある。体色は緑褐色や黒褐色で、赤や橙の斑紋が入る個体もいる。鼓膜は小型で、不明瞭。四肢は長い。趾の間にはやや水かきが発達する。幼生は口器が大型で吸盤状になり、流水でも流されないよう適応している。オスは繁殖期になると疣状の突起が消失する。
1953年（昭和28年）の車輌換算法の改正で、冷房付きの車は夏季冷房期間中は一様に重量記号の表す換算両数に0.5を加算して扱うことになるので（これ以前は車種により1を加算するものと0.5を加算するものがあった）、夏季に冷房を取り付けることになっている車両の形式はマに統一した。これによりスの場合同形式中でも冷房取り付けの有無により形式を変え、スシ37は冷房付をマシ29に、他をスシ28に変更した。
1949年（昭和24年）6月11日達38号により車両換算法の改正があり、特別職用車など連合軍専用客車を中心に若干の車種の重量記号が改められた。
輸送量の増大に伴い、1942年（昭和17年）7月30日達423号により車両換算法が全面改正され、客貨車と機関車の換算法が統一された。主に貨車の輸送改善に関わるもので、1919年1月の客貨車換算法による換算両数では、貨物列車が重量化した場合に運転事故がしばしば起こるようになったため、1940年に大規模調査を行い、積車換算を、重量・普通・軽量換算の三種に区分するなどして列車の実重量との適合を図るものとした。
RAの超数学は1987年のタルスキとGivantによる本の中で大きな分量を割いて議論されている。また Givant の論文においても簡潔に述べられている。RA は全体として等式から成り、それらは一様な置き換えと代入だけで操作される。この二種類の操作規則は、学校教育でも扱われ、抽象代数でも扱われ、一般的に慣れ親しまれた操作である。よって RA の証明は一般の数理論理学における証明と異なり数学者が慣れ親しんでいる形で進められる。RA は三つ未満の変数をもつ一階述語論理(FOL と記す)の論理式(もしくはそれと論理的に同値なもの)を記述することができる。与えられた変数は三回を越えない範囲で繰り返し量化子を用いて量化されうる。驚くべきことに、このような FOL の一部分だけでもペアノの公理を記述することができ、現在提唱されている中で殆ど全ての公理的集合論を記述することができる。よって、 RA は FOL とその結合子、量化子、ターンスタイルと三段論法を使わずに、数学全てを代数化する手段となる。RA はペアノの算術と集合論を記述するのでゲーデルの不完全性定理が適用され、RA は不完全であり完全化不能であり決定不能である（一方、RA におけるブール代数は完全で決定可能）。表現可能関係代数 (representable relation algebra) とは、ある集合上の二項関係からなる関係代数と同型で、RA の演算を通常の二項関係間の演算として解釈できるものをいう。表現可能な関係代数からなるクラスを RRA と書くことにする。RRA は準多様体 (quasivariety) であることが、例えば擬基本類 (pseudoelementary class) の手法を以って、簡単に示される。即ち、普遍ホーン理論により公理化可能である。1950年にリンドンはRA では成立しないが RRA では成立する方程式が存在することを証明した。つまり、RRA から生成される多様体は RA から生成される多様体の真の部分多様体になっている。1955年にタルスキは RRA それ自体が多様体であることを示したが、それは 1964年にモンクが示したように有限公理化を持たない（RAは定義から有限公理化される）。この、全ての関係代数が表現可能ではないということは、つねに表現可能であるブール代数と関係代数との差異を表す基本的な手段となっている。