Sovesh/autoresearch-ja huggingface dataset:
Leanは およびプログラミング言語である。

を伴うに基づく。

解説 
LeanプロジェクトはGitHubでホストされている・プロジェクトである。2013年にMicrosoft ResearchのLeonardo de Mouraによって立ち上げられた。

Leanには(Visual Studio Code拡張機能およびサーバーとして実装された)インターフェイスがあり、他の対話型定理証明系と区別される。Unicode記号をネイティブでサポートし、「×」に対する「\times」ようなLaTeXに似たシーケンスを使用して入力できる。またLeanはJavaScriptにコンパイルしてWebブラウザからアクセスでき、メタプログラミングを広範囲にサポートする。

2017年からスタートし、ユーザーが管理するライブラリmathlib には、最大規模のLeanで正規化された数学コレクションを含む。2023年2月現在、mathlibは100,000以上の定理と1,000,000行のコードを含む。

Leanの以前のリリースでは、システムロジックのいくつかのコア部分は改造されることに従順ではなかった。システムのこれらの部分を改造したいユーザーはLeanのC++実装を(直接)変更する必要があった。さらに、仮想機械の解釈に伴うオーバーヘッドは、Leanの効率がCoqなどの他の証明アシスタントと競合できないことを意味した。2021年に、Leonardo de MouraとSebastian UllrichはLean 4をリリースした: 前述の2つの批判に対処することを目的として、Lean定理証明系それ自体を自分自身の中で再実装したものである。Lean 4はコンパイルされるCのコードを生成して、効率的なドメイン固有の自動化の開発が可能になった。Lean 4はLean 3との後方互換性はない。

Leanは数学者のとの注目を集めた。ヘイルズはこれを彼のプロジェクト「Formal Abstracts」に使用している。バザードはXenaプロジェクトにそれを使用している。Xenaプロジェクトの目標の1つは、インペリアル・カレッジ・ロンドンの学部生の数学カリキュラムにあるすべての定理と証明をLeanで書き直すことである。

例 (Lean 3向け) 
自然数はとして定義することができる。この定義はペアノの公理に基づいており、すべての自然数はゼロもしくは他の自然数の後者であると述べている。inductive nat : Type
| zero : nat
| succ : nat → nat自然数の加算はパターン・マッチングを使用して、再帰的定義することも可能。definition add : nat → nat → nat
| n zero     := n
| n (succ m) := succ (add n m)これはLeanのtermモードでの簡単な証明である。theorem and_swap : p ∧ q → q ∧ p :=
    assume h1 : p ∧ q,
    ⟨h1.right, h1.left⟩これと同じ証明は戦略を駆使して達成できる。theorem and_swap (p q : Prop) : p ∧ q → q ∧ p :=
begin
    assume h : (p ∧ q), -- assume p ∧ q is true
    cases h, -- extract the individual propositions from the conjunction
    split, -- split the goal conjunction into two cases: prove p and prove q separately
    repeat { assumption }
end

脚注

関連項目 

 依存型
 
 mimalloc
 型理論

外部リンク 

 Lean Website
 Lean Community Website
 The Natural Number Game- An interactive tutorial to learn lean

2013年に作られたプログラミング言語
証明アシスタント
定理証明ソフトウェア
型依存型言語
数学教育ソフトウェア
関数型プログラミング言語
フリーソフトウェアとオープンソースソフトウェア
C++でプログラムされたフリーソフトウェア
マイクロソフトのフリーソフト
マイクロソフトのプログラミング言語
マイクロソフトリサーチ
Apache Licenseのソフトウェア
吉野まちじゅう図書館（よしのまちじゅうとしょかん）は、奈良県吉野郡吉野町に広がる図書館群。公共の図書館と民間の図書館（個人、旅館、寺社など）の双方によって成り立っている。吉野町がスタートした「まちじゅう図書館プロジェクト」に参加する図書館の書籍はリブライズのサービスによって、横断的に検索することができ、本の貸し借りも可能となっている。

成り立ち 
公立図書館のない吉野町において、ハコモノの図書館を建設するのではなく、町中にある書籍を共有しようという発想から立ち上がったプロジェクトがはじまりである。2019年11月に吉野町からプレスリリースがなされた。

特徴 
まちじゅう図書館の取り組みは全国にいくつかあるが、吉野まちじゅう図書館のそれは以下の点で特徴的である。

(1)行政と民間の連携

公立施設にある書籍と民間が所有する書籍が共通のプラットフォームであるリブラズで検索が可能。また、取り組み自体も行政が主導するのではなく、各図書館を運営する住民が自立的に運営している。吉野町において、本取り組みが広がっている理由として、阪本龍門文庫や木の子文庫など以前から本に関わる活動を実施する団体があったことや、本で地域の活性化を目指す地域おこし協力隊がいること、吉野は歴史的な場所であり文献が多いことなどが考えられる。

(2)個性的な図書館の集合なんでもそろう図書館ではなく、個々の図書館がそれぞれ特徴を持ち、旅の目的地となることが目指されている。シダ植物の本を集めた図書館やビブリオバトルを実施する図書館など、個性的な図書館が生まれている。

登録図書館 
2020年1月5日現在

登録方法 
バーコードリーダーを用意すれば誰でも、個人でも、図書館を開設することが可能。

（登録の手順）

リブライズからアカウントの作成
バーコードリーダーを使って書籍の登録

脚注

参考文献

外部リンク 
吉野まちじゅう図書館コミュニティ（リプライズ）

日本の市町村立図書館
日本の私立図書館
奈良県の図書館
吉野町
『ロスト・イン・スペース』（Lost in Space）は、エイミー・マンが2002年8月に発表した4作目のスタジオ・アルバム。

解説 
収録曲「トゥデイズ・ザ・デイ」は、アメリカ映画『イナフ』（2002年公開）のサウンドトラックに提供された曲だが、本作のために作り直されている。

本作はセールス的に成功を収め、エイミー・マンのソロ・アルバムとしては初めて母国アメリカのBillboard 200でトップ40入りを果たし、『ビルボード』誌のインディペンデント・アルバム・チャートでは1位を獲得した。また、ドイツのアルバム・チャートでも自身初のトップ40入りを果たし、最高30位に達した。

日本盤CDには、映画『アイ・アム・サム』のサウンドトラックに提供されたビートルズのカヴァー「トゥ・オブ・アス」がボーナス・トラックとして追加収録された。

