正規言語の反復補題（英: pumping lemma for regular languages）とは、全ての正規言語が持つ属性を与える補題である。反復補題一般の具体例の一つである。その主たる用法は、ある言語が正規言語でないことを証明することである。 この反復補題は1961年に Y. Bar-Hillel、M. Perles、E. Shamir によって最初に示された[1]。 形式的定義[編集] を正規言語とすると、 のみに依存する次のような反復長 が存在する。 に属する長さ 以上の任意の文字列 は と書ける（つまり、 は3つの部分文字列に分けられる）。ここで、 、、 は次の条件を満たす。 全ての について、 y は反復される部分文字列（0回を含む任意の回数繰り返され、結果として生成される文字列も L に属する）。|y| は文字列 y の長さを意味し、(1)の条件は y が少なくとも長さを

【2014年9月11日発表-プレスリリース】 カーリルと名古屋大学附属図書館が連携協力協定を締結しました。 図書館でスマートフォンによる屋内位置情報を活用する実証実験を実施します。 株式会社カーリル（所在地：岐阜県中津川市 代表取締役：吉本龍司）と名古屋大学附属図書館（所在地：愛知県名古屋市 図書館長：佐野充）は、名古屋大学附属図書館において、ビーコンデバイス（BLEビーコン）による屋内位置情報を活用した新しい図書館サービスの実証実験を実施します。 ビーコンデバイスによる屋内位置情報を活用した本格的な図書館サービス（書架ナビゲーションやレファレンス支援機能）は全国初となり、世界的にも新しい取り組みとなります。 開発の背景と目的 株式会社カーリルは、全国93%以上の図書館（公共図書館において）に対応した図書館蔵書検索サイト「カーリル」を運営しています。現在、アクセスの約60パーセントがスマー