hotchpotch/wikipedia-multilingual-ir-pairs huggingface dataset:
性的指向及びジェンダーアイデンティティの多様性に関する国民の理解の増進に関する法律 概要
修正案が出される前には、一部の性適合手術済み性同一性障害者(トランスセクシュアル)ら当事者からは「性自認を理由とする差別は許されない」との内容では未手術トランス女性が女子トイレ等の女性のスペース使用反対まで性自認への差別とされる法案として、不要との意見も出されていた。その一部の当事者らは会の会見で「LGBT活動家は当事者の代表ではない。一部の活動家だけではなく、当事者のリアルな声も報道してほしい」と訴えていた。ただし、会見に参加した一部の当事者らも「女性スペースを守る会」という団体を結成しさらにこの団体と旧統一教会関係者との人的な繋がりを指摘する向きもある。日本維新の会と国民民主党によって提案され、自民党と公明党がこれを受け入れる形で、女性スペースの維持と安全の確保、女子スポーツの公平性の確保や子供の権利保護が盛り込まれた。
性的指向及びジェンダーアイデンティティの多様性に関する国民の理解の増進に関する法律 法律の内容
この法律の内容は次の通りである。
この法律の目的は、第1条に規定されている。
この法律における「性的指向」の定義は、第2条第1項において「恋愛感情又は性的感情の対象となる性別についての指向」とされており、「ジェンダーアイデンティティ」の定義は、第2条2項において「自己の属する性別についての認識に関するその同一性の有無又は程度に係る意識」とされている。
この法律の基本理念は、第3条に規定されている。
国と地方公共団体の役割は、第4条（国の役割）と第5条（地方公共団体の役割）において「性的指向及びジェンダーアイデンティティの多様性に関する国民の理解の増進に関する施策を策定し、及び実施するよう努めるものとする」と規定されている。また、地方公共団体は、「国との連携を図りつつ、その地域の実情を踏まえ」これを行うことが規定されている（第5条）。
事業主は、次のことなどを行い、性的指向及びジェンダーアイデンティティの多様性に関するその雇用する労働者の理解の増進に自ら努めることが規定されている（第6条1項）。
また、「国又は地方公共団体が実施する性的指向及びジェンダーアイデンティティの多様性に関する国民の理解の増進に関する施策に協力するよう努める」が規定されている（第6条1項）。
性的指向及びジェンダーアイデンティティの多様性に関する国民の理解の増進に関する法律 法律の内容
事業主は、その雇用する労働者に対し、性的指向及びジェンダーアイデンティティの多様性に関する理解を深めるため、次のような措置を講ずるよう努めることが規定されている（第10条2項）。
学校の設置者は、家庭及び地域住民その他の関係者の協力を得つつ、次のことなどを行い、性的指向及びジェンダーアイデンティティの多様性に関するその設置する学校の児童等の理解の増進に自ら努めることが規定されている（第6条2項）。
また、「国又は地方公共団体が実施する性的指向及びジェンダーアイデンティティの多様性に関する国民の理解の増進に関する施策に協力するよう努める」ことが規定されている（第6条2項）。
学校の設置者及びその設置する学校は、当該学校の児童等に対し、性的指向及びジェンダーアイデンティティの多様性に関する理解を深めるため、家庭及び地域住民その他の関係者の協力を得つつ、次のような措置を講ずるよう努めることが規定されている（第10条3項）。
この法律の第7条に規定されている。
第8条1項および2項で規定されている。
内閣総理大臣の基本計画の案の作成に関して、次のことが規定されている。
性的指向及びジェンダーアイデンティティの多様性に関する国民の理解の増進に関する法律 法律の内容
第8条第6項では、「性的指向及びジェンダーアイデンティティの多様性をめぐる情勢の変化を勘案し、並びに性的指向及びジェンダーアイデンティティの多様性に関する国民の理解の増進に関する施策の効果に関する評価を踏まえ、おおむね3年ごとに、基本計画に検討を加え、必要があると認めるときは、これを変更しなければならない」ことが規定されている。
第8条第3項から第5項までの規定は、基本計画を変更する場合に準用される（第8条7項）。
第9条で規定されている。
第10条1項で規定されている。
政府は、「性的指向・ジェンダーアイデンティティ理解増進連絡会議を設け、性的指向及びジェンダーアイデンティティの多様性に関する国民の理解の増進に関する施策の総合的かつ効果的な推進を図るための連絡調整を行う」ことが規定されている（第11条）。
留意規定として、第12条が規定されている。
附則1条では施行期日が規定されている。
附則2条では検討について規定されている。
附則第3条では内閣府設置法の一部改正について規定されており、第4条3項45号の2を加えることが規定されている。
性的指向及びジェンダーアイデンティティの多様性に関する国民の理解の増進に関する法律 法律の問題点
この法律については少なくない問題点が指摘されている。
第12条の多数派への配慮規定は、日本維新の会と国民民主党の共同案で追加された。この条文が追加された背景には、この法律が施行されると「男性が『女性だ』と自称さえすれば、女性用のトイレや公衆浴場に入れるようになってしまう」といった懸念の声に対応する意図があった。しかし、この法律はあくまで性の多様性について理解を広めるための法律でしかなく、男女別施設利用などの具体的かつ個別のケースに対応する法律ではないので、一時的に性別を「自称」さえすれば、女性用トイレや公衆浴場を利用できるような実態はなく、現状の男女別施設の利用基準を変えるものでもない。ただし、この条文を根拠に、特定の個人や団体などが、男女別施設の運用に限らず、自治体や学校等の理解の取り組みを制限する動きを起こす可能性があると松岡宗嗣は主張している。一方で、日本大学大学院危機管理学研究科の鈴木秀洋教授は毎日新聞の取材に対して「『留意』規定で性的少数者の権利を制限するような解釈はできない」と指摘し、与党の修正案で追加された多数派への配慮のために必要な指針を策定することに関する規定については、差別する側の自由を守ることであり、差別を温存するための規定であると指摘している。
性的指向及びジェンダーアイデンティティの多様性に関する国民の理解の増進に関する法律 法律の問題点
学校での理解の増進に関する規定の「家庭及び地域住民その他の関係者の協力を得つつ」という文言については、特定の個人や団体などから反対が起こった場合に、学校での理解増進に関する取り組みが阻害されてしまう可能性が指摘されている。LGBT法連合会の神谷悠一事務局長は「各学校の校長らが『保護者や地域の人の理解を得られておらずリスクがある』として、自主的に、多様な性に関する取り組みをやめようという動きが広がる恐れがあります」と述べ、また、「保護者からの指摘を受けて、（多様な性を教える取り組みが）中止に追い込まれることもあり得る」と指摘している。
国際政治学者の島田洋一福井県立大学名誉教授は、5月10日の産経新聞の取材において、この法律で「何が差別に当たるかが明示されていない」ことを指摘した。島田は、差別の解釈が恣意的に拡大され、活動家に悪用される可能性を指摘し、「問題の多い米国のLGBT差別禁止法案ですら差別の中身を具体的に列挙する努力はしている」と述べ、この法律は「LGBTに特化し、定義があいまいな差別を禁ずる法律は活動家を利するだけで教育現場を混乱させる。百害あって一利なしだ」と批判した。
性的指向及びジェンダーアイデンティティの多様性に関する国民の理解の増進に関する法律 立法経緯
LGBTに関する課題を考える議員連盟が法案をまとめたことは2016年に遡る。これは各国で同性結婚の法制化の動きが次々と進んだことや、2015年に渋谷区と世田谷区でパートナーシップ宣誓制度が導入されたことなどを受けたものだった。
その後、2016年5月27日に民進党、共産党、社民党及び生活の党と山本太郎となかまたちが性的指向又は性自認を理由とする差別の解消等の推進に関する法律案（LGBT差別解消法案）を衆院に提出し、2018年12月5日にも立憲民主党、国民民主党、共産党、社民党、自由党、無所属の会が同名の法案を衆院に提出する動きがあったが、議員連盟の法案には5年間動きは無かった。
2020年東京五輪・パラリンピックを前にした2021年、五輪憲章が性的指向を含むあらゆる差別を否定し、東京五輪が「多様性と調和」を理念に掲げていたことなどから、法案提出の機運が高まった。
差別の解消を目的とした法案を提出しており、LGBTの人々への「理解増進」を目的とした法案をまとめていた自民党と「性自認」を理由とした差別を禁止する規定を設けるよう強く求める左派系野党の協議は難航したが、2021年5月14日、「性自認を理由とする差別は許されないものであるとの認識の下」という文言を加えることで各党の実務者が合意した。
性的指向及びジェンダーアイデンティティの多様性に関する国民の理解の増進に関する法律 立法経緯
通常国会の会期末までに成立を目指すことになったが、自民党内の保守系議員から「差別は許されない」という文言に対して強い懸念を示すなどの反対意見が相次いだことにより、法案提出を断念した。
日本が議長国を務める第49回G7サミットの開催を控えた2023年、G7の中で日本だけが同性カップルに対して国として法的な権利を与えておらず、LGBTに関する差別禁止規定を持たないことから日本の対応が注目された。そのような中で2023年2月の荒井勝喜元総理秘書官による性的少数者差別発言や、内閣総理大臣の岸田文雄が同性結婚の法制化について「社会が変わってしまう」という答弁をしたことによって世界中から批判や反発が起こった。2023年4月には駐日アメリカ大使のラーム・エマニュエルが日本政府や自民党の性的少数者に対する取り組みについて「私は米国の大使として気にしている。そして個人としてこの問題を非常に気にしている」と述べた。
性的指向及びジェンダーアイデンティティの多様性に関する国民の理解の増進に関する法律 立法経緯
このような状況から、岸田は議長国としての体面を保とうと法案の提出を急いだ。このときに保守系議員からの反発を避けるために2021年5月に超党派の実務者で合意した法案を修正し、「差別は許されない」という記述を「不当な差別はあってはならない」に変更した。また、「自認の性で権利を認めれば、トイレや風呂で性を都合良く使い分け、犯罪につながるケースもある」などの主張に対応し、「性自認」という文言は全て「性同一性」に変更され、原案にあった性的少数者への理解を促す「学校の設置者の努力」という文言が削除された。
5月12日、自民党の「性的マイノリティに関する特命委員会」と「内閣第１部会」の合同会議が開かれ法案への反対意見が根強いにもかかわらず、議論が打ち切られ、部会長らに法案の取り扱いが一任された。参院議員の赤池誠章は１３日、自身のTwitterで、「最後まで慎重審議を求めたが、賛成少数でも役員一任となり、あり得ない政策審議、党運営だ。（ＬＧＢＴ）当事者や多くの女性の不安を払拭することなく、法案が推進されることを危惧する」と書き込んだ。
性的指向及びジェンダーアイデンティティの多様性に関する国民の理解の増進に関する法律 立法経緯
5月18日、自民党と公明党は与党案（性的指向及び性同一性の多様性に関する国民の理解の増進に関する法律案、第211回国会衆法第13号）を衆院に提出した。この与党案は2021年にLGBTに関する課題を考える議員連盟で合意した内容を保守派に配慮し修正したものであり、超党派合意案にあった「性自認」という表現を「性同一性」に変更している。また、立憲民主党、共産党、社民党の野党3党は2021年に超党派で合意した法案と同じもの（性的指向及び性自認の多様性に関する国民の理解の増進に関する法律案、第211回国会衆法第14号）を衆院に提出した。
6月9日、自民党、公明党、日本維新の会、国民民主党の4党は与党案の修正で合意し、与党側が維新・国民民主の独自案の内容をほぼ全面的に受け入れ、「性同一性」という表現を「ジェンダーアイデンティティ」に変更し、「全ての国民が安心して生活することができることとなるよう留意する」という規定を追加した。同日の衆院内閣委員会で審議入り後に即日採決され、与党案の修正案を自民・公明・維新・国民民主4党の賛成多数で可決した。なお、立憲民主党などによる法案は否決され、附帯決議の採択は認められなかった。
性的指向及びジェンダーアイデンティティの多様性に関する国民の理解の増進に関する法律 立法経緯
6月13日、衆院本会議で与党の修正案が自民・公明・維新・国民民主などの賛成多数で可決された。採決前に自民党の高鳥修一が退席しトイレに向かい、採決終了後に本会議に戻った。高鳥は退席の理由として「おなかが痛いということだ」と述べ、採決との関係については「今は話さない。時期が来たらまた話をする」と述べ、法案については「意見はあるけれども、今はちょっと言えない」と述べた。また、杉田水脈など7人の自民党議員が本会議を欠席した。なお、立憲民主党などによる法案は否決された。
6月15日、参院内閣委員会で審議入り後に即日採決され、与党の修正案を自民・公明・維新・国民民主の賛成多数で可決された。審議では与党が野党側の求めに応じて、衆院の約3倍の審議時間を確保し、参考人として性的少数者の当事者や支援団体も意見を述べた。立憲民主党などは「理解の増進どころか差別の助長につながる」などとして採決することに反対したが、採決は委員会職権で行われた。
6月16日、同日午前の参院本会議で与党の修正案が自民・公明・維新・国民民主などの賛成多数で可決され、成立した。立憲民主党、共産党、れいわ新選組、社民党、参政党などが法案に反対した。また、自民党の山東昭子、青山繁晴、和田政宗が採決時に退席した。3人の自民党議員が採決時に退席したことについて、同党の参院幹事長である世耕弘成は「党議拘束に反した行動」として、参院幹部と協議し、対応を検討する考えを明らかにした。同日、駐日米国大使のエマニュエルは自身のTwitterを更新し「これで流れが変わった。岸田文雄首相のリーダーシップと、ＬＧＢＴＱＩ＋の権利に対する日本国民のコミットメントをたたえる。万人に平等な権利を確保するための重要な一歩となる」と投稿した。
一般社団法人「fair」代表理事の松岡宗嗣によると、提出された4つの法案には次のような違いがある。
性的指向及びジェンダーアイデンティティの多様性に関する国民の理解の増進に関する法律 反応
自民党の山東昭子前参院議長は6月16日の参院本会議で採決の際に退席したことに関して記者団に対し「こんな生煮えの状態ではなく、きちんとした形でやっていかなければならない」と述べた。山東は「心と体がアンバランスな方に差別の意識はないが、やはり区別をしていただきたい」と指摘し、「これまで女性トイレなどでなりすましの人たちによる犯罪も起きた。この法案が通り、何でも受け入れるのが当たり前だという風潮になったとしたら大変由々しき問題だ」と述べた。
自民党参院議員の青山繁晴は6月16日の参議院本会議で採決の際に退席したことに関して記者団に対し「全ての点で懸念は払拭されていない」と述べた。青山は与党案の「性同一性」の文言が「ジェンダーアイデンティティ」に置き換わったことについて、「国民がほとんど使ったことがない言葉だ。日本語をカタカナに置き換えたことは反対だ」と述べた。また、この法律が性の多様性に関する教育や啓発を求めていることに関して「学校教育の現場が混乱する。性に関して不安定な時期に教育現場が混乱することは、国や社会の根幹にかかわる。子供たちに責任を持つことができない」と指摘した。
性的指向及びジェンダーアイデンティティの多様性に関する国民の理解の増進に関する法律 反応
6月15日、自民党内の有志議員らがこの法律を巡り、トイレや公衆浴場などの「女性専用スペース」を確保するための法整備に向けた議員連盟（女性スペースなどを守る議員連盟）を立ち上げることが判明した。発起人として経済産業大臣の西村康稔、参院幹事長の世耕弘成、橋本聖子ら50人超が参加する。この議員連盟では「女性専用スペースに関する法律（仮称）」と「女子スポーツに関する法律（仮称）」の制定に向けた政策提言を主なテーマとする。設立趣意書では「安心安全を守る制度を確立して、女性と女子の『生存権』を確保しなければならない」と明記し、法整備によって「理解増進法についての女性たちの恐怖と不安が緩和され得る」とした。
公明党幹事長の石井啓一は6月2日の記者会見で、与野党から3つの法案が提出され、審議入りが難航していることについて「大きな違いはない。野党が自公案に歩み寄っていく余地は十分あるのではないか」と述べ、野党側に与党案の成立に協力するように求めた。また、6月9日の記者会見では同日合意された与党の修正案について、「自公案の骨格は変わらず、法律的な意味の変化はない。幅広い合意となり、法案としての安定性が高まる」と述べ、同時に「維新・国民案を丸のみしたものでは決してない」と強調した。
性的指向及びジェンダーアイデンティティの多様性に関する国民の理解の増進に関する法律 反応
自民党参院議員の有村治子は6月15日の参院内閣委員会での質疑において、「性的マイノリティーの方々に対する不当な差別や偏見はあってはならない」「同時に、理解増進法案によって国民の不安が増すような事態は避ける努力を続けなければなりません」と述べ、女湯や女性トイレにトランスジェンダーを装った男性が入り込むリスクを指摘した。また、差別禁止の法整備を求める駐日米国大使のラーム・エマニュエルに関連して、「本国の国レベルで実現できていないことを声高に日本に迫る外圧、世論誘導影響工作であるとすれば、これを警戒する声が出てくるのも無理からぬこと」と述べた。
法案成立後の6月16日にLGBT法連合会など当事者団体が厚生労働省で記者会見を行い、多数派に配慮して追加された「全ての国民が安心して生活できるように留意する」という条項に対し「理解を進める取り組みが妨げられ、現状が後退する懸念がある」と抗議した。LGBT法連合会の神谷悠一事務局長は「安心できないから（LGBTに関する）教育をやめろといった要請が、全国で乱発されるのではないか」と述べ、同性婚実現を目指すマリッジ・フォー・オール・ジャパンの理事の松中権は「一歩ずつ進めてきた活動が崩れてしまう」と懸念した。
性的指向及びジェンダーアイデンティティの多様性に関する国民の理解の増進に関する法律 反応
自身がゲイであることを公表しているタレントの楽しんごは、インスタグラムのストーリーズ上で理解増進法の制定自体に反対を表明し、「全国の旅館・温泉組合・銭湯・旅行会社の経営者や責任者はLGBT法反対を表明すべき」「自分の会社の存続が危うくなる事を理解し抗議せよ。表立って批判するのが難しいなら地元の自民議員に陳情の電話をすればよい。男女別更衣室や部屋のある全ての企業が危機感を持て。ボケーとしてると潰れる」と旅館業界などへ法案への反対運動を展開するよう呼びかけた
実業家の西村博之は6月15日に法案に関連し「女性を自認する男性器のある人が『温泉旅館の予約がしたい。男湯はありえない。』と言った時に、女湯に入るのはまずいので温泉旅館が予約を断った。これは差別？」とツイートした。日本ファクトチェックセンターは同日、このツイートで法案の条文として引用したものが、2016年5月27日に民進党などの野党が衆院に共同提出したLGBT差別解消法案のものであり、誤った引用であると指摘した。
性的指向及びジェンダーアイデンティティの多様性に関する国民の理解の増進に関する法律 反応
駐日米国大使のラーム・エマニュエルは6月16日、Twitterに「これで流れが変わりました。本日、日本の国会はLGBT理解増進法を成立させました。岸田首相のリーダーシップと、LGBTQI+の権利に対する日本国民のコミットメントをたたえます。これは、万人に平等な権利を確保するための重要な一歩となります。心よりお祝い申し上げます」とツイートし、この法律の成立を歓迎した
ジャーナリストの鈴木エイトはこの法律を含めた政府のジェンダー関連施策と、日本会議、神道政治連盟、旧統一教会などとの関わりについて、「参院内閣委での有村議員や山谷議員の発言、この人たちは誰に向かって喋ってるんだろうと思った」「かつて山谷議員はジェンダーフリーや性教育へのバックラッシュを先導し、第二次男女共同参画基本計画において『ジェンダー』という文言を使用させないようにしたり、安倍・山谷がチェックできるようにしたり、明らかにこの時代から宗教右派と連携していた」「国際勝共連合（統一教会）が開催したシンポジウムの映像を見ると、『性の多様性が家庭を崩壊させる』とか『文化共産主義』などと述べられている。このような偏った団体が政治を動かしている。背景にこういう団体があるということを、本来はきちんと調査がなされるべきだ」と述べた
読売新聞代表取締役主筆の渡辺恒雄は、岸田首相の開成高校の先輩という間柄から「岸田応援団」という立場で、社説で「岸田政権は多様性を尊重していない、という批判を避ける狙いがあったのだろうが、法案提出の表明は拙速と言わざるを得ない。米国ではLGBTを子どもたちに教えるべきかどうかを巡って、対立が深まっているという。海外のLGBT対策を参考に、日本社会にふさわしい施策について議論を深めることが大切だ」と述べ、慎重な審議を求めた。
性的指向及びジェンダーアイデンティティの多様性に関する国民の理解の増進に関する法律 事件
2023年11月13日、三重県桑名市長島町の温泉施設に「心は女」と主張する女装の男性(43歳)が女性風呂に侵入し、三重県警に建造物侵入の現行犯で逮捕されている。男性は「心は女なので、なぜ女子風呂に入ってはいけないのか全く理解できない」と供述しているとされる。この事件に関し、法案推進の中心的な役割を担った稲田朋美は「事案の詳細を承知しませんが、理解増進法とは関係ないようです。公衆浴場や温泉施設の利用に関して厚労省が管理要領を定めており、男女の判断基準は身体的特徴によるものとすることになっています。これは理解増進法が制定される前後で全く変更はありませんし、法制定前も後も犯罪であるということをＸ（旧ツイッター）上などで繰り返し申し上げてきました。いずれにせよ犯罪行為に対して、引き続き厳正に対応していくことは当然です」と述べている。百田尚樹は本法の成立に際して、このような事件は予想していたとしている。
バーンダム・ミュージアム
バーンダム・ミュージアム（タイ語: พิพิธภัณฑ์บ้านดำ）とは、タイ王国チエンラーイ県の博物館、美術館。
付近にあるワット・ロンクン（ホワイトテンプル）・ワット・ロンスアテン（ブルーテンプル）と合わせてブラックハウスと紹介される。
バーンダム・ミュージアム 概要
タイにおいて視覚芸術（絵画）の人間国宝といわれているタワン・ダッチャニーの絵画が展示されている博物館で、36年間という時間をかけて設計・建築された。敷地内には、タイ北部建築様式の25を超える建物と、民芸品を展示する建物の計36軒が建てられている。展示品は死と地獄に関する絵画、水牛の骨、鹿の角、ワ二の皮といった動物関連や謎に満ちてはいるが全裸の男の彫刻などももある。ただ、この36軒の内入れるのは数軒でその他は外から見ることしかできない。建物はすべて3〜4階建て。ミュージアム入り口にはカフェがある。
バーンダムとは「黒い家」という意味で、実際に建築物は黒色が多い。黒色の理由は「タワン・ダッチャニーが黒が好きだから」と言われている。ただ先程「多い」といったように白い神殿なるものも存在し、それと比較するために黒の建築物は黒い神殿と呼ばれる。黒い神殿と白い神殿は天国と地獄、善と悪という対となる違いを表しているとされる。
土地は100ライ（16ヘクタール）以上で入場料は80バーツ。因みにワット・ロンクンなどと同じく未だに未完成である（タワン・ダッチャニーは死亡済み）。
中国人人気が高い。
第11独立陸軍航空旅団 (ウクライナ陸軍)
第11独立陸軍航空旅団（だい11どくりつこうくうりょだん、ウクライナ語: 11 та окрема бригада армійської авіації、略称11 ОБрАА）は、ウクライナ陸軍の旅団の一つ。第8陸軍航空司令部隷下で、ヘルソン州チョルノバエフカ空軍基地に旅団司令部を置き、航空戦力としてMi-24P/VPとMi-8MT/MTVを運用する。
第11独立陸軍航空旅団 (ウクライナ陸軍) 概要
第11独立陸軍航空旅団の前身はソ連地上軍第320独立ヘリコプター連隊で、ソビエト連邦崩壊後の1992年1月12日にウクライナへ編入された。アブハジア紛争中の1993年にはコドリ渓谷からの民間人避難作戦に従事した。
2013年に第11独立陸軍航空旅団へ改編され、2014年からのドンバス戦争ではクリミア半島境界でのウクライナ軍増強任務に従事し、2015年3月18日には東部ドンバス地方からの撤退戦で航空機3機を失った。
2019年10月14日にウォロディミル・ゼレンスキー大統領から「ヘルソン」の名誉称号を与えられた。
東京急行電鉄株式買い占め事件
東京急行電鉄株式買い占め事件（とうきょうきゅうこうでんてつかぶしきかいしめじけん）は、東京急行電鉄（現・東急。2019年に100％子会社の「東急電鉄」を設立し、同年10月1日に、鉄軌道事業を移管）の株式の買い占めに係る事件。
東京急行電鉄株式買い占め事件 概要
1989年に稲川会の会長であった石井隆匡が東京急行電鉄の株式を買い占めていた。
石井隆匡は渡辺広康の名義を使用して、1989年度中に大量の東京急行電鉄の株式の売買を行い17億円を儲けていた。
「誠備グループ」という加藤暠が率いる株価を吊り上げるグループが存在し、このグループと石井隆匡が組んで東京急行電鉄の株価を吊り上げていた。
地産の竹井博友などの大物も集結して大相場となっていた。だが1991年に石井隆匡が死去したことで株式を買い占めていた側が崩壊してバブルが終焉する。
1991年のバブル景気が崩壊した時に野村證券、日興証券と石井隆匡が取り引きをすることで東京急行電鉄の株式を買い進め、発行済み株式の2%強を取得するまでになっていたということが発覚した。この株式を担保に証券会社系列の金融会社から360億円の融資を受けていた。
1991年11月、日本証券業協会は暴力団関係者との取り引きを禁止する決議を採択した。
安城市のあんき会
安城市のあんき会（あんじょうしのあんきかい）とは、愛知県安城市で平成19年から平成20年にかけて開催された「安城市自治基本条例を考える市民会議」の通称である。
安城市のあんき会 概要
安城市では、地方分権が進み、自治体には自らの地域のことを自ら決定し、自ら行動することが求められる時代になったことから、まちづくりの担い手である市民・議会・行政が協働してまちづくりを進めるために必要な基本ルールを定めることが必要と考え、「条例」という形で明文化することを目指した。
そのために、「安城市自治基本条例を考える市民会議」（通称：あんき会）が設置された。あんき会は、民公募メンバー24名と職員公募メンバー11名の計35名で構成されており、平成19年12月から約1年間にわたって17回の会議を開催した。
あんき会では、「前文」「条例の目的」「用語の定義」「条例の位置づけ」「自治の基本原則」「市民の権利」「市民の役割と責務」「議会の役割と責務」「市長の役割と責務」「職員の役割と責務」「市民参加」「コミュニティ」「住民投票」「情報公開、個人情報の保護」「説明責任」「市政運営・組織」「行政評価」「財政運営」「他機関との連携」「条例の見直し・改正」「その他」の21項目からなる「条例素案」を作成し、平成20年11月に市長に提言した。
安城市のあんき会 概要
この提言を受けて、学識経験者、関係団体代表者、議会代表者、あんき会代表者からなる「安城市自治基本条例策定審議会」が設置され、条例（案）を検討した。その結果、平成21年9月に議会で可決され、同年10月1日に公布された。条例は6ヶ月の準備期間を経て、平成22年4月1日に施行された。
安城市のあんき会 安城市自治基本条例
安城市自治基本条例は、「自治体の憲法」ともいわれるもので、安城市がどんなまちを目指すか、どんな自治体を目指すかを明らかにし、市民・議会・行政が協働してまちづくりを進めるための基本原則と理念を明確にしたものである。
安城市のあんき会 安城市自治基本条例
条例は、「安城市は、自然と人が共生する環境に恵まれたまちであり、歴史と文化が育んだ伝統や特色を大切にしながら、新しい時代にふさわしい創造性や開拓精神を持って発展してきました。このような安城市の誇りや安城らしさを守りつつ、市民一人ひとりが主体的に参加し、協働してまちづくりを進めることで、だれもが幸せに暮らし続けられる社会を創ります。このためには、市民・議会・行政がそれぞれの役割と責務を自覚し、互いに信頼し合いながら対話し、情報を共有し、説明責任を果たすことが必要です。この条例は、このような安城市の基本理念に基づき、安城市民自治の推進に関する基本的な事項を定めることを目的とします」という前文で始まり、「用語の定義」「条例の位置づけ」「自治の基本原則」「市民の権利と役割・責務」「議会の役割と責務」「市長の役割と責務」「職員の役割と責務」「市民参加」「コミュニティ形成等の推進」「住民投票等による意思表示制度」「情報公開及び個人情報保護等に関する事項」「説明責任等に関する事項」「市政運営及び組織等に関する事項」「行政評価等に関する事項」「財政運営等に関する事項」「他機関等との連携等に関する事項」
「条例の見直し及び改正等に関する事項」
「その他」
の26条からなる。
新城和博
新城 和博（しんじょう かずひろ、1963年2月25日 - ）は、日本の編集者、コラムニスト、随筆家、ラジオパーソナリティ、作詞家。
新城和博 経歴
1963年生まれ、沖縄県那覇市出身。那覇市立城岳小学校、那覇市立上山中学校、沖縄県立那覇高等学校を経て、琉球大学法文学部社会学科社会人類学コース卒業。高校ではワンダーフォーゲルクラブに所属。大学では今帰仁村の集落にフィールドワークで赴き、住民から聞き取りを行った。
大学卒業後、内地の出版社に就職し、出版社の営業として百科事典的な本の訪問販売に従事するが、自分には合わないと感じて退社し帰郷。月刊誌『青い海』の出版社の社員募集に応じ就職したが、3ヶ月ほどで倒産したため、1986年に沖縄出版に入社。「まぶい組」として『おきなわキーワードコラムブック』などの編集に携わった。
その後、1990年創立の出版社ボーダーインクに入社し、コラムマガジン『Wander』に2005年の終刊まで編集長として関わる。その後も編集者として数多くの出版物に携わるほか、沖縄に関するエッセイを執筆し、多数の書籍や雑誌に寄稿している。
ラジオパーソナリティや、作詞なども手掛けている。
ダイロン・ブランコ
ダイロン・ブランコ（Dairon Blanco）
ニ十歳に還りたい。
『二十歳に還りたい。』（はたちに かえりたい。）は、幸福の科学出版製作による2023年9月29日公開の実写日本映画。監督は赤羽博、主演は田中宏明。
ニ十歳に還りたい。 概要
幸福の科学の第27作目の劇場用作品。劇場用実写映画作品としては18作目。宗教家の大川隆法が製作総指揮・原作を務め、「人生の生きる意味や、愛とは何なのか」を深く問いかけるストーリー。人生を生きる時に「本当に必要な価値観とは」を振り返り「愛と反省」をメインテーマに描く物語。
2023年6月14日、本年秋に映画公開が決定し、特報映像やメイン出演キャストなどが公表された。
ニ十歳に還りたい。 あらすじ
主人公：寺沢一徳（てらさわ かずのり）は、80歳になり高齢者施設で孤独な日々を過ごしていた。一代で大企業を築き世間からは「経営の神様」と崇められてていたが、引退後はその生きざまから家族から見放され孤独な日々であった。施設での一徳の相手をする学生ボランティアの山根明香（やまね あすか）が唯一の慰めであった。人生を振り返り「本当に大切なものは」と考えるうちに、ふと「ニ十歳に還りたい。」とつぶやき願う瞬間に、一徳はある大学のキャンパスでニ十歳の青年の姿になっていた。「これは現実なのだろうか?」。一徳は、今度こそ悔いのない人生をと、夢のような日々を歩みだす。
ニ十歳に還りたい。 登場人物・キャスト
寺沢 一徳（てらさわ かずのり）
演 - （老年期）津嘉山正種 - （若返り 青年期）田中宏明
80歳の老人。一代で大企業を立ち上げ、社会的には成功したと見られる人生であるが、事業を引退後は、高齢者施設で孤独な日々を送る。家族は離散し寄り付きもせず、何が悪かったのかと悔やむ日々である。ある日「ニ十歳に還りたい。」とつぶやき願う瞬間に、ニ十歳の青年の姿になる奇跡が起きて、戸惑いながらも「人生に本当に大切なものは」と考えながら夢のような日々をスタートする。
山根 明香（やまね あすか）
演 - 三浦理香子
ある大学に通う学生で、高齢者施設で学生ボランティアをしている。大学サッカー部のマネージャーもしている。
山瀬 渉（やませ わたる）
演 - 伊良子未來
ある大学に通う学生で、山根や寺沢と同じ大学サッカー部。
その他の出演者：
永嶋柊吾、上杉祥三 ほか
ニ十歳に還りたい。 主題歌・挿入歌など
作詞・作曲：大川隆法
歌：小原ゆかり
作詞・作曲：大川隆法
歌：
作詞・作曲：大川隆法
歌：
作詞・作曲：大川隆法
桜井恵理子
桜井 恵理子（さくらい えりこ 1960年11月16日 - ）は、日本の実業家。
桜井恵理子 人物
1984年東北大学文学部卒業。1987年東北大学大学院文学研究科心理学専攻博士課程前期2年の課程修了、1987年Dow Corning Corporation（米国）入社、1989年トーレ・シリコーン株式会社（現ダウ・東レ株式会社）へ異動、1999年東北大学大学院情報科学研究科博士課程後期3年の課程（人間社会情報科学専攻）進学。
2009年東レ・ダウコーニング株式会社代表取締役・CEO就任、2014年ソニー社外取締役。2015年ダウコーニング・ホールディング・ジャパン株式会社代表取締役社長、三井住友フィナンシャルグループ社外取締役。
2018年ダウ・コンシューマーソリューションズ事業部コマーシャルディレクター（日本韓国）、ダウ・東レ代表取締役会長兼ＣＥＯ。2020年ダウ・ケミカル日本、韓国法人の代表取締役社長、2022年アステラス製薬社外取締役、花王社外取締役、2023年日本板硝子社外取締役。
ナギヒロハテンナンショウ
ナギヒロハテンナンショウ（学名:Arisaema nagiense）は、サトイモ科テンナンショウ属の多年草。
葉はふつう1個で、小葉は5個に分裂する。仏炎苞に隆起する縦の条線があり、花序が葉より早く展開する。小型の株は雄花序をつけ、同一のものが大型になると雌花序または両性花序をつける雌雄偽異株で、雄株から雌株に完全に性転換する。
ナギヒロハテンナンショウ 特徴
地下の球茎に腋芽が生じ、それはときに子球に発達する。植物体の高さは10-40cmになる。偽茎部は葉柄部よりやや短く、偽茎の開口部は襟状に波打つ。葉はふつう1個で、葉身は5-7個に分裂して展開し、小葉間の葉軸は発達しない。小葉は線形から狭披針形で、先端はとがり、縁は全縁になる。
花期は5-6月、花序が葉より早く鞘状葉から抜き出て展開し、葉柄はその後に伸びて葉を展開し、花序より高くなる。仏炎苞の外面はやや緑色を帯びた紫褐色で、仏炎苞筒部に著しく隆起した縦の白色の条線がある。仏炎苞口辺部は狭く開出するか、ほとんど開出せず、仏炎苞舷部は内面が紫褐色で光沢があり、狭三角形から三角状狭卵形で、舷部先端は次第に細まって筒部より長く前方に垂れる。花序付属体は棒状になって伸び、紫褐色で先端は色が薄く黄色がかり、先端は仏炎苞筒部からほとんど出ない。まれに花序全体が緑色の個体も見受けられる。果実は秋に赤く熟す。染色体数は2n=26の二倍体である。
ナギヒロハテンナンショウ 分布と生育環境
日本固有種。本州西部の兵庫県、鳥取県および岡山県に分布し、山地の林縁の笹原などに生育する。
ナギヒロハテンナンショウ 名前の由来
和名ナギヒロハテンナンショウおよび種小名（種形容語）nagiense は、兵庫県の植物学者の小林禧樹ら (2008) による命名。小林ら (2007) は、兵庫県宍粟市の鍋ヶ谷山でタイプ標本を採集したほか、この種の命名で標本を採集した場所に岡山県勝田郡奈義町の那岐山がある。
ナギヒロハテンナンショウ 種の保全状況評価
絶滅危惧IA類 (CR)（環境省レッドリスト）
2018年2月に、絶滅のおそれのある野生動植物の種の保存に関する法律（平成4年法律第75号）による国内希少野生動植物種に指定された。環境大臣の許可を受けて学術研究等の目的で採取等をしようとする場合以外は、採取、損傷等は禁止されている。併せて、商業的に個体の繁殖をさせることができる特定第一種国内希少野生動植物種に指定された。
ナギヒロハテンナンショウ 類似種
イナヒロハテンナンショウ Arisaema inaense (Seriz.) Seriz. ex K.Sasamura et J.Murata (2008) - 長野県と岐阜県に分布し、葉はふつう1個で、仏炎苞は葉の下につき、淡紫褐色でやや緑色を帯び、隆起する白い条線が多数あり、仏炎苞口辺部は狭く開出する。仏炎苞が葉より遅れて展開する。絶滅危惧IA類(CR) 。国内希少野生動植物種および特定第一種国内希少野生動植物種。
宇宙少女
宇宙少女（うちゅうしょうじょ）
宇宙少女 - K-POPのアイドルグループ。
宇宙少女 - アダルトビデオメーカーの宇宙企画が専属契約を結んでいた美少女路線のAV女優（早川愛美、秋元ともみ、麻生澪など）。宇宙企画#沿革を参照。
宇宙少女ゼノン - アメリカのテレビ映画。
宇宙少女漂流記 - ボイスドラマ。
宇宙少女モルモ10分の1 - テレビドラマ。MORUMO 1/10#テレビドラマを参照。
2023年のNBAファイナル
2023年のNBAファイナル (英語: 2023 NBA Finals)とは、NBAの第77回NBAファイナル (前身のBAA時代を含む)。2022-23シーズンのレギュラーシーズン、プレーオフを勝ち抜いたデンバー・ナゲッツとマイアミ・ヒートが対戦し、4勝1敗でナゲッツが創設56年目で初の優勝を勝ち取った。NBAファイナル最優秀選手賞はナゲッツのニコラ・ヨキッチ。
2023年のNBAファイナル 背景
ウェスタン・カンファレンスのナゲッツは53勝29敗 (勝率.646)でレギュラーシーズンを1位で終えた。プレーオフでは、1回戦で第8シードのミネソタ・ティンバーウルブズに4勝1敗、カンファレンスセミファイナルで第4シードのフェニックス・サンズに4勝2敗、カンファレンスファイナルで第7シードのロサンゼルス・レイカーズに4勝0敗でNBAファイナルに進出した (NBAでは初、ABA時代を含めると57年ぶり2回目)。カンファレンスファイナルMVPをニコラ・ヨキッチが受賞した。
イースタン・カンファレンスのヒートは44勝38敗 (勝率.537)でレギュラーシーズンを7位で終えた。プレーイン・トーナメントでは、アトランタ・ホークスに敗れ、シカゴ・ブルズに勝った結果、第8シードとなった。プレーオフでは、1回戦で第1シードのミルウォーキー・バックスに4勝1敗、カンファレンスセミファイナルで第5シードのニューヨーク・ニックスに4勝2敗、カンファレンスファイナルで第2シードのボストン・セルティックスに4勝3敗でNBAファイナルに進出した (3年ぶり7回目、第8シードとしてはNBA史上24年ぶり2回目)。カンファレンスファイナルMVPをジミー・バトラーが受賞した。
レギュラーシーズンではナゲッツがヒートに対して2勝0敗を記録した。
2023年のNBAファイナル 試合結果
チーム成績
チーム成績
チーム成績
チーム成績
チーム成績
柳川真一
柳川 真一（やながわ しんいち、1889年（明治22年）7月17日 - 1965年（昭和40年）5月15日）は、大日本帝国陸軍軍人。最終階級は陸軍中将。功四級
柳川真一 経歴
1889年（明治22年）に島根県で生まれた。陸軍士官学校第23期卒業。1937年（昭和12年）11月に陸軍歩兵大佐に進級し、1938年（昭和13年）3月に第3国境守備隊長に着任。1939年（昭和14年）3月に歩兵第110連隊長（第110師団）に転じ、日中戦争に出動し、京漢線沿線の守備に任じた。1940年（昭和15年）9月24日に本郷連隊区司令官に転じた。
同年12月2日に陸軍少将に進級し、1941年（昭和16年）12月に第20歩兵団長（朝鮮軍・第20師団）に着任。1943年（昭和18年）8月に朝鮮軍司令部附を経て、1944年（昭和19年）1月10日に独立歩兵第2旅団長（北支那方面軍）に就任し、中国戦線に復帰。石門を根拠地とし、京漢線・石太線・石徳線・井崗炭鉱及び棉産地の守備並びに確保に務めた。10月26日に陸軍中将に進級、11月22日に第120師団長に親補され、京城で守備に就いた。
1947年（昭和22年）11月28日、公職追放仮指定を受けた。
アベママ王国
アベママ王国（アベママおうこく、kingdom of abemama）は、キリバスのアベママ環礁、クリア環礁、アラヌカ環礁、ノノウチ環礁に1843年から1892年までに存在した王国。
アベママ王国 概要
面積は77.098㎢。アベママ環礁はココナッツやタロイモなどの生産が盛んであり、首都も担っていた。クリア環礁は主な行政機関などを持っている。
アベママ王国 歴史
1843年、現在のキリバスの首都のタラワの南東152kmに、カロツ王によってアベママ環礁を首都とするアベママ王国が建国された。しかし、1844年にイギリスのニュージーランドから航行してきたヘンリー船長によって周りの島がすでにイギリス領だということでノノウチ環礁が占拠されると、やがてアベママ王国は勢力を失っていく。
1891年、アベママ環礁からクリア環礁、アラヌカ環礁まで実質的な統治の権利を広げたが3代目のピノカ王が死亡する。
1892年、イギリスはアベママ環礁を含むギルバート諸島、エリス諸島
を保護領とし、アベママ王国は消滅。
Lean (証明アシスタント)
Lean は、プログラミング言語の一つである。「衛生的でありながら非常に強力なメタプログラミングフレームワークを備えた純粋関数型プログラミング言語」であり、同時に「Calculus of Inductive Constructions (CIC) と呼ばれる依存型の一種に基づく定理証明支援系」でもあるという２つの顔を持つ。この、汎用プログラミング言語でありながら定理証明支援系でもあるという点は Lean の大きな特徴である。
Lean は純粋関数型プログラミング言語でありながら、標準でループや可変ローカル変数の構文を備えているほか、一定の条件の下で関数アクセスをフィールドアクセスのように書くことができるという構文上の特徴がある。また、「参照カウントに基づいて自動的に破壊的変更を行う」という、Functional but in-place と呼ばれる最適化を行う。総じて、従来の関数型言語のパフォーマンスと構文面における欠点を改善している。
また、定理証明支援系としての Lean は、Unicode の積極的な使用と高度な対話性、拡張性の高さによる構文定義の柔軟性により可読性と快適な UI を提供することにある程度成功しており、型システムの専門家や形式証明の研究者だけでなく、数学研究者や学生からも支持を集め、Mathlib という大規模な形式数学ライブラリを擁するに至った。
Lean (証明アシスタント) 歴史
Lean はGitHubでホストされているオープンソースプロジェクトである。2013年にMicrosoft ResearchのLeonardo de Mouraによって立ち上げられた。
Lean は最初の定理証明支援系ではない。Lean の開発時点で Coq や Agda など他の定理証明支援系は存在しており、Lean の言語仕様はそれらから大きく逸脱したものではない。新しい証明支援系を考案した理由として、次の２点がある。
Lean (証明アシスタント) 歴史
証明のホワイトボックス自動化ツールを開発するためのプラットフォームを作成すること- Z3 SMT ソルバの開発者でもある Leonardo de Moura は、標準的な SMT 実装の長所と同時に限界も痛感していた。特に SMT ソルバの設定を変更することができず、フリーサイズ(one-size-fits-all)な設計となっていることは、ブラックボックス的であり好ましくなかった。ホワイトボックスアプローチとは、ここではSMTソルバを構成する要素をユーザが必要に応じて組み替えたり再構成したりできるように公開することを指す。対話的定理証明支援系(interactive theorem prover, ITP)のタクティク言語は、ホワイトボックス化を実現するための自然な手段であり、オーダーメイドの自動化を迅速かつ段階的に開発することを可能にし、SMT と対話的定理証明の間のギャップを埋めることに役立つだろうと期待できた。
Lean (証明アシスタント) 歴史
小さな型理論とカーネル - Lean という名前には、英語で「痩せている」とか「贅肉がない」という意味がある。Lean の基礎としては標準的な依存型理論(dependent type theory)を最小限の理論に圧縮したものが採用されているが、これが Lean という名前の由来である。タクティクは無限に発展・洗練させることが可能であるべきだが、タクティクの出力を検証するシステムの実装は可能な限り単純であるべきである。Lean の目指す「Lean らしさ」は、依存型理論の他の実装と比較して「より複雑な論理を、より単純なシステムで表現する」ことである。Lean が影響を受けかつ最も Lean に近い型理論を採用している Coq と比較すると、Lean は fixpoint 演算子や型システムに埋め込まれたモジュールシステムがないなどの違いがある。
Lean (証明アシスタント) 歴史
最初のプロトタイプは Lean 0.1 (2014 年) である。Lean 0.1 では ML ライクな構文が導入され、それは後のすべての Lean のバージョンで継承されることになる。単純な simp  タクティクが既にこのバージョンから存在した。帰納型のサポートはまだなく、手で公理(axiom)を追加する必要があった。Lean 0.1 では、Lua スクリプトによる構文と戦術の拡張がサポートされていたが、この部分は後の Lean 3 で削除されることになる。
2015 年、Lean の最初の公式リリースである Lean 2 が発表された。帰納型の適切なサポートや組み込みタクティクの拡張など、欠けていた重要な機能が追加されたほか、主要な機能として Lean 2 ではホモトピー型理論 (HoTT) のサポートが追加された。
Lean (証明アシスタント) 歴史
最初にリリースされた比較的安定したバージョンは Lean 3 で、2017年の1月20日にリリースされた。Lean 3 では、あまり使用されていなかった Lua による構文拡張機能が削除され、根本的に異なるアプローチが採用された。Lean 自体がプログラミング言語とされ、Lean 自体によりタクティクの定義やそのほかのメタプログラミングが可能になった。Lean 2 からのもう一つの大きな変更は、ホモトピー型理論 (HoTT) のサポートの廃止である。HoTT のサポートが廃止された理由としては、
が挙げられる。また、Lean で数学を形式化するライブラリである mathlib がコミュニティ管理の 独立したプロジェクトとして分離された。
バージョン3.4.2以降、Lean 3の開発は正式に終了し、Lean 4の開発が始まった。
2021年、Lean 4の最初のマイルストーンリリースが発表された。C++ではなく Lean 自身によって再実装され、「Lean は定理証明支援系であると同時に、汎用プログラミング言語でもある」と標榜するようになった。
Lean 4 より以前のバージョンでは、次のような問題点が認識されていたが、Lean 4 では大幅に改善された。
Lean 4 は完全に拡張可能であり、パーサ、エラボレータ、タクティク、決定手続き(decision procedure)、プリティプリンタ、コードジェネレータを変更・拡張することができる。また Lean 4 は対話的証明のためにカスタマイズされた衛生的なマクロ(hygienic macro)を持つ。Lean の構文をユーザが改変する際に C++ コードに触れる必要はなくなった。
さらに Lean 4 ではメモリ管理手続きが改善されたほか、テーブル解決に基づく新しい型クラス解決アルゴリズムが使用され、パフォーマンスが改善された。また、Lean 4 は functional but in-place と呼ばれる新しいプログラミングパラダイムに基づくようになった。
Lean 4 には Lean 3 との後方互換性はない。Lean3 で開発されていた主要なライブラリとして、2017年ごろから開発が行われていたmathlib が挙げられるが、コミュニティにより Lean4 への書き直しが行われた。これには100万行以上のコードを書き換える必要があったが、この移行作業は2023年7月に完了した。
2023年7月、Lean Focused Research Organization (FRO) が設立された。形式数学革命のために、証明のUI改善、スケーラビリティの改善、証明の自動化といった問題に取り組むとしている。また2023年9月、最初のLean 4 の公式リリースが発表された。
Lean (証明アシスタント) Leanの型システム
非形式的な数学において一般的に基礎理論として採用されているのは ZFC 集合論と呼ばれる理論であるが、Lean で採用されている基礎理論は Calculus of Inductive Constructions  (省略して CIC と呼ばれる) であって、これとは異なる。
Lean の型システムの無矛盾性については、Lean 3 の時代の結果として、「が無矛盾であることと、  が無矛盾であることが同値であること」が知られている。ただし  とは、「ZFC に、任意の有限個の到達不能基数が存在するという仮定を足したもの」を指し、   とは「Lean 3の型システムに、任意の有限個の universe があるという仮定を足したもの」を指すものとする。 これは、ZFC の中で Lean 3 のモデルが構築でき、Lean 3 の中で ZFC が構築できるためである。
Lean 4 については、入れ子帰納型 (nested inductive type) や構造体のη変換 (η for structures) が導入されたことが型システムに大きな影響を及ぼしており、Lean 3 に対する無矛盾性の証明はそのまま適用できなくなった。
Lean (証明アシスタント) Leanの型システム
Lean では項の型は一意である。つまり、項 e の型が α であり同時に β であるとき、α と β は（どこかの型宇宙において）等しい。
なお、これは「型とは、集合のようなもの」という、型に対する素朴な理解とは矛盾することに注意が必要である。集合の場合は、 かつ  であるならば、 が成り立つ。しかし、Lean では型 U の項を他の型の項であると直接見なすことはできない。
旧Coq (現在のRocq) は、Lean と同じくCalculus of Inductive Constructions (CIC) を採用しているという点で、Lean とよく似ているが、以下のような点で異なる。
Lean (証明アシスタント) Lean の機能
プログラミング言語としての Lean は、関数などの式を部分的に実行して評価することが容易にできるように設計されている。#eval というコマンドが存在し，関数などをその場で評価することができる。いわば、Jupyter Notebook のような対話的な実行環境が最初から利用可能であるということができる。
Lean はオブジェクト指向言語ではなく、オブジェクトやクラスに相当する概念は存在しないが、関数適用を「まるでフィールドにアクセスするかのように」書くことができる記法が用意されている。これは Nim 言語における Uniform Function Call Syntax に似ている。
同じく純粋関数型言語である Haskell とは異なり、Lean は正格評価である。つまり、関数を評価する前に関数に渡された引数をすべて評価する。
Leanでは帰納型を定義することができる。帰納型とは、「その型の項を得る関数（コンストラクタ）」を有限通り指定することで定まる型であり、Leanでは「その型の上の関数/述語を得る方法（再帰原理）」が同時に生成されることで帰納法が可能であることが保証される。
Lean (証明アシスタント) Lean の機能
帰納型の最も簡単な例は、列挙型である。列挙型とはある定められた有限通りの値しか取らない型のことで、たとえばBoolはLeanの標準ライブラリで列挙型として定義されている。列挙型は、「コンストラクタが引数を取らない」という特別なケースの帰納型である。
コンストラクタは引数をとっても構わない。特にこれから定義しようとしている自分自身を引数に取ることも許されるので、再帰的なデータ型を定義することができる。再帰的な帰納型の最も簡単な例は、自然数である。自然数はLeanの標準ライブラリでは次のように定義されている。
この定義はペアノの公理に基づいており、すべての自然数はゼロもしくは他の自然数の後者であると述べている。ペアノの公理には「コンストラクタが単射」「コンストラクタの像が重ならないこと」「帰納法の原理」も含まれるが、それらの成立はLeanによって自動的に保証される。

