stanford-oval/wikipedia huggingface dataset:
Sony Entertainment Network
主なサービス > PlayStation Network

→詳細は「PlayStation Network」および「PlayStation Store」を参照
「PlayStation Network（プレイステーションネットワーク）」は、PlayStation用のオンラインサービスである。2006年11月に北アメリカと日本で当初はPlayStation 3向けサービスとして開始した。
PlayStation Storeではダウンロード用のゲームが配信されている。Web版ではウェブブラウザを通して購入できる。2013年5月29日に国内でオープンした。購入したコンテンツは、「リモートダウンロード機能」を使って、自動的にダウンロードさせることができる。PlayStation Plusに加入していれば、「自動ダウンロード機能」を使用することで、電源がオフの状態でも指定した時間帯に自動的に電源が入り、ダウンロードを開始させることもできる。
主なサービス > PlayStation Network > PlayStation Video

「Video Unlimited（ビデオ・アンリミテッド）」は、最新ハリウッド映画や邦画および先行・独占配信を含むアニメーション作品などをストリーミング形式で提供する映像配信（ビデオ・オン・デマンド）サービスであったが、「PlayStation Video」と改名されることとなった。
2010年4月より米国で、同年11月には、イギリス、フランス、ドイツ、イタリア、スペインの欧州5カ国においてサービスが開始された。2011年1月20日には日本国内のサービスも開始した。高画質 (HD) 版と標準画質 (SD) 版がある。作品によって片方しか配信されていないものもある。3D映像も配信している。購入前に、無料のプレビューを試視聴できる。
サービス開始時には200作品以上のタイトルが配信された。当時のサービス名は「Video On Demand powered by Qriocity」（ビデオオンデマンド パワーテッド バイ キュリオシティ）。20世紀フォックス、ユニバーサル・ピクチャーズ、パラマウント・ピクチャーズ、ソニー・ピクチャーズ エンタテインメント、ワーナー・ブラザースなどの映画会社の作品を配信している。
主なサービス > PlayStation Network > PlayStation Music

→「Spotify」も参照
「PlayStation Music（プレイステーションミュージック）」は世界最大手の音楽のストリーミング配信サービスであるSpotifyと提携した音楽配信サービスである。2015年3月29日に終了した「Music Unlimited」の後継として、同年3月30日より41の国と地域でサービスを開始。日本は当初の利用可能な国々に含まれておらず、Spotifyが日本に参入した2016年9月29日になってサービス受付を開始した。Spotifyの会員登録をした際にSENのアカウントを登録することで、PlayStation 3、PlayStation 4、Xperiaで利用が可能となる。
Music Unlimitedとは異なり、曲と曲の合間に広告が入る無料会員コースが存在し、有料会員登録もSENのウォレットで支払いが可能でありクレジットカードを必要としない。
なお、現在はPlayStation3での提供が終了している。
主なサービス > PlayMemories Online

→詳細は「PlayMemories § PlayMemories Online」を参照
「PlayMemories Online（プレイメモリーズ オンライン）」は、ソニーが提供する無料の写真・動画用のクラウドサービスである。写真や動画をアップロードでき、さまざまな対応機器で見られる。他人との共有も可能である。2012年1月にサービス開始した。2013年9月5日に「オールシンク」という写真を自動アップロードし同期する機能を発表し、この時「標準サイズ」（長辺1920ピクセル）にリサイズされるが容量は無制限でアップロードできる。手動でアップロードする場合は従来通り、容量は最大5GBまでとなる。
終了したサービス > Music Unlimited

ソニー自身が運営するクラウドベースの定額制（サブスクリプション型）音楽配信サービスで、パソコン・スマートフォン・タブレット・テレビなどの様々な機器で音楽を楽しむことができたが、「PlayStation Music」が開始されるのに伴い2015年3月29日に終了した。
ソニーは、2010年12月の英国、アイルランドでの開始を皮切りに、本サービスを、北米、欧州諸国等に順次導入してきた。2012年7月3日には日本国内のサービスも開始した。価格設定は30日間につき当初は1480円（税込）だったが、2013年3月1日から980円（税込）に値下げした。初回登録者向けの30日間無料体験のキャンペーンもされていた。ただし、サービスを利用するにはクレジットカードの登録が必要であった。
本サービスでは、楽曲はジャンルや年代、ランキングなどの「チャンネル」ごとに分けられており、そのチャンネルや検索を通してクラウド上の楽曲をブラウズすることが可能だった。また、ユーザーの嗜好を学習し、その蓄積したデータに基づいて、ユーザーにおすすめの楽曲をお薦めする「Sense Me」（センス・ミー）機能もある。さらに、ユーザーがパソコンに保存してある楽曲と合致したクラウド上の曲を自動的に「マイライブラリ」に登録する「Music Sync」（ミュージックシンク）機能も存在した。
サービス開始当初は洋楽を中心に1000万曲以上の楽曲が配信され、2014年9月の時点で2500万曲以上に増え、株式会社EMIミュージック・ジャパン、株式会社ソニー・ミュージックエンタテインメント、ユニバーサル ミュージック合同会社、株式会社ワーナーミュージック・ジャパンなどの主要音楽会社を始め、多数のインディペンデントレーベルなどから許諾を受けた楽曲が提供されていた。
対応機器

PSN/PlayStation Store
PlayStation 4
PlayStation Vita
PlayStation 3
PlayStation Portable
PlayStation Mobile
Windows PC (Media Go) ※コンテンツの購入・ダウンロード・機器への転送のみ
PlayStation Video/Video Unlimited
PlayStation 4
BRAVIA ※ネットワーク機能対応モデルのみ
ソニーブルーレイディスクレコーダー / プレーヤーー ※ネットワーク機能対応モデルのみ
Xperia（スマートフォン / タブレット）
Sony Tablet
Windows PC (Media Go)
PlayStation Music/Music Unlimited
PlayStation 4
PlayStation Vita
PlayStation 3
PC / ウェブブラウザ
Android（スマートフォン / タブレット）
iOS (iPhone / iPad / iPod touch)
BRAVIA ※ネットワーク機能対応モデルのみ
ソニーブルーレイディスクレコーダー / プレーヤー ※ネットワーク機能対応モデルのみ
ソニー製マルチチャンネルインテグレートアンプ (TA-DA5700ES)
PlayMemories Online
PlayStation 4
PlayStation 3
PC / ウェブブラウザ
Android（スマートフォン / タブレット）
iOS (iPhone / iPad / iPod touch)
BRAVIA ※ネットワーク機能対応モデルのみ
S-Frame ※ネットワーク機能対応モデルのみ
来歴

