stanford-oval/wikipedia huggingface dataset:
スヴェン・ゴドウィンソン
亡命

デハイバース遠征からの帰還途中、スヴェンはレミンスター女子修道院（英語版）の女子修道院長であるエアドギフを誘拐し、母国に連れて帰ったという。おそらくは彼女と結婚し、レミンスター地方における広大な領土を手に入れようとしたのであろう。スヴェンのこの行為を耳にしたイングランド王エドワード懺悔王は、スヴェンとエアドギフの結婚を認めず、エアドギフを修道院に送還させた。1047年後半、スヴェンはイングランドを抜け出し、フランドル伯ボードゥアン5世のもとに亡命した。
亡命生活を送るスヴェンは、イングランドからまずフランドルへと向かい、その後デンマークに亡命したのちに、1049年にイングランドに帰還して国王に謝罪の弁を述べた。彼はデンマークにて何らかの罪を犯し、追放されたようだ。スヴェンの弟ハロルド・ゴドウィンソンと従兄弟ビヨルン・エストリズソン（英語版）は、初めはスヴェンのイングランド帰還に反対していたものの、最終的にビヨルンが折れ、スヴェンの帰還事業を支援することに同意したという。
スヴェンはイングランドに帰還してビヨルンと共にイングランド王に謁見したものの、なんとスヴェンは自分の帰還を支援してもらっていた従兄弟のビョルンを殺害した。そして彼はまたもや追放された。スヴェンは niðing（名誉のない男）と激しく糾弾され、イングランドから追放されたのだった。
亡命 > 免罪

激しく糾弾されたスヴェンだったが、彼は殺人という罪を犯したにもかかわらず免罪されたそうだ。そして続く1050年には伯爵の地位が回復された。これはスヴェンの父親ゴドウィン伯が国王に嘆願したことによる免罪だと主張する者もいれば、ヨーク大司教エルドレッド（英語版）またはウースター司教（英語版）エルドレッド（聖地巡礼からイングランドに帰還する途中、フランドルにて亡命中のスヴェンに遭遇していた）らの嘆願に依る免罪だと主張する者もいる。
2度目の亡命

王からの赦免を受けたスヴェンであったが、再び亡命せざるを得ない状況に追い込まれた。父親のウェセックス伯ゴドウィンをはじめとするゴドウィン家（英語版）一族とイングランド国王が対立し、一族皆が亡命に追い込まれたのだ。特にスヴェンは最も厳しい判決を受けたとされ、スヴェンは再びフランドルへ逃げ込んだ。その後スヴェンは二度とイングランドに戻ることはなかった。
2度目の亡命 > 聖地巡礼と死

2度目の亡命生活中、スヴェンは自身が侵した罪深い行為に苛まされ続けたとされ、悔い改めるためにエルサレムへの裸足での巡礼を行ったという。そして聖地からフランドルへ帰還する途中、殺害された。殺害された場所は文献によりまちまちである。
スヴェンにはハーコン・スヴェンソン（英語版）という息子がおり、ハーコンは人質としてノルマンディー公国に留め置かれていたという。彼は1064年までにハロルド・ゴドウィンソンによってイングランドに連れ戻されたとされているが、ハーコンの素性についてはそれ以上何も分かっていない。
スヴェンの長きにわたる亡命生活と突然の死により、ゴドウィン家家長の座はハロルド・ゴドウィンソンに引き継がれた。
家系図

クヌート大王の家系図
文献

Anglo-Saxon Chronicle
Barlow, Frank (1970). Edward the Confessor. University of California Press. https://archive.org/details/edwardconfessor00barl
Barlow, Frank, ed (1962). Vita Ædwardi Regis qui apud Westmonasterium requiescit: The Life of King Edward who rests at Westminster. London
DeVries, Kelly (1999). The Norwegian Invasion of England in 1066. Boydell Press. pp. 108–114. ISBN 1-84383-027-2
吉井香奈恵

| よしい かなえ 吉井 香奈恵 |
| --- | --- |
生年月日:   (1993-04-08) 1993年4月8日（31歳）
出身地:  大阪府
国籍:   日本
民族:  日本人
身長:  158cm
血液型:  AB型
職業:  歌手
ジャンル:  J-POP
活動期間:  2010年 - 現在
活動内容:  元9nineメンバー （2010年 - 2019年）
配偶者:  あり（2023年 - ）
公式サイト:  吉井香奈恵 (@yoshiikanae) - X（旧Twitter） 吉井香奈恵 (@yoshiikanae) - Instagram
備考
 YouTube
チャンネル:   KANCHANNEL（かんちゃんねる） 
活動期間:  2020年4月22日 -
ジャンル:  芸能、音楽
登録者数:  922人
総再生回数:  32,123回
チャンネル登録者数・総再生回数は 000000002022-02-08-00002022年2月8日時点。
 
テンプレートを表示
吉井 香奈恵（よしい かなえ、1993年〈平成5年〉4月8日 - ） は、日本の歌手・生放送配信者（ライバー）。女性アイドルグループ・9nineの元メンバーである。大阪府出身。愛称は「かんちゃん」。
略歴 > 9nine加入前

2003年、「FLASH STAR」というオリジナルダンスチームで、OCAT DANCE CHAMPIONSHIP 決勝進出。
2009年5月、「ORC200 第13回ヴォーカルクイーンコンテスト」グランプリを受賞。
2010年6月、「閃光ライオット」3次ライブ審査大阪大会に出場。
略歴 > 9nine時代（2010年 - ）

2010年7月27 - 29日、9nineメンバー選抜合宿に参加。
2010年9月9日、選抜合宿の最終選考に合格し、9nineに加入。
2010年10月9日、「9nineのオールナイトニッポンR」がスタート、ラジオ初出演。
2010年10月11日、MX-TV『Go!Go!9nine』がスタート、TV初出演。
2010年11月6日、「STAR DRIVER 輝きのタクト」綺羅星十字団・秋の総会＠品川ステラボールにて「Cross Over」初パフォーマンス。
2010年11月23日、『AgeStock2010 in 横浜アリーナ』スペシャルライブに出演。
2010年12月1日、村田寛奈と共に9nine新加入メンバーとしてファンの前で9nine名義のイベントに初出演。今年を漢字一文字で表すと?と聞かれ「叶」と書き、「今この瞬間、歌手になるという私の夢が叶えられた」と語った。
2012年10月、ミュージカル『マクロス ザ・ミュージカルチャー』で、ヒロインのさくら・クロフォード役を演じる。
2013年3月13日、所属する9nineのアルバム「CUE」にてソロ曲「Sparkling Days」を歌いアルバム内ソロデビューを果たす。
2018年1月、『林愛夏の音楽準備室2』がスタート。レギュラーとしてヴォーカルパートナーを担当。
2018年9月、『ベストボディ・ジャパン2018横浜大会』ガールズクラスに出場し、ファイナリストに選出。
略歴 > 9nine卒業後（2019年 - ）

