数学の分野におけるグロンウォールの不等式（ぐろんうぉーるのふとうしき、英: Gronwall's inequality）は、ある微分不等式あるいは積分不等式をみたす関数を、対応する微分方程式あるいは積分方程式の解によって評価する結果として得られる不等式のことである。微分型のものと積分型のものの二種類が存在し、後者にはいくつかの変形版が存在する。グロンウォールの不等式は、常微分方程式および確率微分方程式の理論において、様々な解の評価を得るために用いられる。特に、初期値問題の解の一意性を証明する際によく用いられる（例えばピカール・リンデレフの定理を参照されたい）。この不等式は、スウェーデンの数学者であるグロンウォール (1877–1932) の名にちなむ。スウェーデン語での彼の名前の表記は「Grönwall」であるが、アメリカ合衆国に異動したのちの彼の出版物においては「Gronwall」の表記が用いられている。この不等式の微分型に関する証明は、1919年にグロンウォールによって行われた。 積分型に関する証明は、1943年に応用数学者のリチャード・E・ベルマンによって行われた。グロンウォールの不等式の非線形系への一般化は、ビハリの不等式として知られている。
2015年4月25日に公開。監督は若木信吾。原作者のよしもとばななは、「こんなにも完璧な映画化は奇跡的」と絶賛のコメントを出している。2015年3月6日、第10回大阪アジアン映画祭でワールドプレミアが上映。第23回レインダンス映画祭出品作品。
コインブラ伯領（コインブラはくりょう、ポルトガル語：Condado de Coimbra）は、現代のポルトガルにかつてあった諸侯領であり、コインブラ、ヴィゼウ、ラメーゴ、サンタ・マリア・ダ・フェイラなどの土地から成っていた。その起源は、アストゥリアス王国がレコンキスタ（ルコンキシュタ）によりこれらの土地を回復し、エルメネヒルド・グティエレス（エルメネジルド・グテレス）伯に与えたことにある。その後40年にわたり、彼は人口の減少した地域への再植民に努めた。彼とその直系の子孫らは伯の地位を受け継ぎ、コインブラも掌握し続けた。しかし、後世にはしばしばそう扱われるにもかかわらず、はっきり「コインブラ伯」であるとは名乗らなかった。明確に「コインブラ伯」と呼ばれた最初の貴族は、おそらくはエルメネヒルドの家系に連なる、ゴンサロ・ムーニョスであった。959年頃に伯となった彼はレオン王国（アストゥリアス王国の後身）の西部において最も有力な貴族の一人だったが、レオン王ベルムード2世への反乱に失敗し、戦死して所領を失ったと見られる。アルマンソル（アル＝マンスール）率いるイスラム教徒の軍が987年にこの地域を奪回した後、997年にサンティアゴ・デ・コンポステーラを略奪した際には、ゴンサロの息子たちがその配下として加わっており、ゴンサロの子孫が元の主君とは疎遠になっていたことが見て取れる。1064年、レオン・カスティーリャ王フェルナンド1世の軍勢によってコインブラは完全にキリスト教徒のものとなり、この戦いを指揮したモサラベのシスナンド・ダビデスがコインブラ伯に任じられた。独立した勢力としてのコインブラ伯領は、1096年にエンリケ・デ・ボルゴーニャがポルトゥカーレ伯領を再興した際、これに編入されたことで終焉し、後にエンリケの息子アフォンソ1世によって建国されたポルトガル王国の一部を成した。
最大の特徴は足の速さ。マイナーリーグ時代からも盗塁が多く、2008年も出塁率は.288と低いのにも関わらず、41盗塁を記録している。打者としては、高めを得意としており、パワーもあるが故に、フライを打ち上げる事や三振を喫することが多い。中堅守備はメジャートップクラスで、2010年にはDRS+30、UZR+20.6、2012年はDRS+24、UZR+22.5を記録している。
ガラス張りの大きなスタンドを有し、場内には吉野家をはじめとしたフードコートやゲームセンター、床屋等の施設もある。大きなイベントホールがあり、レース開催時には頻繁に歌謡ショーやアイドルイベントが開催され、一般戦でも優勝戦出場選手インタビューがある。また、1A投票所前にミニステージが設置されており、選手のトークショーや、優勝戦出場選手インタビュー、優勝者インタビューを行なっている。1階メディアギャラリーでは、JLCのグッズ販売および戸田競艇場のファンクラブ『TODACLUB』事務局、シルバーカードの発行を行っている。展示時およびレース時には、現在走っている艇のエンジン音を館内にも流すため、館内でも臨場感のある観戦が楽しめる。特別観覧席は、500円、1000円、2000円の3種類の席があり、いずれもフリードリンク。開放型の旧館スタンドも残されているが、2005年の耐震改修工事により、4階、5階部分が撤去された。対岸には大型映像装置2面（三菱電機製）と競艇場では唯一の3連単一括表示のオッズ盤がある。競技情報・オッズなどの画面は全て戸田独自のものを使用し、レース中継では最終周回のバックストレッチで先頭艇・2位航走艇・3位航走艇が字幕つきのアップで映し出される。2010年3月に大型映像装置(右側)の交換が行われ、24競艇場で最も早く場内映像システムのデジタル化を完了した。戸田のレース映像は場内全てのモニターでフルハイビジョン放映されるほか、ボートピア岡部においても専用回線によってフルハイビジョンでの放映を行っている。スタンドから見てちょうど対岸の位置にTBSラジオの戸田送信所があり、中波送信用のアンテナ鉄塔が立つ。このため場内のテレビは強力な電波干渉による画像異常を防止する必要があり、電磁シールドを強化した収納箱に収められ、その影響で場内テレビの画面はやや暗く見える。場内では、周回展示・発売締切5分前・3分前・1分前と発売開始・締切のBGMは独自のオルゴール調のものを使用している。払戻金のチャイムもメロディとなっている。締切1分前・発売締切のBGMはそれぞれJLCの戸田単独中継時の場外締切3分前・オッズ放映終了のBGMとしても使われる。