収録曲 
特記なき楽曲はエイミー・マン作。
ハンプティ・ダンプティ - "Humpty Dumpty" - 4:01
ハイ・オン・サンデー 51 - "High on Sunday 51" (Aimee Mann, Paul Dalen) - 3:14
ロスト・イン・スペース - "Lost in Space" - 3:27
ディス・イズ・ハウ・イット・ゴーズ - "This Is How It Goes" - 3:47
ガイズ・ライク・ミー - "Guys Like Me" - 3:11
パヴロフス・ベル - "Pavlov's Bell" - 4:26
リアル・バッド・ニュース - "Real Bad News" - 3:53
インヴィジブル・インク - "Invisible Ink" (A. Mann, Clayton Scoble) - 4:59
トゥデイズ・ザ・デイ - "Today's the Day" - 4:42
モス - "The Moth" - 3:46
イッツ・ノット - "It's Not" - 3:27

日本盤ボーナス・トラック 
トゥ・オブ・アス - "Two of Us" (John Lennon, Paul McCartney) - 3:31

参加ミュージシャン 
エイミー・マン - ボーカル、アコースティック・ギター、エレクトリックギター、12弦ギター、ベース、ピアノ、キーボード、ドラムス、パーカッション
マイケル・ロックウッド - エレクトリックギター、スライドギター、キーボード、テルミン
ジョン・サンズ - ドラムス、パーカッション
マイケル・デンネン - エレクトリックピアノ、ハープシコード
ジェビン・ブルーニ - ピアノ、キーボード
パトリック・ウォーレン - キーボード
マイケル・ペン - ドラム・ループ(on 2.)
ジェイソン・フォークナー - ベース(on 6.)
デイヴ・パーマー - オルガン(on 7.)
スージー片山 - ストリングス指揮(on 8. 11.)
ジョー・メイヤー - フレンチホルン(on 11.)
バディ・ジャッジ - バッキング・ボーカル
ダリアン・サハナジャ - バッキング・ボーカル
マイク・ランドル - バッキング・ボーカル
ラスティ・スクィーズボックス - バッキング・ボーカル

脚注 

エイミー・マンのアルバム
2002年のアルバム
伊井 弥四郎（いい やしろう、1905年（明治38年）11月14日 - 1971年（昭和46年）12月12日）は、日本の労働運動家。日本共産党中央委員、全官公庁共闘会議議長。

生涯 
1905年（明治38年）11月14日、富山県富山市水橋町に生まれる。1926年（大正15年）に岩倉鉄道学校を卒業し、日本国有鉄道（国鉄・当時は鉄道省が管轄）に入る。その後、働きながら、1932年（昭和7年）に法政大学経済学部を卒業する。平塚駅、鶴見駅、東京駅の助役などを務める。第二次世界大戦後、国鉄労働組合の結成に参加、中央執行委員に就任する。

1946年（昭和21年）11月に全官公庁労組拡大共同闘争委員会（全官公庁共闘）が結成されると議長に就任し、産別会議議長・聴濤克巳とともに二・一ゼネストの最高責任者となる。ゼネストに先立つ交渉で役所に呼び出された伊井は「俺を総理大臣以外が呼ぶとは」と意気軒昂であった。ゼネスト直前に、鹿内信隆を訪ねて弟の就職の世話を依頼している。また、過去には桜田武の元に妻女を訪ねさせ、実子の就職を依頼している。

翌1947年（昭和22年）2月1日の決行を予定していたが、GHQからの指示により、決行前日の1月31日夜にNHKラジオで中止を発表することになる。中止発表において、マイクの前に立った伊井は『一歩退却、二歩前進、労働者農民ばんざい』と涙ながらに放送した。「一歩退却、二歩前進」はウラジーミル・レーニンの言葉の引用であったが厳密には誤りであり、実際のレーニンの言葉は「一歩前進、二歩後退」である。しかし、二・一ゼネストに至るまでのような労組の運動に対して国民意識は変化しており、ゼネストの2ヵ月後である4月25日に行われた第23回衆議院議員総選挙では旧神奈川2区から共産党公認で立候補するが、得票数1万6158票で落選。後に占領目的阻害行為処罰令で逮捕される。懲役2年の判決を受け、1948年（昭和23年）から2年間収監。

1958年（昭和33年）に中央委員に選出され、党本部において労組対策を担当したが、第11回党大会で解任される。この間、1960年に行われた第29回衆議院議員総選挙に旧東京3区から立候補するが落選。

演じた人物 
 地井武男（NHK『日本の戦後』）

著書 
『回想の二・一スト』（1977年、新日本出版社）

参考 
コトバンク - 伊井弥四郎

脚注 

国鉄労働組合の人物
日本共産党の人物
衆議院議員総選挙の立候補経験者
法政大学出身の人物
岩倉高等学校出身の人物
富山県出身の人物
1905年生
1971年没
『出しちゃいました。』（だしちゃいました）は、白石稔の1作目のミニアルバム。2011年2月9日にLantisから発売された。

概要 
歌手活動デビュー作品。また、以前『白石みのるの男のララバイ』というアルバムをリリースしたが、こちらはテレビアニメ『らき☆すた』に登場したキャラクターの「白石みのる」名義であった。

アルバムの内容は、全体的に80年代から90年代の音楽に影響を受けている楽曲となっていて、主にCHAGE&ASKA、徳永英明、B'z、久保田利伸といったアーティストの影響が色濃く滲み込んでいるとのこと。

収録されている楽曲の作詞、作曲は全て白石自身が手掛けており、白石は「自分が役者というのもあって、詞を聴かせられる曲にしたい」と語っている。

1トラック目に収録されている「ガチでいこうぜ!」は、自身のラジオ番組である『白石稔のガチ無知ラジオ』の第9回からのオープニングテーマとして使用された。

2トラック目と3トラック目の「フ・シ・ダ・ラ・ミ・ダ・ラ」と「そのままで」は、ラジオ『喰霊‐零‐ 超自然災害ラジオ対策室』で自身が同ラジオのパーソナリティの茅原実里の2008年の誕生日の放送回で茅原に送った「みのりんのテーマ」のアレンジバージョンとなっており、楽曲のイメージは白石曰く、「フ・シ・ダ・ラ・ミ・ダ・ラ」（普通バージョン）は茅原の好きなアーティストであるB'zをイメージした曲、「そのままで」（第2バージョン）はレミオロメンとスキマスイッチを足して2で割ったような曲となっているとのこと。また、「みのりんのテーマ」の2曲が本作に収録されることは、白石自身の2010年12月31日のTwitterアカウントにて公表された。

アルバムジャケットの前半分しか無い衣服は漫画「おぼっちゃまくん」の貧保耐三（貧ぼっちゃま）のパロディである。

収録曲 
全作詞・作曲：白石稔
 ガチでいこうぜ!
 編曲：鈴木マサキ
 フ・シ・ダ・ラ・ミ・ダ・ラ
 編曲：鈴木マサキ
 そのままで
 編曲：三宅博文
 SCARS
 編曲：高田暁
 So Sweet
 編曲：菊谷知樹
 明日を迎えに行こう
 編曲：菊谷知樹
 逃避
 編曲：鈴木マサキ

タイアップ

脚注

外部リンク 
 ランティス紹介ページ

2011年のミニ・アルバム
声優のアルバム
ランティスのアルバム
三代目 吉原 朝馬（よしわら ちょうば、1930年11月20日 - 1978年4月18日）は、落語家。本名：西澤 貞一。出囃子∶『ちょんきな』。生前は落語協会所属。

経歴 
1956年に五代目古今亭志ん生に入門、古今亭金助を名乗る。

1959年5月に二ツ目昇進、金原亭朝馬と改名。1965年10月に三代目吉原朝馬を名乗る。

1973年5月に三升家勝彌、橘家圓平、三遊亭さん生、三代目吉原朝馬、柳家小のぶ、柳家かゑる、三升家勝二、桂小益、林家枝二、柳家さん吉の十名で真打昇進。

1978年、膵臓がんのため死去。。

芸歴 
1956年 - 五代目古今亭志ん生に入門、前座名「金助」。
1959年5月 - 二ツ目昇進、「金原亭朝馬」と改名。
1965年10月 - 「三代目吉原朝馬」を襲名。
1973年5月 - 真打昇進。
1978年 - 死去。

人物 

舌足らずで「いってき（一席）お笑いを申し上げます」と聞こえる口跡であったほかは、師匠譲りの瓢々とした語り口であった。

よくやっていたネタは『寄合酒』『子ほめ』『替り目』など。

真っ直ぐな人柄で、師匠相手の将棋でもヨイショ負けしなかったという。

脚注

注釈

出典 

落語家
1930年生
1978年没
膵癌で亡くなった人物
セラム海（セラムかい、Ceram Sea）は、太平洋西部にある海。広さは東西約400km、南北約150km。インドネシアの島嶼によって、境界が形成されており、北から時計回りにオビ諸島、ミソール島、セラム島、ブル島、スラ諸島がある。東西に長い海域であり、北東のハルマヘラ海、南のバンダ海、北西のモルッカ海などと接続している。狭い海域にもかかわらず、活発な地殻変動の影響により水深は深く、オビ諸島近海では4,000mを超えている場所がある。

インドネシアの海域
太平洋の海域
サロネーゼは、主に自宅でサロン（教室）を開催して人気を博している女性たちのこと。分野は美容、リラクゼーション、フラワーアレンジメント、料理、手芸など。

2006年に女性雑誌『VERY』が特集を組んだことから人気が高まった。

関連項目 
 カルチャーセンター、ホームスクーリング、道場
 生涯学習
 食客、ボランティア

女性を指す俗語
労働の形態
月山 翔雲（つきやま しょううん、1984年10月7日 - ）は、日本のシンガーソングライター、タレント。広島県広島市出身。所属事務所はCompAny（コンプ・アニ）。2017年から北広島町観光大使。

人物 
 TVCMやナレーション、ドラマや映画などマルチに活動。
 身長172cm。血液型A型。
 2010年から地元広島で音楽・タレント活動を開始。
 中学生の時にギターを始め、高校生の時にバンドを組みライブ活動を行う。
 高校卒業後の2007年に上京。
 2010年、広島に帰郷。その年に開催されたEXILE Presents「VOCAL BATTLE AUDITION 2」を受け、全国約3万人中300人に残り一次審査通過。音楽活動を本格的に始動するきっかけとなる。
 2016年5月24日、マツダスタジアムで行われた「カープ対巨人戦」で国歌斉唱を務めた。
 2020年から東京と広島で活動している。

ディスコグラフィ

CDシングル 
 SEA SIDE BLUE（2012年10月7日）
 さくら（2014年3月1日）
 Re-start（2016年4月10日）
 Life is colorful（2018年10月21日、CD+DVD）
 HERO（2019年5月1日）
 マーメイド（2019年7月15日）
 おいでよ!キタひろ（2016年10月1日、CD+DVD）北広島町イメージキャラクター「花田舞太郎」テーマ
 メッセージ（2014年8月3日）Team 青麦チャリティーCD

配信シングル 
 愛する汁なし担担麺（2016年9月20日）

アルバム 
 START（2018年10月26日）
 COVERS（2019年12月1日）
 SONGS（2020年3月1日）

参加 
 赤組応援団「RED BLAZE」（2020年5月1日）

タイアップ 
 ごめん遊ばせ！feat.桑原しおり&マリィ凛（2020年）

出演

テレビ 
 イマなま 3チャンネル（2012年4-10月、RCCテレビ）
 恋とか愛とか（仮）（広島ホームテレビ）
 Episode33「狙われる女」（2018年5月） - 裕樹
 Episode46「100％〇〇な女」（2020年8月） - 飲食店店長 高橋雅彦(40)

ラジオ 
 池袋FM『SOLIOTO』（2020年4月3日 - ）

配信 
 月山翔雲のぽるスタライブ（広島ホームテレビ）

脚注

外部リンク 
 オフィシャルサイト
 CompAny（コンプ・アニ）
 YouTubeチャンネル
 
 
 

日本の男性シンガーソングライター
広島市出身の人物
1984年生
存命人物
青木 真樹（あおき まさき）は、日本の映画プロデューサー、テレビプロデューサー。

経歴 
「蟬しぐれ」「感染列島」「S～最後の警官」など、多数の日本映画のプロデューサーを務めている。また、民放テレビの情報番組「たけしのニッポンのミカタ」のプロデューサーも務め、TVCMのプランナー＆プロデューサーも務める。

作品

映画 
 大河の一滴（2001年、東宝）
 メトロポリス（2001年、東宝）
 千年の恋～ひかる源氏物語（2001年、東映）
 ソウル（2002年、東宝）＊アソシエイトプロデューサー
 恋に唄えば（2002年、KADOKAWA)＊エクゼクティブプロデューサー
 卒業（2002年、東宝）
 あずみ（2002年、東宝）＊企画協力
 黄泉がえり（2003年、東宝）
 ドラゴンヘッド（2003年、東宝）
 スウィングガール（2004年、東宝）
 恋人はスナイパー劇場版（2004年、東映）＊企画
 蟬しぐれ（2005年、東宝）　＊協力プロデューサー
 NIN×NIN 忍者ハットリくん THE MOVIE（2005年、東宝）＊製作担当
 あずみ２　death or love（2005年、東宝）＊企画
 虹の女神　Rainbow Song（2006年、東宝）
 どろろ（2007年　、東宝）
 Life 天国で君に逢えたら（2007年、東宝）
 僕の彼女はサイボーグ（2008年GAGA）＊企画
 感染列島（2009年東宝）＊共同プロデューサー
 余命一ヶ月の花嫁（2009年、東宝）
 ボックス！（2010年　東宝）
 大奥（2010年、松竹）
 忍たま乱太郎（2011年、ワーナー）
 クローバー（2014年、東宝）
 マエストロ！（2015年、松竹）
 悪の経典（2012年、東宝）
 大奥～永遠（2012年、松竹）
 プラチナデータ（2013年、東宝）
 だいじょうぶ3組（2013年、東宝）
 寄生獣（2015年、東宝）
 S-最後の警官- 奪還 RECOVERY OF OUR FUTURE　（2015年、東宝）＊プロデューサー 
 関ヶ原（2017年、東宝）

テレビドラマ 
 S-最後の警官（2014年、TBS）＊特別協力

テレビ番組 
 たけしのニッポンのミカタ（2015年～2018年、テレビ東京）＊プロデューサー

テレビCM 
 雪印メグミルク『恵 ガセリ菌SP株ヨーグルト』×映画『S-最後の警官』コラボTVCM　＊CMプランナー／プロデューサー
 イオン『 夏の恵方巻き』×映画『忍たま乱太郎』コラボTVCM　＊CMプランナー／プロデューサー
 JACCSカード×映画『大奥』コラボTVCM　＊CMプランナー／プロデューサー
 白元マスク『快適ガードプロ』×映画『感染列島』コラボTVCM　＊プロデューサー
 オリバーソース「どろソース」×映画『どろろ』コラボTVCM　＊プロデューサー

脚注

外部リンク 
 青木真樹 - 映画.com
 青木真樹 - MOVIE WALKER PRESS
 青木真樹 - キネマ旬報WEB
 青木真樹 - KineNote
 青木真樹 - Weblio辞書
 青木真樹 - 日本映画データベース
 青木真樹 - JFDB日本映画データーベース
 青木真樹 - シネマクエスト
 青木真樹 - allcinema
 青木真樹 - jmdb

日本の映画プロデューサー
日本のテレビプロデューサー
大久保 忠直（おおくぼ ただなお）

 大久保忠直 (戦国武将) - 安土桃山時代から江戸時代初期の徳川家康の家臣、旗本。
 大久保忠直 (彦左衛門) - 江戸時代前期の旗本。上記の戦国武将と同時代人である大久保彦左衛門忠教の孫。
 大久保忠直 (紀州藩士) - 江戸時代中期の紀州藩士。
福井 諒司（ふくい りょうじ、1987年8月7日 - ）は兵庫県出身の元プロサッカー選手。ポジションは、ディフェンダー（DF）。

来歴 
小学２年生で地元サッカーチームにてサッカーを始める。小学5年生よりガンバ大阪のジュニアチームでプレーし、中学進学時にセレッソ大阪のU-15チームに入団。そのままU-18チームへ昇格し、クラブユース選手権やJリーグユースカップなどの各種大会に出場した他、2005年には国民体育大会兵庫県選抜チームに選出され、晴れの国おかやま国体に出場した。

高校卒業後、福岡大学へ進学してサッカー部に入部。同学年に藤田直之、１学年下に永井謙佑。

2010年、東京ヴェルディへ入団。しかしリーグ戦では開幕戦の1試合にのみ出場。翌年は出場機会を求めてギラヴァンツ北九州へ期限付き移籍しリーグ戦33試合に出場するも、リーグ最多の警告処分を受けた。

翌2012年は柏レイソルへ完全移籍。アジアチャンピオンズリーグにも出場した。

2013年、東京ヴェルディへ完全移籍で復帰。2014年には右ハムストリング総腱付着部剥離で手術を行いほぼ1シーズンを棒に振るも、2015年に復帰。シーズン終了後に契約満了による退団が発表された。

2016年、レノファ山口FCへ完全移籍 するも、出場機会に恵まれず、同年6月28日に水戸ホーリーホックへ期限付き移籍する事が発表された。移籍後すぐにポジションを確保。シーズン終了後、水戸へ完全移籍。

2017年シーズンは38試合出場とシーズン通してCBの定位置を確保。

2018年シーズン後半戦はベンチを温める機会が増え、シーズン終了後に契約満了により水戸を退団。同年12月12日、フクダ電子アリーナで行われたJリーグ合同トライアウトに出場した。

2019年1月4日、FC琉球加入が発表された。2021年11月24日、契約満了による退団が発表された。

2022年1月10日、現役引退が発表された。引退後は、大学時代に取得した保健体育の教員免許を活かしてつくばみらい市の茨城県立伊奈特別支援学校で教師を務める傍ら、日立プライドにてアマチュア選手として活動している。

所属クラブ 
 ガンバ大阪ジュニア (猪名川町立大島小学校)
 2000年 - 2002年 セレッソ大阪U-15 (猪名川町立六瀬中学校)
 2003年 - 2005年 セレッソ大阪U-18 (尼崎市立尼崎高等学校)
 2006年 - 2009年 福岡大学
 2010年 - 2011年  東京ヴェルディ
 2011年  ギラヴァンツ北九州 (期限付き移籍)
 2012年  柏レイソル
 2013年 - 2015年  東京ヴェルディ
 2016年  レノファ山口FC
 2016年7月 - 同年12月  水戸ホーリーホック (期限付き移籍)
 2017年 - 2018年  水戸ホーリーホック
 2019年 - 2021年  FC琉球
 2021年 -   日立プライド

個人成績 

|-
|2006||rowspan=2|福岡大||23||rowspan=2|-||colspan="2"|-||colspan="2"|-||1||0||1||0
|-
|2009||19||colspan="2"|-||colspan="2"|-||3||0||3||0
|-
|2010||東京V||31||rowspan=2|J2||1||0||colspan="2"|-||0||0||1||0
|-
|2011||北九州||16||33||3||colspan="2"|-||1||0||34||3
|-
|2012||柏||26||J1||3||0||0||0||0||0||3||0
|-
|2013||rowspan=3|東京V||rowspan=2|6||rowspan=10|J2||27||1||colspan="2"|-||2||0||29||1
|-
|2014||2||1||colspan="2"|-||0||0||2||1
|-
|2015||5||19||0||colspan="2"|-||0||0||19||0
|-
|rowspan=2|2016||山口||14||0||0||colspan="2"|-||colspan="2"|-||0||0
|-
|rowspan=3|水戸||rowspan=4|33||19||3||colspan="2"|-||0||0||19||3
|-
|2017||38||1||colspan="2"|-||0||0||38||1
|-
|2018||21||0||colspan="2"|-||0||0||21||0
|-
|2019||rowspan="3"|琉球||35||0||colspan="2"|-||0||0||35||0
|-
|2020||rowspan="2"|3||19||0||colspan="2"|-||0||0||19||0
|-
|2021||12||1||colspan="2"|-||1||0||13||1
|-
|2022||日立P||23||茨城県2部Aブロック||||||colspan="2"|-||colspan="2"|-||||
|-
3||0||0||0||0||0||3||0
226||10||colspan="2"|-||4||0||230||10
||||colspan="2"|-||colspan="2"|-||||
colspan="2"|-||colspan="2"|-||4||0||4||0
229||10||0||0||8||0||237||10
|}

