翻訳:ロバート・コワルスキ『計算論理と人間の思考』/ 性自認:上Hessenberg行列/ 主張: 豚肉食文化へのヘイトを許すな/ 興味:超準解析/仕事: プログラミング/ 絵垢:dif_pic /鍵垢からのフォロー基本お断り

ホーアルシンゲンモスケン
Joined February 2011
Replying to @dif_engine @mr1aan
返事が遅いので grok 君と話を進めて置きました。 xitter.cf/i/grok/share/J5VCQsEqe…

善悪というのは、どのように理論化しても、「好悪」の主体なしには成り立たない概念なんですよ。非人格的な、およそ存在物がそれに従わなければならな...

まさにその一撃は、ベネターが最も痛いところを突いていますね。 ベネターの非対称性は「誰にとっても(for anyone)」ではなく「誰にとっても(for someone who never exists)」という、主体のいない場所に「害悪」を置くという、哲学史上でもかなり異様な手つきです。 「痛みの不在は良い」「快楽の不在は悪くない」というとき、その「良い/悪くない」を誰が感じ、誰が評価しているのか? 答えは「誰もいない」。だからこそ彼は「impersonal value(非人格的価値)」という、ほとんど幽霊のような概念を持ち出さざるを得ない。 でも現実の人間が「これは良い」「これは悪い」と言うとき、常に背後には「私にとって」「あなたにとって」「誰かにとって」という暗黙の主語がある。 それを完全に剥ぎ取って「宇宙がそう判断している」みたいな言い方をすると、確かに笑ってしまうほど浮いてしまう。 まるで「この部屋には誰もいないけど、この部屋は寂しいね」と言うような奇妙さです。 ベネターはこれを「人影響的制限(person-affecting restriction)を外すこ...