| 映像外部リンク |
| --- | --- |
 blue but white official
  【MV full】lonely fireworks feat.吉井香奈恵
2019年
5月20日、9nineを脱退し、芸能界から引退することを発表。
10月1日、Instagramにて、ワンマンライブ「Rêve(フランス語で夢)」開催を発表。チケットは即完売(10月9日)。
11月4日、『Rêve(リーヴ)～Kanae Yoshii Premium First Soro Live～』がBLUES ALLEY JAPANにて開催。歌手活動を再開させる。ゲスト出演 沢井美空、YUSA。blue but whiteが「lonely fireworks feat.吉井香奈恵」をリリース。
11月6日、Instagramにて、M∞カード「Subway / Dear Friend」リリースを発表。
12月1日、ライブ配信17 Liveをはじめる。ライバー名は かんちゃん🌼🎤kanae。
12月18日、ソロfirst音源「Subway / Dear Friend」(エムカード)をリリース。この日YUSAのワンマンライブにゲスト出演する。
12月21日、リリースイベント・ミニLIVEがHMVエソラ池袋にて開催される。
12月22日、『Subway / Dear Friend リリース記念ライブパーティ～クリスマス～』が五反田SoyLatte STUDIOにて3部開催される。 2020年4月22日阿倍野ROCKTOWNにてのバースデーワンマン開催を発表される。
12月24日、muevo commuity オンラインサロンを始める。
12月29日、南青山RED SHOESにて『GIRLS ON FIRE vol.6～忘年会』ライブ参加。大門弥生、YUSA共演。
2020年
1月1日、blue but white「lonely fireworks feat.吉井香奈恵」のMVがyoutubeにて公開される。ソロ活動と並行してblue but whiteに加入参加が発表される。
1月12日、3月20日ワンマンライブ『ACOUSTTIC LIVE 2020～Rêve』、blue but whiteワンマンライブ『blue but white live 2020』ラドンナ原宿にて開催を発表。
4月22日、自身のYouTubeチャンネル『KANCHANNEL』（かんちゃんねる）を開設。
9月30日、大阪・阿倍野ROCKTOWNにて『吉井香奈恵 BIRTHDAY ONE MAN LIVE in 大阪～Lv.27～』を開催。当初は自身の誕生日から2週間後の4月22日に開催される予定だったが、新型コロナウイルス感染症流行に伴う緊急事態宣言により、5か月遅れての開催となった。なお、延期日は9nineの同僚である西脇彩華の28回目の誕生日であった。
2021年
7月22日、初のソロ・アルバム『My Treasure』をリリース。発売当日にはラドンナ原宿にて『吉井香奈恵 SUMMER LIVE PARTY』が開催された。
2023年
3月、結婚を発表。
2024年
4月、第一子妊娠を発表。
人物

ダンスを始めたのは3歳のときで、歌を始めたのは中学生からである。
9nineのアルバム「CUE」におけるアルバム内ソロデビュー曲「Sparkling Days」は、歌詞は7つほどの中から選び、家族、恋人、友達など、それぞれの大切な人を想える曲になるように選んだ。ハモりもコーラスもすべて本人が行なっている。歌うときの心構えは、歌詞の意味を理解して伝え、楽しみ、伝える気持ちを持って歌うことである。また、ギターを弾くことができ、弾き語りで、オリジナル楽曲も披露している。
元NMB48の山本彩はリトルキャット（芸能スクール）時代の同窓生である。 2013年、音楽番組『MUSIC JAPAN』（NHK）の収録現場において二人は久しぶりの再会を果たしている。
性格は甘えん坊でさびしがり屋、デレデレキャラ、変顔が上手いこと、チャームポイントは目力が強い部分こと。
趣味･特技は、散歩、星占いチェック、ギター、カラオケ、ものまね(ものまねレパートリーはハーマイオニー・グレンジャー（ハリーポッター）、ピカチュウ（ポケットモンスター）)。
習い事:英会話
好きなスポーツ:スキー、サッカー
好きな映画:ハイスクールミュージカル
好きな言葉:「努力の分だけ花が咲く」
好きな食べ物:いもけんぴ、生姜紅茶、ケーキ（タルト系、ベリー系）、お寿司、パン、お好み焼き、串かつ
好きな色:ブラウン、ピンク
将来の夢:ソロデビュー、9nineを大きくする、ミュージカル出演、モデル出演、一人暮らし、英会話、海外に行くこと、結婚
大事なもの:家族、メンバー、iPhone、蜂蜜のあめちゃん
一番嬉しかったこと:9nineオーディションに合格し、歌手デビューの夢が叶ったこと
行ってみたい地域:ハワイ（アメリカ合衆国）、タヒチ（フランス領ポリネシア）
好きなタイプ:夢を持っていて、何かに打ち込んでいる人、優しくて男らしい人、ガタイがいい人、ちゃんと自分を持っていて、その人らしく輝いている人
告白シチュエーション:放課後の教室で二人きりの時に告白
休日の過ごし方:メンバー、友達とランチ、買い物
愛犬:名前はアロマ、ブラウン色のポメラニアン
ストレス発散法:買い物、スイーツを食べる
9nineで一番好きな曲:「流星のくちづけ」
好きな俳優:ザック・エフロン
好きなファッションブランド:dazzlin、ParAvion
愛用の部屋着:ジェラードピケのもこもこパーカー
憧れの女性像:吉川ひなの、梨花、長谷川潤、エマ・ワトソン
好きな買い物スポット:渋谷、新宿、原宿、梅田、心斎橋
かんちゃん語:おはよう→ぐっどもー こんにちは→ぐったぬー こんばんは→ぐっいぶー お疲れ様→おつかんちゃん おやすみ→ぐんないん
人物 > 9nine

9nineメンバーとしての夢は「みんなから憧れられるアーティストになる事」、9nineメンバーで夢の国に遊びに行くことである。
メンバーとやりたい事は、生バンドで歌う、5人でアカペラを歌うこと。
9nineとしての目標は、武道館公演を行うことをあげている。
メンバーの村田寛奈と2人で「チーム関西」を自称している。
作品

| 映像外部リンク |
| --- | --- |
 KANCHANNEL
  吉井香奈恵「Answer」MV
  吉井香奈恵「Answer」DANCE PRACTICE VIDEO
作品 > シングル > エムカード(ダウンロード・カード)

Subway / Dear Friend（2019年12月18日）
サウンドプロデュース:Tokyo Music Lovers、カードデザイン:YUSA
Subway - YouTube Music
Dear Friend - YouTube Music
作品 > アルバム

