迷彩を企図して黒装束に身を包み、殺傷能力を持たせた改造モデルガンとナイフで武装した彼らは、前々日の深夜より三夜にわたる予定で、爆弾を爆発させるための電線の敷設を行い始めた。しかし、二日目(爆破計画前夜)の作業中、私服警察官とも浮浪者や変質者とも考えられる正体不明の第三者が橋脚付近に姿を現し、周囲を徘徊し始めた。これを自分たちに対する監視、包囲の動きかもしれないと警戒した犯人グループは計画を察知されることを恐れ敷設を断念、計画は未遂に終わった。近い将来に虹作戦を再び行うため、電線はすべて回収し、証拠を隠滅した。犯人グループの計画では、お召し列車が走る全区間で警察や国鉄関係者による最終調査・点検と警備が実施されることが考慮されておらず、仮に電線の敷設が完了していても、事前に察知される可能性があったことは否定できない。事実、虹作戦当日の荒川鉄橋でも通過時間の前後には警察官らが不審物の検索を行い、お召し列車の警備に当たった。また、爆弾を仕掛けようとしたのは現在の宇都宮線区間の東北本線上り線の橋梁だったが、実際にお召し列車が通過したのは現在湘南新宿ライン南行などが運行される隣接する東北貨物線上り線であった。作戦名の由来.この作戦が決定した際、彼らが連想したのは橋の爆破で列車もろとも川に転落するという結末をむかえる映画『戦場にかける橋』である。そのとき大道寺将司が「虹の彼方に」を口ずさんだことで、両者が結合し「戦場にかける橋」+「虹の彼方に」=「虹をかける橋」→「虹をかける作戦」→「虹作戦」という作戦名が決定した。北風小僧オストフロント作戦概要.東部戦線作戦正栄食品工業正栄食品工業株式会社(しょうえいしょくひんこうぎょう、)は、東京都台東区秋葉原に本社を置く総合食品商社。山本弘(画家)概要.形式体系形式体系には形式言語があり、その形式言語は基本的な記号(シンボル)で構成される。形式言語の文(式)は公理群を出発点として、所定の構成規則(推論規則)に従って発展する。従って形式体系は基本的な記号群の有限の組み合わせを通して構築された任意個の数式で構成され、その組み合わせは公理群と構成規則群から作り出される。数学における形式体系は以下の要素から構成される: