アテナ・プロマコスの像（古希: Ἀθηνᾶ Πρόμαχος, Athēnā Promachos）は、かつて古代ギリシア時代にアテナイのアクロポリスに建てられていた、守護女神アテーナーの青銅像である。彫刻家ペイディアスの初期の代表作で、プロピュライアとパルテノン神殿の間にあり、紀元前456年頃に造られた。マラトンの戦いでペルシア軍から奪った戦利品を用いて作られたと言われているが、現在残っているのは基礎の大理石の部分だけである。記録によれば像の高さは9m程であり、左手に盾、右手に槍を持っていた。その大きさにより、槍の先端や兜の紋章の部分が遠くスニオン岬（アテネの45㎞南東）からも見えたという。465年に東ローマ帝国の首都コンスタンティノープルの皇帝宮殿に移設されるまで、1000年近くにわたりアテナイを見下ろす位置に立っていた。なお、十字軍を招き寄せコンスタンティノープルが占領される禍の原因となったという迷信から、1205年にアテナ・プロマコスの像は破壊された。アテナ・プロマコスの像のレプリカとして信じられているのは、メトロポリタン美術館の Athena Elgin 像と、ルーヴル美術館の Athena Medici トルソーである。
沖縄県那覇市出身。身長160cm。日本女子大学文学部卒業後、2013年4月に北海道テレビ入社。同期入社は高橋春花、室岡里美。新人アナウンサーの自己紹介で、「志海」の由来は両親が「海」という字を入れたかったのと、大きな夢を持って育ってという意味が込められていると言った。テレビ朝日アスク出身で、BS朝日「News Access」に出演。2014年4月27日、札幌ドームで日本ハム・ロッテ戦で始球式に登板。2014年12月には、第13回ANNアナウンサー賞最優秀新人賞を受賞した。2016年5月27日、「イチオシ!」番組内で卒業を発表し、降板する。6月、フィールドキャスターとして取材した「子どもが多いほど保育料が値上がりした問題」が第53回ギャラクシー賞報道活動部門優秀賞を受賞。6月16日、ブログで北海道テレビを退職することを発表。翌7月1日付でテレビ東京にアナウンサーとして入社。テレビ東京が他局のアナウンサーを採用するのは2009年の板垣龍佑（元OX仙台放送）以来約7年ぶり。テレビ東京での同期は片渕茜、原田修佑、福田典子（元RKB毎日放送）。福田と2013年入社の鷲見玲奈は、アナウンサー同期に当たる。7月10日、テレビ東京の第24回参院選『池上彰の参院選ライブ』に出演。
Relational LanguageはClarkとGregoryが1981年に提案した言語で、その後の並行論理プログラミング言語の基礎となった。HoareのCSPの考え方をIC-Prologに取り入れて拡張し、コミッティッド・チョイスによる非決定的な節の選択機構を持っていた。またストリームによる通信を行うことができた。しかしガード中のゴールは評価時に変数を含んではならないことや、通信にはリストを用いたストリームしか使えないなど、制限が多かった。1つの述語の入出力モード宣言を複数指定でき、また並列実行と逐次実行の両方をサポートするなど、言語仕様も複雑だった。入出力モード宣言の制約は厳格に守る必要があり、1つのストリームを入力と出力の双方向に使う不完全メッセージの技法なども使うことができなかった。 言語の特徴を以下にまとめる。* 同期の表現方法　　　モード宣言(厳格) (述語単位で指定)* 制約の入出力　　　　Blocking AskとEventual Tell* プロセス間通信　　　ストリーム* 実行形態　　　　　　並行実行と逐次実行* その他の特徴　　　　不完全メッセージ使用不可、言語仕様が非常に複雑、制限が多い
Relational Languageから発展した並行論理プログラミング言語は、それぞれ非常によく似た構文と考え方を持つが、プロセス間の同期をとるための中断のメカニズムは言語ごとにそれぞれ異なる。 また、各言語のバリエーションとして、ガードからユーザ定義のプログラムを呼び出せないようにガードの記述を制限し、ガード部の計算構造をフラット(Flat)にした言語がある。ガードはアトミックに動作できるため、プログラムの長さは増加するが効率のよい処理系の実装が可能になる。
1932年（昭和7年）8月に陸軍から発せられた小型の患者輸送機の開発命令を受け、石川島はデ・ハビランド DH.83 フォックス・モスを参考に遠藤良吉技師を主任設計者として設計を開始。陸軍の寺師義信軍医正の指導によって医療用設備を備えつけ、1934年（昭和9年）4月に一号機が完成。その後、陸軍の審査を経た改修型の生産が1935年（昭和10年）2月から開始された。主に愛国号として献納され、1940年（昭和15年）までに23機が生産された。うち1938年（昭和13年）10月から生産された19機は、エンジンの換装などによって実用性を向上させた「小型軽患者輸送機改造型」（KKY-2）となっている。日中戦争から太平洋戦争初期にかけて、各地で患者輸送のほか連絡機としても用いられた。機体は鋼管製および木製骨組みに羽布張りの複葉機で、小型のキャビン内には担架、看護者用座席、医療器具置場が設けられている。高い操縦性と安定性を持ち、離着陸滑走距離も約250 mと短かった。また、幅広の低圧タイヤによって不整地での離着陸を容易にしている。エンジンは当初英シラス社製のハーメスMk.IVを装備していたが、改造型では神風（150 hp）に変更された。