stanford-oval/wikipedia huggingface dataset:
中島龍也

| 中島龍也> 基本情報 |
| --- | --- |
国籍:   日本
出身地:  千葉県
生年月日:   (1996-03-12) 1996年3月12日（28歳）
血液型:  A型
騎手情報
所属厩舎:  加藤和義（金沢） →高橋優子（金沢）
勝負服:  胴青・白縦縞・袖橙
初免許年:  2015年
免許区分:  平地
テンプレートを表示
中島 龍也（なかじま たつや、1996年3月12日 - ）は、地方競馬の金沢競馬場・高橋優子厩舎所属の騎手である。
経歴

中学卒業後、茨城県の国際馬事学校に1年間通い、その後、地方競馬教養センターに入所した。
金沢競馬場の加藤和義厩舎に所属し2014年にデビュー[要出典]。
2014年4月6日、金沢競馬第1競走でウーヴァに騎乗し初騎乗を果たす（9頭立て2着）[要出典]。
2日後の4月8日、金沢競馬第5競走でニシノオタフクに騎乗し優勝、初勝利を挙げた[要出典]。
デビュー1年目はNARグランプリ優秀新人騎手賞を受賞、さらに日本プロスポーツ大賞新人賞を受賞した[要出典]。
2016年4月10日、金沢競馬第1競走をノースショアで優勝、通算100勝を達成した[要出典]。
2017年、金沢シンデレラカップをエグジビッツで制し、重賞初制覇を達成[要出典]。
2018年1月22日から3月9日まで南関東競馬で期間限定騎乗を行った。
2020年4月22日付で加藤和義厩舎から高橋優子厩舎に移籍した[要出典]。
主な騎乗馬

エグジビッツ（2017年金沢シンデレラカップ）
ノブイチ（2017年金沢ヤングチャンピオン）
アルファーティハ（2018年サラブレッド大賞典）
ヤマミダンス（2018年中日杯、2019年兵庫クイーンカップ）
ナガラオリオン（2019年金沢スプリングカップ）
ロンギングルック（2019年石川ダービー、加賀友禅賞、2020年徽軫賞）
アイバンホー（2020年金沢ヤングチャンピオン、2021年北日本新聞杯、石川ダービー）
リメンバーアポロ（2023年金沢ヤングチャンピオン）
ラムダ計算

ラムダ計算（ラムダけいさん、英語: lambda calculus）は、計算模型のひとつで、計算の実行を関数への引数の評価（英語: evaluation）と適用（英語: application）としてモデル化・抽象化した計算体系である。ラムダ算法とも言う。関数を表現する式に文字ラムダ (λ) を使うという慣習からその名がある。アロンゾ・チャーチとスティーヴン・コール・クリーネによって1930年代に考案された。1936年にチャーチはラムダ計算を用いて一階述語論理の決定可能性問題を（否定的に）解いた。ラムダ計算は「計算可能な関数」とはなにかを定義するために用いられることもある。計算の意味論や型理論など、計算機科学のいろいろなところで使われており、特にLISP、ML、Haskellといった関数型プログラミング言語の理論的基盤として、その誕生に大きな役割を果たした。
ラムダ計算は1つの変換規則（変数置換）と1つの関数定義規則のみを持つ、最小の（ユニバーサルな）プログラミング言語であるということもできる。ここでいう「ユニバーサルな」とは、全ての計算可能な関数が表現でき正しく評価されるという意味である。これは、ラムダ計算がチューリングマシンと等価な数理モデルであることを意味している。チューリングマシンがハードウェア的なモデル化であるのに対し、ラムダ計算はよりソフトウェア的なアプローチをとっている。
この記事ではチャーチが提唱した元来のいわゆる「型無しラムダ計算」について述べている。その後これを元にして「型付きラムダ計算」という体系も提唱されている。
歴史

元々チャーチは、数学の基礎となり得るような完全な形式体系を構築しようとしていた。彼の体系がラッセルのパラドックスの類型に影響を受けやすい（例えば論理記号として含意 → を含むなら、λx.(x→α) にYコンビネータを適用してカリーのパラドックスを再現できる）ということが判明した際に、彼はそこからラムダ計算を分離し、計算可能性理論の研究のために用い始めた。この研究からチャーチは一階述語論理の決定可能性問題を否定的に解くことに成功した。
非形式的な概説

例えば、ある数に 2 を加える関数 f を考える。これは通常の書き方では f(x) = x + 2 と書くことができるだろう。この関数 f は、ラムダ計算の式（ラムダ式という）では λx. x + 2 と書かれる。変数 x の名前は重要ではなく、 λy. y + 2 と書いても同じである。同様に、この関数に 3 を適用した結果の数 f(3) は (λx. x + 2) 3 と書かれる。関数の適用は左結合である。つまり、 f x y = (f x) y である。今度は、引数（関数の入力）に関数をとりそれに 3 を適用する関数を考えてみよう。これはラムダ式では λf. f 3 となる。この関数に、先ほど作った 2 を加える関数を適用すると、 (λf. f 3) (λx. x + 2) となる。ここで、
の3つの表現はいずれも同値である。
ラムダ計算では、関数の引数は常に1つである。引数を2つとる関数は、1つの引数をとり、1つの引数をとる関数を返す関数として表現される（カリー化）。例えば、関数 f(x, y) = x − y は λx. (λy. x − y) となる。この式は慣例で  λxy. x − yと省略して書かれることが多い。以下の3つの式
は全て同値となる。
ラムダ計算そのものには上で用いた整数や加算などは存在しないが、算術演算や整数は特定のラムダ式の省略であると定義することによってエンコードできる。その具体的な定義については改めて後に述べる。
ラムダ式は自由変数（ λ によって束縛されていない変数）を含むこともできる。例えば、入力に関係なく常に y を返す関数を表す式 λx. y において、変数 y は自由変数である。このようなときに変数名の付け替えが必要になることがある。つまり、式 (λxy. y x) (λx. y) は λy. y (λx. y) ではなく、 λz.z (λx. y) と同値である。
定義