自然数の加算はパターン・マッチングを使用して、再帰的に定義できる。
Lean ではカリーハワード同型対応を利用して証明を行う。ある命題 P の証明 h は，型 P を持つような項 h : P と同一視される。したがって、Lean を仲介することによって「証明する」ということは、「正確にある型を持つような項を作る」ということに言い換えられる。
Lean (証明アシスタント) Lean の機能
これは Lean で簡単な命題の証明項を実際に構成した例である。
Lean の機能として、タクティクによって証明項を構成することができる。by キーワードによってタクティクモードに入ることができる。タクティクモードの中では、「現在利用できる仮定や命題」「今示すべきこと」が常に infoview に表示され、対話的に証明を書くことができる。
Lean は依存型を持つ。つまり、関数 f : A → B があったときに、f による t : A の返り値 f t の型が t に依存していてもよい。このとき f の型を f : (t : A) → B のように表記する。これにより、命題に正しく型を付けることが可能である。
依存型がなければ命題（これは一種の型である）が項に依存することができないので、表現することができる命題の範囲がとても狭まってしまう。定理証明支援系をプログラミング言語として実現するうえで、依存型があることはとても重要な役割を果たす。

また、依存型はより柔軟にプログラムに型を付けることを可能にし、型で表現できるソフトウェアの仕様の範囲を広げる。以下は「長さが n であるようなリスト」を Subtype として表現する型である。
Lean (証明アシスタント) Lean の機能
Lean は強力なメタプログラミング機能を持っており、新しい記法の定義や証明の自動化が行えるようになっている。以下は、notation コマンドで記法を定義する例である。
declare_syntax_cat コマンドや macro_rules コマンドを使うことで、さらに複雑な構文も定義することができる。
Lean は対話的に証明を書くことをサポートするだけでなく、タクティクによる自動証明機能も提供する。
以下は複雑な命題に見えるが、たった一つのタクティクで証明が終了する例である。omegaは自然数や整数の線形算術の自動化に長けたタクティクで、面倒な証明も自動化してくれる。
また次のコードも、複雑に見える命題の証明が一発で終わる例である。ここで使用している grind タクティクはカスタマイズ可能で汎用的かつ強力な証明自動化タクティクであり、この例では帰納的述語のケース分割などを行わせているが、線形算術なども行うことができる。