stanford-oval/wikipedia huggingface dataset:
Cython

| --- | --- |
: 「CPython」とは異なります。
| --- | --- |
 
作者:  Robert Bradshaw、Stefan Behnel など
初版:  2007年7月28日 (17年前) (2007-07-28)

最新版:  3.0.12    / 2025年2月11日 (10日前) (2025-02-11)
最新評価版:  3.1.0 alpha 1    / 2024年11月8日 (3か月前) (2024-11-08)
リポジトリ:  github.com/cython/cython  
プログラミング 言語:  C言語, Python
対応OS:  Windows, macOS, Linux
プラットフォーム:  クロスプラットフォーム
ライセンス:  Apache License 2.0
公式サイト:  cython.org 
テンプレートを表示
Cython（サイソン）は、C言語によるPythonの拡張モジュールの作成の労力を軽減することを目的として開発されたプログラミング言語である。その言語仕様はほとんどPythonのものと同じ (上位互換) だが、Cの関数を直接呼び出したり、C言語の変数の型やクラスを宣言できるなどの拡張が行われている。Cythonの処理系ではソースファイルをCのコードに変換し、コンパイルすればPythonの拡張モジュールになるようにして出力する。
このようにCとPythonをシームレスに取り混ぜて扱うCythonの利点の一つは、既にあるPythonコードを、いくつかの静的な型 (static type) を宣言して律速なループをうまく書き直すだけで、コンパイル後のコードの実行速度がC言語並みに高速化されることである。複雑なC言語インターフェイスを使う必要はない。コーディングのしやすさと可読性はPythonと変わらない、つまりPythonic（英語版）なままである。数値計算/配列操作では、多くの場合実行速度がおおよそ100倍になる。PythonのJITコンパイラであるPsycoの場合はおおよそ4倍である。
CythonはPyrex言語から派生したもので、Pyrexに比べると様々な機能や高度な最適化が加えられている。
自由ソフトウェアの数値計算・数式処理システムであるSAGEの一部はCythonで書かれている。
Cythonの処理系はPythonで書かれており、Windows、Linux、macOSで実行できる。
参考

Cython ホームページ
Kurt W. Smith, 中田 秀基(訳), 長尾 高弘（訳）：「Cython － Cとの融合によるPythonの高速化」、O'Reilly Japan, Inc.、ISBN9784873117270（2015年6月）。
"Welcome to Cython's Documentation"
”Cython 3.0: The next generation of Python at the speed of C”,　InfoWorld（July, 17th, 2023)
Dockコネクタ

Dockコネクタ（ドックコネクタ、英: dock connector）は携帯型の電子装置を外部機器に接続するために用いられる接続端子（コネクタ）であり、様々な信号を入出力する端子が含まれ、多様な外部機器への接続を容易にする。Dockコネクタは機器本体に組み込まれる形態の他にも、ケーブルで引き出されその終端にコネクタハウジングが備わるものがある。Dockコネクタはもともとノートパソコンに関連する概念であったが、現在はその他の携帯端末にも用いられる。また、携帯メディアプレイヤーのコネクタの統一規格として、米国家電協会がPDMI (Portable Digital Media Interface) を策定した。
デジタルメディアプレーヤー > Apple > Apple Dockコネクタ

→「iPod § ハードウェア」も参照
Apple DockコネクタはiPhone、iPad、iPodシリーズに共通で取り入れられている30ピンコネクタである。コネクタには日本航空電子工業のDD1という汎用コネクタが用いられている。ただし、iPod shuffleには取り入れられておらず、iPadのDockコネクタはUSBの給電規格から外れているためにiPadを使用しながらの充電はできないと言ったように機器によって微妙な差異は存在する。
Apple Dockコネクタには、USB、FireWire、ステレオオーディオライン入出力やビデオ出力 (コンポジット、Sビデオ (iPod 4世代/5世代)、コンポーネント (2007年9月5日以降発売のモデル))、その他様々な信号が存在する。
また、同じApple Dockコネクタであっても機器の発売時期により細かな仕様変更が行われている。主な変更は以下のとおりである。
| Apple Dockコネクタ (2003-2016)> 機種 | Apple Dockコネクタ (2003-2016)> 備考 |
| --- | --- |
iPod 3G: USB (5V) 充電不可。FireWire対応。
2004年以降発売モデル (iPod mini以降): USB (5V) 充電対応。
2004年11月以降発売モデル (iPod Photo以降): Sビデオ出力対応。
2005年9月以降発売モデル (iPod 5G,iPod nano 1G以降): FireWire転送未対応。アクセサリーの取り扱いを強化。(シリアル通信周り等)
2007年9月以降発売モデル (iPod 6G,iPod nano 3G,iPod Touch 1G以降): ビデオの出力方式を変更（Sビデオ出力の廃止、コンポーネント出力対応、アダプタ等の機器に認証チップが必要等）、リモコン等の外部機器からの操作周りの仕様変更。
2008年7月以降発売モデル (iPod nano 4G,iPhone 3G,iPod Touch 2G以降): FireWire (12V) 充電未対応。
デジタルメディアプレーヤー > Apple > Lightning

2012年秋以降に発売されるモデルはコネクタの形状が小型化された8ピンのLightningに切り替えられた。従来のDockコネクタも使用できるようにLightning - 30ピンアダプタが発売されている。基本的にはデジタル情報のみを扱うため、30ピンのDockコネクタで対応していた音声のアナログのライン入出力やビデオ出力には非対応であるが、Apple純正のLightning - 30ピンアダプタにはDACが内蔵されているため、音声のアナログライン出力に対応している。また、Lightning - Digital AVアダプタを利用することでHDMI端子を用いてビデオ出力することができ、HDMI - コンポジット変換アダプタ等を用いてコンポジット出力することも可能である。
デジタルメディアプレーヤー > COWON

iAudio M3、X5に搭載されている22ピンコネクタ。コネクタにはGomadic社の22ピンコネクタが用いられている。USB接続やオーディオライン入出力などに対応する。
デジタルメディアプレーヤー > Creative > Docking connector

ZEN Visionシリーズに搭載されている30ピンのDockコネクタ。Apple Dockコネクタと同様に日本航空電子工業のDD1が用いられているが、Apple Dockコネクタとはピンアサインが異なるため互換性はない。USB接続やビデオ出力、オーディオライン出力などに対応する。
デジタルメディアプレーヤー > iriver > USB / Adapter jack (18ピン)