ここではラムダ計算の形式的な定義を述べる。まず、記号 (identifier) の可算無限集合  {a, b, c,…, x, y, z,…} を導入する。全てのラムダ式の集合は、BNFで書かれた以下の文脈自由文法によって定義される。
<expr> ::= <identifier>
<expr> ::= (λ<identifier>. <expr>)
<expr> ::= (<expr> <expr>)
最初の2つの規則は関数の定義を表しており、3つめの規則は関数に引数を適用することを表している。規則2のことをラムダ抽象（英: lambda abstraction）といい、規則3のことを関数適用（英: application）という。関数適用は左結合であることと、ラムダ抽象はその後ろに続く全ての式を束縛することの2点をもってあいまいさが排除される場合は、括弧を省略してもよい。例えば、 ((λx. ((x x) x)) (λy. y)) はより簡単に (λx. x x x) λy. y と書ける。また、非形式的な説明で述べたようにMをラムダ式としたとき、λx. (λy. M)をλxy. Mと略記する。
ラムダ抽象によって束縛されていない変数を自由変数（英: free variable）という。式 λx. (x y) において、 y は自由変数である。ある変数の出現が自由出現であるかどうかは、より正確には以下のように帰納的に定義されている。
ラムダ式 V が変数のとき、 V は自由出現である。
ラムダ式 λV. E において、 E で自由出現している変数のうち V 以外のものが自由出現である。このとき、 E 中の変数 V はラムダに束縛されたという。
ラムダ式 (E E′) において、 E での自由出現と E′ での自由出現の和が自由出現である。
ラムダ式の集合の上での同値関係（ここでは == と書くことにする）は、直感的には、2つのラムダ式が同じ関数を表していることである。この同値関係は以下で述べるα-変換とβ-簡約によって定義される。第3の規則としてη-変換と呼ばれる規則が導入されることもある。
定義 > α-変換

アルファ変換の基本的なアイデアは、束縛変数の名前は重要ではない、ということにある。例えば、 λx. x と λy. y は同じ関数を表している。しかし、ことはそう単純ではない。ある束縛変数の名前を置換してもよいかどうかには、いくつかの規則が絡んでくる。例えば、ラムダ式 λx. λy. x 中の変数 x を y に置き換えると、 λy. λy. y となるが、これは最初の式とはまったく異なるものを表すことになる。そこでまず準備として、変数 V, W と式 E に対して、 E 中の V の全ての自由出現を W に置き換えたものを
と書くことにする。この元で、アルファ変換は
である。ただし、 E に W が自由出現しておらず、かつ V を置換することにより E 中で新たに W が束縛されることがないときに限る。この規則によれば、式 λx. (λx. x) x が λy. (λx. x) y に変換されることがわかる。
定義 > β-簡約

ベータ簡約（ベータ変換とも）の基本的なアイデアは、関数の適用である。ベータ簡約は以下の変換である。
ただし、 E′ の代入によって E′ 中の自由変数が新たに束縛されることがないときに限る。
関係 == は、上の2つの規則を含む最小の同値関係(同値閉包)である。
ベータ簡約は、（同値関係ではなく）左辺から右辺への一方的な変換であると見ることもできる。ベータ簡約の余地のないラムダ式、つまり、 ((λV. E) E′) の形(β-redex)をどこにも持っていないラムダ式を正規形（英: normal form）であるという。
定義 > η-変換

上に挙げた2つの規則の他に、第3の規則としてイータ変換が導入されることがある。イータ変換の基本的なアイデアは、関数の外延性である。ここでいう外延性とは、2つの関数が全ての引数に対して常に同じ値を返すようなとき、互いに同値であるとみなすという概念である。イータ変換は以下の変換である。
ただし、 E に V が自由出現しないときに限る。
この同値性は関数の外延性という概念によって以下のように示される。
もし全てのラムダ式 a に対して f a == g a であるならば、 a として f にも g にも自由出現しない変数 x をとることによって f x == g x であり、 λx. f x == λx. g x である。この等式にイータ変換をほどこすことによって f == g が得られる。これより、イータ変換を認めるならば関数の外延性が正当であることが示される。
逆に、関数の外延性を認めるとする。まず、全ての y に対してラムダ式 (λx. f x) y はベータ変換でき、 (λx. f x) y == f y となる。この同値関係は全ての y について成り立っているので、関数の外延性より λx. f x == f である。以上によって、関数の外延性を認めたときのイータ変換の正当性が示される。
諸概念のラムダ式での表現

上で述べたように、ラムダ計算は計算可能な全ての関数を表現することができる。また、上では 2 + 3 のような算術をラムダ式の一部として用いた。 2 + 3 などは計算可能であるから、もちろんラムダ計算による表現が可能である。もちろん、 2 + 3 以外にも計算可能な全ての関数の表現が可能である。ここではそれらのうちの主なものを紹介する。
諸概念のラムダ式での表現 > 自然数と算術

自然数をラムダ式で表現する方法はいくつか異なる手法が知られているが、その中でもっとも一般的なのはチャーチ数（英語版）（英: Church numerals）と呼ばれるもので、以下のように定義されている。
以下同様である。直感的には、数 n はラムダ式では f という関数をもらってそれを n 回適用したものを返す関数である。つまり、チャーチ数は1引数関数を受け取り、1引数関数を返す高階関数である。（チャーチの提唱した元々のラムダ計算は、ラムダ式の引数が少なくとも一回は関数の本体に出現していなくてはならないことになっていた。そのため、その体系では上に挙げた 0 の定義は不可能である。）
上のチャーチ数の定義のもとで、後続（後者）を計算する関数、すなわち n を受け取って n + 1 を返す関数を定義することができる。それは以下のようになる。
また、加算は以下のように定義できる。
または単にSUCCを用いて、以下のように定義してもよい。
PLUS は2つの自然数をとり1つの自然数を返す関数である。この理解のためには例えば、 PLUS 2 3 == 5 であることを確認してみるとよいだろう。また、乗算は以下のように定義される。
この定義は、 m と n の乗算は、 0 に n を m回加えることと等しい、ということを利用して作られている。もう少し短く、以下のように定義することもできる。
正の整数 n  の先行（前者）を計算する関数 PRED n = n − 1 は簡単ではなく、
もしくは
と定義される。上の部分式 (g 1) (λu. PLUS (g k) 1) k は、 g(1) がゼロとなるとき k に評価され、そうでないときは g(k) + 1 に評価されることに注意せよ。
諸概念のラムダ式での表現 > 論理記号と述語