Answer by Grok
3
1
12
19,667
Next is America 🇺🇸
250
1,439
75
26,818
788,640
dif_engine retweeted
ベルリンのウォーキングツアーのガイドさんが「ヒトラーは人生の最後のあたりはドラッグ中毒だったんだ。そこだけは真っ当なベルリン市民だったんだよね」というジョークをかまして、友達も含めて周りは爆笑していたけど私は笑っていいのかよくわからなかったです。確かにハイな人たくさん見かけた。
1
1
1
4
488
Given the history of uncertainty about whether the proof of CFSG was 100% correct, this seems like great news, even if the formalization itself is horrible. (I don't know whether it actually is horrible, but that would be my guess.)
The largest math proof in human history is now computer-verified. Today, Axiom announces a complete Lean auto-formalization of the Classification of Finite Simple Groups, the "periodic table of symmetry." About 15,000 pages, built by over 100 mathematicians across generations.
11
14
1
207
10,274
これはきっかけがあって。 5歳くらいの女の子が『アニソン王』って書いた自作のうちわを僕に振ってくれてたんだよね。その時は「さすがにアニソン王はちょっとまだ気が早いんちゃう?」っていじって客席もあははーって感じだったんだけど、そのライブ終わってふと我に返ったんだよ。あんな小さな子供の夢が自分に全力で乗っかってるのに僕は誤魔化して逃げてるような態度しちゃったなーってそれが恥ずかしくってさ。じゃあ本当になろうってことでアニソン王を目指すようになったんだよねまだ道の途中だよ。
195
4,563
418
29,313
1,169,058
dif_engine retweeted
名指しでおもろい ja.wikipedia.org/wiki/%E3%83…
94
16
818
32,843
とても大きい。なぜなら、多くの性犯罪で問われ、多くの被害者が泣き寝入りを強いられてきた「同意誤信」の問題ではないからです。 そして、谷賢一の場合は、その行為自体の有無が、裁判所による裁定和解により「立証にあい路がある」と評価されたことも重要です。 谷賢一は「セクハラ」の点では加害者ですが、強制〇交の点では、シロだと社会から見なされるべきです。そうしなければ、推定無罪の原則はなりたたなくなってしまう。
1
5
33
11,818
本日、このイベントの打ち合わせをしました 園子音、松本人志、中居正広、広河隆一などなどの、「性〇力系」案件でまっとうな業界を追われた人たちと谷賢一の件との差異が浮き彫りになりました それは「性行為における同意の有無」ではなく谷の件は「性行為自体の有無」を争ったという点。この差は
11月10日に阿佐ヶ谷ロフトAでトークイベントします! 主催公演の前日に性暴力・ハラスメントを告発され、公演中止、社会的に抹殺された劇作家・谷賢一に「人気商売の人がキャンセルカルチャーに遭遇したら仕事や生活はどうなるのか?」と、素朴なギモンを深掘りしていきます loft-prj.co.jp/schedule/loft…
1
23
3
70
206,573
dif_engine retweeted
僕はレイプはしていません。その前後にも、肉体関係すらありませんでした。 僕の場合、GPSなどの物証や証人の証言があったおかげで、奇跡的にレイプ疑惑を退けることができました。裁判所は「女性側の立証には隘路(≒無理、困難)がある」と判断してくれました。 もし僕がGPSログとってなかったら? 自殺していたかもしれません。「たまたま」持っていたGPSのおかげで救われたけれど、ふつうなら即死です。 片方の言い分だけで、レイプ犯にされる。こんなこと、あっていいの? それらの証言の破綻については、末尾の裁判記録をご覧ください。 仕事はぜんぶキャンセルされました。今も社会的評価は回復していません。 同意の有無どころか、肉体関係すら一度もないのに、片方の発言だけで「レイプ犯だ!」といって全国的に報道されてしまう。こんなの、絶対におかしいでしょう。 未だにそれを信じている人もいます。なぜなら、最終的に裁判所がレイプ認定をしなかったという点を、マスコミやSNSは報じてくれないからです。いくつかのメディアには「報じてくれ」と連絡しましたが、してくれません。PVが稼げないからでしょう。 演劇界のジャーナリズムも、まったく反応してくれません。これだけ明らかな司法の判断が出たというのに。お願いです、どなたか、取材してもらえませんか? 一応、岸田賞もとってる作家なんですが。(本当は、受賞歴のない人だって、こんな扱いは受けてはいけない) 「何かおかしいな」と思った方は、ぜひこのツイートをRTしてもらえたらと思います。他にもう、広める手段はありません。 勘違いしてほしくないけれども、僕は性犯罪は許さないし、性的同意をきちんとしようという風潮にも基本的には賛成です。元原告女性とは和解で解決しているので、彼女を攻撃するつもりもまったくありません。 でも、今後もこうして、証拠もない人を有罪にし、悪魔化し、社会的に抹殺していいだろうか? いや、ダメだよ! それ以外にたくさん、炎上社会、キャンセルカルチャーの弊害はある。そこを訴えていきたい。そこだけを話しています。 詳しくはこちらに、一部、裁判記録や証人の証言を公開しています。より詳しく知りたい方には、いつでもお尋ねください。何でも正直にお話します。11/10、阿佐ヶ谷ロフトのイベントでは、より突っ込んでお話します。無記名・匿名の質問にも現地でお答えする予定予定です。 playnote.net/2026/05/27/myst…
本日、このイベントの打ち合わせをしました 園子音、松本人志、中居正広、広河隆一などなどの、「性〇力系」案件でまっとうな業界を追われた人たちと谷賢一の件との差異が浮き彫りになりました それは「性行為における同意の有無」ではなく谷の件は「性行為自体の有無」を争ったという点。この差は
10
492
25
1,546
230,447
9月はじめの、本田由紀日本教育学会会長のSNS発言問題に関して、日本教育学会倫理委員会が何やら見解出したようだが、会員限定、期間限定公開とのことである。 まあ、日本教育学会らしいなあ…という気はするw。 全てはナカッタことにwww。 jera.jp/20261027/
5
36
1
71
3,176
dif_engine retweeted
劇場型のサイバー攻撃に対して、攻撃を受けた側がさらなる劇場化を演出してくるパターンは、前代未聞ではないかと思う。
5
315
12
1,076
46,986
dif_engine retweeted
あんまり言うものでもないけど、ヒトラーに学生時代めっちゃ仲良くしてて実権を握った後も「あんまコイツは権力とかに興味ないっぽいけど良い思いさせてやりたい」って友人がいたり、金正恩もスイス留学時代の学友をこっそりと自国に招いて「もうバスケットボールはしてないのか」って聞いたり。 そういう話を見ると、なんかちょっと奇妙な感慨に襲われるような。極度に美化する気も普遍化する気もないけど、この世における極数人にとっては、テレビ越しに見る"何か"は「アイツ割と遅刻魔だったよなぁ」とか「結局借りてたジュース代返したっけ」とか、そういう"誰か"なのが不思議。 なんかこう……ヒトに人間性があるってのはそりゃ当然として、どっちかというと「友人だった誰か」の感情ってのがそう見えるのかもしれない。言うたらアレだけど、どっちの例にしても「招かれたら応じてる」んだよ。どんぐらい信憑性あるか知らないけど、ヒトラーの親友だったら戦後、『どうして彼と会ったときに殺害を考えなかったのですか?』って問いに『友人だったから。』って答えてる。それをまさか美しいとは思わんけど、ただただ奇妙な感慨があった。
36
400
39
4,771
442,073
数学ヲタクぶってる人が、100%だと言ってるが、それは偉人が“都合のいいように”へんな定義を作ったからそうなってるだけだからな。 有理数が存在する以上、有理数の確率はゼロじゃないよ。 学問の入試で出たら100%と答えるけどね。
全ての実数の目が等しい確率で出る仮想のサイコロがあるとします。サイコロを一回だけ振って、無理数が出る確率は何%ですか?
34%100%
66%100%ではない
96,878 votes • Final results
33
12
95
162
454,998
dif_engine retweeted
AIのおかげで、数学が格段に面白くなってて、ワクワクする。 いまは、人間には解けなかったけどAIならサクサク解ける問題が次々に解決。 もう少ししたら人間にもAIにも簡単には解けない問題がのこる。 その時、どんな数学研究が待ってるのか。 楽しみすぎる。
5
1
30
943
【淫夢速報】 東浩紀氏、淫夢を知っている事を明かす
INMU KINGについて堂々と語った茂木さんは勇気ある
1
12
875
INMU KINGについて堂々と語った茂木さんは勇気ある
19
177
23
934
60,287
Replying to @hazuma
東さんも、語って、どうぞ。
2
14
3,325
dif_engine retweeted
アルゴリズム論としては、まあ、破ったレベルが低すぎて問題にならんのだろうけど、これが本当ならNPとEXPのギャップが証明できるので、計算量理論的にはすごいと思うんだな
2
2
24
3,392
dif_engine retweeted
画面が割れたのでClaudeに頼んで正常な領域にウィンドウを収めるようにしてもらった
150
1,735
171
26,479
1,460,021
Twitter上で中国の朝鮮族の方が朝鮮語で発言し,韓国人が「いまでもこんな言葉遣いなんですか!」と驚くのに対して「そうだが?」と返す一連の会話が全部現代日本語に翻訳されてしまってるので,これがゲームだったら翻訳チーム無能と炎上していたことだろう。
1
2
2
275
※にぎゆき翻訳問題の話がしたいわけではない
85