tet550/jawiki_sentences huggingface dataset:
二分探索
二分探索(にぶんたんさく、binary search、BS)やバイナリサーチとは、ソート済み配列に対する探索アルゴリズムの一つ。
ソート済みのリストや配列に入ったデータ(同一の値はないものとする)に対する検索を行うにあたって、
中央の値を見て、検索したい値との大小関係を用いて、検索したい値が中央の値の右にあるか、左にあるかを判断して、片側には存在しないことを確かめながら検索していく。
大小関係を用いるため、未ソートのリストや大小関係の定義されない要素を含むリストには二分探索を用いることはできない。
n個のデータがある場合、時間計算量はO(\log_2 n)である(O記法)。
n個のデータの中央の値を見ることで、1回の操作でn/2個程度(奇数の場合は(n-1)/2個、偶数の場合はn/2個または(n/2)-1個)の要素を無視することができる。
具体例を示す。
下記のようなソート済み配列から25を探しだすことを考える。なお、配列内に値の重複はない(あるデータと同じ値のデータは他に存在しない)ものとする。
結果欄を設け、目的のデータがあるか否か不明な部分を「?」、データを調べた上で目的のデータが無いとわかった部分を「×」、データを調べるまでもなく目的のデータが無い部分を「×」、目的のデータがあった部分を「○」にすることにする。検索前は、以下のようになる。
まず、配列の中央の位置を求めると、1 + (10 - 1) / 2 = 5
除算の端数は切捨、切上のどちらでもいいが、ここは切捨とする。以下同じ。
中央位置の計算は、手計算では (1 + 10) / 2 でもよいが、プログラム上では 1 + (10 - 1) / 2 すなわち 最小位置 + (最大位置 - 最小位置) / 2 とした方が安全である。#実装上の間違いを参照。
位置5のデータは12なので「×」、位置1~4まではデータを調べなくても「×」とわかる。目的のデータは位置6~10にあるかもしれない。
位置6~10の中央の位置は、6 + (10 - 6) / 2 = 8
位置8のデータは22なので「×」、位置6~7までは「×」とわかる。目的のデータは位置9~10にあるかもしれない。
位置9~10の中央の位置は、9 + (10 - 9) / 2 = 9
位置9のデータは25なので目的のデータが見つかったことになる。位置10は調べていないが、配列内に値の重複はないという想定なので「×」としてよい。
下記のようなソート済み配列から4を探しだすことを考える。なお、配列内に値の重複はないものとする。
まず、配列の中央の位置を求めると、1 + (10 - 1) / 2 = 5
(除算の端数は切捨、切上のどちらでもいいが、ここは切捨とする。以下同じ)
位置5のデータは12なので「×」、位置6~10まではデータを調べなくても「×」とわかる。目的のデータは位置1~4にあるかも知れない。
位置1~4の中央の位置は、1 + (4 - 1) / 2 = 2
位置2のデータは3なので「×」、位置1も「×」とわかる。目的のデータは位置3~4にあるかも知れない。
位置3~4の中央の位置は、3 + (4 - 3) / 2 = 3
位置3のデータは5なので「×」。もし、データ4が存在するならば、位置3のデータ5より小さいので左になるはずである。しかし、すでにそこには存在しないことがわかっている。また、位置3より右である位置4は、データを調べていないが、位置3より大きなデータのはずなので「×」。以上でデータが見つからないという結果になる。
下記のようなソート済み配列から29を探しだすことを考える。なお、配列内に値の重複はないものとする。
データの全体の一番右側が29より小さいので、データが見つからないという結果になる。
ドナルド・クヌースは "Although the basic idea of binary search is comparatively straightforward, the details can be surprisingly tricky ..."(二分探索の基本的なアイディアは比較的平易だが、その詳細は驚くほど扱いが難しいものになりうる)と述べており、二分探索が正確に実装されていないことは多い。Richard E. Pattis の1988年の調査では、書籍20冊のうち15冊が誤っていた。
よくある間違いの一つは、上記のC言語のコードで imin + (imax - imin) / 2 を (imax + imin) / 2 としてしまう事である。(imax + imin) / 2 では、imax + imin が int の値の上限 (INT_MAX) を超えて不正な値になってしまう可能性がある。(imax + imin が INT_MAX を超える可能性が全くないと保証できる場合は問題ない。)Java の標準ライブラリの Arrays.binarySearch() では JDK 1.2 (1998年) から間違えており、Java 6 (2006年) で修正された。なお、このバグについてクヌースは、自分が気がついていなかったパターンだと、あるインタビューの際に述べている(書籍『Coders at Work』にて。オーム社から出ている邦訳では567ページにある)。
原動機
原動機(げんどうき、prime mover)は、自然界に存在するさまざまなエネルギーを機械的な仕事(力学的エネルギー)に変換する機械・装置の総称。狭義にはタービンなどの仕事を発生する機械そのものを指すが、広義には蒸気原動機、動力プラントなどのシステム全体を指すこともある。
原動機の損失は、入力エネルギーと出力仕事の差として定義される。主な損失として、仕事として回収しなかった損失(排気損失)、冷却による損失(冷却損失)、空気による抵抗(風損)、摩擦や補機などによる損失(機械損失)がある。これらの損失がない理想的な運転状態を考えたとき、電動機の効率は100%であるが、熱機関にはカルノーの原理による原理的な上限が存在する。
近東
近東(きんとう、Near East)とは、西ヨーロッパから見た文化の同一性や距離感によって、大まかに定義されるアジアの地域を指す。広義では、北アフリカの国々を含めることがある。
元々は東方問題が焦点となる中で、オスマン帝国の領域を可視化する呼称として形成された。一方で「中東」は、イギリスの最も重要な植民地であったインドに至る地域(トルコ、エジプト、シリア、イラクなど)を指す呼称として形成された。
19世紀には「中近東(Near and Middle East)」の呼称が一般的に使われていた。20世紀になり中東の概念が用いられるようになった結果として、極東(Far East)、中東(Middle East)、近東(Near East)の三分した呼称で地域が区分されるようになった。
19世紀の後半から第一次世界大戦にかけての「近東」の概念は、第二次世界大戦後の「中東」の範囲とかなり重なる地域を指しており、トルコやアラブ世界にバルカン半島を含む地域を指していた。一方、「近東」と並行して用いられる場合の「中東」の概念は、第二次世界大戦後に定着したものとは大きく異なるもので、イランとコーカサス、アフガニスタン、中央アジアだけでなく、広義にはインドシナ半島やトルキスタンに至る地域を含むことがあった。
第二次世界大戦後は中東と近東の区別が曖昧になり、ニューヨーク・タイムズは同じ地域に2つの呼称を使用していたが、1954年に表現を「中東」に統一した。また、アメリカも1957年のアイゼンハワー・ドクトリンで公式文書として初めて「中東」を使用し、1958年の国務省の見解で「中東」と「近東」は交換可能な用語と説明された。
交換法則
初等代数学における交換法則(こうかんほうそく、commutative law; 可換則、交換律交換性質を満たすことが定理として演繹される場合には「法則」、成り立つことが公理として要請される場合には「律」を使うことが多い。)は、与えられた演算の二つの引数を互いに入れ替えても結果が変わらないことを述べる。また交換法則を満足する演算は可換性(commutative property; 交換性質)を持つと言う。例えば自然数に関する足し算や掛け算は交換法則を満たしている。
4 + 5 = 5 + 4(両辺とも値は9である)
2 × 3 = 3 × 2(両辺とも値は6である)
しかし引き算や割り算はそうではない。
4 - 5 \neq 5 - 4
6 \div 3 \neq 3 \div 6
その他に交換法則を満たすものとしては主に次のようなものがある。
有理数、実数、複素数の加算や乗算
行列、数ベクトルの加算
また、交換法則を満たさない主要な演算としては次のようなものがある。
写像の合成 (例えば関数の合成など)
ただし、ベクトルの外積のように、絶対値および絶対値に相当する数を考えたときに、交換法則は成り立つものも多い。
可換性質の暗黙的な使用は古代に遡る。古代エジプト人は積の計算の簡素化に乗法の可換性を用いている2018年10月し、エウクレイデスが著書『原論』において乗法の可換性を仮定していたことは良く知られている。明示的な形で交換法則が立ち現れるのは、数学者により函数論が築かれ始める18世紀後半から19世紀初頭にかけてである。今日では可換性は数学の大部分の分野で良く知られた基本性質として扱われている。
記録上 commutative の語が初めて現れるのはフランソワ゠ジョセフ・セルヴォワの回顧録(1814年)で、現在では可換性と呼ばれる性質を持つ函数を記述するために commutatives の語が用いられている。語義はフランス語で「置き換え」や「入れ替え」を意味する commuter に「傾向がある」ことを意味する接尾辞 -ative が付いたものだから、字面通りに読めば「入れ替えようとするもの」である。
「交換」あるいは「可換」("commutative") という語は(関連はあるが厳密には異なる)いくつかの意味で用いられる。「交換法則」や「可換律」のように言うとき、一般的にはそれは二項演算(あるいはより一般に二項関係や二変数写像)に結び付けられた性質のことを言うものと理解される。特定の演算を固定して考えるとき、その演算の引数となる二つの元で、交換法則の言う条件式を満足するものに対しては、それらの二元が(与えられた演算のもとで)「交換する」「可換である」(commute) と言い表す。
以下、集合 E 上に二項演算 ∗ が定められているものとして:
E の二つの元 x, y が演算 ∗ のもと(互いに)交換するまたは可換であるとは  x * y = y * x  を満たすときに言う。
E の任意の二元 x, y が演算 ∗ のもと交換するとき、すなわち x * y = y * x\qquad(\forall x,y\in E) が成り立つとき、演算 ∗ は交換法則を満足する、または可換であると言う。可換でない演算は非可換 (non-commutative) であると言う。
より一般に、
E の二つの部分集合 S, T が x * y = y * x\qquad(\forall x\in S, y\in T) を満足するとき、S, T は元ごとに可換 (element-wise commute) であるという。
あるいはまた、
二変数写像 f: A × A → X は、どの二元 x, y も交換するとき、すなわち f(x, y) = f(y, x)\qquad(\forall x,y\in A) が成り立つとき、可換あるいは対称写像であると言う。
二項関係 R ⊂ A × B は、どの二元 x, y も交換するとき、すなわち x\mathrel{R}y = y\mathrel{R}x \qquad(\forall x\in A,y\in B) が成り立つとき、交換可能あるいは対称であると言う。
群論や集合論において、(複数の演算を持つ)様々な代数系が、それが持つ特定の演算が交換法則を満足するとき「可換」と呼ばれる。
可換半群は可換で結合的な全域的演算を持つ。
可換半群がさらに単位元を持つという性質を持てば可換モノイドと言う。
アーベル群または可換群はその群演算が可換であるような群を言う。
可換環はその乗法が可換となる環を言う(環の加法は常に可換である)。
可換体は加法と乗法がともに可換。
それらの分野の結果を利用する他の分野、例えば解析学や線型代数学では良く分かっている演算(例えば、実数や複素数に対する加法や乗法)は、いちいち断らなくても暗黙の仮定として証明等の中で縦横に用いられる
微分
なる写像として解釈することができる。この写像は点 x ∈ Rn に対して、Rn から Rm への k-重線型写像の空間の元で、その点において f を(ある特定の明確な意味において)「最適」に k-重線型近似するものを割り当てる。対角線埋め込み Δ: x → (x, x, …, x) との合成を考えれば、多変数のテイラー級数も最初の方の項が
\begin{align}
f(\mathbf{x}) & \approx f(\mathbf{a}) + (D f)(\mathbf{x}) + (D^2 f)(\Delta(\mathbf{x-a})) + \cdots\\
& = f(\mathbf{a}) + (D f)(\mathbf{x - a}) + (D^2 f)(\mathbf{x - a}, \mathbf{x - a})+ \cdots\\
& = f(\mathbf{a}) + \sum_i (D f)_i (\mathbf{x-a})^i + \sum_{j, k} (D^2 f)_{j k} (\mathbf{x-a})^j (\mathbf{x-a})^k + \cdots
\end{align}
となるようなものとして与えられる。ただし、f(a) は定値函数と同一視され、各 (x − a)i はベクトル x − a の第 i-成分で、(Df)i, (D2f)jk, … は線型変換としての Df, D2f, … の各成分を表す。
微分の概念を多くの他の状況設定の下でも拡張して定義することができる。共通することは、一つの点における函数の導函数がその点における函数の線型近似として働くことである。
実函数の微分の重要な一般化は、ガウス平面上の領域からガウス平面 C への函数のような複素変数の複素函数の微分である。複素函数の微分の概念は、実函数の微分の定義において実変数であるところを複素変数に置き換えることで得られる。二つの実数 x, y を用いて複素数 z  x + i y と書くことによりガウス平面 C を座標平面 R2 と同一視するとき、C から C への複素可微分函数は R2 から R2 へのある種の(その偏導函数が全て存在するという意味での)実可微分函数とみなすことができるが、逆は一般には成り立たない(複素微分が存在するのは実導函数が「複素線型」であるときに限り、これは二つの偏導函数がコーシー–リーマン方程式と呼ばれる関係式を満足することを課すものである)。正則函数の項を参照。
別の一般化として可微分多様体(滑らかな多様体)の間の写像の微分を考えることができる。直観的に言えば、可微分多様体 M とはその各点 x の近くで接空間と呼ばれるベクトル空間によって近似することのできる空間である(原型的な例は R3 内の滑らかな曲面である)。そのような多様体間の可微分写像 f: M → N の点 x ∈ M における微分係数あるいは微分は、x における M の接空間から f(x) における N の接空間への線型写像であり、導函数は M の接束から N の接束への写像となる。この定義は微分幾何学において基本的であり、多くの応用がある。微分写像(押し出し)および引き戻し (微分幾何学)の項を参照。
バナッハ空間やフレシェ空間のような無限次元線型空間の間の写像に対する微分法も定義できる。方向微分の一般化であるガトー微分や函数の微分の一般化であるフレシェ微分などがある。
古典的な微分の欠点は微分可能な函数がそれほどまでには多くないことである。それにも関わらず、微分の概念を拡張して任意の連続函数やほかの多くの函数を微分可能とするものに、弱微分がある。これは連続函数をより大きな分布の空間に埋め込んで、「平均の上で」のみ微分可能性を課すというものである。
微分の性質に着想を得て代数学や位相空間論における同様の対象がたくさん導入され研究されている。例えば導分、微分環などを参照。
微分の離散的対応物は差分である。微分法の研究は時間尺度微分積分学において差分法と統一される。
算術微分(数論的微分)
連続 (数学)
2019-06
数学において、連続(れんぞく、continuous)および連続性(れんぞくせい、continuity)とは、点の集合が切れていないことを表す概念である。それの厳密な定義は極限によって定式化される。数学における連続の概念は、位相空間の間の写像に対して拡張され、開集合などといった位相的な概念を一定の方法で保つという条件によって連続性の概念が定められる。これは異なる位相空間の間の関係を表す最も基本的な枠組みである日常語としては「連続」が「切れずに繋がっている」という意味で使われることがあるが、位相空間の性質として「切れずに繋がっている」ということを表す概念は「連結性」である。事実として「連結領域の連続像は必ず連結」であり、従って連結な定義域を持つ連続函数のグラフは文字通り「切れずに繋がっている」ことになるが、それは連続性の本質ではない。実際、位相幾何学者の正弦曲線は連結であるが関数は原点において連続ではない。位相空間からコンパクト・ハウスドルフ空間への写像が連続であることと同値な条件としてはグラフが閉集合であることがある。。
以下に1変数実関数の場合を主として、関数の連続性および様々な派生概念を述べる。
連続性は、各点の周りで考えられる概念である。1変数実関数 f(x) がある点 x0 で連続であるとは、x が x0 に限りなく近づくならば、f(x) が f(x0) に限りなく近づくことを言う:
\lim_{x\to x_0} f(x) = f(x_0)
これはε-δ論法を用いれば次のように定式化できる:
任意の正の数 ε に対して、ある正の数 δ が存在し、x0 との距離が δ 未満であるどんな x に対しても、f(x) は f(x0) の差が ε より小さくなる:
{}^{\forall} \varepsilon >0,{}^{\exists} \delta>0 \;\text{s.t.}\; {}^{\forall} x\; [\ |x-x_0|<\delta \Rightarrow |f(x)-f(x_0)|<\varepsilon]
また、関数 f(x) がある区間 I で連続であるとは、I に属するそれぞれの点で連続であることを言う:
{}^{\forall} x_0 \in I, {}^{\forall} \varepsilon >0, {}^{\exists} \delta>0 \;\text{s.t.}\; {}^{\forall} x \in I\ [\ |x-x_0|<\delta \Rightarrow |f(x)-f(x_0)|<\varepsilon]
関数 f(x) が多変数であったり、またはベクトル値関数である場合にも、基本的には上の絶対値の記号をノルム(長さ)に変更すれば同じようにして連続性を定義することができる。関数空間のような無限個の変数で表される対象や、さらに抽象的な位相空間上で定義された写像についての連続性は近傍系やフィルター、有向点族(ネット)などの概念を通じて定義される。
一般に、f を位相空間 X から位相空間 Y への写像とするとき、f が x ∈ X で連続であるとは、f(x) ∈ Y の任意の近傍 V に対して、x のある近傍 Ux を取れば、それの像が f(Ux) ⊆ V とできることをいう。
これは、Y の点 f(x) を含む任意の近傍の f による逆像がまた x の近傍であるとき、f は x において連続であるというと言い換えることができる。また、f が X 全体で連続であるということは、単に Y の任意の開集合の逆像がまた X の開集合であるのと同じである。
実数や複素数(あるいはその列)の全体に対して、絶対値(あるいはノルム)を距離関数として距離空間の位相を導入すれば、「連続関数」は「連続写像」の例であることが理解される。
各点連続よりも強い概念に一様連続性の概念がある。1変数実関数 f(x) についてこれは次のように定義される。
任意の正の数 ε に対して、正の数 δ が存在し、距離が δ 未満であるどんな数 x, y  に対しても、f(x) と f(y) との差が ε より小さくなっているならば、f は一様連続であるという。つまり、区間 I ⊂ R で定義された f : I → R が I 上一様連続とは、
{}^{\forall} \varepsilon >0, {}^{\exists} \delta>0 \;\text{s.t.}\; {}^{\forall} x,y \in I \;[\ |x-y|<\delta \Rightarrow |f(x)-f(y)|<\varepsilon]
ということである。定義より、ある関数が区間 I 上一様連続ならばそれは I 上連続でもある。一般的にこの逆は成り立たないが、区間 I が有界閉区間ならば逆も成り立つ(ハイネ・カントールの定理)。
この概念は距離空間の間の、あるいは一様空間の間の写像の一様連続性として抽象化される。有界閉区間上の関数に対する連続性と一様連続性の一致は、コンパクト空間が自然に一様空間の構造をもつということで説明される。
一様連続性の特別な場合として、ヘルダー連続性の概念がある。一変数実関数 f の値 f(x) と f(y) の差が x と y の差のべき乗に比例するある量で抑えられるとき f はヘルダー連続であるという。
ヘルダー連続性のさらに特別な場合として、リプシッツ連続性の概念がある。一変数実関数 f(x) について、f(x) と f(y) の差が x と y の差に比例するある量で抑えられるとき f はリプシッツ連続 (Lipschitz continuous) であるという。つまり、f が I 上リプシッツ連続であるとは、f が次の条件を満たすことである:
{}^{\exists} L>0 \;\text{s.t.}\; {}^{\forall} x,y \in I\; [|f(x)-f(y)|\le L|x-y|]
この条件は、リプシッツ条件 (Lipschitz condition) と呼ばれる。f がリプシッツ条件を満たすための L の値を f の リプシッツ定数 (Lipschitz constant) という。そのような最小の L をリプシッツ定数ということもある。
この概念は距離空間の間の写像に対して抽象化される。
ガウス記号 [x] によって実数から実数への関数 f(x) = [x] を定義しよう。この関数は、各整数の点で不連続である。この場合、関数のグラフにはギャップができる。ギャップのある不連続点を第一種不連続点という。これは正確には、a+, a− の両側に極限が存在するが、両者の極限が等しくならないようなものである。これは不連続点の中では最も連続に近いものである。
sin1 は x = 0 での値をどのように定めてもこの点で不連続になる。これは第一種不連続点ではない。
x が有理数なら 1、無理数なら 0 の値をとる関数 d(x) をディリクレの関数と呼ぶ。これは R 上の全ての点で不連続である。単純だが極端な不連続関数の例として積分論などの議論で重宝される。
関数 f を、x が無理数の場合は f(x) = 0 と定義し、有理数の場合は x = p(p は整数、q は正の整数でこれらは互いに素)と表し、この q を使って f(x) = 1 と定義すると、f は無理数では連続、有理数では不連続となる。
分配法則
分配法則(ぶんぱいほうそく、Distributive property)は、数学の法則の一つ。
集合 S に対して、積 × と和 + が定義されている時に、
a \times (b + c) = a \times b + a \times c
(a+b) \times c = a \times c + b \times c
が任意の元 a,b,c について成り立てば、この積は和に対して分配法則を満たすという。同じことを、積は和に対して分配的であるともいう。特に 1 を左分配法則、2 を右分配法則という。× が交換法則を満たすときには、1, 2 の区別はない。
分配法則は次のようなもので成り立つ。
実数の積は和に対して分配法則を満たす。
行列の積は和に対して分配法則を満たす。
集合の和は共通部分に対して分配的であり、共通部分は和に対して分配的である。また、共通部分は対称差に対して分配的である。
論理記号の論理和 (or) は論理積 (and) に対して分配的であり、論理積は論理和に対して分配的である。また、論理積は排他的論理和 (xor) に対して分配的である。
2つの二項演算の定義された集合を考えるとき、一方の他方に対する分配法則を仮定することが多い。例として、環を参照。
ヴィギャン・バイラヴ・タントラ
ヴィギヤン・バイラブ・タントラ (Vigyan Bhairav Tantra) は、ヒンドゥー教の聖典の1つで、シヴァとデヴィの会話からなり、シヴァがデヴィに112の瞑想(禅)の技法を伝授する話からなっている。
を超越した状態、
タントラは(ここでは)技法をそれぞれ意味し、合わせると「 意識を超越する技法 」という意味になる。
エネルギー保存の法則
+\hat{O}\frac{\partial}{\partial t}\right)
\left\vert\psi\right\rangle
\right\}\\
&= \frac{i}{\hbar}\left\{
\left\vert\psi\right\rangle^*\hat{H}^*\hat{O}\left\vert\psi\right\rangle
+\left\vert\psi\right\rangle^*
\left(
\frac{\hbar}{i}\frac{\partial\hat{O}{\partial t}
-\hat{O}\hat{H}\right)
\left\vert\psi\right\rangle
\right\}\\
&=\left\langle\psi\right\vert\left(
\frac{\partial\hat{O}{\partial t}
+\frac{i}{\hbar}\left\{\hat{H}\hat{O}
-\hat{O}\hat{H}\right\}\right)\left\vert\psi\right\rangle
\end{align}
となり、\hat{O} の時間発展を記述する作用素が得られる。
ここでシュレーディンガー方程式、
\hat{H}\left\vert\psi(t)\right\rangle = -\frac{\hbar}{i}\frac{\partial}{\partial t}\left\vert\psi(t)\right\rangle
を用い時間微分作用素をハミルトニアンに書き換えた。またハミルトニアンが自己共役であることを用いた。
\hat{O} がハミルトニアンであるなら、交換子の項はゼロになる。
\left[\hat{H},\hat{O}\right]
=\hat{H}\hat{O}-\hat{O}\hat{H}=\hat{H}\hat{H}-\hat{H}\hat{H}=0.
このとき期待値の時間微分は以下のようになる。
\frac{d}{dt}\left\langle\psi\right\vert\hat{H}\left\vert\psi\right\rangle
=\left\langle\psi\right\vert
\frac{\partial\hat{H}{\partial t}
\left\vert\psi\right\rangle.
外部系との相互作用がない孤立系を考えると、ハミルトニアン \hat{H} にはあらわな時間依存性がないので、エネルギー保存の法則が成り立っている。
\frac{\partial\hat{H}{\partial t}=0 ~\Rightarrow~
\frac{d}{dt}\left\langle\psi\right\vert\hat{H}\left\vert\psi\right\rangle=0.
時間とエネルギーの不確定性関係のために短時間ではエネルギー保存則が破れるという記述もあるが、それは摂動論における自由ハミルトニアン部分の保存則の破れにすぎず、相互作用項まで加えた全エネルギーは常に厳密に保存する(詳しくは不確定性原理のページを参照)。
エネルギー保存の法則が成立したと仮定し、宇宙がエネルギーの総量が一定の閉鎖系だと仮定すると、"質"の良い(エントロピーの小さい)エネルギーは時間とともに減少していくことになる。
エネルギー問題におけるエネルギーの有限性は、"質"の良いエネルギー、すなわち「エントロピーの小さいエネルギー」の存在量を問題としている。人類(および他のあらゆる存在)は、質の良いエネルギーを質の悪い(エントロピーの大きい)エネルギーに転換する過程で仕事を得ているが、エネルギーの仕事への変換効率はエネルギーの質が低くなるほど原理的に低下し、エネルギーを消費していく(仕事に転換していく)と世界はそれだけ「熱的死」に近づいていく。
「《エネルギー保存の法則》が成り立つ」ということは「(有用な)エネルギーはいくら使ってもなくならない」という意味ではない(第二種永久機関の否定)。エネルギー保存の法則は、エネルギー問題においては直接的には第一種永久機関の否定という面でかかわりを持つ。
念仏平和主義
念仏平和主義(ねんぶつへいわしゅぎ)とは、あたかも念仏のごとく「平和、平和」と唱えていれば平和になると信じる戦後日本の風潮を皮肉った言葉である。
歴史作家司馬遼太郎が新聞のコラムの中で用いた造語とされる。
主に、非武装中立論を提唱する論者に対してこの言葉が使われる。
第5族元素
第5族元素(だいごぞくげんそ)は、周期表において第5族に属する元素の総称であり、バナジウム、ニオブ、タンタル、ドブニウムからなる。バナジウム、ニオブ、タンタルはバナジウム族元素と呼ばれることもある。
いずれも金属で、硬く強靭で耐食性がある。また、融点、沸点も高いのが特徴。酸にも侵されにくい。超硬材料や、触媒などに利用される。
閉殻していないd軌道を持ち、遷移元素として取り扱われる。
第5族元素では価電子および内殻電子の電子構造は周期により異なる。
いずれも硬く強靭な金属で、融点、沸点も高いのが特徴。超硬材料や、触媒などに利用される。物性計算上は単体金属は強い還元剤であることが示唆されるが、容易に不動態皮膜を形成するので常温では耐食性があり非酸化性の酸にも侵されにくい。例えば強くて薄いタンタルの酸化皮膜はタンタルコンデンサーに応用されている。
一方、高温では大抵の非金属元素と反応し、酸化物、炭化物(MC)、窒化物(MN)、硫化物を形成するが、後述の様に生成物の金属の酸化数は多様である。
5族元素いずれもが酸化数-1から+5の多様な化合物、イオンを形成する。代表例を次に挙げる。
bpy - bipydidyl
π-C5H5 - cyclopentadienyl
神楽坂駅
神楽坂駅(かぐらざかえき)は、東京都新宿区矢来町にある、東京地下鉄(東京メトロ)東西線の駅である。駅番号はT 05。
1964年(昭和39年)12月23日:開業。
2004年(平成16年)4月1日:帝都高速度交通営団(営団地下鉄)民営化に伴い、当駅は東京地下鉄(東京メトロ)に継承される。
2007年(平成19年)3月18日:ICカード「PASMO」の利用が可能となる。
2015年(平成27年)5月26日:発車メロディを導入。
2019年(平成31年)3月30日:1b番出口が完成(1番出口は1a番出口に改名)。エレベーター(地上-改札階、改札階-ホーム階)とエスカレーター(地上-改札階)を運用開始。
地下駅であるが、幅員の狭い道路の下に建設されたため、単式ホーム1面1線の2層構造となっている。出入口はそれぞれのホームの端部にある。進行方向に向かって、1番線(地下3階)は左側、2番線(地下2階)は右側のドアが開く。
改札内のエスカレーターは1番線ホームと神楽坂方面改札口を連絡する上り専用のみ設置され、エレベーターは神楽坂方面改札口に設置されている。改札外のエスカレーター(上り・下り)とエレベーターは神楽坂方面改札口から1b番出口にかけて設置されている。
2010年5月31日、飯田橋寄りにある神楽坂方面改札口内の地下1階コンコース部にオストメイト、ベビーベッドつき多機能トイレが設置された。
(出典:)
2015年5月26日から向谷実作曲の発車メロディ(発車サイン音)を使用している。
曲は1番線が「A Day in the METRO」、2番線が「Beyond the Metropolis」である(詳細は東京メトロ東西線#発車メロディを参照)。
2021年度の1日平均乗降人員は32,028人であり、東京メトロ全130駅中92位。
近年の1日平均乗降・乗車人員推移は下表のとおり。
駅前は閑静な住宅街で、神楽坂方面出口からJR飯田橋駅にかけては商店街となっている。坂としての「神楽坂」や明治以来の繁華街はJR飯田橋駅の方が近い。当駅ができたことで神楽坂と呼ばれるエリアが広がった。2000年代以降は雑誌などに取り上げられる店やスポットが多く、休日は各地方から訪れる人達で賑わっている。また、高層マンションなどの開発も進み、昔ながらの街並は変貌している。
駅そばにある赤城神社の大祭が有名で、規模もそれなりに大きい。周辺地区からの神輿で賑わう。
東京都教育庁 神楽坂庁舎
毘沙門天(善國寺)
la kagū(ラカグ) - 新潮社の倉庫(外壁はトタンの波板)を改装した商業施設(2014年10月開業)
早稲田通り(神楽坂通り)
映画『交渉人 真下正義』にて当駅が登場した。但し、ロケは当駅ではなく、神戸市営地下鉄西神・山手線県庁前駅である。
東京地下鉄(東京メトロ)
東西線(東陽町以西は全列車が各駅に停車)
早稲田駅 (T 04) - 神楽坂駅 (T 05) - 飯田橋駅 (T 06)
京成稲毛駅
〕
京成稲毛駅(けいせいいなげえき)は、千葉県千葉市稲毛区稲毛三丁目にある、京成電鉄千葉線の駅である。駅番号はKS55。
1921年(大正10年)7月17日 - 稲毛駅として開業。
1931年(昭和6年)11月18日 - 京成稲毛駅に改称。
相対式ホーム2面2線を有する地上駅で、ホーム有効長は6両編成に対応する。各ホーム間は構内踏切で連絡しており、2番線ホーム側にも改札口(以前は臨時改札口)がある。1番線ホームの中央に男女別の水洗式トイレが設置されており、多機能トイレを併設している。
以前は上野寄りに下り線から上り方面に出発する分岐器が設けられていた。駅長配置駅である。
駅名標と旅客向け案内では「京成稲毛」の「京成」を省略し、表記・呼称は「稲毛」としている。
京成千葉線は、京成本線(京成船橋・京成上野方面)、新京成線(松戸方面)および京成千原線(ちはら台方面)との直通運転も一部実施している。駅ホームの案内標には、京成千葉線との直通運転の設定がない「成田空港」も行先として表記されている。成田空港方面(京成本線)には京成津田沼駅にて乗換が必要となる。
2021年度の一日平均乗降人員は6,429人で、京成線内69駅中第43位であった。
近年の一日平均乗車人員推移は下表の通り。
神谷傳兵衛や愛新覚羅溥傑の時代には国道14号(千葉街道)付近に海岸線があり、海水浴や潮干狩りの客で賑わうリゾート地となっていた。稲毛浅間神社の周辺に広がる松林の中には別荘風旅館「海気館」もあり、海気館には多くの文人墨客が小説執筆や静養のため訪れるなど、文人に愛された地として古くから栄え、駅周辺の高台は別荘地として開発された経緯から高級住宅街となっている。
駅前には千葉県道134号稲毛停車場稲毛海岸線が通り、駅西側には国道14号(千葉街道)、国道357号(東京湾岸道路)、駅北側には東関東自動車道が通る。国道14号(千葉街道)を越えた先からは美浜区に入り、大規模な住宅団地や埋立地が広がる。保養所等も今はなく、埋立前の海岸線は稲毛浅間神社や松林が昔の面影を残している。特に「稲毛の松林(市指定天然記念物)」は稲毛浅間神社の創建以来、次第に形成されてきた松林で、かつてはすぐ近くまで波が打ち寄せた眼望絶景の地であった。浅間神社境内を含めた丘上一帯が名勝地となっており、その一部が市の公園(稲毛公園)として開放されている。
JR総武本線の稲毛駅までは約650メートル(徒歩約8分程度)、JR京葉線稲毛海岸駅までは約1.5キロメートル(徒歩約20分程度)の場所に位置する。
東京歯科大学 千葉キャンパス
アコレ 稲毛海岸4丁目店
ヤオコー ミノリア稲毛海岸店
ヤオコー 稲毛海岸店
カスミフードスクエア 稲毛海岸店
サンドラッグ 稲毛海岸店
千葉トヨペット本社(社屋は日本勧業銀行本店建造物)
稲毛園 本店
稲毛浅間神社 - 毎年7月14日の前夜祭とその翌15日の例大祭の時は賑い、当駅の利用客が多くなる。
稲毛公園(稲毛の松林)
千葉市民ギャラリー・いなげ - 黒松に囲まれた庭園にあるアート・文化の拠点施設。
旧神谷伝兵衛稲毛別荘 - 神谷バーの創業者である神谷傳兵衛の別荘(洋館建築)。国の登録有形文化財。
千葉市ゆかりの家・いなげ(旧武見家住宅) - 映画『ラストエンペラー』として知られる愛新覚羅溥儀の弟とその妻(嵯峨実勝の長女)が新婚時代(1937年頃)に半年程住んでいた建物。千葉市有形文化財。
千葉西警察署 稲毛駅前交番
千葉銀行 稲毛支店
千葉信用金庫 稲毛支店
ワイズマート 稲毛店
在宅支援総合ケアーサービス 本社
千葉セラミック工業 本社工場
駅周辺には、駅最寄りの「京成稲毛駅」バス停と駅から離れた高台にある「京成稲毛駅入口」バス停(所在地は稲丘町)がある。
かつては京成バスの市街線(現在のちばシティバス作草部線、休止中)・宮野木線・京成団地線などが当駅を起終点としていたが、その後、当地のバス路線中心駅はJR稲毛駅となり、作草部線が2010年3月15日より運行休止となったのを最後に、当駅を起終点とする路線バスはなくなった。京成バス市街線は、千葉都市モノレール開通以前は運転本数も多く、京成バスを代表する主要幹線の一つであった。
検見川駅 (KS54) - 京成稲毛駅 (KS55) - みどり台駅 (KS56)
西登戸駅
〕
西登戸駅(にしのぶとえき)は、千葉県千葉市中央区登戸四丁目にある、京成電鉄千葉線の駅である。駅番号はKS57。
かつては千葉海岸の最寄り駅として、東京方面からの海水浴客の乗降で賑わった。なお、駅東側は千葉線開通を機に別荘地として開発された。
1922年(大正11年)3月8日 - 千葉海岸駅として開業。
1967年(昭和42年)4月1日 - 海岸の埋め立てに伴い、西登戸駅に改称。
2021年(令和3年)- 駅リニューアル・バリアフリー化工事を実施。
駅名は千葉市中央区にある「登戸(のぶと)」地区の西部に位置することによる名称であり、当駅の近隣に「西」の付かない「登戸駅」は存在しない。なお、この登戸地区の東部には新千葉駅がある。
また、神奈川県川崎市多摩区登戸にJR南武線、小田急電鉄小田原線の同名の登戸(のぼりと)駅が存在するが、無関係である(当駅は、そちらから見た場合には東の方向に位置している)。
相対式ホーム2面2線を有する地上駅。駅舎は上り線(京成津田沼駅方面)ホーム側にあり、下り線(京成千葉駅方面)ホームとは跨線橋により連絡している。
京成千葉線は、京成本線(京成船橋・京成上野方面)、新京成線(松戸方面)および京成千原線(ちはら台方面)との直通運転も実施している。駅ホームの案内標には、京成千葉線との直通運転の設定がない「成田空港」も行先として表記されている。成田空港方面(京成本線)には京成津田沼駅にて乗換が必要となる。
2021年度の一日平均乗降人員は2,485人で、京成線内69駅中第63位であった。
近年の一日平均乗車人員推移は下表の通り。
東日本旅客鉄道(JR東日本)西千葉駅まで約600メートル(徒歩約6分程度)である。当駅を中心とする約半径1キロメートル(km)範囲内には西千葉駅のほか、隣駅のみどり台駅および新千葉駅があり、状況によっては徒歩での移動の方が早く到達する場合もある。駅前商業施設や商店街が存在する西千葉駅前とは至近距離にもかかわらず雰囲気が大きく異なり、当駅は閑静な住宅地内にある。駅東側は別荘地として開発された経緯から高級住宅街となっている。駅西側には松林が点在し、海へと続く小道が現存するなど、埋立前の海岸線の面影を偲ぶことができる。南側(海側)は国道14号(千葉街道)、国道357号(東京湾岸道路)が通り、千葉街道を越えた先からは美浜区に入り、千葉ガーデンタウンなどの大規模な住宅団地や埋立地が広がる。
登戸四丁目、幸町一丁目方面(駅改札口、海側)。
保健福祉局健康部保健所(千葉市保健所)
千葉興業銀行 本店
京葉銀行 幸町センター
カスミフードスクエア 千葉みなと店
ヤックスドラッグ 千葉みなと店
トヨタカローラ千葉 本社
ジェームス 美浜店
ホテルリブマックス 千葉美浜
春日一丁目・二丁目、汐見丘町方面。
法務省千葉保護観察所(海上保安庁千葉ロランセンター跡)
東洋理容美容専門学校 本館
西友 西千葉店
ボンメゾン 西千葉店
みどり台駅 (KS56) - 西登戸駅 (KS57) - 新千葉駅 (KS58)
京成千葉駅
〕
京成千葉駅(けいせいちばえき)は、千葉県千葉市中央区新町にある、京成電鉄千葉線の駅である。駅番号はKS59。
当駅は、東日本旅客鉄道(JR東日本)・千葉都市モノレールの千葉駅と近接しており、乗換駅となっている。
1967年(昭和42年)12月1日:国鉄千葉駅前駅(こくてつちばえきまええき)として開業する。
1987年(昭和62年)4月1日:国鉄分割民営化に伴い、駅名を国鉄千葉駅前駅から京成千葉駅に変更、さらに従来の京成千葉駅も千葉中央駅に変更する。
1994年(平成6年)7月1日:西改札口を開設。
1995年(平成7年)8月1日:モノレール口を開設。
2006年(平成18年)12月10日:新京成電鉄と京成千葉線の直通運転開始に伴い、新京成電鉄の車両が当駅への乗り入れを開始。
2018年(平成30年)3月24日:フルカラーLED式の発車標を改札前とホームに導入。
相対式ホーム2面2線を有する高架駅である。下り列車から見て右に大きくカーブを描いており、志津駅上り線と同様に、電車到着時には警告音が鳴り、軌道敷内の照明が点灯する。ホームの有効長は8両編成分である。
改札口は1階コンコースにある西口改札・東口改札と3階コンコースにあるモノレール口改札の計3か所ある。JR千葉駅の東口に近いのは西口改札であるため注意が必要である。西口改札は駅員が配置され終日営業しているのに対し、東口改札とモノレール口改札は無人であり、営業時間も東口改札が6時から21時まで、モノレール口改札が6時30分から20時30分までと限られている。また、駅ホームと1階コンコースの間はエレベーター・エスカレーター・階段が設置されているが、3階コンコースとの間にはエスカレーター・階段のみが設置されており、エレベーターは設置されていない。このため、モノレールとの乗り換えなどで3階コンコースと当駅ホームを行き来する際にエレベーターの利用を必要とする場合、及びモノレール口改札の営業時間外の場合は、3階コンコースと同じフロアにあるそごう千葉店内のエレベーター、センシティタワーのエレベーター、またはモノレール駅のエレベーターを利用し、一旦1階の西口改札を経由する必要がある。
2021年度の1日平均乗降人員は24,842人で、京成線内69駅中第15位であった。千葉線内では最も乗降客の多い駅である。
近年の推移は下表の通り。
駅自体はそごう千葉店本館と一体化しており、そごう本館4階、センシティタワー4階に連絡するモノレール南口(モノレール口改札)がある。千葉都市モノレール1号線・2号線の千葉駅とは一体的な構造となっており、モノレール口改札から連絡通路を通じてJR線にも乗換可能である。
当駅西口(西口改札)より、そごう本館1階、センシティタワー1階、東日本旅客鉄道(JR東日本)の千葉駅南口および駅ビルのペリエ千葉(本館・ストリート1)に連絡し、当駅東口(東口改札)より、高架下商業施設のシーワン(C-One)、オーロラモールジュンヌ1階に連絡する。
当駅は東日本旅客鉄道(JR東日本)・千葉都市モノレールの千葉駅東口・西口駅前ロータリー交差点(バスターミナル)に近接している。
新千葉駅 (KS58) - 京成千葉駅 (KS59) - 千葉中央駅 (KS60)
大貫駅
大貫駅(おおぬきえき)は、千葉県富津市千種新田(ちくさしんでん)にある、東日本旅客鉄道(JR東日本)内房線の駅である。
1915年(大正4年)1月15日:開業。
1962年(昭和37年)10月1日:貨物の取り扱いを廃止。
1987年(昭和62年)4月1日:国鉄分割民営化に伴い、東日本旅客鉄道(JR東日本)の駅となる。
2006年(平成18年)4月1日:この日をもってみどりの窓口の営業が終了し、「もしもし券売機Kaeruくん」が設置される。
2009年(平成21年)3月14日:ICカード「Suica」の利用が可能となる。東京近郊区間に組み込まれる。
2012年(平成24年)3月12日:「もしもし券売機Kaeruくん」の営業を終了。
2014年(平成26年)10月20日:業務委託化。
島式ホーム1面2線を有する地上駅である。ホームは嵩上げされていない。佐貫町駅側に跨線橋があり、駅舎は西側にある。
JR東日本ステーションサービスが受託する業務委託駅(君津駅管理)で、自動券売機2台(どちらもSuica対応)、多機能券売機、簡易Suica改札機が設置されている。
(出典:)
信号設備上、1・2番線いずれも両方面からの到着および出発が可能である。
上記設備を用いて普通列車が通常とは反対側のホームに入り、特急の待避を行う場合がある。
非常時には列車が当駅折り返しになることがある(209系2000番台・2100番台には「内房線大貫」の表示が用意されている)。
ホームは11両編成までに対応する。
2021年(令和3年)度の1日平均乗車人員は846人である。
JR東日本および千葉県統計年鑑によると、近年の1日平均乗車人員の推移は以下の通り。
当駅は富津市の中心に位置する(市役所最寄駅)。歩いてしばらくの所に大貫海水浴場がある。
小久保藩陣屋跡(田沼意次ゆかりの地)
普和山最上寺(関東三十六不動 第32番)
おどやスーパー&ホーム富津大和田店
コメリハード&グリーン富津大貫店
各路線ともに日東交通によって運行される。
東日本旅客鉄道(JR東日本)
通勤快速(平日上り1本のみ)・快速(土休日上り京葉線経由1本のみ)・普通(各駅停車)
プロ市民
プロ市民(プロしみん)とは、以下のような言葉である。
「自覚・責任感(=プロ意識)を持つ市民」を意味する造語。2.の意味が普及したため、ほとんどこの意味では用いられない。
「市民」とメディアなどで称されているが、左派系のイデオロギーを持っている左翼活動家であるとの指摘、または彼らを「右翼活動家」のように「左翼活動家」とせずに「(一般)市民」であるように表記・報道する者を批判する際に用いられる言葉。昨今では、「プロ市民」はこの意味で使われることが多い。彼らは県内外から集まるものの、反原発や反オスプレイなど特定の活動参加者と顔ぶれが似通っているとの指摘がある。
「自覚・責任感を持つ市民」としての「プロ市民」は、1990年代に佐賀県鹿島市長の桑原允彦が考え出した造語であり、鹿島市の総合計画にも見受けられる。政治にもっと関心を持とう、地域密着型の活動を通しプロ意識を持って政治や地域活動に参加する市民になろうという運動や人々を指す言葉であったとされているが、ネガティブな使われ方としての「プロ○○(○○の部分には職業等の名前が入る)」という造語が使われることはこれ以前からも度々あったので、さほど特殊な用語ではなかった(総会屋の別名である「プロ株主」がその好例)。
この「プロ市民」は、以下で記述されている「プロ市民」との意味合い及び関係性は一切無い。
2ちゃんねる用語としては「左翼活動家を言い換える隠れ蓑」あるいは「市民活動で利権を得る者たち」を意味としての「プロ市民」がある。つまり「アマチュアのふりをしたプロによる市民活動」というような意味合いである。プロ市民が左派系市民団体に使われる背景には、右派系が似たような活動を行う際に「市民」ではなく、「右翼団体」「右翼」と表記・報道されてきたからである。鈴木邦男によると日本では人口比で市民活動までする者は僅かだが、メディアにシンパがいることで数百人どころか十数人の活動まで報道されるなどメディア露出が多いと述べている。鈴木は参加者やメンバー自体が少なく、国民にも共感する者が多く得られないであろう左派市民団体の言動がマスコミに大きく取り上げられてきたことを熱心な右翼活動家だった時は不公平だと思っていたと述べている。鈴木は右派は投票程度しか政治的な行為をしない者が圧倒的多数であり、自身の経験から左派団体専従の総数よりも右派系団体のメンバー総数の方が少ないと述べている。更に鈴木はそもそも日本人に馴染みのある国民を使った国民団体にせずに、「市民」「市民団体」という言葉自体が外国籍がいることを内包しているからと解説している。
ジャーナリストの清谷信一も「プロ市民団体」と「普通の市民団体」をメディアはしっかりと分けて伝えるべきだとし、また「右翼団体」の抗議の場合は「右翼団体」として報道されるのに対し、「プロ市民団体」「左翼団体」は単に「市民団体」と報道される矛盾を指摘している。
また漫画家の小林よしのりは、『新・ゴーマニズム宣言』において「プロ市民」という言葉を用いている。小林は薬害エイズ裁判において、共産党など左翼系も受け入れて原告支援団体を率いる立場となった。しかし、次第に労働組合や、日本民主青年同盟(民青)などの共産党系左派組織に乗っ取られ、結果団体から追い出された挙句にバッシングまでされたためである。この経緯については、『新・ゴーマニズム宣言スペシャル 脱正義論』にて、薬害エイズ支援学生ボランティア団体を「戦争責任追及」など無関係な問題に誘導しようとする左翼活動家たちの暗躍を目の当たりにした小林は、「プロ市民」という言葉を多く用いるようになったと述べている。
以下ではこの意味でのプロ市民について記載する。
似ているが非なる言葉に、労働組合、日本共産党など政治団体などで、会社勤めの傍らで活動に従事するのではなく、労働組合や政治団体自体から給与をもらって活動に専念する人間を意味する「専従」「職業革命家(職革)」がある。
市民活動とは、政治についての知識をある程度身に着けている者、若しくは初心者が、問題意識を持って政治などについて議論や集会などの活動を行うものであるが、プロ市民という際、その活動者の活動を「特定グループに属する市民・党派や、特定のプロパガンダ、外国勢力などのために利益誘導の活動を行っているのであろう」とみなした者が否定的文脈において用いている。この「プロ市民」は、プロ株主の持つ意味合いに近い。
「特定グループに属する市民・党派や、特定のプロパガンダ、外国勢力などのために利益誘導の活動を行っている者」と捉えられる限りにおいて、職業的アジテーターや工作員のほか、職業として市民活動と関わる弁護士(特に人権派と呼ばれる弁護士)・政治家・学者であってもプロ市民とされることがある。なお、欧米諸国によく見られるように、政府の政権交代の度に政府上級官僚とNGOあるいはNPO幹部との間で大規模に人的流動が起きる社会では、社会のエリート層として受け止められている市民セクタのプロフェッショナルという階層が存在する。彼らは自らの主義主張と合致しない政権の時期にはNGO、NPOの幹部、専門性の高い部署の活動家として活動し、主義主張の合致する政権が成立すると、政府の上級官僚として迎え入れられて政府スタッフとして活動する。また、政策立案・政策提言を行うシンクタンクもまた、こういった層による非営利団体により運営されている。人権派
「(一般)市民を装っているが実際には(左翼)政治活動家である人びと」との解説がある。
市民活動(少なくともその一部)に対して懐疑的な立場の者は、発祥とされる2ちゃんねる外でも使用している。ネット上での使用例は多くあり、議員が運営するウェブサイトでもが見受けられる。
類似した概念は海外にも存在しており、ドナルド・トランプが自身のTwitterで「professional protesters」と発信し、日本のメディアもこれを「プロ市民」と訳している。
『週刊新潮』(2007年3月15日号)に、2007年東京都知事選挙候補であった浅野史郎の支援団体(浅野史郎さんのハートに火をつける会)を「プロ市民」と評する記事が掲載された。
2005年、東京都杉並区で『新しい歴史教科書』採択にあたり、反対派市民団体による抗議行動が行われたが、
警察庁は2005年の『治安の回顧と展望』において、中核派が「『つくる会の教科書採択に反対する杉並親の会』と共闘して、市民運動を装いながら、杉並区役所の包囲行動、同区教育委員会への抗議・申し入れ、傍聴等に取り組んだ」と伝えた。
また公安調査庁の『内外情勢の回顧と展望』では、この抗議活動に中核派が日本教職員組合などに対し、共同行動を呼びかけたものとしている。この抗議活動を見た清谷信一は、大型のラウドスピーカーや演説内容を「用意周到に集まった彼ら」は、まさに「プロ」であったと語っている。
ハバクク書
『ハバクク書』(ספר חבקוק、Book of Habakkuk)は、旧約聖書(ヘブライ語聖書)中の一書であり、ユダヤ教では「後の預言者」に分類され、キリスト教では預言書(十二小預言書)に分類する。十二小預言書の8番目の預言書。3章からなる。正教会では『アワクム書』と呼ぶ。
著者についての伝記的情報は不明。『ハバクク書』には「預言者」とのみ記されている。文体と内容から、エルサレム神殿に所属する預言者であった可能性が推測されている。『ハバクク書』3章は楽器の伴奏を伴う典礼上の祈祷として書かれており、ここからハバククも竪琴等を奏しながら祈祷を行う神殿付きの預言者であることが示唆されるとする。ハバククは旧約外典の『ダニエル書補遺』「ベルと竜」の登場人物でもある。ここではハバククはユダヤの預言者とされ、バビロンのライオンの洞窟にいるダニエルに超自然的な手段で遣わされ、食事を届ける。
カルデア、すなわちバビロニアが脅威として描かれている ことから、ユダ王国の末期に書かれたと推測する見解がある。エホヤキム王の治下、紀元前609年から紀元前598年が、ひとつの可能性として想定されうる。エルサレムがバビロニアに攻略されるのは紀元前598年である。バビロニアの残酷さは直接的な生々しさをもって描かれている。
『ハバクク書』はユダヤが直面する民族的困難が増大する時代にあって、疑念が付されてきた神への絶対的な信頼と能力の妥当性という問題を扱っている。この時代の中東においては、神の絶対的な権能は、それを崇拝する国家の国力と直接に結び付けられていた。ユダヤ民族の衰退はこれを疑わしめるものであったが、ハバククは「民の悪行に対する神の怒り」「異民族による怒りの執行」という観点に立つことによって、民族的困難と神への信頼を両立させる。同時にここには、そのような他の諸国にも威力を及ぼす神の絶対性と将来の救済、「怒りのうちにも憐れみを忘れぬ神」 という観念がみられる。神は終極においてその支配権をあまねくおよぼし、その民を救い彼らに敵するものを滅ぼす。ハバククは、現在また近い将来ユダに臨む神の怒りと、遠く待望される神との和解と救済を、その預言のなかで提示している。