2009年11月19日 - ソニーのメディア・投資家説明会において、PlayStation Networkのプラットフォームを効率的に使用して、複数のソニーのネットワーク対応機器で共通なUXを提供するオンラインサービス「Sony Online Service（仮称）」を展開することが発表された。
2010年9月2日 - ソニーは本サービスを「Qriocity」と命名して、同年秋に映像配信サービス「Video On Demand」をイギリス、フランス、ドイツ、イタリア、スペインの欧州5カ国で開始することと、クラウドベースの音楽配信サービス 「Music Unlimited」も年内を目処に開始することを発表した。
2011年
1月20日 - 映像配信サービス「Video On Demand」が日本で配信開始された。初期の対応機器はネットワーク対応のブラビアテレビのみとなり、価格帯は、1タイトルあたりHD版が500～1000円（税込）、SD版が350～700円（税込）である。その他のソニーのネットワーク対応機器にも、準備が整い次第、順次展開することも発表された。
1月22日 - 音楽配信サービス「Music Unlimited」がフランス、ドイツ、イタリア、およびスペインにて配信開始された。その後、2月18日にアメリカとオーストラリア、ニュージーランドで開始した。
4月 - PSNと共に不正アクセスを受けたことに伴い発生したシステム障害によりサービスが利用できなくなった。またそれに伴いサービス利用者の個人情報が流出したことも明らかにされている。2011年6月9日時点で日本を除く全地域において「Qriocity」の全てのサービスを再開している。
9月7日 - IFA 2011においてソニーはサービス名「Qriocity」を「Sony Entertainment Network」に改名することを発表した。また、映像配信サービス「Video On Demand」を「Video Unlimited」に改名すること、そしてPSNをサービスの一部に付け加えることを発表した。また、シングルアカウントでサービスにアクセスできる統合されたプラットフォームの構築を目指すことを表明した。
2012年
1月 - 写真・動画クラウドサービス「PlayMemories Online」がサービス開始された。
2月8日 - PlayStation 3、PlayStation Vitaにおいて「PlayStation Network アカウント」の名称が「Sony Entertainment Network アカウント」に統一された。
7月3日 - 音楽配信サービス「Music Unlimited」が日本国内でサービス開始された。価格設定は30日間につき1480円（税込）であり、初回登録者向けの30日間無料体験のキャンペーンも同時に開始された。
2013年1月30日 - 音楽配信サービス「Music Unlimited」が980円（税込）に値下げと発表された。29日には高音質（AAC 320kbps）に対応した。
2014年7月29日 - アクティブユーザーは5200万人となり、売上高の90％をゲームが占めた。
2015年1月29日 - 「Video Unlimited」は「PlayStation Video」に改名、「Music Unlimited」を終了して代替サービスとなる「PlayStation Music」を開始、「PlayStation Network」に一元化されると発表された。
戦場のレクイエム

| 戦場のレクイエム> タイトル表記 |
| --- | --- |
繁体字:  集結號 
簡体字:  集结号 
拼音:  jíjié hào （ジージェ ハオ） 
英題:  Assembly
各種情報
監督:  馮小剛 （フォン・シャオガン）
脚本:  劉恒 （リウ・ホン）
製作総指揮:  王中磊 （ワン・チョンレイ） 陳国富 （チェン・グオフゥ）
出演者:  張涵予 （チャン・ハンユー）
音楽:  王黎光 （ワン・リーグワン）
撮影:  呂楽 （リュイ・ユエ）
編集:  劉淼淼 （リウ・ミャオミャオ）
アクション指導:  朴柱天（Park Ju-chun）
美術:  張春和 （ヂャン・チュンフォ） 趙京 （ヂャオ・ジン） 鄭暁峰 （ヂョン・シャオフォン）
製作会社:  華誼兄弟伝媒有限公司 寰亜電影有限公司
配給:   ブロードメディア・スタジオ
公開:   2007年12月20日  2008年1月3日  2008年3月6日  2008年8月1日  2009年1月17日
上映時間:  124分
製作国:   中国  香港
言語:  中国語
テンプレートを表示
『戦場のレクイエム』（せんじょうのレクイエム、原題：集結號）は2007年公開の中国映画。
概要

国共内戦中3大戦役の1つとされる淮海戦役を背景に、中国も参戦した朝鮮戦争のエピソードを織り交ぜながら、激戦で全滅した部下の名誉回復に奔走する1人の兵士の苦闘を描いた戦争悲劇。原作は中国の小説家・楊金遠（ヤン・ジンユエン）の短編『官司』（題名は「訴訟」の意、日本未訳）。
中国語原題の『集結号』は、集合を知らせる軍隊の信号ラッパを指し、劇中では「撤退命令」を意味する。
中国を代表するヒットメーカー・馮小剛 （フォン・シャオガン）監督の、前作『女帝 ［エンペラー］』に続くシリアス路線作品。初の戦争映画となった本作では、『ブラザーフッド』の特撮担当チームやハリウッドの視覚効果スタッフを招聘し大掛かりでリアルな戦場場面を再現した。
主役に撮影時無名に近い存在だった張涵予 （チャン・ハンユー）を大抜擢しメインキャストを若手俳優で固めた陣容も、従来の馮小剛作品とは異なる点である。
ストーリー