|2012||柏||26||1||0
|-
!通算!!colspan="2"|AFC
||1||0
|}

 Jリーグ初出場 - 2010年3月14日 J2第2節 対ロアッソ熊本戦 (味の素スタジアム)：後半35分、菊岡拓朗に代わって出場。
 Jリーグ初得点 - 2011年7月2日 J2第19節 対大分トリニータ戦 (本城陸上競技場)

タイトル

チームタイトル 
福岡大学
 2009年 - 第33回総理大臣杯全日本大学サッカートーナメント優勝
柏レイソル
 2012年 - 第92回天皇杯全日本サッカー選手権大会優勝

脚注

関連項目 
 ガンバ大阪の選手一覧#アカデミー出身者
 セレッソ大阪の選手一覧
 東京ヴェルディ1969の選手一覧
 ギラヴァンツ北九州の選手一覧
 柏レイソルの選手一覧
 レノファ山口FCの選手一覧
 水戸ホーリーホックの選手一覧
 FC琉球の選手一覧

外部リンク 

 

日本のサッカー選手
東京ヴェルディ1969の選手
ギラヴァンツ北九州の選手
柏レイソルの選手
レノファ山口FCの選手
水戸ホーリーホックの選手
FC琉球の選手
尼崎市立尼崎高等学校出身の人物
福岡大学サッカー部の選手
兵庫県出身の人物
1987年生
存命人物
深江 卓次（ふかえ たくじ、1967年12月2日 - ）は、日本の俳優。父は深江章喜。

略歴 
テレビドラマ『はぐれ刑事純情派』の新人オーディションにて最終選考を通過、新配属の刑事・三田謙一郎役で正式デビューした。

2013年3月、新規の芸能事務所「ブライエンターテイメンツ」に移籍し再スタートする。

出演

テレビドラマ 
 NHK総合
 秀吉（毛利新助）

 日本テレビ系
 刑事貴族2 第38話「愛ゆえに」（1992年3月6日）
 麻酔(1994年1月 - 3月、よみうりテレビ)
七曲署捜査一係'99（1999年11月26日）

 TBS系
 刑事・野呂盆六「殺意のマリア」（1994年）
 3年B組金八先生第5シリーズ〜第7シリーズ（1999年 - 2005年） - 小田切誠
 ブラック・ジャック2（2000年9月） - 伊吹祐一
 太陽の季節（2002年） - 橘医師
 明智小五郎対怪人二十面相(2002年8月27日)
 おとうさん(2002年10月 - 12月)
 渡る世間は鬼ばかり（2006年 - ）- 浅田和久

 フジテレビ系
 上を向いて歩こう!(1994年4月 - 6月)
 銭形平次 第5シリーズ 第1話「消えた弁財天」（1995年） - 友吉
 おふくろに万歳

 テレビ朝日系
 はぐれ刑事純情派 第3シリーズ〜第4シリーズ（1990年 - 1991年） - 三田謙一郎刑事、第11シリーズ（1998年）（ゲスト出演）
 暴れん坊将軍IV
 第41話「土くれ愛妻武士道」（1992年） - 的場弥一郎
 第72話「お見事、上様の恋指南!」（1992年） - 青江又三郎
 暴れん坊将軍V 第27話「天下御免の偽十手」（1993年） - 仙太
 暴れん坊将軍VI
 第16話「俺は天下の偽将軍」（1995年） - 平吉
 第44話「大江戸あばれ主従」（1995年） - 沢井幸次郎
 新・三匹が斬る! 第7話「座敷童子、見たか聞いたか百万両」（1992年、ANB / 東映） - 多吉
 新・三匹が斬る! 第22話「さらば三匹、死出の旅への王手飛車」（1993年） - 生駒十三郎
 生命燃ゆ　（1992年）
 愛しの刑事　第17話（1993年） - 三上敦史
 四匹の用心棒 (5) かかし半兵衛無頼旅（1993年、テレビ朝日 / 東映） - 虎吉
 殿さま風来坊隠れ旅 第21話「次期将軍は誰!? 御三家女の乱」（1994年） - 徳川治保
 新選組血風録（1998年10月 - 12月） - 斎藤一
 熱血!周作がゆく 第3話「復讐の花嫁幽霊!」（2000年） - 政吉
 京都－札幌雪まつり連続殺人（2002年） - 柳沢高志
 アタックNo.1（2005年4月 - 6月） - 松本悟志

 テレビ東京系
 付き馬屋おえん事件帳 第2シリーズ 第7話「おいらん地獄」（1993年） - 清太郎
 秘書のカガミ 第5話（2008年5月9日） - 田中弁護士

CM 
 日本興亜損保（渡哲也・舘ひろし・神田正輝とともに）

映画 
 大失恋。
 誘拐
 免許がない!
 メッセンジャー

脚注

外部リンク 
 深江卓次ブログ

日本の男優
剣劇俳優
アクション俳優
石原軍団
過去の石原プロモーション所属者
東京都区部出身の人物
1967年生
存命人物
レタス（Lettuce）は、アメリカのジャズ・ファンク/ファンク・バンド。ソウライヴのメンバーとしても知られるギタリストのエリック・クラズノーらによって結成された。

名称の由来は、野菜のレタスではなく「Let us!（俺たちにさせろ!）」という意味から来ている。

来歴 
1992年にバークリー音楽大学のサマー・スクールで、サム・キニンジャー（サクソフォーン）を除くメンバー；エリック・クラズノー（ギター。クラズと表記）、アダム・ダイチ（ドラム）、アダム・スミルノフ（ギター）、エリック・クームス（ベース）、ライアン・ゾアディス（サックス）、ジェフ・バスカー（キーボード）らが知り合い、ジャム・セッションを重ねていった。これがレタスの母体となる。バークリーに全員が進学すると、クラズは2歳年上のサム・キニンジャーと知り合う。クラズは1年後にハンプシャー・カレッジへと転校してしまうが、旧知のメンバーと連絡を取り、1995年にレタスを結成する。もっとも当初は特定の名前は決めておらず、活動内容はハービー・ハンコック（ザ・ヘッドハンターズ）やジェームズ・ブラウン等のファンク・トラックのコピーをしていた。

バンドは老舗ジャズ・クラブのウォリーズを中心に活動を始める。アイアン・ホース・ミュージック・ホールでもライブを行っており、そこにムーン・ブート・ラバーのメンバーとして出演していたアラン・エヴァンス、ニール・エヴァンスの兄弟とは友人の間柄だった。クラズはエヴァンス兄弟に誘われ、1999年にソウライヴを結成。バンドはレタスとしての活動を休止、ドラマーのチャールス・ヘインズをリーダーとして迎え、ザ・スクアッドと改名した。