H10、H10jrに搭載されている18ピンの拡張端子。USB接続や充電、ライン出力に対応する。
デジタルメディアプレーヤー > Microsoft

Zuneシリーズに搭載されている24ピンのDockコネクタである。USB通信やシリアル通信、音声のライン出力やビデオ出力が可能となっている。
デジタルメディアプレーヤー > Olympus > クレードル / PC接続端子

m:robeシリーズに搭載されている18ピンの拡張端子。USB接続や充電 、そしてMR-500iはテレビ出力が可能となっている。コネクタ自体はヒロセ電機のST80 Bが使われており、サムスンやサンヨーの海外向け携帯電話に使われているものと同等のものである。
デジタルメディアプレーヤー > Panasonic > D-snap port

D-snap SV-SD800Nより搭載されるようになった24ピンの拡張端子。パナソニックのコンポやカーナビと連携することが可能であった。
デジタルメディアプレーヤー > Philips > Philips dock connector

Gogear HDD1400,HDD1600,HDD6300に搭載されている30ピンのドック端子でコネクタには日本航空電子工業のDD1が用いられているが、Apple Dockコネクタとはピンアサインが異なるため互換性はない。USB接続や充電、ライン出力、テレビ出力が可能となっている。
デジタルメディアプレーヤー > Rio > クレードル端子

Rio Karmaに搭載されているクレードル端子。ライン出力やイーサネット接続が可能となっている。
デジタルメディアプレーヤー > Samsung

Galaxy TabにApple Dockコネクタと同等の形状のDockコネクタが搭載されている。Apple Dockコネクタとは互換性は無くUSB接続やライン出力、ビデオ出力の他にMHL出力等も備えている。
デジタルメディアプレーヤー > SanDisk > Sansa Dock Connector

Sansa Dock ConnectorはサンディスクのSansa E200、C200、View、Connect、Fuzeに搭載される30ピンコネクタである。Apple Dockコネクタと同様に日本航空電子工業のDD1が用いられているが、Apple Dockコネクタとはピンアサインが異なるため互換性はない。
デジタルメディアプレーヤー > SONY > マルチコネクター

NW-A1000/3000に搭載された42ピンの端子である。その後は以下のWM-PORTに変更された。
デジタルメディアプレーヤー > SONY > WM-PORT

→「ウォークマン § WM-PORT」も参照
WM-PORT (ダブリューエムポート) とは、ウォークマンとアクセサリーを接続するための専用マルチ接続端子。
仕様は当初公開されておらず、WM-PORT対応の周辺機器はSonyからのみ発売されていたが、後に「Designed for Walkman®」というライセンスプログラムを開始し、これを取得したサードパーティ製の周辺機器が発売されている。
WM-PORTはUSB接続やステレオオーディオ出力（SONY純正のクレードルが必要）、他にビデオ出力ケーブルでテレビに出力できる。またダイレクト録音ケーブルにより、ステレオミニプラグ出力ができるMP3プレーヤーやラジカセから直接録音できる。
デジタルメディアプレーヤー > tatung

Elio Photo Jukeboxに搭載されている26ピンのドック端子。USB通信や充電、ライン出力等を備える。コネクタはパナソニックのAXR30541が用いられている。
デジタルメディアプレーヤー > TOSHIBA > 拡張コネクター

gigabeatシリーズに搭載されていた40ピンのUSBクレードル端子。gigabeat Fより搭載が開始した。当初はUSBクレードルコネクターという名称であったが、gigabeat Sより拡張コネクターという名称が用いられるようになった。USB接続やライン出力の他、オンキヨーのRIシステムにも対応する。
デジタルメディアプレーヤー > Victor > クレードルコネクター

alneo XA-HD500に搭載された端子でUSB接続やアナログライン出力やプレイヤーの操作などが可能。コネクタには、Apple DockコネクタやSansa Dock Connectorと同じ日本航空電子工業の30ピンコネクタ「DD1」が使われている。付属のクレードルや自社製のカーオーディオ等わずかに対応機器は存在したが、その後発売されたモデルからはこの端子が廃止されたため普及に至らなかった。
デジタルカメラ > GoPro > Heroポート

GoProシリーズに搭載されている30ピンのコネクタで、Apple Dockコネクタと同様に日本航空電子工業のDD1が用いられている。しかし、他のDD1を用いた製品と同様にピンアサインが異なるためApple Dockコネクタとは互換性が無い。USB接続やビデオ出力などが可能である。
Apple 30ピン Dockコネクタ
iPodの形状に合わせて作られたDockアダプター
もたいまさこ

もたい まさこ（本名：罇 真佐子（読み方は同じ）、1952年〈昭和27年〉10月17日 - ）は、日本の女優。東京都渋谷区出身。実践学園中学・高等学校、舞台芸術学院卒業。
来歴・人物

実家はパン屋。（父親は広志。有楽町のメッカというお店で脚本家の倉本聰も通っていた）
1978年、渡辺えりらと「劇団2○○」（げきだんにじゅうまる）を結成（1980年に「劇団3○○（さんじゅうまる）」に改名） 。当初は制作を担当していたが、役者として舞台に立つようになると、特異なキャラクターと演技が演劇界の注目を集める。1986年に退団。
退団と同年、金鳥の防虫剤「ゴン」のCMで木野花と共演。同CMで使われた「亭主元気で留守がいい」のフレーズが流行語大賞の銅賞を受賞し、さらに共演の木野と雰囲気が似ていることでも話題となった。
1988年、「恩田三姉妹」として室井滋、小林聡美と共演した『やっぱり猫が好き』がヒットし、一躍人気者の仲間入りを果たす。これ以降、あらゆる媒体で小林との共演が非常に多い。
1994年にエッセイ『猿ぐつわがはずれた日』を、1997年には群ようことの共著『活!』を出版した。
2007年、『それでもボクはやってない』の演技で日本アカデミー賞最優秀助演女優賞を受賞。
一見、おっとりした顔立ちと飄々とした演技からは意外に思われるが、劇団時代には渡辺と演技の方向性について激しく議論することもあった（例えば、『やっぱり猫が好き（NYスペシャル）』の番外編（ビデオ・DVD）では、ホテルで打ち合わせ中にタバコを吸いながら、スタッフに意見をぶつけている場面が映っている）。
2021年のドラマ出演を最後に目立った活動をしておらず、2024年12月末の所属事務所シャシャ・コーポレイション解散をもって事実上の引退状態となっている。
出演 > テレビドラマ > NHK