1948年、国共内戦は終盤を迎えるなか、人民解放軍中原野戦軍第2師団第139連隊第3大隊第9中隊の中隊長である、谷子地 （グー・ズーティ）は、自分の部隊と共に中華民国国軍と連戦を重ねていた。しかしその中で谷は戦友である指導員を失い激昂、投降した国軍部隊長の処刑を命じてしまう。部下により処刑は回避されたものの、谷は営倉で謹慎を命じられる。谷は営倉で元教師の王金存（ワン・ジンツン）と知り合う。
謹慎期間が経過した後、第9中隊は懲罰として旧炭鉱沿いにある最前線を「集結号（集合ラッパ）が鳴るまで」死守せよとの命を劉 第139連隊長から受ける。谷は王を政治指導員代理として部隊に配属させるが、消耗した部隊の生き残りはわずか47名で兵の補充はなく、侵攻してくる敵は予想以上に多く苦戦を強いられる。激戦の中で三度に渡って戦車を含む敵を撃退するが、部隊も犠牲者が続出し全滅も時間の問題となった時、部下の一人が「集合ラッパの音を聞いた」と言って撤退を進言する。だが、戦闘中に耳をやられていた谷はそれを確信できず、王や他の部下にも聞いて回るが誰もはっきりとした答えを出せない。結局「ラッパは鳴らなかった」と判断して戦闘を続行するが、その結果部隊は壊滅し、谷のみが生き残る。
国軍の軍服を着て倒れていた谷は捕虜として野戦病院に収容される。自分の部隊が壊滅した経緯を説明するが、上級部隊は改編を繰り返しており、命令の存在はおろか身元の確認さえ出来なくなっていた。「ここに居場所はない」と言われた谷は、偶然野戦病院を訪れ補充を探していた砲兵部隊に「砲を扱ったことがある」と名乗り出て無理やり参加しようとするが、すぐに露見する。砲兵の副大隊長趙二斗（チャオ・アルドゥ）は一度は追い出そうとしたものの、その境遇に同情して部隊に同行することを許す。
国共内戦が終わり1951年、趙の砲兵部隊は朝鮮戦争に派遣される。谷は炊事兵兼伝令兵として部隊に同行していたが、作戦の弾着観測のため趙に同行して前線へと赴く。そこで趙は地雷を踏んでしまいその上運悪く米軍の戦車に遭遇するも、谷の機転と勇気によって窮地を脱し作戦を成功させる。しかしそれと引き換えに谷は片目の視力を失う。趙は命の恩人である谷の事を兄のように慕うようになる。
朝鮮戦争から生還した谷は、「自分は何故あの戦いで、集結号に従って部下を救わなかったのか？」と自責の念に苦しみながら原隊の最期の地へと向かっていた。その途中、偶然にも「失踪兵」と認定された夫を探していた王の妻・孫桂琴（スン・グイチン）と出会う。谷は桂琴を伴いかつての旧炭鉱を訪れるが、そこでは廃坑を埋め新しい鉱坑を開発していた。谷は戦死した「烈士」と死体が確認されない「失踪兵」との扱いの差に憤り、名誉回復のため2師団139連隊3大隊9中隊の部下の遺骨を捜そうと決意する。鉱山から出たヘルメットを無名戦士の墓に被せながら谷は呟く。「親から付けてもらった名前があったのに、なんで無名にならなきゃいけないんだ」と…。
朝鮮戦争の軍功でエリートとして昇進していた趙の元を訪れた谷は第9中隊の名誉回復のための助力を頼み、谷を慕う趙はそれを快諾する。やがて桂琴は趙と再婚し、谷は趙の部隊で働きながら名誉回復の手続きを待つが、同様の訴えは数多いらしく、上申書も放置され、やっと派遣された調査員は高圧的で、憤った彼は追い返してしまう。しかしやがて第139連隊の資料が見つかり、劉連隊長は朝鮮戦争で戦死していた事が判明する。谷は連隊長の護衛兵でラッパ手だった小梁子と連隊長の墓がある烈士霊園で再会するが、そこであの時ラッパは鳴っておらず、第9中隊は連隊主力の撤退を成功させるための捨て駒にされたことを知る。激昂し墓に怒りをぶつけ小に掴み掛かる谷だったが、趙の取り成しもあり、墓の前でくずおれる。
谷は旧鉱山に向かうと、自分の力だけで部下たちの遺体を掘り出そうと、危険も顧みず鉱山を掘り始める。鉱山の監督や労働者たちに何度も制止されるがそれを無視し黙々と掘り続ける谷に、周囲も止めさせる事を諦める。そのまま数ヶ月が経ち、鉱山の一角に小屋を立ててなお掘り進めるていた谷の下へ、桂琴がある知らせを持ってやってくる。それは、第9中隊の兵士47名を「烈士」と認定する文書だった。そして――。
キャスト

谷子地 （グー・ズーティ、2師団139連隊3大隊9中隊 中隊長）： 張涵予 （チャン・ハンユー）
趙二斗 （チャオ・アルドゥ、砲兵中隊 中隊長）： 鄧超 （ドン・チャオ）
王金存 （ワン・ジンツン、9中隊 代理政治指導員）： 袁文康 （ユエン・ウエンカン）
孫桂琴 （スン・グイチン、王金存の妻）： 湯嬿 （タン・ヤン）
焦大鵬 （ジアオ・ダーポン、9中隊1小隊 小隊長）： 廖凡 （リャオ・ファン）
姜茂財 （ジアン・マオツァイ、9中隊 狙撃手）： 王宝強 （ワン・ バオチアン）
劉澤水 （リウ・ゾーシュイ、139連隊 連隊長）： 胡軍 （フー・ジュン） ※特別出演
指導員 （9中隊 政治指導員）： 任泉 （レン・チュアン） ※特別出演
キャスト > 吹き替え

グー・ズーティ：咲野俊介
チャオ・アルドゥ：坂詰貴之
リウ・ゾーシュイ：相沢正輝
ワン・ジンツン：鈴木正和
スン・グイチン：上田真紗子
ジァオ・ダーボン：丸山壮史
ジアン・マオツァイ：奥田啓人
ルオ・グアンティアン：飯島肇
その他の声の吹き替え：高瀬右光／嵜本正和／寺本匡利／鈴木一敦／三宅貴洋／大倉彩／高橋大介／山下章／杉山進吾／東和良／小林美穂／藤田周
記録

2007年度中国国産映画興行収入第2位
2008年第17回中国金鶏百花奨4部門（作品、監督、主演男優、助演男優）受賞
2008年第45回台湾金馬奨2部門（主演男優、脚色）受賞
2007年釜山国際映画祭オープニング上映
2008年東京国際映画祭特別招待上映
日本語訳の問題点

中国軍の指揮系統名称（詳細は中国人民解放軍陸軍#指揮階梯の項及び参考文献を参照）を、日本劇場公開時は劇中の字幕やパンフレット、宣伝等で部隊単位の「連」を「連隊」と訳し「師」「団」「営」はそのままの表記とした為、部隊全体の規模に矛盾が生じる結果となっていたが、DVD版字幕では主人公の所属する「第2師第139団第3営第9連」は「第2師団第139連隊第3大隊第9中隊」と改訳された。
数学的帰納法

数学的帰納法（すうがくてききのうほう、英: mathematical induction）は、数学における証明の手法の一つである。
例えば自然数に関する命題 P(n) が全ての自然数 n に対して成り立つことを証明するために、次のような手続きを行う。
P(1) が成り立つことを示す。
任意の自然数 k に対して、「P(k) ⇒ P(k + 1)」が成り立つことを示す。
1と2の議論から任意の自然数 n について P(n) が成り立つことを結論づける。
概要

自然数に関するペアノの公理の中に、ほぼ等価なものが含まれている。
なお、数学的「帰納」法という名前がつけられているが、数学的帰納法を用いた証明は帰納ではなく、純粋に自然数の構造に依存した演繹論理の一種である。2 により次々と命題の正しさが"伝播"されていき、任意の自然数に対して命題が証明されていく様子が帰納のように見えるためこのような名前がつけられた。ジョン・ウォリスによって、彼の著作Arithmetica Infinitorumの中で、この方法にinductionという名前が与えられたとされる。
直観的説明