TRUE や FALSE といった真理値は慣習的に以下のように定義されることが多い。これらはチャーチ真理値（英語版）（英: Church booleans）とよばれている。
これらの真理値に対して論理記号を定義することができる。たとえば、以下のようなものがある。
これらの記号を使った計算の例を挙げる。
以上より、 AND TRUE FALSE が FALSE と等しいことがわかる。
「述語」とは、真理値を返す関数のことである。計算論において最も基本的な述語は ISZERO で、これは引数がチャーチ数の 0であった場合には TRUE を、そうでなければ FALSE を返す関数であり、以下のように定義できる。
諸概念のラムダ式での表現 > 対

（2つ組の）順序対のデータ型は、 TRUE および FALSE を用いて定義することができる。これらはチャーチ対（英語版）（英: Church pairs）とよばれている。
リンク型のリスト構造は、空リストのために特定の予約された値（例えば FALSE ）を用い、リストをその先頭要素と後続リストの CONS 対として表現することによって実現できる。
諸概念のラムダ式での表現 > リスト

→「en:Church_encoding § List_encodings」も参照
諸概念のラムダ式での表現 > 再帰

→「無名再帰」も参照
再帰とは自分自身を関数として使用することで、ラムダ計算では表面上は再帰操作は許されていないように見える。しかし少し工夫することによってラムダ計算でも再帰を実現できる。例として階乗を計算する関数 f(n) を考えてみよう。この関数は再帰的に以下のように定義できる。
ラムダ計算では自分自身を含む関数は定義できない。この問題を解決するためにまず、 f を引数にとり n を引数にとる関数を返すg という関数を考える。
関数 g は 1 か n × f(n − 1) を返すような関数を返す。上述の ISZERO や算術、論理記号の定義を用いれば、この関数 g はラムダ式で定義することができる。
しかし、これでは g 自身はまだ再帰的ではない。 g を用いて再帰的な階乗関数を作り出すためには、 g に対して引数 f として渡されている関数が、ある性質を持つ必要がある。すなわち、この f を展開すると関数 g がある一つの引数を伴った形になり、さらにその g への引数は先ほどf として渡された関数に再びなる必要がある。
この性質は言い換えると、 f は g ( f )に展開される必要があるということだ。この g の呼び出しは先ほどの階乗関数に展開され、再帰の段階を一段降りる計算をしている。この展開において、関数 f が再度出現する。そして、この関数 f は再度 g ( f )に展開され、再帰が続いていく。この f  =  g ( f )となるような関数は、 g の不動点と呼ばれる。そして、この不動点は不動点コンビネータとして知られるものによってラムダ計算で表現することが出来る。この不動点コンビネータは Y と表される -- Yコンビネータ:
ラムダ計算では、 Y g は g の不動点となる。つまり、 g (Y g) == Y g となる。このもとで、 n の階乗を計算するには単に g (Y g) n を呼び出せばよい。ここで、 n は上述したチャーチ数である。
n = 5 として、評価の例を見てみよう。
アルゴリズムの構造が再帰的に評価されているのがわかるだろう。再帰的に定義される関数は全て他の適当な関数の不動点となっているため、 Y を用いることで全ての再帰的な関数をラムダ式で表現することができる。たとえば、自然数に対する除算、乗算や比較述語を再帰を用いてよりきれいに定義することができる。
計算可能性とラムダ計算

自然数から自然数への関数 F: N → N が計算可能であるということは、全ての自然数の対 X, Y に対して F(X) = Y と f x == y が同値となるようなラムダ式 f が存在すること、と定義することができる。ここで、 x, y はそれぞれ X, Y に対応するチャーチ数によるラムダ式である。この定義は、計算可能性を定義する多くの方法のうちのひとつである。より詳しくは、チャーチ-チューリングの提唱の項を見よ。
同値性の決定不可能性

2つのラムダ式を入力とし、それらが同値であるかどうかを判定するアルゴリズムは存在しない。これは決定不可能性が示された歴史的に最初の問題である。ここで使われる「アルゴリズム」という言葉も、もちろんきちんと定義されなければならない。チャーチは自身の証明の中で帰納的関数をその定義に用いたが、現在ではこれは適切なその他のアルゴリズムの定義と等価であることが知られている。
チャーチの証明ではこの問題を、あたえられたラムダ式に正規形が存在するかどうかという問題に帰している。正規形とは、それ以上簡約のできない同値なラムダ式のことである。チャーチの証明ではまず、この問題が決定可能である、つまり、ラムダ式で表現可能であると仮定する。クリーネによる結果とゲーデル数のラムダ式表現を用いることによってチャーチは、対角線論法によりパラドキシカルなラムダ式 e を構成した。この e を、それ自身を表すゲーデル数に適用すると矛盾が導かれる。
詳しくいえば次のようである。まず  X を正規形の存在性を判定するラムダ式とする。 A を2つのラムダ式のゲーデル数から、それらを適用してできるラムダ式を計算する関数を表すラムダ式、 N を自然数からそれを表すラムダ式の表現のゲーデル数を求める関数を表すラムダ式とする。すなわち、
が成り立つ。ここで  \ulcorner x\urcorner  はラムダ式  x のゲーデル数を表すラムダ式の表現である。
いま、ラムダ式  e を
と定める。ここで  \Omega  は正規形を持たないラムダ式  (\lambda x.xx)(\lambda x.xx) である。自己適用  e\ulcorner e\urcorner  を計算すると次のようになる。
もし  e\ulcorner e\urcorner  が正規形を持つならば、 e\ulcorner e\urcorner  は  \Omega  にベータ簡約される。するとチャーチ・ロッサーの定理より、 \Omega  は  e\ulcorner e\urcorner  と共通のラムダ式にベータ簡約できるから、 \Omega  は正規形を持つ。これは矛盾。したがって  e\ulcorner e\urcorner  は正規形を持たない。すると  e\ulcorner e\urcorner  は  \lambda x.x にベータ簡約されることになる。ラムダ式  \lambda x.x は正規形であるので、やはり矛盾。したがって  X のようなラムダ式は存在しない。
チャーチ・ロッサー性