大河ドラマ
春の波涛（1985年） - 小千代
銀河テレビ小説（NHK）
清水みなとストーリー（1986年） - まつ江
のんのんばあとオレ（1991年） - 村木道
連続テレビ小説
かりん（1993年） - 池田（黒田）文江
天うらら（1998年） - 山ノ内豊子
芋たこなんきん（2006年） - 神辺ソノ子
サザンスコール（1994年） - 松田里江
双子探偵（1999年） - 売店店員
少年たち3（2002年） - 堤判事
男の操（2017年） - 小島冬美
出演 > テレビドラマ > 日本テレビ

新・熱中時代宣言（1986年） - 塩田先生
東京庭付き一戸建て（2002年） - 有栖川愛子
すいか（2003年） - バー「泥船」のママ
anego（2005年）
神はサイコロを振らない（2006年）
マイ☆ボス マイ☆ヒーロー（2006年） - 水島椿
ハケンの品格（2007年） - 橋立くに子
セクシーボイスアンドロボ（2007年） - 恵
ハリ系（2007年） - 耳田ハリ江
1ポンドの福音（2008年） - 修道院長
おせん（2008年） - 丁子
黄金の豚-会計検査庁 特別調査課-（2010年） - 堤啄子
シェアハウスの恋人（2013年） - 寺坂香苗
出演 > テレビドラマ > TBS

ビートたけしの学問ノススメ（1984年） - 桃園つぼみ先生
時間ですよたびたび（1988年）
さくらももこランド・谷口六三商店（1993年） - 谷口ヨシ
こちら本池上署（2002年・2003年） - 堀内純子
カルテット（2017年） - 巻鏡子
出演 > テレビドラマ > フジテレビ

月曜ドラマランド
ひみつのアッコちゃん（1987年）
藤子不二雄の夢カメラ（1987年）
同級生は13歳（1987年）
あまえないでヨ!（1987年）
MORUMO 1/10（1987年） - 吹田さゆり
やっぱり猫が好きシリーズ（1988 - 2007年） - 恩田かや乃
日本一のカッ飛び男（1990年） - 米田くめ子
世にも奇妙な物語
「シンデレラ」（1991年） - 有栖川絹代
ボクたちのドラマシリーズ 放課後（1992年） - 高本郁子
Vの炎（1995年） - 朝丘こずえ
ナニワ金融道2（1996年10月8日、フジテレビ） - 青田久子
きらきらひかる（1998年） - 渡辺輝子
タブロイド（1998年） - 香月弁護士
古畑任三郎（1999年） - 臺もえ子
カバチタレ!（2001年） - 大沢ヨネ子
ディビジョン1（2004年） - 寺原祐子
ビギナー（2003年） - 沢口裕子
不機嫌なジーン（2005年） - 吉田佳
戦士の資格（2008年） - 田端加代子
金曜エンタテイメント
美人三姉妹温泉芸者が行く!6（2001年） - 結城たまき
出演 > テレビドラマ > テレビ朝日

運命の恋人（1997年） - 斉藤保子
ニュースキャスター 霞涼子（1999年） - 高山すみれ
砦なき者（2004年） - 小百合
出演 > テレビドラマ > WOWOW

パンとスープとネコ日和（2013年） - 喫茶「ハッピー」のママ
ペンションメッツア（2021年） - 森の人
出演 > 配信ドラマ

コートダジュールN゜10 第9話「ベンチにて」（2017年12月19日、Hulu） - ベンチの女性
出演 > 映画