高校の教科書等の初等的な解説書ではドミノ倒しに例えて数学的帰納法を説明しているものも多い。P(n) を「n 枚目のドミノが倒れる」の意味だとすれば、上の論法は以下のようになる：
1枚目のドミノが倒れることを示す。
任意の自然数 k に対して、「k 枚目のドミノが倒れるならば k + 1 枚目のドミノが倒れる」ことを示す。
以上の議論から全てのドミノが倒れることが結論づけられる。
数学的帰納法が成り立つ直観的理由は以下の通りである。まず1より
が正しいことが分かる。次に k = 1, 2, ... に対して 2 を適用することで、
が分かる。(a), (b) より、P(2) が成り立ち、この事実と (c) を組み合わせることにより P(3) が従う。以下同様に P(4), P(5), … も従い、結局3の
が結論づけられる。
ただし、以上の議論はあくまで数学的帰納法が成り立つ理由の直観的説明であって、1, 2 と 3 の間にはギャップがある。詳しくは後述の「数学的帰納法の形式的な取り扱い」の項目を参照されたい。
証明

数学的帰納法が成り立つことを数学的帰納法の原理といい、ペアノの公理Ⅴが数学的帰納法の原理そのものを表している。もし、公理Vを用いて、数学的帰納法をあえて証明するならば、以下のように示すことができる。
自然数の集合を  \mathbb {N}  とし、命題  P(n) が成り立つ  n の集合を  M とする。
M\equiv \{n\in \mathbb {N} \mid P(n)\}
(1) 数学的帰納法の仮定により、 1 は  M の要素である。
1\in M
(2) 任意に自然数  r をとる。 r\in M を仮定すると、 M の定義によって  P(r) が成り立つ。このとき、数学的帰納法の手順より、 P(r+1) も成り立つ。ふたたび、 M の定義によって  r+1\in M である。これにより  \forall r.\,r\in M\Rightarrow r+1\in M が示されたことになる。
(1) および (2) により、ペアノの公理Vによって  \mathbb {N} \subseteq M が得られる。部分集合の定義により、これは  \forall n\in \mathbb {N} .\,P(n) であることを意味する。(証明終)
バリエーション

数学的帰納法には次のようなバリエーションもあり、場合によってはこれらを用いる必要がある。これらのバリエーションの正しさは、上で述べた標準的な形の数学的帰納法を用いて示すことができる。
バリエーション > 1以外から始める

変数変換によって明らかなように、変数 n が表す範囲は n → n + 1 という操作で閉じていれば {1, 2, ...} である必要はなく、0 を自然数に含めることにしたり、あるいは任意の整数 m に関する {m, m + 1, ...} という範囲でもよいことになる。
バリエーション > +1以外

例えば n → n + 1 ではなく、n → n + 2 で証明し、開始点が P(2) であれば、全ての正の偶数で証明できる。バリエーションとしては、P(2) から n → n + 2 で正の偶数を証明し、P(1) から n → n + 2 で正の奇数を証明し、よって全ての自然数で成立するという証明方法もある。他にも、P(0) から n → n + 1 と n → n − 1 を両方証明し、全ての整数で成立することを証明するという場合もある。
バリエーション > 先立つすべての結果を用いる

仮定として P(k) だけでなく P(1) から P(k − 1) までのすべて（もしくは一部）を用いる。これを完全帰納法（英: complete induction、これは同じく完全帰納法と訳される perfect induction とは別物）もしくは累積帰納法（英: course of values induction）という。
バリエーション > 背理法を組み合わせたもの

→詳細は「無限降下法」を参照
無限降下法とは、背理法を用いて  \forall n\in \mathbb {N} .\,P(n) を証明する、次のようなパターンのことである。
この議論と前に述べた「先立つすべての結果を用いる」形の数学的帰納法の正しさは自然数全体の集合  \mathbb {N}  が通常の大小関係  < によって整列されていることによる。 < が  \mathbb {N}  上の整列順序であることは、最初に述べた標準的な形の数学的帰納法を用いることで証明される。
バリエーション > より一般の集合への拡張

数学的帰納法は自然数に関する論法だが、自然数以外の集合に対しても、集合の元を適切に順序づけることで数学的帰納法を適用できることがある。例えば直積集合 N × N 上に辞書式順序
を入れることで N × N 上でも数学的帰納法が使える。
数学的帰納法の例

次の等式が成り立つという命題を P(n) とし、この命題が任意の自然数 n について成立することを数学的帰納法を用いて証明する。
まず、P(1) は右辺を計算することで、正しいことが確かめられる。
次に、任意の自然数 k をとる。P(k) は下記の通りであり、これが成立すると仮定する。
これが成立することを使い、 P(k + 1) の左辺を計算すると、P(k + 1) も成立することが分かる。
以上から、数学的帰納法により、任意の自然数 n について命題 P(n) が成立する。(証明終)
数学的帰納法の形式的な取り扱い

数学的帰納法の原理を説明する前に、まず前述した直観的説明のどこにギャップがあったのかを説明する。前述の説明では、まず我々は P(1) を結論づけ、次に (a), (b) から P(2) を結論づけ、さらにそれと (c) を組み合わせることで P(3) を結論づけ、さらにそれと(d)を組み合わせることで P(4) を結論づけた。以上の議論から分かるように、P(2) を結論づける為には2ステップの推論、P(3) を結論づけるには3ステップの推論、…、P(100) を結論づけるには100ステップの推論が必要となる。
従って有限回のステップでは有限個の n に対してしか P(n) を結論づけることができず、「無限個ある自然数全てに対して P(n) が成り立つ」という数学的帰納法の結論について無限の長さの証明が与えられたとはいえない。これが前述した直観的説明におけるギャップである。
そこで、ペアノ算術などの形式的な体系では、数学的帰納法を証明に用いてよいことが公理として仮定されるのが普通である。つまり、形式的には、自然数の性質から数学的帰納法の正しさが証明できるのではなく、逆に自然数の本質的な性質を与える推論規則として数学的帰納法が仮定される、ということになる。
数学的帰納法の形式的な取り扱い > 同値な定式化

集合論の枠組みでは、数学的帰納法の原理を次のように表すことができる。
この原理からもともとの形の数学的帰納法が導かれることは，次のようにして示せる。帰納法の仮定 1., 2. を満たす論理式 P(n) が与えられたとする。自然数の部分集合 A を A = { n ∈ N: ¬ P(n) } によって定める。この A が空集合であるということを示したい。そうでないと仮定すると、Aに属する最小の自然数 a を取ることができるが、P(0)は成り立っていることから a は0でない。従って、ある自然数 b について a = b + 1となっているが、a は A に属する最小の自然数であったということから、b ∉ A であり、P(b) は成り立つことになる。帰納法の仮定から P(a) も成り立つことになり、これは矛盾である。
逆に、「n 以下の任意の自然数 k について k ∉ A」という形の命題 P(n) を考えることで、数学的帰納法から上の原理を導くことができる。A を自然数のある集合とし、A に属する最小の自然数が存在しないと仮定する。もし P (0) が成り立たないと、0 が A に属する最小の自然数となって仮定に反するから、P(0) は成り立つ。P(n) が成り立つとし、もし P (n + 1) が成り立たないとすると、n + 1 が A の最小の自然数となって仮定に反するから、P(n + 1) も成り立つ。よって数学的帰納法により A は空となる。
超限帰納法