一般にラムダ式の中にβ-変換できる部分式が複数ある場合、どこから評価を行うかによって評価の経過は複数存在する。それらの複数の経過からさらに評価することによって、同じラムダ式を得られる性質をチャーチ・ロッサー性、もしくは合流性と呼ぶ（チャーチ・ロッサーの定理）。また、あるラムダ式から一回のβ-簡約によって得られた二つのラムダ式が、同じラムダ式にβ-変換されるという性質は弱チャーチ・ロッサー性と呼ばれる。チャーチ・ロッサー性を持つ体系は弱チャーチ・ロッサー性も持つが、逆は必ずしもなりたたない。
チャーチ・ロッサー性は本稿で取り扱っている型無しラムダ計算の体系では成立することが知られている。しかしその他の体系、例えば型を付けて拡張されたラムダ計算の体系などに関しては、必ずしも成り立つとは限らない。
停止性

β-変換は停止しない（無限ループに陥る）場合がある。例えば次の式を適用する場合には停止しない。
ある種のラムダ計算の体系では、任意のラムダ式に対してβ-変換の停止性が保証されていることがある。どのような順序でβ-変換を行ったとしてもβ-変換が停止する性質を強正規化性といい、β-変換の順序を上手く選んだ場合にβ-変換が停止する性質を弱正規化性という。チャーチ・ロッサー性を満たし、かつ停止性を持つラムダ計算の体系では、ラムダ式をどのような順序で評価しても必ず同じ結果になることがわかる。
強正規化的であり、かつ弱チャーチ・ロッサー性を持つラムダ計算の体系はチャーチ・ロッサー性を持つ（ニューマンの補題（英語版））。
型無しラムダ計算の体系では、ある式の停止性を判断する事は決定不能であることが証明されている。
ラムダ計算とプログラミング言語

ピーター・ランディン（英語版）は1965年に発表したA Correspondence between ALGOL 60 and Church's Lambda-notationにおいて、ラムダ計算が手続的な抽象化と手続き（サブプログラム）の適用のしくみを提供しているがために、多くのプログラミング言語がラムダ計算にその基礎を置いているとみることができるとしている。
ラムダ計算をコンピュータ上に実装するには、関数を第一級オブジェクトとして取り扱う必要があり、これはスタック・ベースのプログラミング言語においては問題となってくる。これはFunarg問題として知られている。
ラムダ計算と最も密接な関係をもつプログラミング言語は関数型言語と呼ばれる諸言語で、本質的にはいくつかの定数とデータ型を用いてラムダ計算を実装している。Lispでは関数の定義にラムダ記法の一変形を用いており、さらに、純Lispと呼ばれるLispのサブセットはラムダ計算と真に等価になっている。
関数を第一級オブジェクトとして扱えるのは関数型言語だけというわけではない。Pascalなど、多くの命令型言語ではある関数を他の関数の引数として与える操作が許されている。CやC++では関数を指すポインタやクラス型関数オブジェクトを用いて同じことが実現できる。このような機能はサブ関数が明示的に書かれている場合にのみ用いることができ、したがってこの機能がそのまま高階関数をサポートしていることにはならない。いくつかの手続的なオブジェクト指向言語では関数を任意の階数に書くことができる。Smalltalkや、より最近の言語ではEiffel（エージェント）やC#（デリゲート）などで用意されている機能がそれである。例えば、Eiffelのインライン・エージェントの機能を用いた以下のコード
agent (x: REAL): REAL do Result := x * x end
はラムダ式 λx. x * x （値呼び出し）に相当するオブジェクトを表している。このオブジェクトは他のあらゆるオブジェクトと同様に、変数に代入したり関数に渡したりすることができる。変数 square の値が上のエージェントのオブジェクトであるとすれば、 square に値 a を適用した結果（β-簡約）は square.item([a]) と書ける。ただしここでの引数はタプルであるとみなされる。
並行性

ラムダ計算のチャーチ・ロッサー性は、評価（β-簡約）をどの順序で行っても、さらには同時に（並行に）行ってもよいことを意味している。（より詳しくいえば、ラムダ計算は参照透過である。）このため、ラムダ計算を用いて種々の非決定的評価戦略をモデル化することができる。並列性や並行性をモデル化するためのより強力な手法として、CSP、CCS、パイ計算、アンビエント計算などのプロセス計算がある。
参考資料

計算論 計算可能性とラムダ計算 コンピュータサイエンス大学講座 高橋 正子 (著) 近代科学社 ISBN 4764901846 (1991)
ハロルド・エイブルソン、ジェラルド・ジェイ・サスマン、ジュリー・サスマン共著『計算機プログラムの構造と解釈　第二版』和田英一訳、ピアソンエデュケーション、2000、ISBN 4-8947-1163-X
この記事は2008年11月1日以前にFree On-line Dictionary of Computingから取得した項目の資料を元に、GFDL バージョン1.3以降の「RELICENSING」(再ライセンス) 条件に基づいて組み込まれている。
宮澤浩一

宮澤 浩一（みやざわ こういち、1930年5月23日 - 2010年7月23日）は、日本の法学者。専門は刑法・刑事政策・ドイツ刑法。被害者学の大家。東京出身。「宮沢浩一」とも表記される。
生涯

1948年3月旧制鎌倉中学校（現鎌倉学園）卒業。1953年3月慶應義塾大学法学部法律学科卒業。1955年3月同大学院法学研究科修士課程修了（指導教授：宮崎澄夫）。1955年4月同法学部助手。1960年10月同法学部助教授。1966年4月慶應義塾大学法学博士
、論題は「被害者学の基礎理論」。1966年4月同法学部教授に就任。1977年に西独・テュービンゲン大学、1988年ザールブリュッケン大学から、それぞれ名誉博士号を授与される。1996年3月慶應義塾大学名誉教授。1997年4月中央大学総合政策学部教授。2001年3月中央大学定年退職。
学外としては、1964年に、西独・ザール大学客員教授。1975年に、西独・ミュンスター大学客員教授。1980年に、西独・ケルン大学客員教授。1986年に、西独・ゲッティンゲン大学客員教授。1988年に、西独・ザールブリュッケン大学客員教授。2001年より、中国・武漢大学客員教授を務める。
公職としては、1975年から1984年まで司法試験第二次試験考査委員（刑事政策担当）。1988年から1991年まで世界被害者学学会会長。1990年から2001年まで日本被害者学学会理事長など務めた。
受賞歴