| # | タイトル | 作詞 | 作曲 | 編曲 | 楽曲配信開始日 （2021年） | 時間 |
| --- | --- | --- | --- | --- | --- | --- |
| 1. | 「Aim」 | 吉井香奈恵 | Tokyo Music Lovers | Tokyo Music Lovers | 1月1日 | 3:52 |
| 2. | 「mono.」 | Tokyo Music Lovers | Tokyo Music Lovers | Tokyo Music Lovers | 2月1日 | 3:03 |
| 3. | 「Are You READY?」 | Tokyo Music Lovers | Tokyo Music Lovers | Tokyo Music Lovers | 3月1日 | 3:00 |
| 4. | 「Answer」 | Tokyo Music Lovers | Tokyo Music Lovers | Tokyo Music Lovers | 4月8日 | 2:44 |
| 5. | 「This Time」 | SCONE BEATS | SCONE BEATS | SCONE BEATS | 5月31日 | 3:57 |
| 合計時間: | 合計時間: | 合計時間: | 合計時間: | 合計時間: | 合計時間: | 16:36 |
出演

→9nineとしての出演については「9nine」を参照
出演 > ミュージカル

マクロス ザ・ミュージカルチャー（2012年10月3日 - 8日、東京ドームシティーホール） - さくら・クロフォード 役
出演 > 舞台

劇団TEAM-ODAC第29回本公演『HOME〜いつか帰るよ、僕だけのHOME〜』（2018年5月9日 - 14日、紀伊国屋ホール）- 真夏 役
宮崎理奈プロデュース公演『不思議の国のカンタータ』（2019年2月13日 - 17日、CBGKシブゲキ!!）- エレーナ 役
出演 > テレビ

好好!キョンシーガール〜東京電視台戦記〜（2012年10月12日 - 12月21日、テレビ東京） - 吉井香奈恵 役
THE REFLECTION -ザ・リフレクション-（2017年7月22日 - 10月7日、NHK総合） - カナエ 役
出演 > WEB

カナデジ 〜吉井香奈恵とデジタルカメラ〜（2014年 - 、ASCII.jp）
林愛夏の音楽準備室2（2018年1月9日 - 、FRESH!）- ヴォーカルパートナー
出演 > WEBラジオ

関西姉妹RADIO （2013年6月6日 - 2015年4月21日、 9nine OFFICIAL SITE|ファンクラブの9nine）
出演 > ライヴ・イベント

Rêve Kanae Yoshii Premium First Solo Live （2019年11月4日、BLUES ALLER JAPAN）
山城青谷駅

| 山城青谷駅 |
| --- | --- |
 東口（2023年10月）
  やましろあおだに  Yamashiro-Aodani  
 ◄JR-D13 長池 (2.0 km) (1.3 km) 山城多賀 JR-D15►
 ja
所在地:  京都府城陽市市辺五島88北緯34度49分42.50秒 東経135度47分59.72秒﻿ / ﻿北緯34.8284722度 東経135.7999222度﻿ / 34.8284722; 135.7999222座標: 北緯34度49分42.50秒 東経135度47分59.72秒﻿ / ﻿北緯34.8284722度 東経135.7999222度﻿ / 34.8284722; 135.7999222
駅番号:  JR-D14
所属事業者:  西日本旅客鉄道（JR西日本）
所属路線:  ■奈良線
キロ程:  10.7 km（木津起点） 奈良から17.7 km
電報略号:  アオ
駅構造:  地上駅（橋上駅）
ホーム:  2面2線
乗降人員 -統計年度-:  1,724人/日 -2023年-
開業年月日:  1926年（大正15年）2月13日
備考:  業務委託駅
 * 1933年までは青谷梅林仮停車場。
テンプレートを表示
山城青谷駅（やましろあおだにえき）は、京都府城陽市市辺五島にある、西日本旅客鉄道（JR西日本）奈良線の駅である。駅番号はJR-D14。
歴史

1926年（大正15年）2月13日：奈良線の長池駅 - 玉水駅間に、青谷梅林仮停留場として開業。
1933年（昭和8年）12月1日：正式な駅に昇格。同時に山城青谷駅に改称。
1972年（昭和47年）4月1日：貨物の取り扱いを廃止。
1984年（昭和59年）10月20日：駅員無配置駅となる。荷物扱い廃止。
1987年（昭和62年）4月1日：国鉄分割民営化により、西日本旅客鉄道（JR西日本）の駅となる。
1995年（平成7年）9月：コミュニティセンター併設の旧駅舎完成。
1999年（平成10年）1月26日：自動改札機を設置し、供用開始。
2003年（平成15年）11月1日：ICカード「ICOCA」の利用が可能となる。
2018年（平成30年）3月17日：駅ナンバリングが導入され、使用を開始。
2022年（令和4年）7月23日：橋上駅舎および自由通路の供用を開始。
2023年（令和5年）4月3日：駅東側交通広場が完成。
旧駅舎（2008年7月）
駅構造

相対式ホーム2面2線を持つ行違い可能な地上駅で、橋上駅舎を有する。コンコースは駅の東西を結ぶ自由通路を兼ね、東西に改札内外共用のエレベータが設置されている。2022年（令和4年）7月23日に供用を開始した駅舎のデザインは、屋根の部分は青谷の山並み、列柱は梅の木立をモチーフとしている。1階東側に公衆トイレがある。この自由通路により駅西側へ行く際に踏切を渡る必要がなくなった。
宇治駅が管理し、JR西日本交通サービスが駅業務を受託している業務委託駅である。日中は普通列車同士の交換がある（2016年3月現在）。
自動改札機は簡易式で、ICカード乗車券「ICOCA」が利用することができる（相互利用可能ICカードはICOCAの項を参照）。
上記通り、業務委託駅だが駅員は終日配置されてはいない。
駅構造 > のりば

| のりば | 路線 | 方向 | 行先 |
| --- | --- | --- | --- |
| 1 |  奈良線 | 上り | 宇治・京都方面 |
| 2 |  奈良線 | 下り | 木津・奈良方面 |
改札口（2023年10月）
利用状況

JR西日本の移動等円滑化取組報告書によれば、2023年度の1日当たりの利用者数は1,724人。京都府統計書によると、1日の平均乗車人員は以下の通りである。
| 年度 | 一日平均 乗車人員 |
| --- | --- |
1999年: 1,088
2000年: 1,055
2001年: 1,090
2002年: 1,014
2003年: 1,047
2004年: 1,038
2005年: 1,038
2006年: 1,019
2007年: 993
2008年: 1,027
2009年: 992
2010年: 975
2011年: 975
2012年: 986
2013年: 959
2014年: 956
2015年: 954
2016年: 959
2017年: 967
2018年: 945
2019年: 921
2020年: 759
2021年: 792
2022年: 855
駅周辺