上記の形で自然数について定式化された数学的帰納法は、任意の整列集合に対して次のように一般化することができる。この一般化を超限帰納法 (ちょうげんきのうほう、英: transfinite induction)という。数学的帰納法とは違い、順序数すべて（有限も無限も)を対象として構築できる。任意濃度の集合は選択公理と同値な整列可能定理により整列順序を持つとすることができるので、選択公理を含む公理系であれば超限帰納法は任意濃度の集合に対して成立すると主張できる。
ただし、"<" は a < b ⇔ ( a ≤ b ∧ a ≠ b) で定義される二項関係とする。
超限帰納法 > 証明

A を全体集合とする。A の各元 a に対して A(a) = { x∈A  |  x < a } とし、A1 = { x∈A  |  P(x) } とする。そのとき、超限帰納法の条件は
()
と同値である。また、補集合に関する法則から (1) は
()
と同値である。これらの条件が満たされているという前提の下で、A1 = A すなわち A1c = ∅ が成り立つことを示せばよい。
いま、A1c ≠ ∅
と仮定して矛盾を導く。背理法の仮定と整列集合の定義より、min A1c = a が存在する。この a について、最小元の定義より A(a)∩A1c = ∅ が成り立つので、 (2) より a ∈ A1 もまた成り立つ。しかし、これは a ∈ A1c であることに反する。（証明終）
整礎帰納法

→詳細は「整礎帰納法」を参照
無限下降列が存在しない二項関係を整礎関係という。整礎関係が定義された集合に対して次が成り立つ。これを整礎帰納法（英: well-founded induction）という。
超限帰納法は整礎帰納法の特殊な場合である。特に、超限帰納法においては、任意の空でない部分集合に最小元が存在する、という性質が、整礎帰納法においては、任意の空でない部分集合に極小元が存在する、という性質に対応している。
ハゲ頭のパラドックス

数学的帰納法を意図的に誤用したジョークとして、次のようなものがある：
もちろんこの「証明」には理論上の根本的な問題点がある。この「証明」の問題点は、「ハゲ」の定義を厳密に毛が何本以下であるかで与えることができない点、もしくは「ハゲ」を定義できたとして、任意の「ハゲ」に髪の毛を一本足したときに、必ず「ハゲ」になるわけではない点にある。以上のような論法の起源は、古代ギリシャの哲学者ミレトスのエウブリデス (en) が作ったとされるハゲ頭のパラドックス (Paradox of the Bald Man)に帰せられる。これは砂山のパラドックスの起源としても知られる。
前述のジョークにはさまざまなバリエーションがあるが、いずれも「少量の増加程度では大差ない。よって数学的帰納法より沢山の増加でも差はない」という誤謬を利用している。
歴史

初期の例としては、プラトンによるパルメニデス（紀元前 370年）において暗黙に帰納法を使用した証明がみられる。また数学的帰納法としての痕跡は、素数が無限個あることを示したユークリッドの証明や、バースカラ2世による "cyclic method（英語版）" に見ることができる。通常とは逆に、パラメータとなる自然数が減少していく逐次的な論法は、砂山のパラドックスにみられる。つまり、10,000粒の砂粒が砂山を形成し、そこから一粒の砂を取り除いても砂山が残るならば、一粒だけ残った砂(或いは全ての粒を取り去った後)でもなお砂山を形成するといえる。
等差数列について暗黙に数学的帰納法を用いた証明は、紀元 1000年ごろにアル＝カラジ（英語版）による "al-Fakhri" に扱われている。アル＝カラジは二項定理やパスカルの三角形を示すのに数学的帰納法を用いた。
しかし、これらの古代の数学者たちは帰納法の仮定を明示することはしていない。別の似た例としては(Freudenthal が注意深く示したように、Vacca が著したものとは対立するが)、フランチェスコ・マウロリコ（英語版）が 1575年の著作 "Arithmeticorum libri duo" にて最初の n 個の奇数の和が n2 に等しいことを示す際にこの技術を用いている。明示された形での数学的帰納法の原理はパスカルがその著作 "Traité du triangle arithmétique" (1655)にて与えた。フランス人フェルマーは、帰納法と関連する、無限降下法による間接的な証明をうまく使っている。帰納法の仮定はヤコブ・ベルヌーイによっても使われ、以後多少よく知られるようになった。現代的な厳密さをもち体系的な数学的帰納法の原理の扱いは 19世紀に入ってジョージ・ブール、オーガスタス・ド・モルガン、チャールズ・サンダース・パース、ジュゼッペ・ペアノ、 リヒャルト・デーデキントによって為された。
黄天格

| 黄天戈 |
| --- | --- |
 
基本情報
生誕:    (2004-04-16) 2004年4月16日（20歳）   中国 北京市 
職業:  作曲家 ピアニスト
担当楽器:  ピアノ
黄天戈（Huang Tiange（中国語：黄天戈）、2004年4月16日 - ）は、中華人民共和国の作曲家、ピアニスト。
生い立ち

2004年4月16日、中華人民共和国の北京市に生まれる。
クラウディオ・モレル・ロドリゲス

クラウディオ・マルセロ・モレル・ロドリゲス（Claudio Marcelo Morel Rodríguez, 1978年2月2日 - ）は、パラグアイ・アスンシオン出身の元同国代表サッカー選手。現役時代のポジションはディフェンダー（左サイドバック、センターバック）。父親のエウヘニオ・モレル（スペイン語版）もサッカー選手であった。
経歴 > クラブ > CAサン・ロレンソ・デ・アルマグロ

パラグアイ出身であるが、アルゼンチン・プリメーラ・ディビシオンのCAサン・ロレンソ・デ・アルマグロからデビューし、センターバックとして起用された。クラウスーラ2001でリーグ優勝を果たし、同年のコパ・メルコスールでは決勝でブラジルのCRフラメンゴを破って優勝した。2002年10月5日、ニューウェルズ・オールドボーイズ戦 (2-1) で初得点を挙げた。2002年のコパ・スダメリカーナでは決勝でコロンビアのアトレティコ・ナシオナルを4-0で破って優勝した。2003年5月2日、プロ初得点と同じ対戦（ニューウェルズ戦）で2得点目を決めた。
経歴 > クラブ > ボカ・ジュニアーズ