1989年2月 ドイツ連邦共和国一等功労十字章
1995年10月 ベッカリーア・メダル金賞
2000年3月 瀬戸山賞
親族

妹はピアニストの宮沢明子
妻は英文学者の宮澤邦子
主著

『犯罪学二五講』　慶応通信、1966年初版/1973年増補
『被害者学』　紀伊國屋書店、1967年
『日本の被害者学』　編著、成文堂、1970年-1979年
『演習刑事政策』　共編著、青林書院新社、1972年
『犯罪被害者補償制度』　共編著、成文堂、1976年
『講義刑事政策』　共編著、青林書院新社、1984年
『犯罪被害者の研究』　共編著、成文堂、1996年
参考

宮澤浩一古希祝賀論文集編集委員会編『第1巻　被害者学の基礎理論』（成文堂、2000年5月）429頁以下
門下生

太田達也
井田良
小名木明宏
| 典拠管理データベース  |
| --- | --- |
全般:  FAST  ISNI  VIAF  WorldCat 
国立図書館:  ドイツ  イスラエル  ベルギー  アメリカ  日本  韓国  オランダ 
学術データベース:  CiNii Books  CiNii Research 
その他:  IdRef
伊藤惇夫

| いとう あつお 伊藤 惇夫 |
| --- | --- |
  画像をアップロード
生誕:   (1948-08-28) 1948年8月28日（76歳）  日本 神奈川県葉山町
出身校:  学習院大学法学部卒業
職業:  ジャーナリスト、政治評論家
テンプレートを表示
伊藤 惇夫（いとう あつお、1948年（昭和23年）8月28日 - ）は、日本のジャーナリスト、政治評論家（政治アナリスト）。
経歴

神奈川県出身。学習院大学法学部を卒業後、出版社勤務を経て、1973年に自由民主党本部事務局へ入職。自民党では広報を担当し、1989年から1992年まで自民党政治改革事務局主査補として政治改革大綱を取りまとめる。その後、羽田孜らと行動を共にして1994年に自民党を退職、1995年から新進党総務局、1996年から太陽党、1998年に民政党および民主党の事務局に勤務。太陽党以後は、いずれも事務局長を務めた。
新党の結成に次々と立ち会ったことから「新党請負人」の異名を持つ。2001年、民主党を退職し、政治アナリストとして独立。執筆業の他、ニュース番組やワイドショーなどでコメンテーターとして活動。学習院大学・明治学院大学・日本大学法学部並びに大東文化大学講師を務める。
著書

『政党崩壊』
『永田町権力者たちの情報戦争』
『永田町「悪魔の辞典」』
『政治の数字』
『永田町の回転ずしはなぜ二度回らないのか』
『民主党　～野望と野合のメカニズム～』新潮新書290 ISBN 978-4-10-610290-5
『国家漂流 -そしてリーダーは消えた-』中央公論社（2012年10月10日発行）
その他
出演番組

くにまるワイド ごぜんさま〜（文化放送・木曜出演）
くにまるジャパン（文化放送・木曜出演）
くにまるジャパン 極（文化放送・木曜・出演）
ワイド!スクランブル（テレビ朝日、不定期）
FNNスーパーニュース（フジテレビ、不定期）
スーパーモーニング（テレビ朝日、不定期）
ひるおび!（TBSテレビ、不定期）
バイキングMORE（フジテレビ、不定期）
FNN総選挙2012 ニッポンの決意 JAPAN'S DECISION（2012年12月16日、フジテレビ）コメンテーター
BSフジLIVE プライムニュース （BSフジ、不定期）- 2015年2月9日
教えて!ニュースライブ 正義のミカタ（朝日放送、不定期）
おはようコールABC(朝日放送2010年3月29日−2020年10月2日、月曜日）
たかじんNOマネーBLACK（テレビ大阪、不定期）- 2015年3月14日
情報プレゼンター とくダネ!（フジテレビ、不定期）
生島ヒロシのおはよう一直線（TBSラジオ、不定期）
ウィー・アー・ナンバー・ワン

| 「ウィー・アー・ナンバー・ワン We Are Number One」> ステファン・カール・ステファンソンの楽曲 |
| --- | --- |
録音: アイスランド
ジャンル: スカ
時間: 2分18秒
ウィー・アー・ナンバー・ワン (We Are Number One) は、マーニー・スヴァヴァルソンが作曲した、英語のアイスランドの子供向けテレビ番組『レイジータウン』の曲。リリース後、この曲はオンラインで大きな人気を博し、インターネット・ミームやコミカルなリミックス、そして、胆管がんと診断されて2018年8月21日に亡くなったリードシンガーのステファン・カール・ステファンソン (1975年〜2018年) に対して生前行われた支援活動を通じて知られるようになった。
総持寺 (豊岡市)

| 総持寺 |
| --- | --- |
 
所在地:  兵庫県豊岡市出石町宮内1734
位置:  北緯35度28分48.3秒 東経134度52分43.3秒﻿ / ﻿北緯35.480083度 東経134.878694度﻿ / 35.480083; 134.878694座標: 北緯35度28分48.3秒 東経134度52分43.3秒﻿ / ﻿北緯35.480083度 東経134.878694度﻿ / 35.480083; 134.878694
山号:  応峯山
宗派:  高野山真言宗
創建年:  伝・天平年間（729年～749年)
開基:  伝・行基
法人番号:  7140005012598 
 総持寺総持寺 (兵庫県)
テンプレートを表示
総持寺（そうじじ）は、兵庫県豊岡市出石町宮内にある高野山真言宗の寺院。
歴史