レタスの活動が再開するのは、2001年、ヴェロア・レコーディングス（エリック・クラズノーの兄、ジェフ・クラズノーのレーベル）主宰のイベント「Dig Deep」からだ。ジョン・スコフィールド、フレッド・ウェズリー、さらにDJロジック、ジェイムス・ハートもライブにゲスト参加。ソウライヴのニール・エヴァンスも参加した。ジョンとフレッドはレタスの再開後、最初のアルバム『アウタ・ヒア』にもゲスト参加している。

2003年11月にブルーノート東京にて来日公演を果たす。この時の模様がアルバム『ライヴ・アット・ブルーノート東京』に収録される。なお、ジェス・バスカーはスケジュールのために参加できなくなり、代役としてニール・エヴァンスが参加した。トランペッターのラショーン・ロスも参加している。

2008年には2枚目のスタジオ・アルバムとなる『レイジ!』をリリース。ニール・エヴァンスがゲストではなく正規メンバーとして加入し、彼の兄弟のアラン・エヴァンスがミキシング・エンジニアとして参加している。カーティス・メイフィールドの「ムーヴ・オン・アップ」をカバーしており、歌手のドゥエレが参加している。

ディスコグラフィ

スタジオ・アルバム 
『アウタ・ヒア』 - Outta Here (2002年、Verour)
『レイジ!』 - Rage! (2008年、Verour)
『フライ』 - Fly! (2012年、Verour)
『クラッシュ』 - Crush (2015年、Lettuce)
『モア・クラッシュモア』 - More Crushmore (2016年、Lettuce)
『エレヴェイト』 - Elevate (2019年、Lettuce)
『リゾネイト』 - Resonate (2020年、Round Hill)
 Unify (2022年、Round Hill)

ライブ・アルバム 
『ライヴ・アット・ブルーノート東京』 - Live at Blue Note Tokyo (2004年、Verour)
 Witches Stew (2017年、Lettuce)

外部リンク 
 公式ウェブサイト

アメリカ合衆国の音楽グループ
ファンク
フジロック・フェスティバル出演者
1992年に結成した音楽グループ
飯田 龍一郎（いいだ りゅういちろう、1985年3月15日 - ）は、兵庫県神戸市出身の元プロ野球選手（投手）。

来歴・人物 
小学3年の時に野球を始める。育英高校では3年夏の県大会初戦で延長11回に2ランホームランを打たれて敗退し、甲子園出場は無し。高校通算18試合、防御率1.75。

2002年度のドラフトで左腕不足に悩む横浜から7巡目指名を受け入団。長身から投げ下ろす速球が魅力の左腕として紹介された。入団後は制球に苦しみ、カーブやフォークを武器とする技巧派として左打者に対するワンポイントリリーフ役で一軍昇格を目指した。

2005年8月21日の対中日ドラゴンズ戦で一軍初登板したが、これが最後の登板となった。2007年10月に球団から戦力外通告を受け、現役を引退。

引退後は、球団職員（横浜DeNAベイスターズ チームマネージャー）に転身。2011年には水谷新太郎元コーチの娘で東京ヤクルトスワローズでウグイス嬢を務める女性と結婚した。

詳細情報

年度別投手成績

記録 
初登板：2005年8月21日、対中日ドラゴンズ15回戦（ナゴヤドーム）、8回裏に4番手で救援登板・完了、1回無失点

背番号 
 60 （2003年 - 2007年）

脚注

関連項目 
 兵庫県出身の人物一覧
 横浜DeNAベイスターズの選手一覧

外部リンク 

日本の野球選手
育英高等学校出身の野球選手
横浜DeNAベイスターズ及びその前身球団の選手
チームマネージャー
神戸市出身の人物
1985年生
存命人物
電気キャンディ（でんきキャンディ）は、女性2人によって構成される日本のロックユニット。元京阪GIRLのメンバーであったマリリンが従妹のミルキーと共に結成。

概要・来歴 
2004年4月、マリリンが以前所属していたバンド、京阪GIRLが解散したのと同時期に、ミルキーが大学進学を理由にマリリンの居住する大阪府へ転居。それが切っ掛けとなりユニット結成に至ったとされる。「出会った瞬間に運命を感じた」と本人は語っている。

楽曲制作はミルキーが作詞、マリリンが作曲を担当するというスタンスで行う。

2006年10月にはドラマ「イヌゴエ」のタイアップを獲得。

その後もさまざまなタイアップを獲得し3枚のシングルと1枚のフルアルバムを発売し精力的に活動をする。

主催イベントの「DENKI SHOCK PARTY」ではエイプリルズやEelをゲストに迎えた。

2008年11月、MINAMIWHEEL2008でのステージを最後に活動休止。
ミルキーは「Milky way」としてソロ活動を開始。
マリリンはRitsukoとして少年ナイフのベーシストとして正式メンバーとなる（2021年脱退）

マリリンはLitsukoとして2020年よりrumania montevideoの三好誠とmophing people結成。

メンバー 
 マリリン（Ritsuko、Litsuko）（7月21日 - ）
 ギター、ボーカル担当。また楽曲の作曲も行う。大阪府出身。血液型はA型。
 ミルキー（12月20日 - ）
 ギター、ボーカル担当。また楽曲の作詞も行う。静岡県出身。血液型はB型。

作品

シングル 
 MY LOVER 〜すきだよダーリン〜 （2006年10月06日）
 ドラマCD『てけてけマイハート』テーマ曲
 MY LOVER 〜すきだよダーリン〜
 アンテナ
 MY LOVER 〜すきだよダーリン〜 (Instrumental)
 アンテナ (Instrumental)
 Goodbye and kiss me （2006年11月22日）
 ドラマ『イヌゴエ』エンディングテーマ
 M-2「Electric candy」: ドラマ『イヌゴエ』オープニングテーマ
 Goodbye and kiss me
 Electric candy
 Looking for you
 Goodbye and kiss me (Instrumental)

アルバム 
 Electric Candy （2006年06月21日）
 Electric Candy
 Pink sea
 Looking for you
 マージナルマン
 電気ショック （2007年07月04日）
 M-2「Hello! Hello!」: 関西テレビ『ミュージャック』2007年7月度オープニングテーマ
 M-7「メラリーニョ」: アニメ『暴君ハバネロ』テーマ曲
 Cat+Dog
 Hello! Hello!
 おしゃれ泥棒
 Goodbye and kiss me
 ウインクキラー
 チョコレート天国
 メラリーニョ
 マージナルマン
 アンテナ
 Electric Candy

外部リンク 

日本のポップ・グループ
日本の音楽ユニット
WWEグレート・ボールズ・オブ・ファイヤー（Great Balls of Fire）はアメリカのプロレス団体WWEが主催する、プロレス興行の名称。また、同興行を扱うPPVの名称である。2017年にRAWブランドにて新設された。グレート・ボールズ・オブ・ファイヤーはアメリカ南部に伝わるスラングで「マジかよ」、「信じられない」などの驚きを意味する。