2004年にボカ・ジュニアーズに移籍し、8月15日のCAラヌース戦 (0-0) でデビューした。ボカではサイドバックにコンバートされて大きく成長し、2004年のコパ・スダメリカーナでは決勝でボリビアのクラブ・ボリバルを2試合合計2-1で破って優勝した。2005年にはレコパ・スダメリカーナとコパ・スダメリカーナで優勝し、リーグ戦でもアペルトゥーラ2005とクラウスーラ2006で優勝した。2006年のレコパ・スダメリカーナではブラジルのサンパウロFCを2試合合計4-3で破って優勝した。2007年2月10日、CAバンフィエルド戦 (4-0) で移籍後初得点を挙げた。12月には日本で開催されたFIFAクラブワールドカップ2007に出場し、決勝ではヨーロッパ代表のACミランに2-4で敗れて準優勝であった。この年の南米年間最優秀選手賞投票ではサルバドール・カバニャスに次ぐ2位となり、年間ベストイレブンに選出された。2008年のレコパ・スダメリカーナ決勝ではアルセナルFCとの同国対決を制し、優勝に貢献した。2008年12月、記者選出のパラグアイ最優秀選手賞を受賞した。2010 FIFAワールドカップのグループリーグ・スロバキア戦に先立つ2010年6月20日、ボカ・ジュニアーズは彼との契約を延長しないと発表した。
経歴 > クラブ > デポルティーボ・ラ・コルーニャ

2010年夏、スペイン・リーガ・エスパニョーラのデポルティーボ・ラ・コルーニャに移籍した。2010-11シーズンはキャプテンのマヌエル・パブロの控えとして15試合に出場したが、18位でセグンダ・ディビシオン（2部）降格となった。
経歴 > クラブ > CAインデペンディエンテ

2012年7月20日、CAインデペンディエンテに移籍し、アルゼンチンで再びプレーすることとなった。
経歴 > クラブ > ソル・デ・アメリカ

2014年8月13日、リーガ・パラグアージャのクラブ・ソル・デ・アメリカ（スペイン語版）に加入。初の母国クラブへの所属となった。
経歴 > クラブ > ドセ・デ・オクトゥブレ

2015年3月、ドセ・デ・オクトゥブレへ移籍。
経歴 > クラブ > AABMサルミエント

2016年1月26日、CAABMサルミエント（スペイン語版）へ移籍。
経歴 > クラブ > CAマデレンセ

2017年4月、トルネオ・フェデラルB（スペイン語版）（アルゼンチン4部）のCAマデレンセに加入した。
経歴 > 代表

1999年にパラグアイ代表デビューした。2002 FIFAワールドカップ・南米予選と2010 FIFAワールドカップ・南米予選に出場し、さらに2010 FIFAワールドカップ本大会に出場した。
代表歴 > 出場大会

パラグアイ代表
2010 FIFAワールドカップ
代表歴 > 試合数

国際Aマッチ 35試合 0得点（1999年-2010年）
| パラグアイ代表> 年 | 国際Aマッチ> 出場 | 国際Aマッチ> 得点 |
| --- | --- | --- |
| 1999 | 1 | 0 |
2000: 0
| 2001 | 4 | 0 |
2002: 0
2003: 0
2004: 0
2005: 0
| 2006 | 1 | 0 |
| 2007 | 10 | 0 |
| 2008 | 6 | 0 |
| 2009 | 3 | 0 |
| 2010 | 10 | 0 |
| 通算 | 35 | 0 |
タイトル > クラブ

プリメーラ・ディビシオン : 2000-01C
コパ・メルコスール : 2001
コパ・スダメリカーナ : 2002
コパ・スダメリカーナ : 2004, 2005
レコパ・スダメリカーナ : 2005, 2006, 2008
プリメーラ・ディビシオン : 2005-06A, 2005-06C, 2008-09A
コパ・リベルタドーレス : 2007
セグンダ・ディビシオン : 2012
タイトル > 個人

パラグアイ最優秀選手賞 : 2008
ユージン・オーマンディ

| ユージン・オーマンディ Eugene Ormandy |
| --- | --- |
 ユージン・オーマンディ
基本情報
出生名:  Blau Jenő
生誕:   (1899-11-18) 1899年11月18日
出身地:   オーストリア＝ハンガリー帝国・ブダペスト
死没:   (1985-03-12) 1985年3月12日（85歳没）  アメリカ合衆国・フィラデルフィア
学歴:  リスト音楽院
ジャンル:  クラシック音楽
職業:  指揮者・ヴァイオリニスト
担当楽器:  指揮・ヴァイオリン
活動期間:  1924年 - 1984年
レーベル:  RCA、CBS
シベリウス（左）と会話するオーマンディ（右）（1951年）
ヴァン・クライバーンと（1967）
ユージン・オーマンディ（オルマーンディ・イェネー）（Eugene Ormandy（Ormándy Jenő）, 1899年11月18日 - 1985年3月12日）は、ハンガリー出身のユダヤ系アメリカ人指揮者。本名 ブラウ・イェネー（Blau Jenő）。
人物・来歴

ブダペストにユダヤ人の血を引く家庭に生まれる。幼年時代からヴァイオリンの才能を現す。1905年にブダペスト王立音楽院に入学。1908年から名ヴァイオリニスト・イェネー・フバイ（フーバイとも。名奏者ヨーゼフ・ヨアヒムの弟子）に師事、17年にヴァイオリン教授の資格を得て音楽院卒業後、ヴァイオリニストとして本格的な演奏活動を開始。19年には師の後任として王立音楽院ヴァイオリン科主任教授に就任する。しかし21年、アメリカ演奏旅行の際、一説ではマネージャーに騙されたとも言われ、無一文で見知らぬ土地に放り出される苦難に見舞われる。
糧を得るために1921年、ニューヨーク・キャピトル劇場オーケストラのヴァイオリン奏者となるが、腕を買われて同年中にコンサートマスターに就任。1923年から数年間にわたりヴァイオリニストとして幾らかの独奏録音を行なっている。
1924年9月、指揮者が急病で倒れてしまい、代役としてキャピトル劇場オーケストラを指揮することになって指揮者デビュー。以後、指揮者に転向し、26年にキャピトル劇場準指揮者。27年にはアメリカ国籍を取得。また同年からキャピトル劇場を離れてCBSラジオの放送コンサート指揮者になる。
1931年、病気のトスカニーニの代役として、フィラデルフィア管弦楽団定期公演を指揮。この代演を成功させて評判を高め、同年、ミネアポリス交響楽団（現・ミネソタ管弦楽団）の常任指揮者に就任。36年、レオポルド・ストコフスキーと共にフィラデルフィア管弦楽団の共同指揮者となる。
1938年、ストコフスキーの辞任により後任としてフィラデルフィア管弦楽団音楽監督に就任。無一文で放り出されたアメリカで有名指揮者になる、というアメリカンドリームをつかむことになった。以後、音楽監督として1980年に勇退するまで42年の長期にわたって在任。後任選定は自ら関わり、リッカルド・ムーティを指名した。フィラデルフィア管を率いて、ヨーロッパ、ソヴィエト、中国、オーストラリアなどに演奏旅行を行なっており、来日公演も4度（1967年、1972年、1978年、1981年）行った。
フィラデルフィア管弦楽団音楽監督を退任したオーマンディは、同楽団から桂冠指揮者の称号を贈られ、引き続き同楽団を指揮して演奏会・録音を行なっていた。また、自らの後任であるムーティの才能に惚れこみ、フィラデルフィア管弦楽団の録音専用ホールの建設に私財を投じた。しかし1985年3月に肺炎のため死去。85歳没。84年1月のフィラデルフィア管との演奏会が生涯最後の演奏会となった。
オーマンディの指揮するフィラデルフィア管弦楽団の、弦を中心に磨きぬかれたその音色は、「フィラデルフィア・サウンド」、「オーマンディ・トーン」として名を馳せ、とくに後期ロマン派音楽の演奏に大いなる力を発揮した（オーマンディ自身は「フィラデルフィア・サウンド」と呼ばれることに不快感を示し、「オーマンディ・トーン」と呼んでくれるように求めていた）。
渡米以後の使用言語は英語であったが、ほぼ成人までハプスブルク帝国で育ったこともあり、晩年までネイティブなドイツ語も話せた。ドイツのテレビ局のインタビューに応じた映像が現在もDVD（『惑星』『海』）の付録で流布しており、その流暢な発音を確認することができる。
レパートリー・録音

