レジ袋 欧米は再び無料化の動き 新型コロナ感染対策で | NHKニュース https://www3.nhk.or.jp/news/html/20200701/k10012490321000.html
米作りに挑戦するために必要だった「北海灌漑(かんがい)溝」 | 大正13年、泥炭地に打ち込まれたツルハシの力。国づくりを支えた北海幹線用水路 | 田んぼと治水 | クボタのたんぼ [学んで楽しい!たんぼの総合情報サイト] https://www.kubota.co.jp/kubotatanbo/control/hokkai/irrigation.html
米作りを支える北海幹線用水路の役割 | 大正13年、泥炭地に打ち込まれたツルハシの力。国づくりを支えた北海幹線用水路 | 田んぼと治水 | クボタのたんぼ [学んで楽しい!たんぼの総合情報サイト] https://www.kubota.co.jp/kubotatanbo/control/hokkai/role.html
@orange_in_space "1 ≠ 0.999…" が議論の焦点なので,等価性 "=" の定義をうまく設計することが大切になってくると思います.実数の場合は,「差がゼロに収束するか否か」という判定基準を使って等価性を定義している (24:30〜) ので,1 と 0.999… のような繊細な違いがぜんぶ潰れて同じになってしまいます.ここをどうデザインするかが重要な点になると思います.
@orange_in_space "1 ≠ 0.999…" が成り立つような数体系を作るときは,1番目の動画の 20:15〜 の議論のように,無限小数の表記を "数" に対応させる方法を考えて,更に 24:50〜 の議論のように必要な演算 (加減乗除など) を自分で定義していけば可能だと思います.
@orange_in_space 初めまして.以前,"1 ≠ 0.999…" が成り立つような数体系について考察してらっしゃいましたね (https://mstdn.nere9.help/@orange_in_space/103324489246987165).そのような数体系を開発するときに役に立ちそうな動画を見つけたので共有します.
https://www.youtube.com/watch?v=aj_HLsI7lss
https://www.youtube.com/watch?v=255PakoXMSk
IT関連というかなんと言うかのUXの問題も増えてるって話も><
"Infotainment and driver assist technology can make a vehicle both attractive and maddening to consumers.(以下略)"
デザインの失敗をお客様のせいにするのが日常茶飯事なIT界隈の劣化したUXデザインを自動車に持ち込めば
"The main complaint is many of these features are simply too difficult to use..."
単に難しすぎるになっちゃうのそりゃそうでしょ的な><
https://www.forbes.com/sites/edgarsten/2020/06/24/tesla-tanks-in-jd-power-initial-quality-study/
Tesla Tanks In J.D. Power Initial Quality Study, Detroit 3 Excel https://www.google.com/amp/s/www.forbes.com/sites/edgarsten/2020/06/24/tesla-tanks-in-jd-power-initial-quality-study/amp/
ぶっちぎり最下位です。JDパワー初期品質調査ランキングにTesla堂々初登場(ギズモード・ジャパン) - Yahoo!ニュース https://news.yahoo.co.jp/articles/ba2f63bf8ce216d2b7408e7e6a0f2c8ecc6c7909
一番驚きなのはトヨタ系ブランドがトップ10から外れたこと
テスラはまあ、参考値として(低品質ぶりはよく話題に上がるけど)
インド、TikTokなど中国のアプリ禁止 軍衝突で緊張高まる | Article [AMP] | Reuters https://jp.reuters.com/article/india-china-apps-idJPKBN240347
今度は新豚インフルエンザ?><
Flu virus with 'pandemic potential' found in China - BBC News https://www.bbc.com/news/health-53218704
Could a boycott kill Facebook? - BBC News https://www.bbc.com/news/technology-53225139
!?><
TD40 6tダンプ 6100D 5MT(北海道)の中古車詳細 | 中古車なら【カーセンサーnet】 https://www.carsensor.net/usedcar/detail/CU6609452680/index.html