試合結果

第1回大会（2017年）WWE Great Balls of Fire 
 開催日 : 7月9日
 開催場所 : テキサス州ダラスのアメリカン・エアラインズ・センター
 観客動員数 : 16,579人
 公式大会曲 : ジェリー・リー・ルイス - Great Balls of Fire

 キックオフ・ショー -Kickoff Show-/WWEクルーザー級王座戦 -WWE Cruiserweight Championship-
 ○ネヴィル(c) vs 戸澤陽(w / タイタス・オニール)●

 ○ブレイ・ワイアット vs セス・ロリンズ●

 ○ビッグ・キャス vs エンツォ・アモーレ●

 30分アイアンマン・マッチ形式WWE RAWタッグチーム王座戦 -30 minute Iron Man Match for the WWE Raw Tag Team Championship-
 ○シェイマス&セザーロ(c) vs ハーディー・ボーイズ(マット・ハーディー&ジェフ・ハーディー)●

 RAW女子王者決定戦 -WWE RAW Women's Championship-
 ●アレクサ・ブリス(c) vs サシャ・バンクス○
 アレクサのリングアウト負けのため王座移動は無し。

 インターコンチネンタル王座戦 -WWE Intercontinental Championship-
 ○ザ・ミズ(w / マリース & ミズトラージ(ボー・ダラス&カーティス・アクセル))(c) vs ディーン・アンブローズ●

 アンビュランス・マッチ  -Ambulance Match-
 ○ブラウン・ストローマン vs ロマン・レインズ●
 試合後、脱出したレインズが今度は逆にストローマンを救急車内へ叩き込み、救急車をバックでトラックにぶつけ ひしゃげさせたため後方ドアが開かなくなる。

 ○ヒース・スレイター vs カート・ホーキンス●
 上記によるストローマン救出に映像が前後割かれてしまい、試合は最後の22秒間は全く放映されず。レフリーの3カウントとリング音とリングアナの声が確認できる。試合時間も2分26秒という短いものであった。

 WWEユニバーサル王座戦 -WWE Universal Championship-
 ○ブロック・レスナー(w / ポール・ヘイマン)(c) vs サモア・ジョー●

脚注

外部リンク 
 WWE Great Balls of Fire PPV Dallas （英語）

WWEのPPVイベント

de:WWE#Pay-per-Views
ミス・ユニバース1956（Miss Universe 1956、第5回ミス・ユニバース世界大会）は1956年7月20日にアメリカ合衆国カリフォルニア州ロングビーチ市立公会堂で開催された。30か国の参加者が舞台に上り、19歳のキャロル・モリスがアメリカ代表「ミスUSA」として2人目の優勝者となった。彼女は大会の慣例通り、前年の優勝者であるスウェーデンのヒレヴィ・ロンビンから栄冠を授けられた。日本からは馬場祥江が参加した。

最終結果

入賞者
{| class="wikitable sortable" style="font-size:95%;"
|- 
! 最終結果
! 参加者
|-
| ミス・ユニバース1956
|
  – キャロル・モリス (Carol Morris)
|-
| 第2位|
  – マリーナ・オルシェル (Marina Orschel)
|-
| 第3位|
  – イングリッド・グーデ (Ingrid Goude)
|-
| 第4位|
  – イリス・アリス・カスリーン・ウォーラー (Iris Alice Kathleen Waller)
|-
| 第5位|
  – ロッサナ・ガリ (Rossana Galli)
|-
| トップ15|
  – イレアナ・カレ
  – リュシエンヌ・オキエ
  – マリア・ホセ・カルドーゾ
  – マルシア・ロドリゲス
  – アニータ・トレイエンズ
  – リタ・ゴウマ
  – サラ・タル
  – エルナ・マルタ・バウマン
  – ローラ・サボガル
  – ブランカ・エレディア
|}

 参加者 

  アラスカ - バーバラ・マリア・セラー
  – イレアナ・カレ
  - リュシエンヌ・オキエ
  - マリア・ホセ・カルドーゾ
  イギリス領ギアナ - ロザリンド・イヴァ・ジョーン・ファン
  - エレイン・ビシェンデン
  - コンセプシオン・オバク・チャカナ
  - アナベラ・グラナドス
  - マルシア・ロドリゲス
  - オルガ・フィアロ・オリヴァ
  - メルセデス・フロレス・エスピン
  - イリス・アリス・カスリーン・ウォーラー
  - アニータ・トレイエンズ
  - マリーナ・オルシェル
  - リタ・ゴウマ
  - イレアナ・ガルリンゲル・ディアス
  - リタ・シュミット
  - グズラウグ・グズムンズドッティル
  - サラ・タル
  - ロッサナ・ガリ
  - 馬場祥江
  - エルナ・マルタ・バウマン
  - ローラ・サボガル
  - イサベル・エスコバル・ロドリゲス
  - パキタ・ヴィヴォ
  - イングリッド・グーデ
  - ジャン・ユサル
  - ティティアナ・アギーレ
  - キャロル・モリス
  - ブランカ・エレディア

ノート
初参加

  イギリス領ギアナ   再参加

1953以来の参加:
 1954以来の参加:
 交代者
  - エディス・ノーブレ・ナクピルはイサベル・エスコバル・ロドリゲスに交代した。

