  |
はてなキーワード: trueとは
全国のスポーツ紙野球誌面担当記者よ、刮目せよ（そんな大した話ではない笑）
この時期のプロ野球日本シリーズ関連記事を見ると、優勝確率、と言う数字が毎日踊るのである。
11/3現在「【阪神】日本シリーズで２勝２敗から王手のチームはＶ確率７５％」
https://news.yahoo.co.jp/articles/4f54c052feb332637de4cbbda7fe1c7ac3dc8a80
ふむふむなるほど。（２勝２敗（引き分け含む）から王手をかけたケースは、過去２８度。そのうち優勝２１度のＶ確率７５％。）
11/1「阪神追いつき29度目の２勝２敗、優勝確率は46％」
https://www.nikkansports.com/baseball/news/202311010001529.html
おお、前日には全く低かったんですね。
10/31「オリックスＶ確率は79％ １勝１敗から先に２勝目を挙げたチームが27度優勝」
https://www.nikkansports.com/baseball/news/202310310001318.html
ホウホウ、この時点ではオリックスが日本一になりそうだ、という話だったね、そういえば。
10/28「日本シリーズ第1戦勝利の阪神「日本一確率」は62％」
https://www.sponichi.co.jp/baseball/news/2023/10/28/kiji/20231028s00001173607000c.html
ほほー、阪神の優勝確率は62%→（情報なし）→21%→46%→75%、と変化したわけですね。。。っていうか、それぞれの時点で勝ち星見ればいい話で、「優勝確率」なんていう大層なものでは全然ないような？？？
◯
●◯
●●
の3通りしかなく、そのうち阪神が優勝するのが2通りなので、お互いの勝利確率が50%だとすると、66%の確率で阪神が優勝する。しかし、データから見ると75%優勝なので、それよりも高い。どれくらい高いかというと、オッズ1.1倍くらい高い。と言うようなものである。確かに3勝2敗に先に到達したチームの方が優勝する確率が高くなるが、その程度はわずかであろう。1勝すれば優勝するが相手は2勝しなければならない、と言う事実から普通に想像できる確率と大差はない。さてこの高いと言うのは有意なのだろうか。統計によると
とのことである。二項検定すると
Exact binomial test
data: 21 and 28
number of successes = 21, number of trials = 28, p-value = 0.4258
alternative hypothesis: true probability of success is not equal to 0.6666667
95 percent confidence interval:
sample estimates:
probability of success
0.75
であるので、危険度5%において有意ではない。つまり、2勝2敗から先に王手をかけた方が日本一になる確率が統計的に高いと言うことはない。単に3勝したので日本一まで1勝で済むから、日本一になりそうだ、と言うだけのことで、過去の統計を引き合いに出す必要もない。
初戦を勝ったチームの日本一確率62%、についても考えてみよう。この場合は、初戦を勝ったチームをもとに、2戦目以降が
3勝0敗 → 1通り
3勝1敗 → 3通り （最後に勝利が固定していて、3_C_1）
3勝2敗 → 6通り （4_C_2）
3勝3敗 → 10通り （5_C_2）
2勝4敗 → 10通り （最後に敗北が固定していて、5_C_2）
1勝4敗 → 4通り （4_C_1）
0勝4敗 → 1通り
なので、阪神が優勝する確率は(1+3+6+10)/(1+3+6+10+10+4+1)=0.5714286
データによると、
> binom.test(45,73,p=20/35)
Exact binomial test
data: 45 and 73
number of successes = 45, number of trials = 73, p-value = 0.4791
alternative hypothesis: true probability of success is not equal to 0.5714286
95 percent confidence interval:
0.4952062 0.7279136
sample estimates:
probability of success
0.6164384
この簡単な統計解析によれば、日本シリーズは「4勝した方が日本一になる」と言う以上の意味は特になく、勝ち方（第一戦で先勝する、とか、2勝2敗から勝ち越す、とか）によって日本一になる確率が左右されることはなさそう。もっといえば、「勝ち星が多い方が日本一になる確率が高い」って、当然のことなだけ。
と、統計初心者が考えてみましたが、統計猛者のコメントがあればお願いします。例えばマルコフ過程としてモデル化することができるのかな。何かパラメータを入れて（例えばホーム球場での勝率確率は高いとかなんとか）、優勝確率が、何も考えず出す確率よりも高くなることに寄与するような因子を探す、とかだとセイバーメトリクス的になるのかも。
ChatGPTに日本語で命令したら秒で作ってくれるのでVBAやGAS書く能力は不要になったんだが。「A1からI9に数独の初期値入れてあるシートの残りのマス埋めるVBAマクロ作って」の一言で数独解くの作ってくれるぞ
ChatGPTが補足している通りロジックは基本しか使っていないので初期値から最終形までに仮定して入れる局面があるものは解けないし非効率ではあるものの初級は解けるし遅いPCでも一瞬で終わる。必要なのは入力の形と欲しい出力を日本語にする能力とHello World実行できるレベルの知識。コード読んでデバッグできる能力があればなおよいがGPTに教えてもらえばいいし、今業務やってる派遣の人に動作確認してもらって不満なところをAIに修正させればよいので業務をよく分かっている社員にやらせたほうが会社としてはいい戦略。
A1からI9に数独の初期値入れてあるシートの残りのマス埋めるVBAマクロ作って
数独を解くためのVBAマクロを作成するのは複雑ですが、以下は一つの例です。このマクロはシートのA1からI9の範囲の数独を解きます。
Function IsPossible(y, x, n, grid) As Boolean Dim i As Integer Dim j As Integer ' 同じ行や列にnが既にあるか確認 For i = 1 To 9 If grid(y, i) = n Or grid(i, x) = n Then IsPossible = False Exit Function End If Next i ' 3x3のボックス内にnが既にあるか確認 Dim x0 As Integer: x0 = ((x - 1) ¥ 3) * 3 Dim y0 As Integer: y0 = ((y - 1) ¥ 3) * 3 For i = 0 To 2 For j = 0 To 2 If grid(y0 + i + 1, x0 + j + 1) = n Then IsPossible = False Exit Function End If Next j Next i IsPossible = True End Function Sub SolveSudoku() Dim grid(1 To 9, 1 To 9) As Integer Dim i As Integer Dim j As Integer ' グリッドをシートから読み込む For i = 1 To 9 For j = 1 To 9 grid(i, j) = Cells(i, j).Value Next j Next i If Solve(grid) Then ' 解をシートに書き出す For i = 1 To 9 For j = 1 To 9 Cells(i, j).Value = grid(i, j) Next j Next i Else MsgBox "解けませんでした" End If End Sub Function Solve(ByRef grid) As Boolean Dim i As Integer Dim j As Integer Dim n As Integer For i = 1 To 9 For j = 1 To 9 If grid(i, j) = 0 Then For n = 1 To 9 If IsPossible(i, j, n, grid) Then grid(i, j) = n If Solve(grid) Then Solve = True Exit Function End If grid(i, j) = 0 End If Next n Solve = False Exit Function End If Next j Next i Solve = True End Function
このコードをVBAのモジュールに追加して、シートに数独の初期値を入力してからSolveSudokuマクロを実行すると、マスを埋めることができます。
ただし、このコードは基本的なバックトラック法を使用しており、非常に複雑な数独には効率的ではない場合があります。より高速な解法や最適化を求める場合は、追加の手法やアプローチが必要です。
https://si-coding.net/sudoku4.html
2 3 5 7 8 3 3 4 5 1 6 6 1 2 4 4 9 8 2 2 5 1 3 9 4 6 1 4 1 2 6
1 6 9 2 3 5 8 4 7 4 5 8 1 6 7 9 3 2 3 2 7 9 8 4 5 1 6 5 3 6 7 1 2 4 9 8 7 1 4 3 9 8 6 2 5 9 8 2 5 4 6 1 7 3 6 9 1 8 2 3 7 5 4 2 4 5 6 7 9 3 8 1 8 7 3 4 5 1 2 6 9
これか？知らんかったなあ。
---
2017年のドキュメンタリー『AVICII: TRUE STORIES』では、アヴィーチーが身体的・精神的な不調を抱える様子と、そんななかでもライブパフォーマンスを続けるようにマネジメントからプレッシャーを受けていたことが明かされた。
…
遺族による2つ目の声明では「あまりにも完璧主義者であることから、世界中を旅するなかで心の中に平和を見つけることができずに、極度のストレスを抱えていました。（中略）物事の意味、人生、幸せについて考えることと闘っていました。しかしこれ以上続けることはできなかったのです。平和を見つけたかったのです」と、彼の死が自殺だったことを示唆する内容のコメントが綴られた。
https://chat.openai.com/share/c80d83ea-752b-4561-a162-7ea0bd116d56
Option Explicit
Dim objExcel, objWorkbook, objWorksheet
Dim strFolderPath, strSourceFile, strTargetFile, strSearchString, strReplaceString
Dim intLastRow, intRow, intColumn
Set objExcel = CreateObject("Excel.Application")
strFolderPath = ".\" ' スクリプトと同じフォルダにあることを仮定
strSourceFile = "変更一覧.xlsx"
strTargetFile = "変更一覧.xlsx"
Set objWorkbook = objExcel.Workbooks.Open(strFolderPath & strSourceFile)
objWorkbook.Sheets("1月").Copy , objWorkbook.Sheets("1月").Index
objWorkbook.Sheets("1月 (2)").Name = "2月"
' セルの値の置換
Set objWorksheet = objWorkbook.Sheets("2月")
objWorksheet.Cells(1, 1).Value = Replace(objWorksheet.Cells(1, 1).Value, "1月", "2月")
objWorksheet.Cells(2, 7).Value = Replace(objWorksheet.Cells(2, 7).Value, "2023/2/14", "2023/3/14")
' 最終行の取得
intLastRow = objWorksheet.Cells(objWorksheet.Rows.Count, 1).End(-4162).Row ' xlUp
' 値のクリア
For intRow = 8 To intLastRow
For intColumn = 1 To 6
objWorksheet.Cells(intRow, intColumn).ClearContents
Dim objFSO, objTextFile, strContents, arrLines, arrFields, strNewContents
Set objFSO = CreateObject("Scripting.FileSystemObject")
Set objTextFile = objFSO.OpenTextFile(strFolderPath & "変更一覧.txt", 1)
strContents = objTextFile.ReadAll
objTextFile.Close
arrLines = Split(strContents, vbNewLine)
For Each strContents In arrLines
arrFields = Split(strContents, ",")
For Each strContents In arrFields
If IsNumeric(strContents) Then
strNewContents = strNewContents & "'" & strContents & ","
Else
strNewContents = strNewContents & strContents & ","
End If
strNewContents = Left(strNewContents, Len(strNewContents) - 1) & vbNewLine
' データをシートに貼り付け
Set objWorksheet = objWorkbook.Sheets("2月")
objWorksheet.Cells(1, 8).Value = strNewContents
' セルの値の置換
objWorksheet.Cells(123, 1).Value = Replace(objWorksheet.Cells(123, 1).Value, "F", "FH")
objWorkbook.Save
objWorkbook.Close
objExcel.Quit
ざっくり言えば「レタスをごま油と塩ダレで和えたサラダ」である。
ワカメや海苔を入れたり、ドレッシングが醤油ダレだったりすることも多い。
韓国料理だと思っている人もいるだろうが、実はこのサラダは韓国には存在しない。
そもそも韓国人に「チョレギ」と言っても通用しないらしいのである。
では「チョレギ」とは何なのか？
かつて多かったのは「チョレギ」＝「ちぎるという意味の韓国語」という説明である。
しかし実際に調べてみると、韓国語で「ちぎる」は「뜯다（トゥッタ）」や「찢다（チッタ）」と言う。
この説は明確に誤りと言えそうである。
もう一つは「チョレギ」＝「韓国語で浅漬けのキムチを意味するコッチョリの方言チェレギ」という説である。
おそらく以下のようなブログで書かれた内容が広まったのだろう。
https://www.kansyoku-life.com/2006/04/86.html
結論から言うと「コッチョリ」の慶尚道方言で、現地の発音では「チェレギ」と呼ばれます。
「コッチョリ」とは浅漬けにしたキムチのことで、発酵期間をおかず、漬けてすぐに食べるのが特徴です。
現在はWikipediaなどでも概ねこの説が踏襲されている。
しかし疑問は残る。
サンチュコッチョリは「サンチュを唐辛子ダレで和えたサラダ」とでも言うべきものであって「レタスをごま油と塩ダレで和えたサラダ」ではない。
ワカメなどはサンチュコッチョリでも使われることがあるらしいのでいいにしても、少なくとも唐辛子が使われていないとコッチョリとは言えないのではないか…？
さて、「チョレギ＝ちぎる」説について、前掲の記事ではこう説明されている。
チョレギの意味が混乱しているのは、日本にやってきた当初の説明不足が原因だと思われます。
チョレギドレッシングなるものを発売し、大々的にチョレギの名前を日本に広めました。
2001年当時のエバラのウェブサイトを確認してみると、たしかにそう書いてある。
https://web.archive.org/web/20011214042210/http://www.ebarafoods.com/news/recipe/choregi_recipe.htm
チョレギとは？
しかも、当時のエバラの「焼肉屋さんのチョレギサラダ」シリーズには「あっさり塩味」「ピリ辛コチュジャン味」「焙煎ごま醤油味」があったらしい。
つまり当時のエバラは「チョレギサラダ」を「ちぎった生野菜の韓国風サラダ」というだけの意味で使っていて、味付けはさまざまなものを想定していたのだろう。
ただ、「焼肉屋さんのチョレギサラダ」は2005年頃に販売終了、その後はチョレギドレッシングを発売しても塩味だけにラインナップを絞っているようだ。
あまり売れなかった（あるいは塩味しか売れなかった）のかもしれないが、当時は印象的なCMを盛んに流していたので「チョレギサラダ」の知名度は向上したものと思われる。
では、エバラがドレッシングを発売する以前、日本で「チョレギ」はどのくらい広まっていたのだろうか？
「国立国会図書館内限定」なのでネット上では内容を確認できないが、以下のような記述らしい。
女性に人気があるのは、いうところの野菜サラダであるチョレギなる代物。特製の味つけは店の極秘というだけあって、その味はちょっとしたもの。
OCRの精度がかなり怪しいが、どうも「神宮前の『神宮』」という焼肉店を取り上げているのではないかと思われる。
こちらも、おそらく「青山の家の近くに開店した焼肉屋さんの『第一神宮』」という店について書かれている。
この神宮前の「神宮」と青山の「第一神宮」はおそらく同じ店を指していると思うのだが、
「第一神宮 青山店」はつい最近まで営業していたので食べログにも載っている。メニューを見ると、
https://tabelog.com/tokyo/A1306/A130603/13001197/dtlmenu/
チョレギ 700円
ワカメチョレギ 800円
と、しっかり「チョレギ」が確認できる。「ワカメチョレギ」もある。
また写真を見るかぎりでは唐辛子は確認できず、それほど辛くはなさそうだ。
そうしてみると、韓国のサンチュコッチョリをもとに現在のようなチョレギサラダを作り出したのは「第一神宮」なのではないか、と推測したくなる。
（もちろん記録に残っていないだけで他店でさらに古くから存在した可能性はある）
あっさり味のサラダ「コッチョリ」
1980年代の時点ですでに「コッチョリ」も「韓国風サラダ」という意味になっていたようだ。
また「あっさり味」「ごま風味の辛みダレ」「しょうゆベースの甘辛いドレッシング」などはそれぞれ異なる味付けに思える。
こうしたバリエーションを眺めて、エバラが「塩味」「コチュジャン味」「醤油味」を発売したというのなら筋が通る。
韓国ではどちらかというと「コッチョリ」と呼ばれることが多いらしい。
特にサンチュのコッチョリは「唐辛子ダレの野菜サラダ」とも言える料理である。
日本では1970年代から「第一神宮」という焼肉店が「野菜サラダ」として「チョレギ」を提供していた。
それはコッチョリというよりも、おそらく現在のチョレギサラダに近いかたちにローカライズされたものだった。
1980年代以降、チョレギやコッチョリは焼肉店などを通じて広まり、さまざまな味の「韓国風サラダ」の総称となっていった。
2001年に、エバラが韓国風サラダドレッシングを商品化した。
「塩味」「コチュジャン味」「醤油味」があり、それがおそらく当時の焼肉店でよく見られた韓国風サラダのラインナップだったのだろう。
また、そのとき「チョレギサラダ」という呼称が採用されたことにより、「コッチョリ」よりも「チョレギ」という呼称が広まることになった。
といった感じでどうだろうか。
ここからさらに調査を進めるとしたら「第一神宮」の店主に話を聞いてみたり、
1940年1月1日までにポーランドとフランスを降伏させれば達成できる。
1936年にポーランドに自力で正当化して1937年に併合、1938年〜1939年にフランス戦（連合国戦）やって降伏させて達成。
「ラインラント」は取らない。戦争することで非武装地帯が解除されるので自動達成できるため。
「四ヶ年計画」から始まる工場がもらえるツリーを適当に取る。あと「陸軍の諸改革」を取った。師団速度が上がる陸軍長官が好きなので。
政治力+15% の閣僚を二人雇ったらポーランドに正当化、という手順をやった。でもこれ、たぶん閣僚雇う前に正当化始めたほうがよかった気がする。その後は「労働条件の改善」をしたり、陸軍長官と空軍長官を雇ったり、「幻惑の紳士」を雇ったりする。
最初になんとなく民需工場を二つ建てて、あとはずっと軍需工場を立てた。たぶんずっと軍需でいいと思う。
歩兵装備の出る数だけ歩兵を徴兵する。ポーランド国境に並べる。開戦までに歩兵24師団の追加を目論む。
諜報機関設立して暗号部門を五つ強化するまで進めて、諜報員を二人出す。その後はしばらく強化しない。アンシュルスなど済んで民需に余裕が出来たら再開する。諜報員はポーランドに仕込む。
正当化が終わったらすぐに宣戦。東側飛び地の東プロイセン国境に24師団歩兵を並べておき、ここは動かさず固めておく。広い方の国境に歩兵24師団を並べて開戦と同時に突っ込ませる。戦車と騎兵は別の軍団にして、西プロイセンとダンツィヒに突撃して東プロイセンと繋ぎに行く。飛行機を全て西ポーランドに飛ばして補助。
海軍は特にすることはない。暇なのでバルト海で通商破壊したり機雷撒いたりしとく。
ある程度押し込んで東プロイセンと繋がったら、東プロイセンの軍団も南下を開始。ワルシャワとあと少しを押さえたらポーランドは降伏する。
講和会議では全併合する。国際緊張度が上がるが仕方ない。傀儡化するとたぶん実績が取れなくなる。（一敗）
「ラインラント」が自動達成できるので取る。「アンシュルス」が取れるようになったらすぐ取る。
その後は産業系を適当に取って内政。あらかた取ったら「東方地帯の再要求」の後、「ダンツィヒか戦争か」をポーランドがいないので自動達成、「マジノ線迂回」で開戦事由を取りに行った。でも NF で開戦事由取るより、自力で正当化した方がよかったような気もする。
ポーランド戦が終わったら諜報員をフランスに仕込む。「協力政府の作成」を一段階やって降伏を早めておく。その後はフランスの諜報網は休止、ベルギーとオランダに諜報員を入れて開戦に備える。
軍需工場や合成精製所を建てる。対仏戦直前は、レーダー建てたり対空砲建てたりしてた。
歩兵師団と軽戦車師団を適当に徴兵する。出せれば中戦車を出したかったが、間に合わなかったのでこれで押し切った。
NFで得た開戦事由で低地地方にまとめて宣戦。すると英仏が宣戦してくるので世界大戦勃発。歩兵師団を仏国境に並べて固めておく。マジノ線に突撃するのは無謀なのでここは動かさない。残りの歩兵師団と戦車師団を補給ができそうな数だけ低地地方に突っ込ませる。予備の師団はオーストリアで待機。
空軍は戦闘機を少しドイツ領の防空に配置し、残りを全部低地地方に飛ばす。
海軍は動かしてもボコボコにされるだけ。交戦を避けながら機雷を撒いたり、スペイン沖の深海でちょっと通商破壊したり位しかできない。
しばらくするとイタリアが枢軸に加盟してくれるので、すぐに予備師団を伊仏国境に貼り付ける。準備ができたらイタリアを参戦させて攻撃開始。
低地地方が終わったら南下。諜報網も再開。フランスの勝利点を少し取ったら降伏してくれて実績が達成できた。実績が取れたのでここで終わり。
この判決は非常に重要なもので、朝日新聞とかが馬鹿みたいに批判しているけど、当然です。
これ、反差別界隈とかジェンダー平等も同じね。実力ではなくマイノリティとか女性というだけで就職できたり、学者になれたり、マスコミの記者になれる。
現に、暇空茜は報道しない。ジャニーズは犯罪者と決めつけて報道する極悪女が存在します。
最高裁判所、大学の入学決定に人種を利用する判決でアファーマティブ・アクションを拒否
6-3のアファーマティブ・アクション意見で、最高裁判所は大学入学の要素として人種を利用することは憲法修正第14条に違反するとの判決を下した。
アンダース・ハグストロム、 ブリアナ・ハーリー、 ビル・ミアーズ、 シャノン・ブリーム、 ヘイリー・チーシン| 著 フォックス・ニュース
SCOTUS積極的差別是正措置判決、判事の間で「激化」：シャノン・ブリーム
主任法務記者シャノン・ブリームが、アファーマティブ・アクションに対する最高裁判所の判決を解き明かします。
米国最高裁判所は木曜日、アファーマティブ・アクションに関する重要な判決を下し、大学入学の要素として人種を利用することは憲法修正第14条の平等保護条項に違反するとして却下した。
ジョン・ロバーツ首席判事は６対３の判決で、多数派意見の中で、「例えば、人種差別を克服した学生への利益は、その学生の勇気と決意と結び付けられなければならない」と述べた。
「あるいは、その伝統や文化がリーダーシップの役割を引き受けたり、特定の目標を達成したりする動機となった学生への利益は、その学生が大学に貢献する独自の能力と結び付けられている必要があります。言い換えれば、学生は以下の基準に基づいて扱われなければなりません」人種に基づくものではなく、個人としての経験だ」と意見書には書かれている。
「多くの大学は、あまりにも長い間、その逆のことを行ってきました。そしてそうすることで、個人のアイデンティティの試金石は、乗り越えた課題、培ったスキル、学んだ教訓ではなく、肌の色であるという誤った結論を下してしまいました。歴史はその選択を容認していない」と意見書は述べている。
ロバーツ判事にはクラレンス・トーマス判事、サミュエル・アリト判事、ニール・ゴーサッチ判事、ブレット・カバノー判事、エイミー・コニー・バレット判事も加わった。
ソニア・ソトマイヨール判事が主な反対意見を書き、エレナ・ケーガン判事と、ハーバード大学の監督委員会での以前の役割を理由にハーバード大学訴訟から身を引いたケタンジ・ブラウン・ジャクソン判事も一部参加した。
バイデン大統領は木曜日午後12時30分にこの決定についてコメントを発表する予定だ。
判事らは、私立のハーバード大学と公立のノースカロライナ大学が教室の定員をどのように決定するかについて、2つの別々の法的異議を申し立てた。
これらの有名な学校は、自分たちの基準には、将来のリーダーのために堅牢で知的に多様性のあるキャンパスを推進するという、裁判所によって数十年にわたって支持されてきた、より大きな社会的目標があると主張している。
しかし、アジア系アメリカ人の学生連合は、この基準は「人種的ペナルティー」で差別されており、多くの黒人やヒスパニック系の学生よりも選択的に高い基準を課していると主張している。
学生活動団体「Students for Fair Admissions」は、ハーバード大学とノースカロライナ大学の両大学に対して訴訟を起こした。同団体は当初、2014年に公民権法第6編に違反したとしてハーバード大学を告訴したが、同法は「連邦資金やその他の連邦財政援助を受けるプログラムや活動において、人種、肌の色、国籍に基づく差別を禁止する」と定めている。
ハーバード大学に対する訴状では、ハーバード大学の慣行がアジア系アメリカ人の学生に不利益を与え、人種中立的な慣行を採用できなかったと主張している。ノースカロライナ州の訴訟では、人種に基づいていない慣行が学校の学力を低下させたり、キャンパスの多様性から得られる利益に悪影響を及ぼしたりすることを示さずに、大学が非人種に基づく慣行の使用を拒否できるかどうかという問題が提起された。
判事がハーバード大学、UNC最高裁判所でアファーマティブ・アクションをめぐる議論を審理
米国第一巡回区控訴裁判所は、地方裁判所の裁判員裁判の結果を支持し、ハーバード大学に有利な判決を下していた。地方裁判所は、ハーバード大学に対する証拠は決定的ではなく、「観察された差別」は少数のアジア系アメリカ人学生にのみ影響を与えたと述べた。SFFAはこの訴訟において資格を有さないとの判決を下した。
UNCの訴訟では、連邦地方裁判所は同校の入学慣行は厳しい監視に耐えたとして、同校に有利な判決を下した。
ロバーツ氏は多数派意見の中で、ハーバード大学とUNCの入学プログラムはいずれも「人種の利用を正当化する十分に焦点を絞った測定可能な目標が欠けており、人種を否定的な形で採用せざるを得ず、人種的な固定観念を伴い、有意義な最終目標を欠いている」と述べた。
「我々は入学プログラムがそのような形で機能することをこれまで一度も許可したことがないし、今日もそうするつもりはない」と同氏は述べた。
クラレンス・トーマス判事は多数意見に同意しながらも、自身の考えについては別の同意書を書いた。
同氏は、「今回の決定は、大学の入学政策をありのままに見るものだ。入学するクラスに特定の人種を確実に混入させるよう設計された、舵のない人種に基づく優先政策である。これらの政策は、色盲の憲法と国家の平等に反するものである」と述べた。端的に言えば、それらは明白に、そして大胆に憲法違反である。」
「私は、私の人種と差別に苦しむすべての人々に降りかかった社会的、経済的惨状を痛感しているが、この国が独立宣言と憲法で明確に宣言された原則を遵守するよう、私は絶え間ない希望を抱いている。米国：すべての人間は平等に生まれ、平等の国民であり、法の下で平等に扱われなければならない」とトーマスは書いた。
アファーマティブ・アクションの訴訟は、ジョン・ロバーツ首席判事とサミュエル・アリト判事がハーバード大学の弁護士セス・ワックスマン氏を激しく非難するなど、この期間に最高裁判所の建物内で行われた中で最も活発な法廷討論の一つを引き起こした。
アリト氏はワックスマン氏に、アジア系アメリカ人の学生が他の人種に比べて出願書類の個人スコアがいつも低いのはなぜかと尋ねた。ワックスマンは判事の質問を迂回して話したため、アリトは弁護士に不満を抱いた。
アリト氏は「アジア人に与えられる個人スコアの差についてはまだ説明を聞いていない」と語った。
その後、ワックスマンはロバーツと緊迫したやりとりを繰り広げた。判事は、ロバーツによれば人種は何らかの影響を与えるに違いないが、そうでなければ人種は考慮に入れられないのに、なぜワックスマンが入学決定の要素として人種を軽視したのかを尋ねた。
ワックスマン氏は、「ハーバード・ラドクリフ管弦楽団がオーボエ奏者を必要としている年に…オーボエ奏者であること」と同じように、「一部の優秀な応募者にとって」人種は決定的なものだったと認めた。
「私たちはオーボエ奏者を巡って内戦を戦ったわけではない」とロバーツ氏は言い返した。「私たちは人種差別をなくすために内戦を戦ったのです。」
オコナー率いる法廷多数派は、少数派のロースクール志願者に対するミシガン大学のアファーマティブ・アクション政策を支持しながら、次のように警告した：「我々は、今から25年後には、利益を促進するために人種的嗜好を利用する必要はなくなると予想している」本日承認されました。」
19 年が経ち、6 対 3 の保守派多数派が現在、大学が競争入学プロセスの一部として人種を利用することを阻止しています。
FOXニュースのタイラー・オルソン氏がこのレポートに寄稿した。
Makes sense. So, does this also mean "AA" in employment, handouts, government loans, and other areas of life are also unconstitutional? (And yes, corporate America says there are no race-based quotas for hiring in large meetings but then set up individual manager & HR meetings where hiring is analyzed for the manager's team and managers are told to focus on certain groups based on race.)
理にかなっています。 では、これは、雇用、給付金、政府融資、その他の生活分野における「AA」も憲法違反ということになるのでしょうか？ （そう、アメリカ企業は、大規模な会議では採用に人種に基づくノルマはないと言っているが、個別のマネージャーと人事会議を設定し、そこでマネージャーのチームの採用が分析され、マネージャーは人種に基づいて特定のグループに焦点を当てるように指示されている。）
That's not true. There are plenty of examples on Linkedin and other public forums of corporations hiring for a specific race
それは真実ではない。 Linkedin やその他の公開フォーラムには、特定の人種向けに企業を雇用する例がたくさんあります。
これジョークね。
This is a fantastically accurate ruling. It is about time the court affirms what is basic common sense. Judging anyone (positively or negatively) based on race IS racist. The simple statement "we want to make sure we have diversity", goes in with the racist assumption that race defines the diversity of who you are. Every individual is diverse. Their life experience is unique. There are some shared experiences for individuals of certain similar upbringing, but the assumption that a certain "race" brings "diversity" IS racist.
これは驚くほど正確な判決だ。 そろそろ法廷が基本的な常識を肯定する時期が来ている。 人種に基づいて誰かを（肯定的または否定的に）判断することは人種差別主義者です。 「私たちは多様性を確保したいと考えています」という単純な発言は、人種によって人間の多様性が決まるという人種差別的な思い込みと結びついています。 すべての個人は多様です。 彼らの人生経験はユニークです。 特定の似たような生い立ちを持った個人の間で共有される経験はいくつかありますが、特定の「人種」が「多様性」をもたらすという仮定は人種差別的です。
BIDEN'S AMBITIOUS EV PLANS COULD MAKE US MORE DEPENDENT ON CHINESE SUPPLY CHAINS, EXPERTS WARN
アメリカ人の59％が2035年までにガソリン車を段階的に廃止することに反対、21％がそのような政策の見通しに興奮している
調査によると、アメリカ人の59％が2035年までにガソリン車とトラックを段階的に廃止することに反対しており、もしアメリカがそのような政策を進めたとしても興奮すると思う人はわずか21％だという。過去2年間でアメリカ国民はガソリン車の段階的廃止への反対を強めており、2021年4月には51％が反対しており、現在反対している人の割合より8％少ない。
ピュー研究所の報告書は、「この期間にわたって、ガソリン車とトラックの段階的廃止に対する支持は民主党、共和党双方の間で高まっている」と述べている。
さらに世論調査の結果、共和党は2035年までにガソリン車を段階的に廃止することに84％対16％の差で反対しているのに対し、民主党は64％対35％の差で賛成していることが示された。
また、共和党員の73％がこの政策に憤慨しているのに対し、民主党員のわずか20％が同じように感じていることも明らかになった。これに対し、共和党員の7％、民主党員の37％が段階的縮小に興奮していると回答した。
そして米国人は、消費者が急速に電気自動車に乗り換えるのを支援するのに必要なインフラを米国が構築できるかどうかについては広く懐疑的だ。米国の成人のうち、それが可能であると非常にまたは非常に自信を持っているのはわずか 17%、30% がある程度自信を持っており、53% は自信がありません。
この調査結果は、バイデン政権と民主党主導のさまざまな州が電気自動車の導入を促進し、場合によっては将来のガソリン車の販売を禁止する規制を進め続ける中で発表された。
ホワイトハウスは4月、「自動車とトラックのメーカーは、輸送の未来は電気であると明言している。市場は動いている」と述べた。「自動車愛好家であり、自称自動車マニアとして、バイデン大統領は今この瞬間を捉えている。」
この声明は、環境保護庁（EPA）がこれまでで最も積極的な連邦政府のテールパイプ排出量を提案した後に発表された。
ホワイトハウスは、これが最終決定され実施されれば、2032年までに新車購入のセダン、クロスオーバー、SUV、小型トラックのなんと67％が電動化される可能性があると予測した。さらに、それまでに購入されるバスとゴミ収集車の最大 50%、短距離貨物トラクターの 35%、長距離貨物トラクターの 25% が電動化される可能性があります。
「バイデン政権は人々にEVの購入を強制するために、あらゆる連邦規則を曲げようとしている」と競争力企業研究所エネルギー・環境センター所長のマイロン・エベル氏は当時述べた。「ドライバーが自分で選んだ車を購入できる市場はまだ存在するが、政府の強制によりその選択肢は急速に制限されつつある。」
2022年3月、EPAは大気浄化法に基づくカリフォルニア州の権限を回復し、独自の排出基準と電気自動車の販売義務を実施し、他の州がカリフォルニア州の規則を採用することを許可した。この動きは、トランプ政権が連邦規則に矛盾する独自の基準を追求する州の権限を剥奪したことを受けて行われた。
そして8月、州の有力な環境当局であるカリフォルニア大気資源委員会は、年間自動車販売台数で全米トップの同州で購入するすべての自動車を2035年までにゼロエミッションにすることを義務付ける規制を承認した。
（以下略）
真のスコットランド人論法（しんのスコットランドじんろんぽう、英語: No true Scotsman)、または純粋さに訴える論証（英語: appeal to purity）は、 非形式的誤謬のひとつである。普遍汎化に対する反例を提出されたとき、トートロジーを用いて反例を除外することで主張を防衛しようとする行為をさす[1] [2] [3]。普遍汎化を放棄したり反例を否定する証拠を提供したりせず、客観的な基準の代わりにレトリックを用いて汎化を修正し定義上その特定の反例を含まないようにする[4]。このレトリックは「真の、純粋な、正真正銘の、真正の、本物の」など感情に訴えかけるだけで本質的な意味のない純粋さの形容という形をとる[5]
例
哲学教授のブラッドリー・ダウデン（英語版）は、反駁された汎化の試みに対する「アドホックな救助」としてこの誤謬を説明している[1]。以下はこの誤謬の簡略化された一例である[6]。
B: 「私の叔父はスコットランド人だけど、粥に砂糖を入れていたよ。」
A: 「でも、真のスコットランド人は粥に砂糖を入れないんだよ。（But no true Scotsman puts sugar on his porridge.）」
He's going to pay.
He's not getting let off the hook.
He's dead meat.
He's a dead man.
He's dead to me.
I'll never forgive him* ＜（使われ過ぎだが場合によっては適切）
Unacceptable*
How dare you XX*
"won't allow/permit"的な側面がある「許さない」には、"I won't stand for this!"が良い
その他の翻訳例
"I won't forgive you for barging in on ruru's house."
↓
修正案：“You can’t just barge into Ruru’s house, you know.”
子供に言い聞かせるような響きだが、前者よりは硬くなく、意地悪な響きもない。
いい感じの雰囲気のシーンなので、前者は合わない。
↓
Meaning: I accept your apology. But I won’t forgive or forget. Bye ✌️
"If you don't come back... I'll never forgive you."
「戻ってこなかったら……許さない」
"We'll never forgive you for kidnapping Friend!"
「仲間を連れ去るなんて許さない！」
"Eat my cookie and I'll never forgive you!"
↑一方、「戻ってこなかったら許さない」については、「死んだら許さない」という意味なら"forgive"を使うかもしれないという意見もある。というのは話者が"allow"できるわけではないから。
↑ということは、以下の場合は「死んだら許さない」という意味なので"forgive"のままで良い？
「私の夫にあなたの命まで背負わせたら、許さないから」（ナルト）
“If you make Naruto be burdened with even your life, I will not forgive you.”
"it can't be helped"（仕方ない）は使われ過ぎだが、(a) 一応正しい英語だし、(b) 文脈にも沿っていることが多い（forgiveはそうではないことが多い）。
「なっ何をするだァーッ！ゆるさんッ！」（ジョジョでディオがジョナサンの愛犬ダニーに蹴りを入れた際のセリフ）
↓
"I swear I won't stop until I've scrapped each and every one of you!"
Maxine Waters Says She Will “Never Ever Forgive” Black Americans That Vote for Trump.
"And if you choose to fail us, I say: We will never forgive you. We will not let you get away with this. "
‘We will not forgive, we will not forget. We will hunt you down and make you pay’
「我々は許さない。忘れない。お前達を追い詰め、捕え、贖わせる」（ISISの攻撃に対するバイデン大統領の言葉）
悟空とバイデンのケースは状況がよく似ているが、悟空は"I won't forgive you!"としか言わなかったので不自然だが、バイデンは"We will hunt you down and make you pay"と報復の意図を付け加えているので自然とのこと。
もしバイデンが"We won't forgive."としか言わなかったら、弱く聞こえるという。「もう昼飯に誘ってやらないぞ」みたいな。
さらに、バイデン自身は戦場で戦闘するのではなく演説台の後ろで何もしない。ただ何かが起こると言っているだけ。その点、眼の前に敵がいて戦わないといけない悟空とは違うらしい。
また、相手が許しを求めていないのにforgiveを使うのは変だという点に関しては、ISISだけでなくアメリカ国民にも語りかけているから良いとのこと。
ちなみに、飲酒運転で子供が轢かれて、ドライバーが全く反省してない場合に"I won't forgive you!"というのは自然とのこと。
一方で、同じく全く反省しないジョーカーにバットマンが同じセリフを言うのはおかしい。バットマンとジョーカーの間には最初から許しなど存在しないから。
（でもバイデンとISISの間にも許しはないのでは？と尋ねたが、答えをもらえなかった。恐らくネイティブにとってもはっきり言語化できない微妙な問題なのだろう）
"I'll Punish you. Cry all you want, but don't expect me to forgive you."
「おしおきしてやる。泣いても許されると思うなよ」（さよなら私のクラマー）
「一体何に対してFORGIVEするんだ！？FORGIVEが必要だなんて一体どんな罪を犯したんだ！？許さないは"DON'T FORGIVE"じゃない！怒りで自然発火しそうｂｒｙ；おｈ；ｂｓｆｓｌ」
修正案："Cry about it all you want, but I'm not letting you guys off the hook."
Fate/stay night UBW 13話 「決別の刻」
凛 ：そうね、けど後悔するわよ。私は絶対に降りない。いい、キャスターを倒してアンタを取り戻す。その時になって謝っても許さないんだから・・・(That's true. But you'll regret it. I'll never quit. You hear me？I'll defeat Caster and take you back. And when I do, I won't forgive you, no matter how much you apologize.)
ペルソナ4 G 7話 「It's cliche, so what？」
マリ 「記憶探すのも思いで作るのも、絶対に君と一緒だから。君が持ってても同じでしょ？その代わり・・・ちゃんと返して？もったままいなくなったら、許さない。(I'll never forgive you.)」
弱虫ペダル RIDE.38 「総北の魂」
坂道「でも、もうボク・・・走れない・・・ここでリタ・・・(I'm dropping—)」
この素晴らしい世界に祝福を 3話
ダ：こんな幼げな少女の下着を公衆の面前ではぎ取るなんて・・・真の鬼畜だ、許せない！是非とも私を貴方のパーティーに入れてほしい。(To strip such a young girl of her panties in a public place is trulysavage！I can't let this pass！You must let me join your party！)
カネ「(あの時もヒデはクラスに馴染めない僕に気を遣って声を掛けてきてくれたんだ・・・いやだ。ヒデが死ぬのは嫌だぁ！そんなの許せない！)《I don't want Hide・・・to die！I won't・・・I won't let that happen！》」
高学歴は当然のごとくtrueを返すべきだと即答する。普通に考えてそれ以外あり得ないからだ。
低学歴は当然のごとく「仕様による」など頓珍漢なことを言い出す。頭が悪いのでSESなど奴隷業しかしたことがなく「コーディングができるだけではダメ」とコーディングすらできないのに仕様決めを神聖視している雑魚どもしかいないからだ。
https://qiita.com/saetegaljewp/items/60a3580d8f08a53679c6
センスのあるなしではなく、
誤って語っていることを、誤りだと指摘されているだけです。
存在措定が問題になるのは「会話の含意」「伝統的論理学」の文脈においてであって、
現代の論理学、数理論理学においては、存在措定は問題になりません。
伝統的論理学の三段論法を説明します。(以下の例は存在措定してる例)
1.すべてのSはMである
2.すべてのPはSである
3.あるPはMである
このとき、Pであるような何かが存在しない限り、1と2から3を導くことができません。
したがって伝統的論理学は隠れた前提として「存在措定」が成されている、と指摘されているわけです。
だからこそ、空集合を前提しても、命題が真であることを帰結できるのです。
そして、ここでセンス云々問われている問題が前提している論理の体系は、現代論理学であって、伝統的論理学ではありません。
なので、存在措定の話はしないでください。
それは伝統的論理学の文脈の話であって、もともとの話が前提してる数理論理学とは直接的関係を持たない話題です。
しかし、命題にはP(x)に対する前提が隠蔽されており、この「P(x)なものが存在する」という隠れた前提（これを存在措定と言います）を勝手に補って読んでいるのです。
存在措定してるのは、「前件が空集合ならfalseが返されるべきだ」と主張してる側であることを理解してください。
なぜなら、「存在していないものに命題Pを適用できないはずだ」という主張は、まさに、「集合に対する存在の措定」を前提しているからです。
trueを返すべきと主張する側は、そのような「集合に対する存在措定」を前提していないからこそ、trueが返るべきだという話をしています。
また、プログラミングにおいては、論理の体系を自然言語に近づけるべきだとは、(私は)考えません。
そして、自然言語のあいまいさを排除すれば、「AならばB」という文の意味は論理包含となります。
