この機関車は、勾配線区用として製造されたもので、テンダ機関車でありながら粘着重量の増加を図るため、機関車部分に側水槽を設けているのが特徴である。また、ボイラーの火室は広火室式のベルペヤ火室を採用している。歩み板は前端梁から一直線に通されており、運転室もイギリス様式の開放的なものである。煙室は短くボイラーの第2缶胴上に蒸気ドーム、火室上に安全弁を設置しており、煙室も短い。炭水車は、同時期に導入された5500形と同じもので、台車は3軸固定式である。製造時、砂箱は煙室の横、シリンダの真上に設置されたため、弁装置はアメリカ型スチーブンソン式に見えるが、イギリス様式の基本型である。砂箱は位置的に使い勝手が良くなかったのか、早期に後方へ移設されていた。使用線区は、東海道線の箱根越えや逢坂山越えの勾配区間で、後に信越線、磐越線に移った。信越線のものは1915年（大正4年）、ボイラー上に容量0.5m³の重油タンクを設置して、重油併燃方式となっていた。廃車は、全車1927年（昭和2年）で、民間に払い下げられたもの、保存されたものはない。
元はイギリスのベイヤー・ピーコック社で、鉄道作業局が1894年（明治27年）に12両（製造番号3585 - 3596）、1903年（明治36年）に北海道鉄道が2両（製造番号3498，3499）を製造した車軸配置2-6-0(1C)形で2気筒単式のテンダ機関車である。鉄道作業局のものの当初の形式はAG形、番号は148 - 159で、後にE4形（番号不変）と称した。私鉄国有化を受けて1909年（明治42年）に実施された鉄道院の車両形式称号規程では、7700形（7700 - 7711）に改番された。北海道鉄道のものは、C1形（9，10）と称し、国有化後の改番では鉄道作業局のものの続番（7712，7713）が付与されている。両者は、同じメーカーの製造による同じ車軸配置をもつほぼ同クラスの機関車であるという以外、形態的には大きく異なっており、同じ7700形にまとめてしまったのは、かなり乱暴な措置であったといえる。
民間地上基幹放送事業者とは、日本放送協会（NHK）と放送大学学園（学園）以外の地上基幹放送事業者のことである。この内、臨時目的放送局とギャップフィラー中継局には放送番組審議会の設置は不要である。地域割は日本民間放送連盟の区分に従い、同一地域の配列は、テレビ（ラテ兼営局含む）→ラジオの順。テレビについてはデジタル放送のリモコンキーID順とした。
より形式的な例を挙げる。次のようなリストの性質を考える。    length (L ++ M) = length L + length M          [EQ]ここで L と M はリストであり、演算子 ++ はリストの連結を表している。これを証明するには、length と ++ の定義が必要である。    length []     = 0                  [LEN1]    length (h:t)  = 1 + length t       [LEN2]    []    ++ list = list               [APP1]    (h:t) ++ list = h : (t ++ list)    [APP2]ここで (h:t) は、最初の要素が h で、残りの要素がリスト t で表されるようなリストを表す。[] は空のリストを表す。いま示そうとしているリストの性質 P(L) は、「すべてのリスト M に対して、上述の等式 EQ が成り立つ」ことである。リストに関する構造的帰納法によって、∀L. P(L) を証明する。まず P([]) が真であることを示そう。つまり、L = [] であるときに、すべてのリスト M に関して EQ が成り立つことだ。これは次の等式で証明される。      length (L ++ M)  = length ([] ++ M)             (仮定 L = [] より)                       = length M                     (APP1 より)                       = 0 + length M                       = length [] + length M         (LEN1 より)                       = length L  + length M次に、すべての 空でない リスト I を考える。I は空でないから、先頭の要素を持つ。それを x とし、残りの要素からなるリストを xs とする。(これは I = x:xs と表せる。)　ここでの帰納法の仮定は、すべてのリスト M に対して次の等式 (EQ の L = xs の場合) が成り立つことである。    length (xs ++ M) = length xs + length M    (帰納法の仮定)このとき、P(I)、すなわちすべてのリスト M に対して EQ (の L = I の場合) が成り立つことを示したい。先ほどと同様に計算する。    length L  + length M      = length (x:xs) + length M                              = 1 + length xs + length M     (LEN2 より)                              = 1 + length (xs ++ M)         (帰納法の仮定より)                              = length (x: (xs ++ M))        (LEN2 より)                              = length ((x:xs) ++ M)         (APP2 より)                              = length (L ++ M)したがって、構造的帰納法により、すべてのリスト L に対して P(L) が真であることが示された。すなわち、すべてのリスト L と M に対して EQ が真である。