新しいものを表示
orange さんがブースト

で、具体的なモデルの上で考えるとき同型のような概念が結構使われているんだけど、それが "universal property" 上でいえることなのか具体的なモデルで考えているからこそいえることなのかを区別したくないとき equality symbol を abuse するトリックが使われると。
論文タイトルの "Grothendieck's use of equality" はまさにグロタンディークがやってみせたこの用法のことを言っているわけか。タイトル回収。

スレッドを表示
orange さんがブースト

本当は性質について "universal property" を考えるべきなのに何らかの具体的なモデルの上で考えてしまうせいで、より一般化された強い言明をしたいとき証明を弄るのがダルいという感じか

スレッドを表示
orange さんがブースト

equality (等価性) ってやつは思ったほど明らかな概念でもなくて、それゆえ割とファジーに使われていて定理証明支援などに乗せようとしたときその曖昧さが明らかになってしまっている、というのがまず件のペーパーの言わんとしているところよね

スレッドを表示

つまり、アメリカ民主党支持者に、共和党支持者を馬鹿にすんなって言うのであれば、同じような構図で、アメリカが国際問題に関して頓珍漢な事をしてる問題に関して、日本人はアメリカを馬鹿にすんなって話にもなってしまう><

オレンジは、アメリカかぶれでもしアメリカの好きな地域に移住できたらいいのにと思ってるけど、同時にアメリカ人は国際情勢に関して極端に井の中の蛙でどうしようもないすごい馬鹿どもの集まりだと思ってるよ><

たとえばパレスチナ情勢に対して、日本人から見たらアメリカが共和党支持者も民主党支持者(若年層の一部以外)も揃って圧倒的にイスラエル支持してるの理解できないじゃん?><
なんであいつら背景を理解できてないのって><
実際馬鹿だからというか得てる情報が違うから圧倒的なイスラエル支持になってるわけで、他の問題に関してそれと全く同じ構図がアメリカ国内ではどちらかというと高学歴な民主党支持者とどちらかというと低学歴な共和党支持者の間で起こってるんだよ?><

つまり実際に馬鹿どもなんだから、それをどうすりゃいいのって話で、「馬鹿にすんな」って、じゃあ日米に置き換えてパレスチナ問題やら決済云々の話やら、認識に大きなギャップがある問題にはどういう態度をとるの?><

orange さんがブースト

あっち界隈、「アイツらは愚かだから我々の正しさを理解できない」という調子のコメントを懲りずに発してる以上、負けは必然にしか見えない

数学者、型システムの有用性を理解してないし、「小学校の算数に型システムを><」って話に、数学界隈から頓珍漢な拒否反応が来るのもなるほどだし、同じ同じじゃない論法の危険性も理解してないっぽいし、
数学界隈、わりと頭悪い><(という論文だよね?><)

2024-06-11
りんごが10個=みかんが10個は成立する? - 破壊屋ブログ hakaiya.hateblo.jp/entry/2024/

2024年6月10日
数学の「=」(等しい)とはどういうことか? 英ICL教授が発表 「コンピュータの登場で定義が曖昧に」:Innovative Tech - ITmedia NEWS itmedia.co.jp/news/articles/24

(注: プレプリントです><)

orange さんがブースト

[B! あとで読む] 数学の「=」(等しい)とはどういうことか? 英ICL教授が発表 「コンピュータの登場で定義が曖昧に」 b.hatena.ne.jp/entry/s/www.itm

orange さんがブースト

グロバー・クリーブランド - Wikipedia ja.wikipedia.org/wiki/%E3%82%B

"...歴代アメリカ大統領において、「連続ではない2期」を務めた最初の大統領である。2番目はドナルド・トランプだゾ。..."

だゾ・・・・・><

orange さんがブースト
orange さんがブースト

オレンジが最近注目しまくってるペンシルベニア州ランカスター郡、
全体としてはアーミッシュが多く住んでるような土地で酪農地帯でキリスト教保守系な地域で最終的にはトランプだったけど、開票当初はハリス優勢で、あのそれほど広くない気がする地域でさえも都市(おそらくランカスター市)と郊外の酪農地域との間で分断があるのかってちょっとびっくりした><
郊外のドライブ動画を見てる限りではここ数週間でものすごくトランプ応援の看板(支持してる人がおうちの前に設置するやつ)が増えてるように見えた><

オレンジが一番好きな映画である『ストレイトストーリー』なんて、大半がじいちゃんが乗用芝刈機で移動してる映像で、難しそうな話が一瞬しか出てこないのですごく名作><(?)

orange さんがブースト

これ、昔の複数のクールに跨って放送してた話数の多いアニメもシリアス回の間にギャグ/日常回を挟んで疲れさせないようにしてたよな

orange さんがブースト

なんか名作と呼ばれてる映画、閑話休題みたいなシーンが散りばめられてて難しい話をずっと続けたりはしない、って話は聞いたことがある

たとえば子ブッシュ政権(共和党)がかなり影響されてたネオコンとはトランプはまるっきり逆に近いわけで、保守かそうじゃないかで言うと保守だけど、アメリカの保守ってあまりにも多義すぎてあれかも><
たとえばアメリカのガチの保守だとアナキストに近い考えを持ってて連邦政府の干渉自体を強く嫌うので、そういう人々はトランプとも犬猿の仲っぽくなってる><

雑にいうと共和党が保守なのはその通りだけど、トランプは旧来の共和党の文脈上の保守とはかなり異なるので、だからややこしいことになってるかも><

古いものを表示
:realtek:

思考の /dev/null