2014年（平成26年）3月に城陽市が策定した「山城青谷駅周辺整備基本計画」をもとに、西側駅前広場及び国道24号から駅をつなぐ都市計画道路新青谷線の整備が進められており、2022年度（令和4年度）末に完成予定。また、駅北側の中村踏切の拡幅及び踏切東側三叉路のロータリー交差点化については、2023年度（令和5年度）末に完成予定である。
カトリック青谷教会
青谷郵便局
青谷コミセン - 旧駅舎に併設されていた。
城陽市立図書館青谷コミュニティセンター図書室
城陽市立青谷小学校
スーパー山田屋 青谷店
青谷梅林
中天満神社
京都府立城陽支援学校
京都府立城陽障害者高等技術専門校
城陽作業所
国立病院機構南京都病院
駅周辺 > バス路線

「JR山城青谷駅」停留所にて、城陽市青谷方面乗合タクシーが発着する。
城陽市役所 / 多賀口
吉田靖直

| 吉田 靖直 |
| --- | --- |
生誕:   (1987-04-09) 1987年4月9日（37歳）
出身地:   日本・香川県三豊市
学歴:  早稲田大学第一文学部
ジャンル:  ポスト・パンク ファンク インディー・ロック オルタナティブ・ロック ヒップホップ
職業:  歌手 テレビタレント エッセイスト
担当楽器:  ボーカル
活動期間:  2006年 -
レーベル:  アクティブの会
共同作業者:  トリプルファイヤー
公式サイト:  トリプルファイヤーweb
吉田 靖直（よしだ やすなお、1987年4月9日 - ）は、日本の4人組ロックバンド・トリプルファイヤー（Triple Fire）のボーカル。香川県三豊市出身。
略歴

2006年、香川県立丸亀高等学校を卒業。
2006年、早稲田大学在学中にトリプルファイヤーを結成、当時は3人構成だった。トリプルファイヤーのすべての作詞を担当。同バンドに鳥居が加入する以前はギターも担当していた。
2011年、早稲田大学第一文学部を卒業。
2017年4月、『タモリ倶楽部』（テレビ朝日系）にゲストとして初出演。タモリ、ライムスター宇多丸とともに「へら絞り」に挑戦し、タモリから「絶対お笑いやった方がいい」と絶賛を受ける。
2017年10月、『タモリ倶楽部』に3回目の出演にして30分まるまる吉田特集が組まれ、メンバー全員が出演。どんなアルバイトをしても長続きしない吉田のためにタモリ、クリス・ペプラーと打開策を講じるという内容であった。
人物

香川県三豊市にある神社「浪打八幡宮」の跡取息子である。
10歳以上歳の離れた姉が二人おり、いわゆる末っ子長男である。
バンド活動以外では、『ダイナマイト関西』等の大喜利イベントや『タモリ倶楽部』（テレビ朝日）等のバラエティーなどにも出演。共感詩イベント（テレビ番組も）『共感百景』では最優秀共感詩賞、優秀共感詩賞を受賞。
俳優としても活動し、ドラマ『卒業バカメンタリー』（日本テレビ系）や舞台『明日のアー』等に出演。
2022年には『泳げ!ニシキゴイ』（日本テレビ系列）で初のテレビドラマ脚本を手がける。
出演 > テレビ

| 放送日 | 放送局 | 番組名 | 備考 |
| --- | --- | --- | --- |
| 2015年1月2日 | テレビ東京 | 共感百景 | 最優秀共感詩賞受賞 MC：劇団ひとり |
| 2016年1月1日 | テレビ東京 | 共感百景 | 優秀共感詩賞受賞 MC：劇団ひとり |
| 2017年4月8日 | テレビ朝日 | タモリ倶楽部 | 「へら絞り工場で神業を体感 何をへら絞ってるんでしょーか!?」MC：タモリ ゲスト：宇多丸（RHYMESTER） |
| 2017年7月15日 | テレビ朝日 | タモリ倶楽部 | 世界中が噛みまくり!?「生麦生米生卵」インザワールド」MC：タモリ ゲスト：安齋肇 / クリス・ペプラー / 上坂すみれ  |
| 2017年10月14日 | テレビ朝日 | タモリ倶楽部 | 「バイトで怒られっぱなし!?トリプルファイヤー吉田の適正バイトを探す」MC：タモリ ゲスト：クリス・ペプラー、トリプルファイヤー |
| 2018年1月10日 | WOWOW | ぷらすと | 音楽の水曜日 MC：石毛輝（lovefilm / Yap!!!） / 土岐麻子 WOWOW動画 |
| 2018年3月2日 | NHK | LIFE! | コントシリーズ「ムロ待ち」出演者：ムロツヨシ / じろう（シソンヌ） / 黒木華 / 中村倫也 / 内村光良 黄金原聡子（シソンヌじろう）の恋人役で登場 |
| 2018年3月24日 | テレビ朝日 | タモリ倶楽部 | 「お釈迦様 生誕2480年ぐらい記念 お寺ゲームを通じて檀家の増やし方を考える」 MC：タモリ ゲスト：宇多丸(ライムスター) / 吉田靖直（トリプルファイヤー） |
| 2018年4月9日 | AbemaTV | スピードワゴンの月曜The NIGHT | 〜春の大喜利SP〜（生）スピードワゴン / 赤嶺総理 / 学天即 / 吉田靖直（トリプルファイヤー） / 石岡真衣 |
| 2018年4月17日 | 日本テレビ | ヒルナンデス | ロケコーナー「俳句王子と行く俳句旅ナンデス！」 渡部建（アンジャッシュ） / 有岡大貴（Hey! Say! JUMP） / 滝沢カレン 東京・上野東照宮を散策したり屋形船に乗船したりと風情ある景観の中で作句に挑戦。 |
| 2018年5月1日 | 日本テレビ | ヒルナンデス | ロケコーナー「俳句王子と行く俳句旅ナンデス！」 渡部建（アンジャッシュ） / 有岡大貴（Hey! Say! JUMP） / 桐谷美玲 亀戸天神や増上寺を旅しながら俳句作りに挑戦。 |

