@Live_In_Kansai_Japan 型がガチガチとガバガバは、浮動小数点数の精度に限った事じゃなく、常に型が明示的に扱われてなおかつ静的に型が決まる事で型の安全性を強く保つか否かで、
例えば、極端な例であるAdaは、整数であってもまず型を作る事で安全性を保つやり方なので、年月日の月の表現に標準の整数型は使わずに「1~12の整数のみ表現できる月の型」を作るみたいな事をあらゆる場面で行い、それはコンパイル前に型検査される事で安全にするって思想になってるので、
そういう思想の正反対で、型が非明示的でゆるく型が、しかも実行時に決まるPythonってガバガバかも><
型がガチガチ方面の古い言語って他にPascalとか><
@Live_In_Kansai_Japan 型がガバガバは、例えば型の強弱のstrongとweakで表現すると諸説ある事になっちゃう(論争になってややこしい)し、ダックタイピングだったり暗黙的だったり動的だったりの事を「弱い」とは書けないので、そういう傾向を個人的には「ガバガバ」って表現してます><
その逆は「型がガチガチ><」で、その代表的な言語はAdaかも><
日本での同様の物はさっきの中部運輸局の資料によるとこのへんっぽい><
でも、車両は普通のタクシー/ジャンボタクシーであって、さっきのワシントン州のみたいにミニバスっぽいものを専用に用意してるわけじゃないっぽい><
市内移動の公共交通機関「のり愛くん」(乗り合わせタクシー) - 美濃市 https://www.city.mino.gifu.jp/docs/1664.html
小原地域バス「おばら桜バス」|豊田市 https://www.city.toyota.aichi.jp/kurashi/koutsu/bus/1003739.html
電話で予約バスとは/可児市 https://www.city.kani.lg.jp/3466.htm
@Live_In_Kansai_Japan 元の話は、「金融では十進で計算するのに、数学界隈や科学技術計算ソフトウェアとかではIEEE754の二進をわりとそのまま使うっぽいのはなぜ?><;」って話です><;
https://mstdn.nere9.help/@orange_in_space/110964276603383495
あとついでに数学やAI方面で型がガバガバな言語(ていうかPython)が流行ってるのもわけわからんって話です><
続・デマンド型交通の手引き
国土交通省中部運輸局
[pdf] https://wwwtb.mlit.go.jp/hokkaido/content/000174198.pdf
"Ride The Current!" を YouTube で見る https://youtu.be/OAx8DROULI4?si=wsth8V-R-2GwdOF1
C-Tran ride-share service The Current to launch Monday - The Columbian https://www.columbian.com/news/2022/jan/04/c-tran-ride-share-service-the-current-to-launch-monday/
これおもしろいかも><
乗り合いタクシーとデマンドバスとUberがまぜこぜになったみたいな公営(郡営)の公共交通機関っぽい?><
元々あった北米の都市ではメジャーな(?)障碍者向けの乗り合いタクシーシステムの改良版っぽい?><
逆に発言部分を無理に文語体っぽくすると、ブームくんっぽくなっちゃうかも><
ブームくん (ぶーむくん)とは【ピクシブ百科事典】 https://dic.pixiv.net/a/%E3%83%96%E3%83%BC%E3%83%A0%E3%81%8F%E3%82%93