orange @[email protected]

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

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

2024年6月10日
数学の「＝」（等しい）とはどういうことか？　英ICL教授が発表　「コンピュータの登場で定義が曖昧に」：Innovative Tech - ITmedia NEWS https://www.itmedia.co.jp/news/articles/2406/10/news058.html

(注: プレプリントです＞＜)

グロバー・クリーブランド - Wikipedia https://ja.wikipedia.org/wiki/%E3%82%B0%E3%83%AD%E3%83%90%E3%83%BC%E3%83%BB%E3%82%AF%E3%83%AA%E3%83%BC%E3%83%96%E3%83%A9%E3%83%B3%E3%83%89

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

だゾ・・・・・＞＜

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

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

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

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

丸3週間くらい断続的に体調すごくつらくてつらい＞＜

体調つらい＞＜

なんかめちゃくちゃカタコト日本語みたいな文章になってたけどオレンジは日本人です＞＜；

実際には、例えば農業でいえば輸出先が失われれるとか、肥料が信じられないくらい高騰するとか、そういったリスクは抱えてるけど、それを実際に起こりうるリスクとして、あるいは既に起きた影響がどういった複雑なプロセスによって起きたか理解するような下地は、一般的なアメリカ人は持ってないよ＞＜

アメリカって、どう動こうが米国民が被る迷惑って、結局インフレとテロの増加くらいしかない＞＜
内政面でも、例えば保守的あるいはリベラルななにかとか、なんらかの社会的な動きがあったとしても、大半の事柄が自分の考えとあわない州や地域から考えに近い州や地域に引っ越せば目先の面ではだいたい解決しちゃう＞＜
だから、外交上の緊迫感のようなものも無いし、気になる問題は近所に気に入らないやつら来るとか誇りがどうの程度の話なので、真面目に国際情勢学ぼうなんて気も発生しない＞＜
そういう社会でパレスチナ情勢の複雑さや背景を知ろうなんて人が、発生すると思う？＞＜
平均的なアメリカ人にとって結局、外交は全て対岸の火事なんだよ＞＜