orange @[email protected]

SMTソルバすごいって思ったけど、魔法ではないので複雑な条件を指定すれば時間がかかるしCPUがホカホカになってしまう＞＜（当たり前だけど）

Z3(SMTソルバ)おもしろい＞＜（？）

おもしろそう＞＜

[B! 生物] 人類がはじめて恐竜を発見した時、何が起こっていたのか──『恐竜発見』 - 基本読書
https://b.hatena.ne.jp/entry/s/huyukiitoichi.hatenadiary.jp/entry/2026/08/03/080000

多治見も(日本の典型的な都市として)無秩序開発されて駅前が十分な密度の市街地では無くなってしまったから、(絶対にあり得ないけど)仮に、御嵩と多治見の間でおしゃれなライトレールで直通化して途中に大規模R＆R駅を設置したとしても、目的地が無いので十分な需要を満たせないよね＞＜

日本の大都市圏周辺の郊外や過疎地域の公共交通整備＆都市計画が根本的におかしい点は、大都市と繋がるフィーダーとしての機能しかないように作っても存続可能かのように勘違いしてる点＞＜
たとえば鉄道を利用してどこに行けるというのさ？＞＜
大都市圏の中心地までそんなに頻繁に行くか？＞＜

この区間、結局どこにも行けず(遠方には乗り換えで行けるけど)どの駅も事実上駅から徒歩圏の人しか利用できない構造なので、鉄道が役に立たない地域構造なんだから存続できるわけがない感＞＜

故人の人格をロボットに移し存続させる「デジタルDNA」プロジェクト（アメリカ） | カラパイア https://karapaia.com/archives/619179.html

"...説明によるとこのプロジェクトは、量子コンピューティングを基盤とするシステムで、..."

唐突に胡散臭い＞＜；

日本(語)でも技能士？＞＜；

使った事の無いビデオデッキでの録画予約や、ビジネス向けFAX複合機でユーザー側が出来る範囲の事すら出来ないのであれば『エンジニア』では無いかもって話であれば完全同意だけど＞＜
必要な情報を集めて状況を理解して実行可能なソリューションを考えるのがエンジニアであって、指示書に従う事しか出来ないのは英語圏ではTechnicianだろうし＞＜

[B! 増田] 古いビデオデッキの活用法 https://b.hatena.ne.jp/entry/s/anond.hatelabo.jp/20260802090110

これ有効であるとは思うけど、実際にはちょっと高度すぎる気もする＞＜
なぜかというと、1990年代にNHKの番組で機械音痴に関する検証みたいなのをやってた時に、
2人組のチームが4チームそれぞれが色々な家電を取説を見て操作するって実験をして、ビデオデッキの録画予約は、理系大学生チーム(工学部？)も出来なかった＞＜；

ファッキンホット (くそあつい)とは【ピクシブ百科事典】 https://dic.pixiv.net/a/%E3%83%95%E3%82%A1%E3%83%83%E3%82%AD%E3%83%B3%E3%83%9B%E3%83%83%E3%83%88

「くそ暑い」─名古屋開催の「世界コスプレサミット」 真夏の開催はこれが最後に　写真10枚　国際ニュース：AFPBB News https://www.afpbb.com/articles/-/3646706

！＞＜

'Damn hot': Last summer for Japan cosplay extravaganza | AFP.com https://www-pp.afp.com/en/damn-hot-last-summer-japan-cosplay-extravaganza

惜しい＞＜；

Peugeot 307CCみたいな電動ハードトップならば、雪国でもオープン状態で乗れそう＞＜
複葉機のパイロットみたいな装備で＞＜；

簡単に言うと、全部を『烏丸御池駅』方式にするってこと＞＜

京都に旅行した時、京都河原町駅で駅員さんに「四条はどうやって行くんですか？」と聞いたら「ここが四条です」と言われた→客が何を求めているかを理解すべきか？伝え方の問題か？ - Togetter
https://togetter.com/li/2727438

これ、京都駅への行き方を聞いてる場面らしいので駅員が悪いと思うけど、
それはそれとして、京都は駅名を通りの名前の交差方式（アメリカ方式＞＜（毎度おなじみ））に改めればいいんでは？＞＜

[B! math] 宇宙際タイヒミュラー空間についての雑感｜下部　博一
https://b.hatena.ne.jp/entry/s/note.com/complex_manifold/n/ne2d5e726beda

オレンジ的には、『『本人が』』Leanで書き下せないのであれば誤っていると捉えていいと考えるようになった＞＜
膨大になるというのは言い訳にならない＞＜（詰まってる部分だけ本人が書けばいいわけだから＞＜）