車両番号は1000系であるが、制御方式から「抵抗車」と呼ばれる、広域電鉄最初の電車である。日本国鉄の301系によく似た車両であるが、こちらは鋼製車体で6M4T、韓国国鉄（鉄道庁）が交流電化、地下鉄が直流電化のため交直流電車となっている。主電動機は日本国鉄のMT55AをベースとしたHS-1036-CRB（端子電圧375V、電流360A、1時間定格出力120kW、定格回転数1,650rpm、連続定格出力105kW）が採用され、台車は日立製作所製のKH-90形であり、枕ばねにはコイルばねが採用されている。
「世界灯台100選」および「日本の灯台50選」に選ばれている。その歴史的文化財的価値が高さから、Aランクの保存灯台に指定され、灯台として初の登録有形文化財に登録された。毎年7月の第3月曜日の海の日には灯台内部が一般公開される。敷地内には美保関地ノ御前島照射灯（航路標識番号 0849）が併設されている。また、沖合約4 kmに浮かぶ沖ノ御前島には沖ノ御前島灯台（航路標識番号 0850）が設置されている。灯台横の官舎（旧吏員退息所）の建物は現在、美保関灯台ビュッフェ（レストラン）に改装され活用されている。1930年に与謝野鉄幹・晶子夫妻が地蔵埼を訪れており、夫妻が残した歌が灯台施設前の石碑に記されている。
東京都出身。千葉県立船橋高等学校、早稲田大学政治経済学部政治学科卒業。情報誌｢シティロード｣、コンピュータ文化誌「ワイアード」日本版、「季刊・本とコンピュータ」の編集に携わる。武蔵野美術大学、横浜国立大学、日本エディタースクールで非常勤講師。文化系トークラジオ「Life」のサブパーソナリティも務めるなど、活動は多岐に渡る。
仲俣 暁生（なかまた あきお、1964年2月9日 - ）は、日本のフリー編集者、文筆家。「マガジン航」編集人。かつて別冊宝島などで「水本犬太郎」というペンネームを使っていた。
反復補題は、ある言語が正規言語であるための十分条件ではないことに注意されたい。つまり、正規言語以外でもこの反復補題が成り立つことがある。言語 L について反復補題が成り立たない場合、L が正規言語でないことがわかる。しかし、反復補題が成り立ったとしても、L が必ず正規言語であるとは言えない。例えば、言語 {uuᴿv : u,v  {0,1}⁺}（アルファベット {0,1} で構成される回文形式の空でない文字列に別の文字列が付属したもの）は正規言語ではないが、p = 4（w=uuᴿv の長さが 4 以上の場合）で反復可能である。u の長さが 1 であれば、|v| ≥ 2 であり、v の先頭の文字を y とすればよい。さもなくば、u の先頭文字を y とする（k ≥ 2 のときの yᵏ は空でない回文 yy で始まる文字列を構成し、残りを v と見なせば、この言語に属することになる）。正規言語のより実用的な判定方法についてはマイヒル-ネローデの定理を参照されたい。ある言語が正規言語であることを証明する典型的な方法は、その言語を受理する有限オートマトンか正規表現を構築することである。
2008年1月31日、アメリカでプロデビュー戦。ニューヨーク州ニューヨーク市ブロンクス区でデビュー戦を行い、4回3-0（38-36、2者が39-35）の判定勝ちを収めた。 2009年2月15日、アメリカのニュージャージー州リンドハーストでハビエル・デニスと対戦し、初回59秒KO勝ちを収めた。2012年6月23日、カヤオのコリシオ・ミゲル・グラウでダリル・ゴンカルベス・ピレスと南米フェザー級王座決定戦を行い、8回3-0（3者共に80-72）の判定勝ちを収め王座獲得に成功した。2012年10月27日、イカ県チンチャ郡でディエゴ・アルベルト・チャベスと対戦し、10回3-0（2者が100-90、99-91）の判定勝ちを収め南米王座の初防衛に成功した。2014年3月8日、リマのコリセオ・ディボス・ダメルトでデービス・ペレスとWBAフェデラテンフェザー級王座決定戦を行い、11回KO勝ちを収め王座獲得に成功した。2014年8月9日、WBA世界スーパーバンタム級暫定王者ネオマール・セルメニョと対戦予定だったが直前になって試合が中止になった。2015年3月28日、リマのメガ・プラザ・ノルテでヘスス・クエジャルの正規王座認定に伴いダニエル・ラミレスとWBA世界フェザー級暫定王座決定戦を行い、12回3-0（116.5-113.5、116-112、118-111）の判定勝ちを収め暫定王座の獲得に成功した。2015年8月1日、イカ県チンチャ郡チンチャ・アルタのコリセオ・セラード・マウロ・ミナでWBA世界フェザー級15位のホセ・サンマルティンと対戦し、12回3-0(115-113、2者が117-112)の判定勝ちを収め暫定王座の初防衛に成功した。2016年8月12日、フロイド・メイウェザー・ジュニア率いるメイウェザー・プロモーションズと契約した。2017年4月29日、ラスベガスのサムズ・タウン・ホテル・アンド・ガムブリング・ホールにてWBA世界フェザー級3位のクラウディオ・マレロとWBA暫定王座の防衛戦とIBO世界フェザー級王座決定戦を行い、プロ初黒星となる初回1分30秒TKO負けを喫し、WBA暫定王座は2度目の防衛とIBO王座の獲得に失敗した。