コレッリ、バッハ（オルガン作品を自ら管弦楽版に編曲して演奏もしている）から現代まで幅広いレパートリーを持ち、同時代の作曲家の紹介にも熱心で、ラフマニノフ、バルトーク、シェーンベルク、バーバー、ブリテン、ショスタコーヴィチ、メノッティ、ヴェーベルン、ペンデレツキなどの作品の世界初演・アメリカ初演を行なっている。1978年の来日公演では5種類のプログラムを用意してツアーを展開、幅のあるレパートリーを披露している。
録音に積極的な指揮者であり、ミネアポリス時代の1930年代前半から1982年まで膨大な量の録音を行なった。フィラデルフィア管で音楽監督に就任後RCAに本格的な録音を開始、44年コロムビア・レコードに移籍。68年にRCAに復帰。晩年にはEMIやテラーク、デロスにも録音を残している。
ヴァイオリニスト時代も含めると、アコースティック録音、電気録音、ステレオ録音、ディジタル録音を残したという点で、極めて稀な演奏家といえる。オーマンディは若き日にCBSラジオで放送指揮者を務めたが、その時に時間感覚を体得、その感覚が後の録音の際に大いに役立ったという。
68年のRCA復帰については、それまで契約していたコロムビアにニューヨーク・フィルハーモニック音楽監督のレナード・バーンスタインが迎えられた時、バーンスタインの録音に関しては彼自身に曲目の選択権を与えるという待遇であったため、その余波でオーマンディの自身の録音に関する発言権確保が危惧される状況になった（オーマンディとバーンスタインの希望曲目が仮に重なれば、オーマンディがコロムビア側から曲目変更を求められる可能性があった）。その状況の中、RCAがオーマンディにより幅広い曲目選択権を認めるという条件を提示し、オーマンディの復帰にこぎつけたといわれている。ただし、RCA復帰後の録音曲目にはコロムビア時代に録音したものも多く、この条件が十全に履行されたのかどうかは定かではない。
交響曲、管弦楽曲を積極的に録音したのはもちろんのこと、協奏曲録音でも知られ、各時代の有名奏者また若手奏者たちと多くの共演盤を残している（最後の公式録音も1982年にフィラデルフィア管を率いてヨーヨー・マと共演したショスタコーヴィチとカバレフスキーのチェロ協奏曲。それぞれ第1番）。オーマンディの巧みな伴奏ぶりは高く評価されているが、それがかえって「独自の芸術を持たない」といった評価を受ける一因ともなっているようである。
日本でのオーマンディ録音のCD化の際には彼のレパートリーの中核に偏る傾向があったが、20世紀末期～21世紀に日本のBMGファンハウス（RCAレーベル）からまとまった復刻がなされ、オーマンディのレパートリーの幅が以前より広く知られることになった。
欧州出身者（ただし指揮活動は渡米後）には珍しく歌劇の指揮にはほとんど興味を示さなかった。唯一の例外は「こうもり」で、1951年にメトロポリタン歌劇場を振ってライブ（1月）スタジオ（12月）2つの録音（ともに英語訳詞版）を残したほか、自ら編曲を施した組曲版が存在する。それとは別に序曲は何度も採り上げており、ヨハン・シュトラウスの楽曲はハプスブルク帝国に生まれ育ったオーマンディならではの得意レパートリーである。
一方、声楽を伴うオーケストラ作品では、ヴェルディの「レクイエム」(1964年、コロムビア)、ラフマニノフの合唱交響曲「鐘」、プロコフィエフのカンタータ「アレクサンドル・ネフスキー」などを指揮した。ヴェルディはオーマンディ唯一の録音であるが、ラフマニノフは1954年 (コロムビア) と1974年 (RCA) に録音しており、プロコフィエフも1945年の世界初録音盤 (コロムビア) と1974-75年盤 (RCA) の2種のスタジオ録音のほか、フィラデルフィア管弦楽団の定期演奏会でも採り上げている。
フィラデルフィアを中心に活躍したため客演先は限られたが、アメリカのメジャーオーケストラには客演し、ヨーロッパではウィーン・フィルハーモニー管弦楽団やバイエルン放送交響楽団などと共演を重ねた。特にウィーン・フィルからは「古典派の大家」として評価された。また、ロンドン交響楽団とはドヴォルザークの交響曲第9番「新世界より」を録音している。
平楽園駅

| 平楽園駅 |
| --- | --- |
 ホーム
 平乐园   へいらくえん  Pingleyuan  
 ◄北工大西門   九竜山►
 
所在地:  北京市朝陽区
所属事業者:  北京京港地鉄有限公司
所属路線:  ■14号線
キロ程:  （張郭荘起点）
駅構造:  地下駅
ホーム:  2
開業年月日:  2017年12月30日
テンプレートを表示
| 平楽園駅> 各種表記 |
| --- | --- |
簡体字：:  平乐园站
英文：:  Pingleyuan Station
テンプレートを表示
平楽園駅（へいらくえん-えき）は、中華人民共和国北京市朝陽区に位置する北京地下鉄14号線の駅である。
駅構造