不参加・辞退者

  セイロン   - ミルヴァ・オルヴォッキ・アルヴィネン
      特別賞
  - ミス・フレンドシップ（アナベラ・グラナドス）
  - ミス・フォトジェニック（マリーナ・オルシェル）
 ''' - 一番人気女性（キャロル・モリス）

参考文献一覧

脚注 

1956
カリフォルニア州の歴史
カリフォルニア州ロングビーチ
1956年のアメリカ合衆国
アメリカ合衆国の美人コンテスト
1956年7月
柏田 道夫（かしわだ みちお、1953年 - ）は、日本の脚本家、シナリオ講師、小説家。

人物 
シナリオ・センターの講師も務める。青山学院大学文学部日本文学科卒業。

ストレス解消は映画観賞で、年間130〜150本の作品を映画館で観る。

作品

映画 
 GOTH リストカット事件（2008年）作劇
 武士の家計簿（2010年）脚本
 武士の献立（2013年）脚本
 島守の塔（2021年夏公開予定）脚本（五十嵐匠と共同脚本）

テレビドラマ 
 大江戸事件帖 美味でそうろう（2015年12月4日- 5日、BS朝日）脚本
 小説『矢立屋新平太版木帳』の映像化作品。

著書

シナリオ作法 
 『月刊ドラマ別冊』 シリーズ（映人社）
 エンタテイメントの書き方1（1999年、）
 エンタテイメントの書き方2（2001年、）
 エンタテイメントの書き方3（2012年、）
 企画の立て方（2008年、 ）
 『シナリオ教室シリーズ』
 1億人の 超短編シナリオ実践添削教室（2011年、言視舎、ISBN 978-4905369035）
 [超短編シナリオ]を書いて小説とシナリオをものにする本（2011年、言視舎 ISBN 978-4905369165）
 小説・シナリオ 二刀流 奥義（2015年、言視舎、ISBN 978-4865650419）
 シナリオの書き方 - 映画・TV・コミックからゲームまでの創作実践講座（2012年、映人社、ISBN 978-4871002318）

小説 
 桃鬼城伝奇（1995年、学習研究社、ISBN 978-4054005853 ）
 第2回歴史群像大賞を受賞
 二万三千日の幽霊（1995年） 
 『甘美なる復讐 - 「オール読物」推理小説新人賞傑作選〈4〉』（1998年、文芸春秋、ISBN 978-4167217686）収録
 第34回オール讀物推理小説新人賞を受賞。
 疾風独楽 - つむじ風お駒事件帖（2000年、徳間書店、ISBN 978-4198611378）
 水に映る - 江戸水景夜話（2002年、講談社、ISBN 978-4062112796）
 武士の料理帖（2011年、毎日コミュニケーションズ、ISBN 978-4839938826）
 矢立屋新平太版木帳（2015年、徳間書店、ISBN 978-4198940300

コラム 
 月刊ドラマ - 「アカデミー受賞作に学ぶ作劇術」2011年現在連載中
 公募ガイド

関連人物

脚注

注釈

出典 

映画理論家
20世紀日本の小説家
21世紀日本の小説家
20世紀日本の劇作家
21世紀日本の劇作家
20世紀日本の脚本家
21世紀日本の脚本家
日本のテレビの脚本家
日本の映画の脚本家
青山学院大学出身の人物
1953年生
存命人物
新井 良作（あらい りょうさく、1879年（明治12年）7月14日 - 1939年（昭和14年）8月12日）は、明治から昭和時代前期の政治家。官選初代熊谷市長。

経歴 
熊谷町に生まれる。1902年（明治35年）3月に埼玉県大里郡書記、1914年（大正3年）3月に第二課長、1921年（大正10年）6月に熊谷町助役を経て、1929年（昭和4年）10月に同町長に就任する。1933年（昭和8年）5月21日に市制施行と同時に官選初代熊谷市長となった。

在任中は、市章の制定、市営屠場の開設、畜産の振興などを図った。また、学校看護婦制の新設、市立病院の整備、市立女学校の開設などに尽力した。

ほか、義和団の乱、日露戦争に従軍した。

栄典 
 1901年（明治34年）12月28日 - 勲八等白色桐葉章
 1906年（明治39年）4月1日 - 勲七等瑞宝章
 1932年（昭和7年）9月9日 - 勲六等瑞宝章
 1935年（昭和10年）3月 - 軍事功労章

脚注

参考文献 
 
 

熊谷市長
北清事変の人物
日露戦争の人物
勲六等瑞宝章受章者
勲七等瑞宝章受章者
勲八等白色桐葉章受章者
埼玉県出身の人物
1879年生
1939年没
シマンテック (Symantec) は、AIカンパニーとしてスタート。2022年で設立されてから40年になるエンドポイント製品の老舗ブランド。

現在は半導体などの製造販売を行うブロードコム社が買収し、ソフトウェア事業の一部として製品開発がおこなわれている。法人向けエンドポイントセキュリティのSEPの愛称で認知されているSymantec Endpoint Protectionに加え、EDRやモバイル対応がなされたSymantec Endpoint Securityを販売している。旧シマンテックはノートンライフロックを経てジェン・デジタルに社名を変更し、個人向けセキュリティ製品のノートンを販売している。現在のシマンテックは「ブロードコムのセキュリティ事業のブランド名」である。

歴史 
1982年、人工知能や自然言語の研究家であるゲイリー・ヘンドリックスが自身の研究のためにシマンテックを設立し、当初は人工知能や、それに関連するデータベースソフトウェアの研究に注力した。1984年にC&Eソフトウェアと合併したことから本格的にコンピュータソフトウェアの事業に乗り出し、翌1985年には最初の製品として、データベースソフトウェアにワープロソフトを兼ね備えたソフトウェア"Q&A"を発売した。

1990年にピーター・ノートンが設立したピーター・ノートン・コンピューティング社を買収し、コンピュータメンテナンス/セキュリティソフトの『ノートン』シリーズの開発販売を引き継いでいる。またコンピュータウイルスをはじめとするコンピュータセキュリティの対策やマネージメントを行っている。

2000年代から2010年代前半までは企業買収を繰り返し拡大の一途をたどった。2003年にPowerQuestを買収、2004年にVERITAS Softwareと合併を発表し、2005年に合併を完了した。また、2007年にAltirisを、翌2008年にはVontuを買収した。2010年、認証局（CA）サービス世界最大手のベリサインの証明書・セキュリティ事業部門を取得した。2016年にはパスワード保護システムを構築するLifeLockを買収した。

一方では、2012年以降業績の悪化が続き、短期間でのCEOの交代を繰り返すようになった。また2015年にはGoogle.comなどの複数のドメインのテスト証明書を所有者の知らないうちに発行していた事が発覚し、その2年後の2017年には業界標準の監査を行わずにSSL/TLS証明書を発行するなど様々な問題が発生していたことが明らかとなり、ついに同年9月にGeoTrust、VeriSign、RapidSSLなどのブランドで提供していたルート証明書をGoogle Chromeに信頼されなくなるという事態に陥った。のちに、Mozilla Firefox、Apple、Microsoftなど主要なウェブブラウザとオペレーティングシステムも同様の処置を行う事となった。シマンテックは、この問題から逃げるように同年8月に証明書発行などのWebサイトセキュリティ事業をデジサートに売却していた。

2019年、11月にはブロードコムがシマンテックを買収した。ブロードコムは2020年4月には、サイバーセキュリティサービス事業のみをアクセンチュアに売却した。民生向け事業はジェン・デジタルが行なっている。ブロードコムは、ソフトウェア事業を維持しながら拡大を続け、現在もセキュリティ事業の大幅な投資を続けている。

主な製品 
 Symantec Endpoint Protection（SEP）
 Symantec Endpoint Security（SES)
 Symantec Email Security.Cloud Service（ESS）
 Symantec Ghost Solution Suite（GSS)
 Symantec Web Security Service（WSS）

関連項目 
 ブロードコム
 ジェン・デジタル

脚注

外部リンク 
 ブロードコム
 シマンテック
 サイバネット

しまんてっく
ブランド
1982年設立の企業
ソフトウェア会社
アプリケーションソフト (製品)
ソフトウェアの歴史
コンピュータセキュリティ企業