諸説あり、寺伝によれば行基が天平年間に天日槍が新羅から招来した聖観音自在菩薩を本堂に安置し、一六区の僧坊を建てたことに始まるとされる。
他の説は総持寺の背後に標高300メートルの山上にあった涅槃寺がのちに下山して、総持寺に改められたとの説がある。
平安時代以降は、出石神社の神宮寺となって祭祀に関与したといわれる。永正元年(1504年)山名氏の内紛による兵火によって全焼し、 再興がいつ完成したかは不明であるが、大永2年(1522年)には東光院・千手院など十四の坊があったとされる。創建時の堂宇は嘉永3年(1850年)の豪雨で倒壊したが、２年後の嘉永5年(1852年）に再建され、仏師を京都より招いて仏像を修復したといわれる。
文化財

木造千手観音立像(県指定文化財・天文4年（1539年）造立)
長瀬喜伴

長瀬 喜伴（ながせ よしとも / きはん、1912年2月18日 - 1966年6月16日）は、日本の脚本家。
略歴

東京府東京市下谷区（現・東京都台東区）生まれ。東京府立第一商業学校を経て横浜専門学校商科を卒業。
1935年に松竹の蒲田脚本研究所に第4期生として入所し、1937年に松竹大船脚本部に入って斎藤良輔のもとで助手を務めた後、1938年に清水宏監督「新家庭暦」で一本立ちの脚本家となる。以後、家庭劇的なドラマの展開を基調とした“大船調”メロドラマに健筆をふるい、娯楽作家として活躍した。
太平洋戦争末期の1944年に近衛連隊に入隊し、1945年に小笠原諸島の父島で終戦を迎えた。
1954年にフリーとなり、東宝、大映、東京映画などで娯楽ものを中心に多数の映画で脚本を担当したほか、親友の新藤兼人が主宰する近代映画協会にも参加し、会計事務を担当するなど、協力者として会の活動を支えた。
1951年の久松静児監督の『喜劇 駅前団地』以降、駅前シリーズ15作の脚本を手がけたことで知られるが、1966年に同シリーズの『喜劇 駅前番頭』を執筆するために常宿としていた箱根湯本の温泉旅館「清光園」に滞在中、脳出血を発症して53歳で急死した。
フィラデルフィア・キーストーンズ

フィラデルフィア・キーストーンズ（Philadelphia Keystones）は、1884年にペンシルベニア州フィラデルフィアを本拠地として、ユニオン・アソシエーションに加盟していたプロ野球チーム。
球団史

1884年のユニオン・アソシエーション設立にあわせて編成され、シーズン当初から参加していたが、当時フィラデルフィアではナショナルリーグにクエーカーズ（現フィリーズ）、またアメリカン・アソシエーションにアスレチックスが加盟して活動していた。フランチャイズが競合し飛びぬけたスター選手もいなかったキーストーンズは集客に苦労することになる。同年クエーカーズとアスレチックスが年10万人以上の観客を動員していたのに比べ、キーストーンズはおよそ2万人弱の動員にとどまっていた。このチームは同年、かつてナショナル・アソシエーション時代に2度の首位打者となったリーヴァイ・メイエールを6年ぶりに現役復帰させ、3試合に出場させているが、これも集客策の1つと考えられている。
チームは投手ジャージー・ベークリーとサム・ウィーバーの二枚看板が弱く、なかなか勝ち星を挙げられなかった。1884年7月2日から7月12日までの間に8連勝した記録はあるが、通算の勝率は3割程度にとどまった。8月初めに運営が行き詰まりチームは解散。残り日程の消化のためウィルミントン・クイックステップスがリーグに参加することになった(しかしクイックステップスも同年途中で解散し、更なる残り日程はミルウォーキー・ブルワーズが消化することになった)。
戦績

※順位は勝率による。
| 年度 | リーグ | 試合 | 勝利 | 敗戦 | 勝率 | 順位 | 監督 | 本拠地 |
| --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 1884年 | UA | 67 | 21 | 46 | .313 | 8位 | ファーギー・マローン | Keystone Park |
所属した主な選手

バスター・フーバー：外野手。打率.346を記録、同年フィリーズに移籍。
ジャック・クレメンツ：フィリーズに1897年まで在籍、打率.286。珍しい左利きの捕手だった。
主な球団記録

通算安打数：100（バスター・フーバー）
通算得点数：76（バスター・フーバー、ビル・キーンズル）
通算勝利数：14（ジャージー・ベークリー）
出典・外部リンク

チーム戦績 (Baseball Reference)
Franchises (Retrosheet)
Franchise Info(www.kypris.com)
Super70s.com
清水善三 (美術史学者)

清水 善三（しみず ぜんぞう、1931年5月13日 - 2012年7月16日）は、仏教美術史学者、京都大学名誉教授。
静岡県出身。1958年京都大学文学部美学美術史卒、1963年同大学院博士課程満期退学。1964年京大文学部助手、1968年京都精華短期大学助教授、教授。1971年京大文学部助教授、1979年「平安彫刻史の研究」で京大文学博士、1980年教授、1995年定年退官、名誉教授。
著書

『仁和寺』中央公論美術出版 美術文化シリーズ 1967
『醍醐寺』中央公論美術出版 1974
『平安彫刻史の研究』中央公論美術出版 1996
『仏教美術史の研究』中央公論美術出版 1997
渡辺照宏『仏像百態』（図版解説）淡交新社 1964
BEASTFUL

「BEASTFUL」（ビーストフル）は、日本の音楽ユニットであるGRANRODEOの楽曲。ボーカルのKISHOWこと谷山紀章が作詞、ギターのe-ZUKAこと飯塚昌明が作曲しており、29枚目のシングルの表題曲として、2018年7月11日にLantisから発売された。
概要

「BEASTFUL」は、テレビアニメ『バキ』のオープニング主題歌として起用された。
初回限定盤、通常盤の2種形態でのリリースとなった。アニメ盤がリリースされないのは25thシングル「少年の果て」以来となる。
シングル収録内容

| 0 | 1 | 2 | 3 | 4 |
| --- | --- | --- | --- | --- |
| 全作詞: 谷山紀章、全作曲・編曲: 飯塚昌明。 | 全作詞: 谷山紀章、全作曲・編曲: 飯塚昌明。 | 全作詞: 谷山紀章、全作曲・編曲: 飯塚昌明。 |  |  |
| # | タイトル | 作詞 | 作曲・編曲 | 時間 |
| 1. | 「BEASTFUL」 | 谷山紀章 | 飯塚昌明 | 4:38 |
| 2. | 「アサメシマエノヤサシイセカイ」 | 谷山紀章 | 飯塚昌明 | 4:08 |
| 4. | 「BEASTFUL」(OFF VOCAL) | 谷山紀章 | 飯塚昌明 | 4:38 |
| 5. | 「アサメシマエノヤサシイセカイ」(OFF VOCAL) | 谷山紀章 | 飯塚昌明 | 4:09 |
| 合計時間: | 合計時間: | 17:33 |  |  |
| # | タイトル | 作詞 | 作曲・編曲 |
| --- | --- | --- | --- |
| 1. | 「BEASTFUL」(Music Clip) |   |   |
チャート

| チャート | 最高 順位 | 出典 |
| --- | --- | --- |
| 日本・オリコン週間CDシングルチャート | 18 |  |
| Billboard Japan Hot 100 | 73 |  |
| Billboard Japan Hot Animation | 16 |  |
| Billboard Japan Hot Singles Sales | 21 |  |
妹尾隆佑

妹尾 隆佑（せのお りゅうすけ、1986年2月20日 - ）は、岡山県岡山市出身の元サッカー選手。ポジションは、ミッドフィールダー（MF）。
来歴

岡山理大附属高校から大阪学院大学を経て、2008年ファジアーノ岡山に加入。チーム屈指のドリブラーであり、左右を問わずサイドハーフでプレーした。2011年シーズン限りで膝の怪我のため一度は引退したが、2013年5月に現役に復帰した。
2015年をもって現役引退。
所属クラブ

2001年 - 2003年 岡山理科大学附属高等学校
2004年 - 2007年 大阪学院大学
2008年 - 2011年 ファジアーノ岡山
2013年5月 - 2015年 ファジアーノ岡山
個人成績

| 国内大会個人成績> 年度.年度.日本 | 国内大会個人成績> クラブ.クラブ.日本 | 国内大会個人成績> 背番号.背番号.日本 | 国内大会個人成績> リーグ.リーグ.日本 | 国内大会個人成績> リーグ戦.出場.リーグ戦 | 国内大会個人成績> リーグ戦.得点.リーグ戦 | 国内大会個人成績> リーグ杯.出場.リーグ杯 | 国内大会個人成績> リーグ杯.得点.リーグ杯 | 国内大会個人成績> オープン杯.出場.天皇杯 | 国内大会個人成績> オープン杯.得点.天皇杯 | 国内大会個人成績> 期間通算.出場.期間通算 | 国内大会個人成績> 期間通算.得点.期間通算 |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 2008 | 岡山 | 17 | JFL | 32 | 3 | - | - | 2 | 0 | 34 | 3 |
| 2009 | 岡山 | 17 | J2 | 42 | 3 | - | - | 1 | 0 | 43 | 3 |
| 2010 | 岡山 | 7 | J2 | 9 | 1 | - | - | 0 | 0 | 9 | 1 |
| 2011 | 岡山 | 7 | J2 | 27 | 2 | - | - | 2 | 0 | 29 | 2 |
| 2013 | 岡山 | 34 | J2 | 11 | 1 | - | - | 0 | 0 | 11 | 1 |
| 2014 | 岡山 | 20 | J2 | 19 | 3 | - | - | 1 | 0 | 20 | 3 |
| 2015 | 岡山 | 20 | J2 | 4 | 0 | - | - | 0 | 0 | 4 | 0 |
| 通算 | 日本 | 日本 | J2 | 112 | 10 | - | - | 4 | 0 | 116 | 10 |
| 通算 | 日本 | 日本 | JFL | 32 | 3 | - | - | 2 | 0 | 34 | 3 |
| 総通算 | 総通算 | 総通算 | 総通算 | 144 | 13 | - | - | 6 | 0 | 150 | 13 |
Jリーグ初出場 - 2009年3月8日 J2第1節 vsヴァンフォーレ甲府 (桃太郎)
Jリーグ初得点 - 2009年9月2日 J2第37節 vsアビスパ福岡 (桃太郎)
タイトル > クラブ

関西学生サッカーリーグ (2007年)
タイトル > 個人

関西学生サッカーリーグ アシスト王、ベストイレブン (2007年)
指導歴

2012年 - ファジアーノ岡山FC
2012年 普及・グラスルーツコーチ
2013年 - 2015年 U-18 コーチ
2016年 U-12 コーチ
2017年 - 2018年 U-15 コーチ
2019年 - 2022年 U-12 コーチ
2023年 - U-12 監督
青雲寺 (荒川区)

| 青雲寺 |
| --- | --- |
 
所在地:  東京都荒川区西日暮里3-6-4
位置:  北緯35度43分52.3秒 東経139度45分57.7秒﻿ / ﻿北緯35.731194度 東経139.766028度﻿ / 35.731194; 139.766028﻿ (青雲寺 (荒川区))座標: 北緯35度43分52.3秒 東経139度45分57.7秒﻿ / ﻿北緯35.731194度 東経139.766028度﻿ / 35.731194; 139.766028﻿ (青雲寺 (荒川区))
山号:  浄居山
宗旨:  臨済宗
宗派:  妙心寺派
創建年:  不詳
開山:  智光禅師
中興年:  宝暦年間
中興:  堀田相模守正亮
札所等:  谷中七福神
法人番号:  4011505000323 
  
テンプレートを表示
青雲寺（せいうんじ）は、東京都荒川区にある臨済宗妙心寺派の寺院。
概要

創建年代は不明である。
かつては観音・秋葉・熊野・稲荷・浅間・弁天・大黒・恵比寿・布袋の諸堂等があったが、1808年（文化4年）の火災で焼失、再建されなかった。
現在は谷中七福神の恵比寿が祀られている。
交通アクセス

西日暮里駅より徒歩4分。
船橋市立看護専門学校

| 船橋市立看護専門学校 |
| --- | --- |
  画像をアップロード
 ja北緯35度43分23.5秒 東経139度59分59.2秒﻿ / ﻿北緯35.723194度 東経139.999778度﻿ / 35.723194; 139.999778座標: 北緯35度43分23.5秒 東経139度59分59.2秒﻿ / ﻿北緯35.723194度 東経139.999778度﻿ / 35.723194; 139.999778
国公私立:  公立学校
学校種別:  専門学校
設置者:  船橋市
校訓:  知、愛、自立
共学・別学:  男女共学
課程:  看護専門課程(3年課程)
設置学科:  看護学科
学期:  2学期制
学校コード:  H112210000030 
所在地:  〒273-0853
 千葉県船橋市金杉1丁目28番7号
外部リンク:  船橋市立看護専門学校
 Portal:教育  プロジェクト:学校/専修学校テンプレート
テンプレートを表示
船橋市立看護専門学校（ふなばばししりつかんごせんもんがっこう）とは、千葉県船橋市金杉一丁目にある公立の医療系専門学校。1983年（昭和58年）に創立。
校舎に隣接している船橋市立医療センターにおいて質の高い実習を受けることができる。
また、カリキュラムの中に福祉先進国であるデンマークでの海外研修を取り入れていることも特徴的である。
建学の理念

「知、愛、自立」の精神を教育の基盤とし、看護の専門職業人を育てることはもとより、職業を通し、豊かな人生を送るための全人教育をめざす。ますます高度化する医療や高齢社会において、地域の保健・医療・福祉のニーズに対応できる有能な人材を育成することを目的とする。
施設概要 > 敷地面積

5,852.92m2
施設概要 > 校舎（教室棟）

竣工年：1983年（昭和58年）
延床面積：3,388.45m2
構造：RC4階建
施設概要 > 体育館

竣工年：1983年（昭和58年）
延床面積：1,666.62m2
構造：RC2階建
施設概要 > その他 > 運動施設

テニスコート - 1面
所在地

千葉県船橋市金杉一丁目28番7号
交通手段

JR東日本「船橋駅」下車。北口5・6番バス停から船橋新京成バスの「医療センター」経由バス乗車（約10分）。
脚註

↑  船橋市立看護専門学校の設置及び授業料等の徴収に関する条例 第3条
↑  修了者が専門士と称することができる専修学校専門課程の一覧（千葉県） 文部科学省
↑  船橋市立看護専門学校管理規則 第2条2
↑  船橋市立看護専門学校の設置及び授業料等の徴収に関する条例 第2条
↑  教育理念
富岡総合公園

| 富岡総合公園 |
| --- | --- |
 
分類:  都市公園（総合公園）
所在地:   日本神奈川県横浜市金沢区富岡東二丁目9
座標:  北緯35度22分34.39秒 東経139度37分54.38秒﻿ / ﻿北緯35.3762194度 東経139.6317722度﻿ / 35.3762194; 139.6317722座標: 北緯35度22分34.39秒 東経139度37分54.38秒﻿ / ﻿北緯35.3762194度 東経139.6317722度﻿ / 35.3762194; 139.6317722
面積:  219,208m2
前身:  旧日本海軍基地、米軍倉庫
開園:  1975年3月20日
運営者:  横浜市緑の協会
駐車場:  あり(無料)
公式サイト:  公式サイト
テンプレートを表示
富岡総合公園（とみおかそうごうこうえん）は、神奈川県横浜市金沢区富岡東にある横浜市立の都市公園。旧日本軍の横浜海軍航空隊の基地として開設され、それと同時に日本航空の南洋航路の基地にもなった。太平洋戦争（大東亜戦争）終戦と共に米軍に接収され富岡倉庫地区と呼ばれていたが、その後返還され、公園として整備した。総面積約21.9万m2。横浜市緑の協会が管理している。
歴史

1936年10月1日、日本で最初の飛行艇訓練基地として開設。
1945年9月2日、終戦により米海軍に接収され通信基地となる。その後、朝鮮戦争やベトナム戦争で富岡倉庫地区として使用されるようになる。
1971年2月17日、岸壁部分と資材場の一部を除き米軍から富岡倉庫地区の大半を返還される。
1975年3月20日、返還された富岡倉庫地区の部分を富岡総合公園として開園。
現在

中にはアーチェリー場、テニスコート、運動広場、見晴台、金沢区の花である牡丹園がある。アーチェリー場は90mの射程のものが20レーンあり、公営施設としては日本最初のものである。中央の道路沿いには桜並木があるので、桜の開花時期になると大勢の花見客が押し寄せることで有名である。また、道路の両脇には横浜海軍航空隊当時の石門が残されており、横浜海軍航空隊の守護神とされた横浜伊勢山皇大神宮を祀ってある浜空神社があることでも知られる。
1996年から2009年の大会終了まで、横浜国際女子駅伝の第2・第4中継所が設けられていた。
交通アクセス

JR根岸線磯子駅より京浜急行バス<4系統>追浜車庫行を利用、「鳥見塚」バス停下車すぐ。
京急本線杉田駅より徒歩約5分の「聖天橋」バス停より上記バスを利用。
金沢シーサイドライン : 南部市場駅下車徒歩約5分。
JR根岸線新杉田駅より、横浜交通開発バス<61系統>鳥浜町行・<117系統>三菱金沢工場行・横浜市営バス<294系統>なぎさ団地循環を利用、「南部市場前」バス停下車徒歩約5分。
京急本線京急富岡駅より徒歩約25分。
自家用車 : 10台程度収容可能な無料駐車場あり
Floral Shoppe

| 『Floral Shoppe』> Macintosh Plus の スタジオ・アルバム |
| --- | --- |
リリース:  2011年12月9日
ジャンル:  ヴェイパーウェイヴ エレクトロニック アンビエント
時間:  38分16秒
レーベル:  BEER ON THE RUG
テンプレートを表示
『Floral Shoppe』(フローラルの専門店)はVektroidの別名義Macintosh Plusのアルバム。2011年12月9日リリース。
概要

ショッキングピンクの背景に頭部の彫刻(ヘリオス神の頭部像)が置かれたデザインのジャケットは有名で、ヴェイパーウェイヴの大きな象徴であり一つのジャンルとして確立されている。また「フローラルの専門店」「現代のコンピュー」「ECCOと悪寒ダイビング」といった、適当に言葉を当てはめて翻訳したような日本語を多用したタイトルも特徴であり、別のアーティストらもこのスタイルを模倣している。
楽曲は80年代の音楽をサンプリングし、ピッチダウン、ループなどを施したものばかりとなっている。特に2曲目の「リサフランク420/現代のコンピュー」はヴェイパーウェイヴの中で特に知名度の高い作品である。安価なダウンロード販売の他に、数量限定ながら、カセットテープでも販売された。この作品の後、ヴェイパーウェイヴ界隈ではカセットテープ文化も形成された。