固定された投稿
自己紹介下書き2＞＜
超多趣味で、興味がある分野は、
航空(※1)宇宙開発鉄道物流都市計画都市緑化自動車(※2)送電線 南の島の電柱 クレーン橋梁トンネルダム廃道酷道 土木と公共事業と地域問題 土砂災害電子計算機 ヒューマンセンタードデザイン 建築地理地域ネタ 世界のローカルフード マイナードリンク郷土史冷戦史 虐殺問題と国連の役割 人種差別問題セクシャルマイノリティ差別問題 東欧の民主化 報道とその役割 放送局用機器シンセサイザーポピュラー音楽制作背景史アメリカ文化 アメリカのトラック輸送 大規模農業大型農業機械垂直農業農産物の安全保障紛争鉱物問題
かも＞＜
(※1 ジャーマンウィングス事故で世界で最初に、管制との最後の交信内容を言い当てた＞＜)
(※2 免許は無い＞＜)
ワードサラダ並み感＞＜；
オレンジが好きな州が40位付近で渋滞してる・・・＞＜；
Rankings: Overall Best States | U.S. News Best States
https://www.usnews.com/news/best-states/rankings
List of ‘best’ states released by US News. These 5 rank as the very worst
https://thehill.com/homenews/state-watch/5995127-list-of-best-states-released-by-us-news-these-5-rank-as-the-very-worst/
Oregon is on track for its worst wildfire season yet : NPR
https://www.npr.org/2026/07/29/nx-s1-5910624/oregon-is-on-track-for-its-worst-wildfire-season-yet
この子＞＜
N612AX Flight Tracking and History - FlightAware
https://www.flightaware.com/live/flight/N612AX
昔ながらのってこれなのかな？＞＜
【6コ/200ml】「口部強化積み重ね型」7オンスタンブラー｜業務用備品の通販【飲食店用品.jp】
https://www.inshokuten-youhin.jp/shopdetail/001006000015/001/006/X/page1/recommend/
先人は居たけど、昭和から続けてるようなお店で出てくるガラス製のあれじゃなくてコレジャナイ・・・＞＜
飲食店仕様のコップが家にあれば、もう夏は外に出なくていいはず | オモコロブロス！
https://omocoro.jp/bros/kiji/410503/
ふと思ったけど、ラーメン屋さんのコップで水道水に氷入れたやつを飲んだらラーメン屋さんの気分になるんだろうか？＞＜
オレンジはそれをわかってる上でアメ車が好き＞＜；
GMのサターンって、結局なんでアメ車が日本車に負けたのか全く理解していない人が作ったクルマと言えそうだし、たぶん今もアメリカ人は理解してなさそう＞＜
なぜならばアメリカの消費者はそんな事あんまり気にしないから＞＜；
日本がバブル期のころにアメリカで開発されて、日本に入ってきた時はむしろぴったり総崩れのタイミングかも＞＜
バブルではなくない・・・？＞＜
サターン (自動車) - Wikipedia
https://ja.wikipedia.org/wiki/%E3%82%B5%E3%82%BF%E3%83%BC%E3%83%B3_(%E8%87%AA%E5%8B%95%E8%BB%8A)
”日本へは1997年（平成9年）に進出。「礼をつくす会社、礼をつくすクルマ」というキャッチコピーで広告展開し、...”
orange
さんがブースト
あぁ……
サターンってバブル期に参入だったのか
バブル崩壊後の90年代でも販売は続いてたような記憶があるけど、全然売れてなかったよねぇ……
景気後退後も"輸入車=特別なクルマ"という構図は崩れなかった
同じ系統のクライスラー ネオン然り
まあ、後に参入したヒョンデ(当時はヒュンダイ)と起亜も日本市場に低価格な"普通のクルマ"の居場所はないと判断して撤退しましたね
根本的に日本市場における普通のクルマって国産9メーカー(当時)で間に合ってましたし……
それがBEVの登場で風穴が空いた、そこに目をつけて中国メーカーかヒョンデが日本に続々と進出している
というのが2026年現在の情勢ですかね
なんか、Leanって結局は証明を書くことが主目的で、その主張に矛盾がないかを一応自動で検証してくれる環境であって、SMTソルバーみたいに推論してくれる環境ではないんだね・・・＞＜
目的外に使おうとすると、全部言われないとわからない呑み込みが悪い人的な環境＞＜；
「行間まで読んで取りうるすべての可能性を！！！ どう考えてもこうにしかならないだろゴルァ！」がSPARKで、
「どういうこと？」がLean？＞＜；
SPARKやDesign by Contractな環境が「こいつの説明に矛盾が無いか、説明しつくしていない部分が存在しないのかを全自動で完璧にガチガチに検証してくれる環境」であるとすると、
Lean 4は「こいつの説明に矛盾が無いか見てみる」程度であって、ぜんぜん推論してくれない感じ？＞＜；
ていうか、部分範囲型を作ろうとすると、整数と証明のタプルみたいなの（？）になるの、どういうことなの？＞＜；
Lean 4ちょっぴりいじってみたけど、SPARKとかと全然違いすぎてどういうことなのってなってる＞＜；
あまりにも思ってたんと違う＞＜；
orange
さんがブースト
同志社国際高の校長「今後も訪問したい」 辺野古転覆事故2日後 | 毎日新聞 https://mainichi.jp/articles/20260729/k00/00m/040/209000c
ヤバい組織って、内部が「シャバ」と完全に分離してしまってて、あらゆる物事が内部の論理で決まる「因習村」状態になってることが多いので（経験則）、こういう所で露出する一般社会がぎょっとするような対応を見る限り、この高校も同じような事になってるんじゃないかと心配になる。
なぁなぁの出来レース用の「外部の目」ではなくて、真剣ガチめな外部の目をもっと入れた方が良いんじゃなかろうか。
- ＠orange_in_space
2017年 4月に登録
