プログラミング言語の定義は通常、正常にコンパイルされるためにソースコードが満たさなければならないコンパイル時の要件を指定する。たとえば、言語では、型と変数に必要な記憶域の大きさを推定できる。
コンパイル時に推論できるプログラムのプロパティには、範囲チェック（たとえば、配列インデックスが配列の境界を超えないことの確認）、並行言語でデッドロックしないこと、またはタイミング（たとえば、コードのシーケンスが割り当てられた時間以上かからないことの検証）が含まれる。
阿部大樹 (曖昧さ回避)
阿部 大樹
城北小学校 (曖昧さ回避)
阿部大樹 (声優)
城南小学校 (曖昧さ回避)
外部リンク.
城内小学校 (曖昧さ回避)
城内高等学校 (曖昧さ回避)
ノースサイド (ケイマン諸島)
サッカーチームのノースサイドFCがある。
イーストエンド (ケイマン諸島)
あらすじ.
宮沢風花は、アイドルグループを脱退し、故郷の盛岡に帰ろうとしていたが、一人真夏の沖縄へと旅に出る。一方、沖縄に住む女子高生の海咲野くくるは学生生活の傍ら、祖父が営む「がまがま水族館」の業務を館長代理として手伝っていた。旅中に偶然水族館を訪れた風花はそこで不思議な体験をし、出会ったくくるに対し、ここで働かせて欲しいと頼み込む。
くくるは老朽化で閉館が決まっている水族館を存続させるため、風花たちと協力して集客できるイベントを次々開いたが、閉館が避けられないとわかると水族館に籠城する。台風が直撃した水族館で停電や雨漏りを目の当たりにしたくくるは、「ここでは生き物を守れない」と実感し、閉館を受け入れる。風花にも映画主演の話が舞い込んでいた。
高校を卒業したくくるは「アクアリウム・ティンガーラ」に就職する。だが配属されたのは飼育部ではなく営業部だった。くくるは慣れない仕事、上司で副館長の諏訪哲司の無理難題、飼育担当の南風原知夢たちとのあつれきに頭を悩ませる。風花が沖縄に移住し、ティンガーラのペンギン飼育担当になり、くくるを精神面から支える。