本場ぢょしこうマニュアル 初恋微熱篇（1987年） - 松浦まつ江
アラカルト・カンパニー（1987年） - パリ在住の女性
226（1989年） - 秋本サク
北京的西瓜（1989年） - 堀越美智
病は気から 病院へ行こう2（1992年） - 川添民子
教祖誕生（1993年） - 政子
シャ乱Qの演歌の花道（1997年） - 小池社長
双生児（1999年） - シゲ
金融腐蝕列島（1999年） - 一条弁護士
真夜中まで（2001年） - 女主人
突入せよ! あさま山荘事件（2002年） - 中野雅人の母
バーバー吉野（2003年） - 吉野のおばちゃん
きけ、わだつみの声 Last Friends（2003年） - 橋本婦長
恋は五・七・五!（2005年） - 校長先生
ALWAYS 三丁目の夕日（2006年） - 大田キン
ALWAYS 続・三丁目の夕日（2007年）
ALWAYS 三丁目の夕日'64（2012年）
かもめ食堂（2006年） - マサコ
花田少年史 幽霊と秘密のトンネル（2006年） - 吉川のばあちゃん
それでもボクはやってない（2007年） - 金子豊子
めがね（2007年） - サクラ
ネコナデ（2009年） - 鴻池真
プール（2009年） - 菊子
カイジ 人生逆転ゲーム (2009年） - 屋形船の女将（友情出演）
トイレット（2010年） - ばーちゃん
BECK（2010年） - 「斎藤紙業」の従業員（特別出演）
マザーウォーター（2010年） - マコト
東京オアシス（2011年）
ひみつのアッコちゃん（2012年） - 大庭鶴子
先生と迷い猫（2015年）
モヒカン故郷に帰る（2016年） - 田村春子
ハローグッバイ（2017年） - 小林悦子
出演 > テレビ番組

OH!たけし
ざ・ナイト倶楽部（1985年、テレビ朝日）
ビートたけしの全日本お笑い研究所（1988年）
ギミアぶれいく（1990年）ｰ 「たけしの使える下町語｣司会
2クール（2008年）
出演 > CM

日本ヴィックス
大日本除虫菊「金鳥ゴン」（1985年・1986年 木野花と共演）
明星食品「明星チャルメラのりラーメン」（土橋正幸と共演）
SK&F
エーザイ
サッポロビール「北海道生搾り」
カゴメ「野菜生活100」
受賞歴

2006年度 第30回日本アカデミー賞 優秀助演女優賞（『かもめ食堂』）
2007年度 第31回日本アカデミー賞 最優秀助演女優賞（『それでもボクはやってない』）
足利テレビ・FM中継局

足利テレビ中継局
足利テレビ・FM中継局（あしかがテレビ・エフエムちゅうけいきょく）は、栃木県足利市に置かれているテレビとFMラジオ放送の中継局である。
足利テレビ中継局 > デジタルテレビ放送

| リモコン番号 | 放送局名 | チャンネル番号 | 空中線電力 | ERP | 偏波面 | 放送対象地域 | 放送区域 内世帯数 | 運用開始日 |
| --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 1 | NHK 宇都宮総合 | 46 | 3W | 15.5W | 垂直偏波 | 栃木県 | 54,670世帯 | 2007年 12月25日 |
| 2 | NHK 東京教育 | 26 | 3W | 17W | 垂直偏波 | 全国 | 54,670世帯 | 2007年 12月25日 |
| 3 | GYT とちぎテレビ | 29 | 3W | 17W | 垂直偏波 | 栃木県 | 54,670世帯 | 2007年 12月25日 |
| 4 | NTV 日本テレビ | 25 | 3W | 17W | 垂直偏波 | 関東広域圏 | 54,670世帯 | 2007年 12月25日 |
| 5 | EX テレビ朝日 | 24 | 3W | 17W | 垂直偏波 | 関東広域圏 | 54,670世帯 | 2007年 12月25日 |
| 6 | TBS TBSテレビ | 22 | 3W | 17W | 垂直偏波 | 関東広域圏 | 54,670世帯 | 2007年 12月25日 |
| 7 | TX テレビ東京 | 23 | 3W | 17W | 垂直偏波 | 関東広域圏 | 54,670世帯 | 2007年 12月25日 |
| 8 | CX フジテレビ | 21 | 3W | 17W | 垂直偏波 | 関東広域圏 | 54,670世帯 | 2007年 12月25日 |
所在地： 足利市羽刈町
放送区域： 栃木県足利市、佐野市、栃木市の各一部、群馬県太田市、館林市、邑楽郡板倉町、邑楽町の各一部
2007年11月22日に予備免許交付、12月19日に本免許が交付され、12月25日に本放送を開始した。
足利テレビ中継局 > アナログテレビ放送

| チャンネル 番号 | 放送局名 | 空中線 電力 | ERP | 偏波面 | 放送対象地域 | 放送区域 内世帯数 | 運用開始日 |
| --- | --- | --- | --- | --- | --- | --- | --- |
| 44 | NHK 東京教育 | 映像30W/ 音声7.5W | 映像145W/ 音声36W | 垂直偏波 | 全国 | 約70,000世帯 | 1999年 3月29日 |
| 47 | GYT とちぎテレビ | 映像30W/ 音声7.5W | 映像165W/ 音声41W | 垂直偏波 | 栃木県 | 約70,000世帯 | 1999年 4月1日 |
| 49 | NHK 東京総合 | 映像30W/ 音声7.5W | 映像140W/ 音声35W | 垂直偏波 | 関東広域圏 | 約70,000世帯 | 1999年 3月29日 |
所在地： デジタルテレビ放送に同じ
2011年7月24日をもってすべて廃止された。
足利FM中継局

| 周波数 | 放送局名 | 空中線 電力 | ERP | 偏波面 | 放送対象地域 | 放送区域 内世帯数 | 運用開始日 |
| --- | --- | --- | --- | --- | --- | --- | --- |
| 78.3MHz | Radio Berry エフエム栃木 | 30W | 83W | 水平偏波 | 栃木県 | - | - |
| 83.7MHz | NHK 宇都宮FM放送 | 30W | 83W | 水平偏波 | 栃木県 | - | 1972年 2月26日 |
所在地： 足利市迫間町付近
出典・脚注

[脚注の使い方]
1 2  中継放送局の開局について（日本放送協会第1066回経営委員会（2008年4月8日開催）資料） (PDF) （日本放送協会）
↑  地上デジタルテレビ放送のエリア（栃木県足利中継局）（報道資料2007年12月19日） (PDF) （総務省関東総合通信局）
1 2  地上デジタルテレビジョン放送局の予備免許の交付《関東管内の36中継局に予備免許》（報道資料2007年11月22日）（総務省関東総合通信局）
1 2  関東管内64の地上デジタルテレビジョン放送局（中継局）を免許《茨城県、栃木県、群馬県、千葉県及び山梨県の放送エリア拡大》（報道資料2007年12月19日）（総務省関東総合通信局）
↑  日本放送協会総合放送文化研究所放送史編修室『NHK年鑑'72』日本放送出版協会、1972年、310頁。
正規言語の反復補題

正規言語の反復補題（英: pumping lemma for regular languages）とは、全ての正規言語が持つ属性を与える補題である。反復補題一般の具体例の一つである。その主たる用法は、ある言語が正規言語でないことを証明することである。
この反復補題は1961年に Y. Bar-Hillel、M. Perles、E. Shamir によって最初に示された。
形式的定義

L を正規言語とすると、 L のみに依存する次のような反復長  p\geq 1 が存在する。 L に属する長さ  p 以上の任意の文字列  w は  w=xyz と書ける（つまり、  w は3つの部分文字列に分けられる）。ここで、  x、 y、 z は次の条件を満たす。
|y|\geq 1
|xy|\leq p
全ての  i\geq 0 について、 xy^{i}z\in L
y は反復される部分文字列（0回を含む任意の回数繰り返され、結果として生成される文字列も L に属する）。|y| は文字列 y の長さを意味し、(1)の条件は y が少なくとも長さを持つ空でない文字列であることを意味している。(2)の条件は繰り返しが先頭から p 文字以内から開始されることを意味する。x および z については特に制限はない。
反復補題の形式的表現を以下に示す。
{\begin{array}{l}\forall L\subseteq \Sigma ^{*},{\mbox{regular}}(L)\implies \\\quad \exists p\geq 1,\forall w\in L,|w|\geq p\implies \\\qquad \exists x,y,z\in \Sigma ^{*},(w=xyz)\land (|y|\geq 1)\land (|xy|\leq p)\land (\forall n\geq 0,xy^{n}z\in L)\end{array}}
解説

正規言語の反復補題（以下、単に反復補題と略記）は、全ての正規言語が持つと保証されている属性を表している。より正確に言えば、正規言語に属する文字列の持つ属性を表している。ここで扱う正規言語の文字列は長さ p 以上（p は定数。形式的定義での p と同じ）で、これを反復長（pumping length）と呼ぶ。反復長は個々の正規言語によって異なる。s が長さ p 以上のある文字列で、正規言語 L に含まれるものとする。反復補題によれば、何らかの方法で s を3つに分割して  s=xyz としたとき、その（空ではない）中央部分 yを（0回を含む）任意回数繰り返した文字列も L に含まれる。このように文字列の一部の複製を追加していくことを「反復; pumping」と呼び、そのため反復補題と呼ばれている。さらに、反復補題は xy の長さが最大でも p となるような s の分割があることを保証している。
反復補題は、ある言語が正規言語ではないことを証明するのに使われる（補題と呼ばれるのはそのためである）。その場合、反復補題に示される属性をその言語に属する文字列が持たないことを示せばよい。
正規言語が有限の場合、つまりその正規言語に含まれる文字列の長さに上限がある場合、 pをその正規言語に含まれる最大の文字列長より大きいと仮定すると、反復補題の形式的表現の論理式は常に真となる。つまり反復補題が意味するところは、正規言語は有限か、無限であれば、任意の文字列の中間に表れる文字列に対する反復（任意回数の繰り返し）を、その正規言語が許容するということであり、いずれの場合でもないものは、正規言語ではないということである。
利用

反復補題を使ってある言語が正規言語でないことを示すには、背理法を用いる。ある言語 L を正規言語と仮定し、L に属する全文字列が正規言語の反復補題に従うものとする。そして、具体例によって反復補題の属性を持たない文字列があることを示し、仮定が間違っていることを導き出して、L が正規言語ではないことを示す。すなわち、文字列 w ∈ L と整数 i の組合せで反復補題に反するものを探す。
この反復補題を使えば、例えばアルファベット Σ = {a, b} を使った言語 L = {anbn : n ≥ 0} が正規言語でないことを証明できる。この場合、補題に出てくる w, x, y, z, p, i をその言語に当てはめる。まず、w = apbp とする。この w を w = xyz、|xy| ≤ p、|y| ≥ 1 となるよう分解し、i ≥ 0 のとき xyiz が L に属するかどうかを確認する。|xy| ≤ p より、y は a のみから構成される。|y| ≥ 1 より、y の長さは1以上であるから、y は1個以上の a で構成される。すると、xy2z は a の個数と b の個数が違うことになり、L の定義に反する（i ≠ 1 について常に矛盾が生じる）。この場合、矛盾が導かれたので、反復補題が成り立たないことがわかる。従って、L が正規言語であるという仮定に誤りがあることになり、L が正規言語でないことが証明される。
括弧が正しく対応している言語（'(' と ')' が同じ個数出現し、最初が '(' で最後が ')' となる言語）も同様の考え方で正規言語でないことが証明できる。ある p について、左括弧が先頭から p 個以上続く文字列では、y には左括弧しか含まれない。従って y を反復すると、左括弧だけが多い文字列となって、定義に反することになる。
証明

この証明法は、全ての正規言語にその言語を受理する有限状態機械 (FSA) が存在するという事実を利用している。正規言語が有限であれば、十分に大きい pに対して  |w|\geq p が常に偽になるため、反復補題が真であることは自明である（  |w|\geq p が偽であれば、  (|w|\geq p)\Rightarrow ((\exists x,y,z\in \Sigma ^{*})(w=xyz\land (|y|\geq 1\land |xy|\leq p\land (\forall i\geq 0)(xy^{i}z\in L)))) という論理式全体は、  \Rightarrow  の右側の式の真偽値によらず真になる。そのため、十分に大きい pに対して、この条件式は真となるため、正規言語が有限であれば、  \exists p\geq 1 という条件を常に満たすことになる）。
正規言語が無限の場合、その言語を受理する最小 FSA が存在しなければならない。FSA の状態数は有限であるから、その個数を反復長 p とする。文字列長が p 以上の場合、反復される状態が少なくとも1つ存在する（この状態を S とする）。状態 S から S への遷移は何らかの文字列に対応する。この文字列を反復補題における y とすれば、y を含まない文字列（繰り返し部分に相当する遷移をしない場合）も、y を繰り返す文字列もFSAで受理されるため、反復補題が成り立つことがわかる。
例を見てみればより理解しやすいだろう。以下の状態遷移図は、ある FSA を示している。
この FSA は文字列 abcbcd を受理する。この文字列は状態数より多くの文字からなるので、状態を繰り返していることがわかる。この例では q1 と q2 が繰り返される状態である。文字列 abcbcd の部分文字列 bcbc は、状態 q1 から始まって状態 q1 に戻る遷移で形成されるので、この文字列部分はFSAによる繰り返しが可能であり、abcbcbcbcd のような文字列も受理される。また、その遷移のループを通らない文字列 ad も同様に受理される。反復補題に当てはめると、文字列 abcbcd は、x に a、y に bc、z に bcd が対応する。もちろん、他の当てはめ方もある（y に bcbc を対応させる）が、|xy| ≤ p を満たしていない。
反復補題の不十分性

反復補題は、ある言語が正規言語であるための十分条件ではないことに注意されたい。つまり、正規言語以外でもこの反復補題が成り立つことがある。言語 L について反復補題が成り立たない場合、L が正規言語でないことがわかる。しかし、反復補題が成り立ったとしても、L が必ず正規言語であるとは言えない。例えば、言語 {uuRv : u,v  \in  {0,1}+}（アルファベット {0,1} で構成される回文形式の空でない文字列に別の文字列が付属したもの）は正規言語ではないが、p = 4（w=uuRv の長さが 4 以上の場合）で反復可能である。u の長さが 1 であれば、|v| ≥ 2 であり、v の先頭の文字を y とすればよい。さもなくば、u の先頭文字を y とする（k ≥ 2 のときの yk は空でない回文 yy で始まる文字列を構成し、残りを v と見なせば、この言語に属することになる）。正規言語のより実用的な判定方法についてはマイヒル-ネローデの定理を参照されたい。ある言語が正規言語であることを証明する典型的な方法は、その言語を受理する有限オートマトンか正規表現を構築することである。
一般化された「正規言語の反復補題」

言語 L が正規言語であるとき、ある数（反復長）p > 0 について |w| ≥ p であるような L の任意の文字列 uwv を以下のように表現できる。
ここで文字列 x、y、z について |xy| ≤ p と |y| > 0 と次が成り立つ。
このバージョンでは言語に要求する仕様がより厳密に表されているため、より多くの非正規言語を正規言語でないと証明できる。
Resistance (BOPの曲)

『Resistance』（レジスタンス）は、2023年2月15日に発売されたBOPの3rdシングル。
概要

MADKIDのLINが作詞作曲を担当。
メンバーは、翔咲心、海憧乙綺、彩浪遥斗、流雅真紗斗。
同じdreamBoat内のグループであるPipping Hotと同時初売を行い、互いに成長するためにオリコンチャートやMV再生数など10番勝負を実施。
収録曲

テイチクレコード公式サイト内の紹介ページによる。
収録曲 > 初回限定盤A

Resistance
作詞・作曲・編曲：LIN（MADKID）
Don't Stop Me Now
作詞：犬塚ヒカリ
作曲・編曲：Rogers In Me
「Resistance」Music Video
収録曲 > 初回限定盤B

Resistance
Don't Stop Me Now
「Resistance」Making
収録曲 > 通常盤

Resistance
Don't Stop Me Now
Playlist
作詞・作曲：阿久津健太郎
編曲：佐久間誠
Resistance（Instrumental）
Don't Stop Me Now（Instrumental）
Playlist（Instrumental）
10番勝負結果

| # | 内容 | BOP | PippingHot |
| --- | --- | --- | --- |
| 1. | LINE MUSIC再生回数バトル | 〇 | × |
| 2. | Music Video再生回数バトル | × | 〇 |
| 3. | 1月29日ライブ動員バトル | × | 〇 |
| 4. | オリコンウィークリーランキングバトル | × | 〇 |
| 5. | カラオケバトル | 〇 | × |
| 6. | 体力テスト | 〇 | × |
| 7. | イケメングランプリ | × | 〇 |
| 8. | Twitterハッシュタグツイートバトル | 〇 | × |
| 9. | メンバー対抗クイズバトル | △ | △ |
| 10. | シークレットバトル（箱の中身当て） | △ | △ |

結果は4勝4敗2引き分けの「引き分け」に終わったため、合同でファン感謝祭を開催する事が決定した。
建みさと

建 みさと（たて みさと、1978年3月13日 - ）は、日本の女優、タレント。千葉県出身。フィット所属していたが現在は不明。担当マネージャーは変わらず。血液型はO型。父親はギタリストの建孝三。ロックバンド・C4のTOKIははとこにあたる。
来歴・人物

小学生の時にスカウトされ、1995年に三井の7代目（1995年・1996年）リハウスガールに選出された。以後、テレビドラマ出演やリポーターなどを中心に活動。
1998年、映画『モスラ3 キングギドラ来襲』ではスケジュールで参加できなかった山口紗弥加の代役でロラ役を演じた。
2001年、日本テレビの『進ぬ!電波少年』の「電波少年的15少女漂流記」にも参加したが、途中リタイアした。DDTプロレスリングの2代目イメージガールを務めた。
2016年1月27日に自身のブログにて以前より交際していた一般人男性と結婚したことを報告した。同年9月20日には女児を出産した。
出演 > 映画

夢（1990年、黒澤プロダクション） - 第2話「桃畑」 桃の精 役
モスラ3 キングギドラ来襲（1998年、東宝） - ロラ 役
出演 > テレビドラマ

最後の恋（1994年、TBS） - 川村美奈 役
毎度おジャマしまぁす（1995年、TBS） - 沢野夏海 役
学校の怖い話（1995年、朝日放送） - 主演 真理 役
しんドラ セーラー服探偵マニュアル（1996年、日本テレビ） - 主演
ロングバケーション（1996年、フジテレビ） - 椎名いづみ 役
金田一少年の事件簿 ファイル15 墓場島殺人事件（1996年、日本テレビ） - 森下麗美 役
あなたに10億円さしあげます!連続殺人（1996年11月30日、朝日放送）
青い体験（1997年 - 1998年、テレビ東京）
太陽娘と海（1998年、テレビ東京） - 主演 DJマリン 役
風の娘たち（1998年、テレビ東京）
サービス（1998年、日本テレビ）
月曜ドラマスペシャル 「一色京太郎事件ノート7 京都花づくし殺人事件」（1998年、TBS）
P.S. 元気です、俊平（1999年、TBS） - 水沢かおる 役
伝説の教師 （2000年、日本テレビ）
火曜サスペンス劇場 「取調室(12)長崎壱岐殺意の潮流「折り鶴」が見た美人秘書の偽りのアリバイ」（2000年6月27日） - 巡査・栗田 役
億万長者と結婚する方法第10話（2000年、日本テレビ系）
はみだし刑事情熱系 Part5 第11話（2000年） - 吉野瞳 役
土曜ワイド劇場（テレビ朝日）
カリスマ美容師殺人事件（2001年8月11日） - 瞳 役
事件10・大学病院医療ミス致死事件（2003年1月11日） - 水島 役
ドクVSデカ（2004年）
法医学教室の事件ファイル40（2015年2月14日） - 野々村郁恵 役
女と愛とミステリー「主婦探偵・河原綾子のぞき見事件簿」（2001年12月19日）
こちら第三社会部（2001年） - 大原萌 役
香港明星迷（2002年9月4日、テレビ東京）
月曜ミステリー劇場 「十津川警部シリーズ(27)九州特急つばめ殺人事件」（2003年1月3日、TBS） - 木原由美 役
水曜ミステリー9（テレビ東京）
湯けむりドクター華岡万里子の温泉事件簿1（2005年） - 津島香織 役
ガンリキ 警部補・鬼島弥一（2012年1月18日） - 川澄京子 役
こちら本池上署（2005年） - 能代ナツキ
女帝（2007年、朝日放送・テレビ朝日）
天と地と（2008年1月、テレビ朝日） - お時 役
ギラギラ（2008年11月、朝日放送・テレビ朝日）
インディゴの夜 エピソード13・vol58（2009年3月26日、東海テレビ） - ブラックリストの女性客 役
婚カツ!（2009年5月、フジテレビ）
世にも奇妙な物語 「呪い裁判」（2009年） - 白井有里 役
警視庁捜査一課9係（テレビ朝日）
新・警視庁捜査一課9係 第6話「殺人レシピ」（2009年8月12日） - 多田夏美 役
警視庁捜査一課9係（2015年6月10日） - 田北明里役
猿ロック Episode4-1（2009年9月17日、読売テレビ） - ゆり 役
俺たちは天使だ! NO ANGEL NO LUCK - 3D - 第4話（2009年10月28日、テレビ東京）
不毛地帯 第3話（2009年10月29日、フジテレビ）
行列48時間（2009年11月27日、NHK） - 病院の看護師 役
新参者 第6話（2010年5月23日、TBS）
女刑事みずきスペシャル（2010年6月24日、テレビ朝日） - 山田三重子
月曜ゴールデン（TBS）
緑川警部VS16時02分の路線バス（2010年7月26日）
新・示談交渉人 裏ファイル（2011年3月7日）
警視庁南平班〜七人の刑事〜5（2012年7月2日） - 初美 役
ジョーカー 許されざる捜査官 第6話（2010年8月17日、フジテレビ） - パブ・ムーンライトのホステス 役
相棒（テレビ朝日）
Season 9 第3話「最後のアトリエ」（2010年11月10日） - 平野雅子 役
Season 12 第14話「顔」（2014年2月5日） - 藤田真奈 役
パーフェクト・リポート 第6話（2010年11月21日、フジテレビ） - 中川優子 役
FACE MAKER 第12話（2010年12月23日、読売テレビ） - 鍋島組極道（椎名遥の整形前） 役
さくら心中（2011年1月 -、東海テレビ） - 八重 役
仮面ライダーシリーズ（テレビ朝日）
仮面ライダーオーズ/OOO 第21-22話（2011年2月6日・13日） - 神林の妻 役
仮面ライダードライブ 第16-17話（2015年2月1日・8日） - 岬順子 役
仮面ライダージオウ 第22話（2019年2月10日） - OL 役
外交官 黒田康作 第8話（2011年3月3日、フジテレビ） - 教会の尼僧 役
最上の命医 第9話（2011年3月7日、テレビ東京） - 水原由梨江 役
幸せになろうよ 第7話（2011年5月30日、フジテレビ） - 西村京子 役
BOSS (テレビドラマ) 2ndシーズン CASE10（2011年6月23日、フジテレビ） - ジョギング中の女性 役
ピースボート -Piece Vote- 第1話（2011年7月4日、日本テレビ） - 目撃者 役
IS（アイエス）〜男でも女でもない性〜（2011年7月 - 9月、テレビ東京） - 保健師 役
秘密諜報員 エリカ 第1話（2011年10月6日、読売テレビ） - 竹内ひとみ 役
謎解きはディナーのあとで 第6話（2011年11月22日、フジテレビ） - 黒川紅子 役
ランナウェイ〜愛する君のために2話（2011年10月 - 12月、TBS）
蜜の味〜A Taste Of Honey〜9話（2011年10月 - 12月、フジテレビ）
聖なる怪物たち5,6話　秘書 役（2012年1月 - 3月、テレビ朝日）
早海さんと呼ばれる日10話（2012年1月 - 3月、フジテレビ）
さばドル11話（2012年1月 - 3月、テレビ東京）
京都地検の女 第8シリーズ 第3話（2012年8月2日、テレビ朝日） - 瀬戸あかね 役
MONSTERS 第4話（2012年11月11日、TBS） - 看護師 役
介護ヘルパー紫雨子の事件簿2（2013年） - 田辺玲子 役
dinner 最終話（2013年3月24日、フジテレビ） - 客 近藤 役
ダブルス〜二人の刑事 第5話（2013年5月16日、テレビ朝日） - 佐竹美奈子 役
鴨、京都へ行く。-老舗旅館の女将日記- 最終話（2013年6月18日、フジテレビ） - 新条あずさ 役
救命病棟24時 第5シリーズ 第5話（2013年8月6日、フジテレビ） - 西園智子 役
天誅〜闇の仕置人〜 第6話（2014年2月28日、フジテレビ）
HERO 第2話（2014年7月21日、フジテレビ） - 小木春美 役
GTO 第3話（2014年7月22日、フジテレビ）
吉原裏同心 第6話（2014年7月31日、NHK）
新・刑事吉永誠一 第4話（2014年11月7日、フジテレビ） - 富樫英里子 役
素敵な選TAXI 第5話（2014年11月11日、フジテレビ）
ミステリなふたり 第5話（2015年5月12日、名古屋テレビ） - 木内 役
大河ドラマ「花燃ゆ」第20話「松陰、復活!」（2015年5月17日、NHK）
手裏剣戦隊ニンニンジャー 第28話（2015年9月6日、テレビ朝日） - ヒロシの母 役
警視庁・捜査一課長 season3 第3話（2018年4月26日、テレビ朝日） - 田原志穂 役
出演 > テレビ番組

IT'sアクセス（1996年 - 1997年、テレビ東京） - 司会
ミミヨリーナ（2001年7月 - 2002年3月、テレビ東京）
ぜっぴんTV（2001年4月 - 2002年3月、テレビ東京） - 司会
わくわく☆カナダ（BSフジ） - ナレーション
すばらしきアメリカ旅（2013年、BSフジ） - ナレーション、旅人
わくわく☆カナダ2（2014年、BSフジ） - ナレーション、旅人
出演 > ラジオ番組

建みさと TAKE2・GAGDAS（文化放送）
出演 > 舞台

夏の風に乗って（2002年2月12日 - 20日、「劇」小劇場）
華なき子（2006年、拙者ムニエル客演）
夢知無恥ぷれぜんつ『おんせん先生』（2007年3月、恵比寿・エコー劇場） - ミカチュー 役
switch（2007年9月、ディファ有明、脚本・演出：西田大輔） - 立花美佳 役
スタークコーポレーションプロデュース『軋み』（2015年2月、新宿サンモールスタジオ） - 高井由美子 役
出演 > CM

三井不動産販売／三井のリハウス（1995年 - 1996年）
ハウス食品『ククレカレー』（1995年 - 1996年）
「あなたのカレー部大募集（イチロー）篇」（1995年）
「おおヒット篇」（イチロー）
「クリスマス篇」（1996年）
テクモ『モンスターファーム』（1997年）
アクサダイレクト『不安な親子篇』（2012年）
出演 > ゲーム

ナムコ『アルペンレーサー2』（1996年）主題歌「その胸でギュッと抱きしめて」
出版物 > 写真集

strawberry kiss -建みさと写真集-（2000年、コンパス）ISBN 9784877630645
日本の女性アイドルグループの一覧

日本の女性アイドルグループの一覧（にほんのじょせいアイドルグループのいちらん）は、主に日本の女性アイドルで構成されたグループおよびユニットの一覧。
「アイドル」と「アーティスト」は、本人や所属事務所などの意向によりどちらの立場をとるか決めることもでき、線引きはあいまいである。そのため本人が「アーティスト」と名乗っていても「アイドル」に分類されることがある。
リスト条件

音楽レコード・音楽CDデビューの経験を有し、日本国内で活動する女性グループおよびユニット。
本人が「アイドル」ではなく「アーティスト」と名乗っていても、「アイドル」に分類されることがあるグループおよびユニットを含める。
記事があるグループを記載対象とする。
1950年代 - 1970年代

| 名称 | 結成 | メジャー デビュー日 | メジャー デビュー曲名 | 終了 | 人数 | レーベル /  レコード会社 | 芸能事務所 |
| --- | --- | --- | --- | --- | --- | --- | --- |
| 三人娘 | 1955年11月1日 |  |  |  | 3 |  |  |
| かしまし娘 | 1956年8月31日 | 1959年9月 |  ? | 活動中 | 3 |  ? | 松竹芸能 → ? |
| こまどり姉妹 | 1959年 | 1959年10月15日 | 浅草姉妹 | 活動中 | 2 | 日本コロムビア |  ? |
| ザ・ピーナッツ | 1959年2月11日 | 1959年4月 | 可愛い花 | 1975年4月5日 | 2 | キングレコード | 渡辺プロダクション |
| スパーク3人娘 | 1962年 |  |  |  | 3 |  |  |
| ゴールデン・ハーフ | 1970年 | 1970年8月5日 | 黄色いサクランボ | 1974年 | 5→4→3 | 東芝レコード | 渡辺プロダクション |
| キャンディーズ | 1972年4月 | 1973年9月1日 | あなたに夢中 | 1978年4月4日 | 3 | CBS・ソニー | 渡辺プロダクション |
| 花の中三トリオ | 1973年8月 |  |  | 1977年3月 | 3 |  |  |
| リンリン・ランラン | 1972年 | 1974年4月15日 | 恋のインディアン人形 |  ? | 2 | ビクター | サンミュージック |
| ザ・リリーズ | 1974年 | 1975年6月5日 | 水色のときめき | 活動中 | 2 | 東芝レコード | 渡辺プロダクション |
| ピンク・レディー | 1974年 | 1976年8月25日 | ペッパー警部 | 活動中 | 2 | ビクター | T&Cミュージック |
| ビューティ・ペア | 1976年2月24日 | 1976年11月25日 | かけめぐる青春 | 1979年2月27日 | 2 | RCAビクター | 全日本女子プロレス |
| アパッチ | 1976年 | 1977年4月1日 | 恋のブロックサイン | 1981年 | 3 | CBS・ソニー |  ? |
| キャッツ★アイ | 1977年 | 1977年5月25日 | アバンチュール | 1978年 | 2 | ユニオン / テイチク | トータルプロ |
| ギャル | 1977年 | 1977年10月21日 | 薔薇とピストル | 1979年 | 3 | キングレコード | 小澤音楽事務所 |
| トライアングル | 1977年10月 | 1978年4月21日 | トライアングル・ラブレター | 1981年1月31日 | 3 | CBS・ソニー | 渡辺プロダクション |
1980年代

※太字は売上ベスト10に入ったグループ。
アイドル夢工場 （1987年）
アイリーン&エリカ
あみん
Wink
やまだかつてないWink
エンジェルス
オールナイターズ
おかわりシスターズ
オナッターズ
おニャン子クラブ
うしろゆびさされ組
うしろ髪ひかれ隊
ニャンギラス
オレンジ・シスターズ
きゃんきゃん
キャプテン
キララとウララ
クラッシュギャルズ
GO-BANG'S
JBエンジェルス
シャワー
Sugar
少女隊
SHOW-YA
スターボー
セイントフォー
セブンティーンクラブ
ソフトクリーム
チャイルズ
チョンマゲ娘
パンプキン
美少女か・ら・ふ・るギャング
ブスっ子くらぶ
プリンセス・プリンセス
BaBe
ベリーズ
ポピンズ
よせなべトリオ
RaCCo組
レモンエンジェル
わらべ
1990年代

ハロー!プロジェクト関連のグループは、2000年代にまとめて列挙
大阪パフォーマンスドール
沖縄アクターズ
SUPER MONKEY'S
MAX
SPEED
D&D
B.B.WAVES
Folder5
y'z factory
乙女塾
Qlair
CoCo
ribbon
COLOR
ギリギリガールズ
クリマカーユ
黒BUTAオールスターズ
コスプレックス
cotton
こんぺいとう
桜っ子クラブさくら組
KEY WEST CLUB
MOMO
C.C.ガールズ
シェイプUPガールズ
SPLASH
Say a Little Prayer
制服向上委員会
チェキッ娘
chee's
NEOかしまし娘
NEOちゃっきり娘
METAMO
T-BACKS
Z-1
東京パフォーマンスドール
DORA
七つ星
ねずみっ子クラブ
パイレーツ
VENUS
HiP
FLIP-FLAP
BABY'S
ザ・ポチ!
まニャン子クラブ
マヒマヒ (ユニット)
Mi-Ke
MISSION
南青山少女歌劇団
Melody
YURIMARI
楽天使
B'dash
Lip's