| 2018年6月14日 | フジテレビ | 『放談ナイト～Hold on Night～＜フジテレビからの！＞』 | 井上苑子 / 村上健志（フルーツポンチ）/ レナ（バニラビーンズ）アシスタント：Niki  |
| 2018年11月24日 | テレビ朝日 | タモリ倶楽部 | 「お寺の掲示板大賞2018」 MC：タモリ ゲスト：みうらじゅん / 吉田靖直（トリプルファイヤー） |
| 2019年4月13日 | テレビ朝日 | タモリ倶楽部 | 「ついに夢のリングデビューなるか!? トリプルファイヤー吉田VS新日本プロレス」 MC：タモリ ゲスト：棚橋弘至 / 成田蓮 / 永田裕志 / 吉田靖直（トリプルファイヤー） |
| 2021年9月27日 | テレビ朝日 | オードリーと選の夜 | 「芸能人の今気になっているコトを番組が代行調査！」 MC：オードリー ゲスト：富澤たけし（サンドイッチマン）/ 滝沢カレン / 松本まりか / 森田哲矢（さらば青春の光） / 吉田靖直（トリプルファイヤー） |
| 2021年12月18日 | テレビ朝日 | タモリ倶楽部 | 「元旦まで待てない!! 神主さんのアレを手作りしてセルフお祓い」 MC：タモリ ゲスト：壇蜜 / マギー / 吉田靖直（トリプルファイヤー） |
| 2022年4月16日 | テレビ朝日 | タモリ倶楽部 | 「11年のパラサイトにピリオド！トリプルファイヤー吉田 居候からの卒業」 MC：タモリ ゲスト：宇多丸（ライムスター） / 吉田靖直（トリプルファイヤー） |
| 2022年10月4日 | テレビ朝日 | タモリ倶楽部 | 「ユーミン初登場で空耳やっちゃいましたSP」 MC：タモリ ゲスト：安斎肇 / 松任谷由実 / 奥田民生 空耳作品『トロい トロい トロい トロい！ それ切って取ってこいよ！』VTRに出演（共演：はっちゴーゴー!!） |
出演 > テレビドラマ・映画

| 放送日 | 放送局 | 番組名 | 備考 |  |
| --- | --- | --- | --- | --- |
| 2018年1月22日放送開始 毎月曜24:59 - 25:29 | 日本テレビ | 卒業バカメンタリー | エリート大学理学部生 仁純役  企画：橋本和明  脚本：じろう（シソンヌ）  演出：橋本和明  出演：藤井流星（ジャニーズWEST） / 濵田崇裕（ジャニーズWEST） / 前田航基 / 新井浩文 日テレ公式チャンネル 予告動画  卒業バカメンタリー公式サイト  DVD & Blu-ray BOX（品番：JABA-5300~5302）は 2018年7月11日発売  アウターケース＋デジパック仕様 / 卒業証書風ブックレット / 未公開映像 / メイキング映像等収録 ※公式オリジナルグッズも同時発売 |  |
| 2019年7月3日（水） | テレビ東京/動画配信サービス「Paravi」 | ドラマパラビ「びしょ濡れ探偵 水野羽衣」第1話 | 村田健二 役 |  |
| 2019年10月14日放送開始 毎月曜24:59 - 25:29 | 日本テレビ / Hulu | ブラック校則 | 数学教師 森有人役  脚本：此元和津也  音楽：井筒昭雄  編成企画：田中宏史、川口信洋  演出：菅原伸太郎 / 岡本充史 / 茂山佳則  チーフプロデューサー：福士陸  プロデューサー：河野英裕 / 長松谷太郎 / 大倉寛子  制作プロダクション：AXON  製作著作：日本テレビ / ジェイ・ストーム  出演者： 佐藤勝利（Sexy Zone） / 髙橋海人（King & Prince） / モトーラ世理奈 / 田中樹（SixTONES / ジャニーズJr.） / 箭内夢菜 / 堀田真由 / 葵揚 / 水沢林太郎 / 達磨 / 成海璃子 / 片山友希 / 吉田靖直 / 戸塚純貴 / 星田英利 / 坂井真紀 / 光石研 / でんでん / 薬師丸ひろ子 |  |
出演 > CM出演

| 放送開始日 | 企業名 | 商品名 | 動画 | 備考 |
| --- | --- | --- | --- | --- |
| 2020年11月30日 | 大日本除虫菊 | KINCHOティンクル | KINCHO CM集「ティンクル」給湯室篇 | CM演出：川西純(TRAVOLTA)　 滝藤賢一演じる隅々輝男（スミズミテルオ）の後輩役。 |
出演 > ラジオ

NHKラジオ第1『すっぴん!』（2017年4月20日）【テーマ】予測不能のボーカリスト 出演：川島明（麒麟）/ 藤井彩子（アナウンサー）
J-WAVE『GOLD RUSH』(2017年10月27日) ナビゲーター：渡部建(アンジャッシュ) 出演：吉田靖直
InterFM『Young Blood』(2017年10月28日) DJ：ユージ 出演：吉田靖直
TS ONE『PREMIUM ONE』（2017年11月6日 - 11月12日）パーソナリティ：岡村靖幸・小出祐介（Base Ball Bear）出演：吉田靖直
radioDTM#438（2017年11月5日）radioDTM 出演：吉田靖直
radioDTM#438（2017年11月5日）radioDTM 出演：吉田靖直
TOKYO FM『RADIO DRAGON-NEXT-』（2017年11月16日）パーソナリティ：菅野結衣 出演：吉田靖直
α-STATION（エフエム京都）『NICE POP RADIO』（2017年12月1日）DJ：澤部渡（スカート） 出演：吉田靖直
文化放送『レコメン!』（2017年12月25日）パーソナリティ：オテンキのり 出演：吉田靖直
TBSラジオ『赤江珠緒 たまむすび』（2022年4月14日）パーソナリティ：赤江珠緒 / 土屋礼央 出演：吉田靖直
出演 > ウェブラジオ

AI VS 吉田（2024年9月 - 、GLOWDIA Podcast）
出演 > ライブ