島式ホーム1面2線を有する地下駅。
| --- | --- |
14号線ホーム: ←14号線 張郭荘方面
14号線ホーム: 島式ホーム
14号線ホーム: 14号線 善各荘方面→
歴史

2017年12月30日 - 開業。
隣の駅

ホーム
特攻!BAD BOYS

| 特攻!BAD BOYS> タイトル表記 |
| --- | --- |
繁体字:  BAD BOY 特攻 
英題:  For Bad Boys Only
各種情報
監督:  イップ・ワイマン
脚本:  マンフレッド・ウォン
製作:  マンフレッド・ウォン
出演者:  イーキン・チェン ルイス・クー スー・チー
撮影:  ライ・イウファイ
配給:   ギャガ・コミュニケーションズ
公開:   2000年12月15日  2001年10月27日
上映時間:  101分
製作国:   香港
言語:  広東語 普通話
テンプレートを表示
『特攻!BAD BOYS』（とっこう ばっどぼーいず、原題：BAD BOY 特攻、英語題：For Bad Boys Only）は、2000年の香港映画。闇にはびこる悪を退治する3人組の特攻チーム“BAD BOY”が、美女の失踪事件の裏に潜む悪に立ち向かうアクション映画。
キャスト

キング：イーキン・チェン（宮本充）
ジャック：ルイス・クー（小山力也）
ヤン・チン／イレブン／シャドウ：スー・チー（3役）（石塚理恵）
クイーン：クリスティ・ヨン（井上喜久子）
ティン：ダニエル・チャン
サカモトタロウ：マーク・チェン
ヤン・ヘンチマン：ジェリー・ラム
エンジェル：ケリー・リン
スタッフ

監督：イップ・ワイマン
製作・脚本：マンフレッド・ウォン
撮影：ライ・イウファイ
アクション指導：李達超
サムの息子法

サムの息子法（サムのむすこほう、Son of Sam law）は、犯罪者が自らの事件の暴露で得た収入は被害者救済に充てなければならないとする法律。
犯罪加害者が自らの犯罪物語を出版・販売して利益を得ることを阻止する目的で、1977年にアメリカ合衆国ニューヨーク州で制定された。
概要

この法は、犯罪活動の結果として直接取得した金銭を押収することを意図している。犯罪者が自らの事件を商業的に利用して得た金銭を奪うことにより、犯罪の収益性を除去するため、また、犯罪者が自分の罪の悪評を活用できないように作られている。多くの場合、書籍出版や映画化などから得た収入は犯罪被害者への補償となる。この法が制定されたきっかけは、出版社が「サムの息子」ことデビッド・バーコウィッツに多額の報酬を提示して手記のオファーを出したことが問題視されたためである。以降、数多くの改定を重ねて、ニューヨーク州は2001年に再び採択した。同様の法律は他の多数の州で制定されている。
1978年の法は連邦最高裁でアメリカ合衆国憲法修正第1条に反すると違憲判決を受けた。そこで1992年に判決にそった改正を行っている。
犯罪者による罪のビジネス化を防ぐ目的と同時に被害者・遺族救済のための法である。被害者への補償に関する法では、州法のほかにアメリカ連邦法にVOCAがある。
日本でも同様の法を望む声が出ている。日本政府はサムの息子法をモデルとした法律の制定について「憲法の保障する表現の自由等の観点から、慎重な検討が必要」としている。弁護士の間でも賛否が分かれている。
日本で犯罪加害者が自らの犯行を本として出版した主な例

中保喜代春『ヒットマン―獄中の父からいとしいわが子へ』（講談社、2001年） - 著者は宅見若頭射殺事件の実行犯。犯行の計画から実行、逃亡時のことまで詳細に綴っている。
武まゆみ『完全自白 愛の地獄』（講談社、2002年） - 著者は本庄保険金殺人事件の実行犯。自白した犯行の顛末を詳細に綴って出版している。
元少年Ａ『絶歌』（太田出版、2015年） - 神戸連続児童殺傷事件の犯人である元少年Aの著書。日本でサムの息子法と同様の法の制定を望む声が上がるきっかけになった。
市橋達也『逮捕されるまで 空白の2年7カ月の記録』（幻冬舎、2011年） - 著者はリンゼイ・アン・ホーカー殺害事件の実行犯。
TOKYOレンダリング詞集

| TOKYOレンダリング詞集 |
| --- | --- |
音楽:  松本龍之介
撮影:  市川準
編集:  市川準
製作会社:  市川準事務所
配給:  市川準事務所 スローラーナー
公開:   2009年4月11日
上映時間:  25分
製作国:   日本
言語:  日本語
テンプレートを表示
『TOKYOレンダリング詞集』（とうきょうレンダリングししゅう）は、2009年の短編ドキュメンタリー映画。
2008年9月に亡くなった市川準監督のパソコンに遺されていた作品で、市川自身がHDカメラで撮り貯めていた映像をパソコンで全編編集していた。市川の遺作となった『buy a suit スーツを買う』と同時上映された。
『buy a suit スーツを買う』のDVDに収録されている。
スタッフ

撮影・編集：市川準
音楽：松本龍之介
安井算知 (俊哲)

安井 算知（俊哲）（やすい さんち（しゅんてつ）、文化7年（1810年） - 安政5年7月4日（1858年8月12日））は、江戸時代の囲碁棋士で、家元安井家の九世安井算知、七段上手。八世安井知得仙知の長男で、二世安井算知の名を継ぐ。天保四傑と呼ばれた一人で、無双の力碁とされる。息子は十世安井算英。
経歴

江戸両国薬研堀の安井家屋敷で生まれる。幼名は金之助、後に俊哲と名乗る。少年時代には、安井家が本所相生町の本因坊家屋敷に近かったため、姉の鉚（のちに二段）とともに腕を磨きに通った。文政8年(1825年)に16歳二段で跡目になり、御城碁に初出仕し服部因淑に三子で中押勝。若い頃は打つ買う飲むの道楽者だったが、父仙知は一言の小言も言わず、見苦しい負けをしたときだけ叱ったと言われる（『坐隠談叢』）。天保4年(1833年)六段昇段。天保8年(1837年)七段昇段するが、手合割は六段のままという名目的な昇段だった。天保9年(1838年)に父仙知が没し、家督を相続して九世安井算知となる。
御城碁では、七世安井仙知の喪に服した天保8年を除き、安政4年(1857年)まで皆勤し42局を勤め、これは本因坊烈元に次ぐ。安政5年(1858年)に弟子の海老沢健造（後の巌崎健造）とともに関西を遊歴し、7月に帰路の沼津で没する。子の算英が12歳で安井家を継いだ。
伊藤松和、安井算知、太田雄蔵、阪口仙得の四人で「天保四傑」とよばれた。