[B!] 型は壁、Rustでもバグを直すな、表現できなくせよ
https://b.hatena.ne.jp/entry/s/speakerdeck.com/nwiizo/xing-habi-rustdemobaguwozhi-suna-biao-xian-dekinakuseyo
30ページあたりからアホらしくなって読み飛ばしちゃったけど、
趣旨には同意だけど、だったらAda/SPARKを使うほうがよくない?><
その為の言語がAdaであるし、このパターンのバグはSPARKの形式検証で検出できるじゃん?><
あるらしい!!><;
飛騨高山ほっこりグルメ|特集|【公式】飛騨高山旅ガイド|岐阜県高山市の観光・イベント情報!
https://www.hidatakayama.or.jp/special/detail_115.html
賛否ある新愛称「富山高山すし空港」を岐阜県知事が歓迎…「海外旅行客には、何がどの県にあるか関係ない」 : 読売新聞
https://www.yomiuri.co.jp/national/20260710-GYT1T00390/
富山高山すしすし空港にしてほしかった><
建物の屋根にある看板は『富山高山🍣🍣空港』ってイラスト方式で文字数をきときとにあわせる><
量子論の父として著名な物理学者マックス・プランクが80年以上前に発表した論文がなぜか撤回されていたと判明 - GIGAZINE
https://gigazine.net/news/20260712-max-planck-paper-retracted/
それと、本来の意味でのコンパクトシティと完全に正反対の事をコンパクトシティ政策とか言うのもやめろ><#
無秩序開発はコンパクトシティーじゃねーよ><
無秩序開発してその後人口密度が低下するから、移動しまくらないと何も出来ない 全くコンパクトではないスカスカな地域が出来上がるんだよ><
無いらしいし、都市計画にしてもそれに附随する公共交通政策にしても、日本には専門家が本当に文字通り一人も居ないっぽいの、本当にどうしようもない><
都市計画というのは都市の形について現状追認をしない事であるのに、学者が現状追認してどうするんだよ?><; 存在意義ゼロだろ><
ここ、道路計画地に2010年に家が3軒建って2023年に取り壊しとかいう意味不明なことになってるけどどういう事なの?><;
千葉市って道路用地に家を建てられるの?><;
https://maps.app.goo.gl/a1giPrQPqtf6ByJg8
千葉市:都市局都市部交通政策課 https://www.city.chiba.jp/toshi/toshi/kotsu/
1日1000人利用のバス廃止へ 千葉市花見川区 「運転士不足」代替交通なし 住民存続求めるが…(千葉日報オンライン) - Yahoo!ニュース https://news.yahoo.co.jp/articles/c5364741ca2e59fb8eb09b82df9edfe3febfa21b
そもそも公共交通を営利で民営でやるという日本独特な発想がおかしく無理があるということがわかる典型的な例であるし、同時に日本には都市計画が事実上存在しない(まともに機能していない)ということがわかる典型的な例><