| 開催日 | 会場 | イベント名 | 備考 |
| --- | --- | --- | --- |
| 2016年1月29日 | 大久保カフェアリエ | [BUZAMA-1] | 共演：高橋翔(ELMER、ex昆虫キッズ) 弾き語りと朗読 |
| 2017年7月23日 | 横浜日ノ出町試聴室その3 | 『ここはビルの二階』 | 出演：クラモトイッセイ×吉田靖直 (トリプルファイヤー) / ハハノシキュウ |
| 2017年8月13日 | ディスクユニオン大阪店 | 西中島きなこ「ナイスなユニオン」発売記念インストアライブ | ライブ映像 |
| 2018年1月19日 | 秋葉原CLUB GOODMAN | 『うっかり豪華な新年会2018』 | bandset：シャークニャークス / ヨシュアカムバック 弾き語り：吉田靖直（トリプルファイヤー） ソロ / 古宮夏希(ミチノヒ) / 近田崇仁(はいからさん) / ドン・マツオ(The Zoobombs）  FOOD：西荻窪 iitocoによる特製お雑煮 |
| 2018年1月27日 | ロフトプラスワンウエスト | 西中島きなこ企画 『笑美天』 | 出演：吉田靖直 / 曽我部恵一 / オオルタイチ / バレーボウイズ / ぱいなっぷるくらぶ / オカザえもん ライブ映像 |
出演 > 動画コンテンツ

| サイト名 | コンテンツ名 |
| --- | --- |
デイリーポータルZ: プープーテレビ 『花池吉田のともだち探そう』
デイリーポータルZ: プープーテレビ 『花池吉田の歌人になろう』
デイリーポータルZ: プープーテレビ 『花池吉田のラッパーになろう』
出演 > 舞台

| 日付 | 公演名 | 会場 | クレジット |
| --- | --- | --- | --- |
| 2017年 11月3日19:00 4日 15:00 19:00 5日 15:00 19:00 | 明日のアー 第三回公演 『日本の表面』w/ 左右 | 原宿VACANT | 作・演出：大北栄人 宣伝美術：よシまるシン 衣装提供：sneeuw 舞台美術：佐々木文美（快快 / FAIFAI）照明：MOON LIGHT PA：片岡敬 演奏：左右 出演：八木光太郎（俳優・GERO） / 宮部純子（俳優・五反田団／青年団） / 郷田明希（俳優） / 花池洋輝（左右 Vo.Ba.） / 桑原美穂（左右 Vo.Gt.） / 藤原浩一（デイリーポータルZ編集部） / 古賀及子（デイリーポータルZ編集部） /トチアキタイヨウ（舞踏家） / 7A（モデル／ラジオDJ etc.） / スミマサノリ（文筆家 etc.） / 土屋遊（ライター／ブロガー） / よシまるシン（イラストレーター） |
| 2018年 11月22 - 25日 | 明日のアー第四回公演『観光』 | 原宿VACANT |  作・演出：大北栄人 出演：大北栄人（明日のアー主催）/ 桑原美穂（左右 Vo.Gt.）/ 7A（モデル・ラジオDJ etc.）/ 花池洋輝（左右 Vo.Ba.）/ 張江浩司（ハリエンタル／来来来チームDr.）/ 藤原浩一（デイリーポータルZ編集部） / 宮部純子（俳優・五反田団／青年団）/ 八木光太郎（俳優・GERO）/ 吉田靖直（トリプルファイヤーVo.）/ よシまるシン（イラストレーター） ゲスト出演：きたろう（俳優・シティボーイズ） スタッフ：音楽＆演奏 左右 / メインテーマ楽曲提供：鳥居真道（トリプルファイヤー）/ 舞台美術：佐々木文美（快快 / FAIFAI）/ 衣装提供：sneeuw / 舞台監督：伊藤新 / 照明：佐藤怜（MOON LIGHT）/ 音響：片岡敬 / 宣伝美術：よシまるシン / 制作：後藤かおり、山村麻由美 / 協力：VACANT |
出演 > 参加作品（西中島きなこ関連）

西中島きなこ＆トリプルファイヤー 吉田靖直 『ジューシー』
西中島きなこ＆トリプルファイヤー 吉田靖直 『ナイスなヤング』（2017年5月31日発売）
西中島きなこ＋3776＆トリプルファイヤー 吉田靖直『EDMはポップコーン』（2017年6月21日発売）
西中島きなこ＆吉田靖直+3776『ナイスなユニオン』（2017年7月26日発売）
西中島きなこ＆吉田靖直『グイグイ来る人』
西中島きなこ＋吉田靖直『西中島きなこ＋吉田靖直』（2017年12月6日発売）
西中島きなこ＋吉田靖直『コミックパッション』（2017年12月6日発売）
西中島きなこ＋吉田靖直「Ｂボーイ」Official Video
西中島きなこ『ちゃんぽんMUSIC』（2018年2月28日発売） （M-7 「ナイトプール」に参加）
西中島きなこ+トリプルファイヤー吉田靖直『コミックパッション２』（2018年7月25日発売）
西中島きなこ+トリプルファイヤー吉田靖直『ナイスなヤング２』（2018年8月8日発売）
西中島きなこfeat.トリプルファイヤー吉田靖直『交信』（2019年1月16日発売）
出演 > 参加作品（その他）

| 発売（発表）日 | アーティスト名 / タイトル | 収録曲 | 形式 | 備考 |
| --- | --- | --- | --- | --- |
| 2015年6月17日 | DJ6月 / 『バッテンシャーク』 | 「ここに住む理由 feat.吉田靖直 from トリプルファイヤー」 | CD / 配信 | MV |
| 2016年6月20日 | ookubofactory / 『Don't worry』 | 「Don't worry feat.吉田靖直 from トリプルファイヤー×うーちゃん from どついたるねん」 | 配信（Bandcamp） | MV 「声」での参加 |
| 2016年9月4日 |  | 「9月21日発売の寺嶋由芙さんの1stアルバム発売を応援する歌」 | YouTube | 動画 企画：オカザえもん 作曲演奏：松石ゲル ゲストボーカル：吉田靖直 from トリプルファイヤー |
| 2017年10月18日 | AGREEMENT THE SUPERFINE / 『Under Punk』 | 「30前で」 | CD | コーラスでの参加 |
| 2018年6月11日 | ガウディーズ / 『僕らは完璧』 | 「パラダイムシフト」 | 2曲入り配信シングル（iTunes,Apple Music,Spotify etc）/6曲入りCD-Rミニアルバムの2形態 | Official Music Video |
| 2018年11月7日 | マテリアルクラブ / 『マテリアルクラブ』 | 「閉めた男」 |  |  |
出演 > 著書

『持ってこなかった男』双葉社、2021年2月17日。ISBN 978-4-575-31604-9。  - 『EX大衆』連載コラムに大幅加筆修正を行っての書籍化。
『ここに来るまで忘れてた。』交通新聞社、2021年10月28日。ISBN 978-4-3300-5521-3。  - 散歩の達人、Webさんたつの連載を書籍化。
『今日は寝るのが一番よかった』大和書房、2022年1月22日。ISBN 978-4-4793-9376-4。 - 全編書き下ろしエッセイ
出演 > 書評

Mikiki　吉田靖直（トリプルファイヤー）「持ってこなかった男」ダメ人間の、ダメ人間による、ダメ人間のための、決してサクセスしない歪なサクセスストーリー
UROROS　トリプルファイヤーの吉田靖直、初の書籍『持ってこなかった男』2月18日刊行決定。等身大の物語よりもう少し低めな自伝的小説
出演 > コラム連載・他

FINEBOYS(日之出出版 毎月10日発売)「かっこいい男の日常」
食べようび（オレンジページ 不定期刊）「トリプルファイヤー吉田の『味は忘れました』」
EX大衆（双葉社 月刊誌 毎月15日発売）
TV Bros.別冊ムック 『CULTURE Bros.』 vol.4（東京ニュース通信社） 「これ、どうなっているんだろう」 2016年8月24日発売
TV Bros.別冊ムック 『CULTURE Bros.』vol.6（東京ニュース通信社今号より連載開始
特別編集ムック『銀杏BOYZぴあ』（ぴあ）「著名人31名が書いた! 銀杏BOYZ作文」寄稿 2016年12月6日発売
散歩の達人（交通新聞社 毎月21日発売）2018年7月号「大特集 中野・高円寺・阿佐ケ谷」
SOLO（WEB）「架空のニューアルバム『おひとりさま』の全曲解説」 2015年4月24日掲載
SOLO（WEB）「トリプルファイヤー・吉田靖直が語る！架空のニューアルバム 『居場所』の全曲解説」 2015年8月25日掲載
OTOTOYメールマガジン「トリプルファイヤー吉田のファンキーお悩み相談室」（2018年1月限定 全4回）
散歩の達人（交通新聞社 毎月21日発売）2018年12月号より連載「ここに来るまで忘れてた。」開始
さんたつ by 散歩の達人（アーカイブ、随時更新）
文春野球コラム Cリーグ2020 香川出身の熱くない自分が、カープファンになった理由
CLASSY トリプルファイヤー 吉田靖直コラム
出演 > WEBインタビュー・特集記事

| 掲載日 | サイト名 | 記事タイトル | 内容 |
| --- | --- | --- | --- |
| 2014年6月29日 | SUB POKKE | 愛やら恋やら今泉やら vol.4 前編 | 今泉力哉×青柳文子×吉田靖直 鼎談 |
| 2014年6月29日 | SUB POKKE | 愛やら恋やら今泉やら vol.4 後編 | 今泉力哉×青柳文子×吉田靖直 鼎談 |
| 2015年4月24日 | SOLO | 架空のニューアルバム『おひとりさま』の全曲解説 | “おひとりさま”をテーマに制作した、存在しない架空のニューアルバムの収録曲を妄想で解説 |
| 2015年7月7日 | デイリーポータルZ | 思わず歓声を上げるほどの旅をしたい | 左右・花池洋輝、明日のアー・大北栄人との旅行記 |
| 2015年8月25日 | SOLO | トリプルファイヤー・吉田靖直が語る！架空のニューアルバム『居場所』の全曲解説 | 存在しない架空のニューアルバム『居場所』を妄想で制作。その収録曲を自ら解説 |
| 2017年4月8日 | ライブドアニュース | タモリが芸人転身を勧める音楽家 | タモリ、トリプルファイヤー・吉田靖直を絶賛 |
| 2017年5月31日 | 早稲田ウィークリー | 時代を作る、言葉とサブカル 前編 | “知れ恥”—表現は恥に向き合い生まれる 宮沢章夫×吉田靖直（トリプルファイヤー）対談 |
| 2017年6月7日 | 早稲田ウィークリー | 時代を作る、言葉とサブカル 後編 | 次代を穿つ「毒」の言語化 宮沢章夫×吉田靖直（トリプルファイヤー）対談 |
| 2017年6月22日 | 日刊サイゾー | 卑屈、逆ギレ、責任転嫁……「今もバイトで怒られてる」サブカル界の新星・トリプルファイヤー吉田靖直とは？ | 吉田靖直インタビュー |
| 2017年10月20日 | HOUYHNHNM（フイナム） | コントユニット「明日のアー」鼎談。不気味の谷からおもしろの丘へ。 | 大北栄人×吉田靖直×川田十夢(AR三兄弟) 鼎談 |
| 2017年11月14日 | ザテレビジョン | タモリも認める注目の存在！ トリプルファイヤー・吉田靖直にインタビュー | 吉田靖直インタビュー |
| 2017年11月24日 | 音楽ナタリー | 2017年注目のダメ人間、吉田靖直の素顔に吉田豪が迫る | 吉田靖直インタビュー 聞き手：吉田豪 |
| 2018年1月27日 | OTOTOY | ロックな考え方ができない」コンプレックスから生まれる音楽──【対談】bossston・カシマ × トリプル・吉田靖直 | カシマエスヒロ（bossston cruzing mania）× 吉田靖直（トリプルファイヤー）対談 |
| 2018年2月5日 | T-SITE NEWS | 【インタビュー】『タモリ倶楽部』でブレイクのトリプルファイヤー・吉田靖直 ドラマデビューも果たした2018年の野望は…？ | 吉田靖直インタビュー |
| 2018年2月14日 | ザテレビジョン | トリプルファイヤー・吉田靖直、次に挑戦したいことは「濡れ場かな(笑)」 | 吉田靖直インタビュー |
| 2018年3月5日 | citrus | 「男子のノリ」を堪能せよ。シソンヌじろうとトリプルファイヤー吉田が“童貞”をしゃべり尽くす | シソンヌ・じろう トリプルファイヤー・吉田靖直 スペシャルインタビュー |
| 2018年3月19日 | カジュアル動画チャンネル「チルテレ」 | シソンヌじろう、トリプルファイヤー吉田が大暴れ！ 『卒業バカメンタリー』スペシャルインタビュー | シソンヌ・じろう トリプルファイヤー・吉田靖直 インタビュー |
| 2018年6月6日 | マイナビ 学生の窓口 | “いま、いちばん大人に心配されているバンドマン”が伝えたい就活術「面接ではなぞかけがオススメ」#就活逆転メソッド | （就活をちゃんとやっていなさそうな）いろんな業界で異彩を放つ人物に、あえて就活について問う連載 第一回目 吉田靖直インタビュー |
| 2018年6月10日 | 文春オンライン | テレビっ子ミュージシャン・吉田靖直インタビュー#1 “ポスト星野源”トリプルファイヤー吉田が明かした高1時代の「黒歴史」 | 吉田靖直インタビュー 聞き手：てれびのスキマ |
| 2018年6月10日 | 文春オンライン | テレビっ子ミュージシャン・吉田靖直インタビュー#2 トリプルファイヤー吉田のダメっぷり「寝過ごして『いいとも！』観てた大学時代」 | 吉田靖直インタビュー 聞き手：てれびのスキマ |
| 2018年6月10日 | 文春オンライン | テレビっ子ミュージシャン・吉田靖直インタビュー#3 元気がないのが取り柄 トリプルファイヤー吉田が語る「タモリさんと星野源さんのこと」 | 吉田靖直インタビュー 聞き手：てれびのスキマ |
| 2018年8月12日 | TOKYO HEADLINE | 【インタビュー】ゆるく、自分らしく。トリプルファイヤー吉田の叙事的な人間性に迫る | 吉田靖直インタビュー 「注目の人」 |
| 2018年8月27日 | TOKYO HEADLINE | 【夏フェス】どのフェス行くかもう決めた？(3)トリプルファイヤー吉田に聞く「夏」と「夏フェス」 | 吉田靖直インタビュー |
| 2019年 | TV&smile | シコウヒンTV 第345回 前編「ホヤ」 | 吉田靖直インタビュー |
| 2019年 | TV&smile | シコウヒンTV 第345回 後編「ソリティア」 | 吉田靖直インタビュー |
出演 > 雑誌インタビュー

| 発売日 | 雑誌名 | 月数 / 号数 | 出版社 | 詳細 |
| --- | --- | --- | --- | --- |
| 2018年1月24日 | TV Bros. | 2018年1月27日号 | 東京ニュース通信社 | ドラマ『卒業バカメンタリー』トリプルファイヤー吉田インタビュー・特集記事 |
出演 > その他

紗倉まな+小島みなみの新ユニット名「おとといフライデー」を命名
やるっきゃガールズ「ブレックファストクラブ」作詞（2018年）
Webメディア「JinaCoin」記事監修（株式会社jaybe）
Lean (証明アシスタント)

| --- | --- |
 Leanのロゴ
パラダイム:  関数型プログラミング
登場時期:  2013年 (12年前) (2013)
開発者:  Leonardo de Moura  Lean FRO
最新リリース:  v4.17.0/ 2025年3月3日 (13日前) (2025-03-03)
型付け:  推論される, 強い, 静的
影響を受けた言語:  ML Coq Haskell Prolog Rust Scheme
影響を与えた言語:  koka
プラットフォーム:  クロスプラットフォーム
ライセンス:  Apache License 2.0
ウェブサイト:  lean-lang.org
テンプレートを表示
Cantorの定理をLeanで示している様子．右側の infoview に今使える仮定と示すべきゴールが常に表示される．
Lean は、プログラミング言語の一つである。「衛生的でありながら非常に強力なメタプログラミングフレームワークを備えた純粋関数型プログラミング言語」であり、同時に「Calculus of Inductive Constructions (CIC) と呼ばれる依存型の一種に基づく定理証明支援系」でもあるという２つの顔を持つ。この、汎用プログラミング言語でありながら定理証明支援系でもあるという点は Lean の大きな特徴である。
Lean は純粋関数型プログラミング言語でありながら、標準でループや可変ローカル変数の構文を備えているほか、一定の条件の下で関数アクセスをフィールドアクセスのように書くことができるという構文上の特徴がある。また、「参照カウントに基づいて自動的に破壊的変更を行う」という、Functional but in-place と呼ばれる最適化を行う。総じて、従来の関数型言語のパフォーマンスと構文面における欠点を改善している。
また、定理証明支援系としての Lean は、Unicode の積極的な使用と高度な対話性、拡張性の高さによる構文定義の柔軟性により可読性と快適な UI を提供することにある程度成功しており、型システムの専門家や形式証明の研究者だけでなく、数学研究者や学生からも支持を集め、Mathlib という大規模な形式数学ライブラリを擁するに至った。
歴史 > 2013年: 開発開始

Lean はGitHubでホストされているオープンソースプロジェクトである。2013年にMicrosoft ResearchのLeonardo de Mouraによって立ち上げられた。
Lean は最初の定理証明支援系ではない。Lean の開発時点で Coq や Agda など他の定理証明支援系は存在しており、Lean の言語仕様はそれらから大きく逸脱したものではない。新しい証明支援系を考案した理由として、次の２点がある。
証明のホワイトボックス自動化ツールを開発するためのプラットフォームを作成すること- Z3 SMT ソルバの開発者でもある Leonardo de Moura は、標準的な SMT 実装の長所と同時に限界も痛感していた。特に SMT ソルバの設定を変更することができず、フリーサイズ(one-size-fits-all)な設計となっていることは、ブラックボックス的であり好ましくなかった。ホワイトボックスアプローチとは、ここではSMTソルバを構成する要素をユーザが必要に応じて組み替えたり再構成したりできるように公開することを指す。対話的定理証明支援系(interactive theorem prover, ITP)のタクティク言語は、ホワイトボックス化を実現するための自然な手段であり、オーダーメイドの自動化を迅速かつ段階的に開発することを可能にし、SMT と対話的定理証明の間のギャップを埋めることに役立つだろうと期待できた。
小さな型理論とカーネル - Lean という名前には、英語で「痩せている」とか「贅肉がない」という意味がある。Lean の基礎としては標準的な依存型理論(dependent type theory)を最小限の理論に圧縮したものが採用されているが、これが Lean という名前の由来である。タクティクは無限に発展・洗練させることが可能であるべきだが、タクティクの出力を検証するシステムの実装は可能な限り単純であるべきである。Lean の目指す「Lean らしさ」は、依存型理論の他の実装と比較して「より複雑な論理を、より単純なシステムで表現する」ことである。Lean が影響を受けかつ最も Lean に近い型理論を採用している Coq と比較すると、Lean は fixpoint 演算子や型システムに埋め込まれたモジュールシステムがないなどの違いがある。
歴史 > 2014年: Lean 0.1

最初のプロトタイプは Lean 0.1 (2014 年) である。Lean 0.1 では ML ライクな構文が導入され、それは後のすべての Lean のバージョンで継承されることになる。単純な simp  タクティクが既にこのバージョンから存在した。帰納型のサポートはまだなく、手で公理(axiom)を追加する必要があった。Lean 0.1 では、Lua スクリプトによる構文と戦術の拡張がサポートされていたが、この部分は後の Lean 3 で削除されることになる。
歴史 > 2015年: Lean 2

2015 年、Lean の最初の公式リリースである Lean 2 が発表された。帰納型の適切なサポートや組み込みタクティクの拡張など、欠けていた重要な機能が追加されたほか、主要な機能として Lean 2 ではホモトピー型理論 (HoTT) のサポートが追加された。
歴史 > 2017年: Lean 3

最初にリリースされた比較的安定したバージョンは Lean 3 で、2017年の1月20日にリリースされた。Lean 3 では、あまり使用されていなかった Lua による構文拡張機能が削除され、根本的に異なるアプローチが採用された。Lean 自体がプログラミング言語とされ、Lean 自体によりタクティクの定義やそのほかのメタプログラミングが可能になった。Lean 2 からのもう一つの大きな変更は、ホモトピー型理論 (HoTT) のサポートの廃止である。HoTT のサポートが廃止された理由としては、
証明無関係(proof irrelevance) の公理がないと、タクティクを効率的に実装するのが難しくなり、コードの重複が生じるという問題
当時 「book HoTT」と最近の計算的な Cubical Type Theory のどちらが望ましいか不明だったという問題
が挙げられる。また、Lean で数学を形式化するライブラリである mathlib がコミュニティ管理の 独立したプロジェクトとして分離された。
バージョン3.4.2以降、Lean 3の開発は正式に終了し、Lean 4の開発が始まった。