orange @[email protected]

やっぱAda素晴らしい＞＜
Adaこそが型による安全をしっかりと考えてる環境＞＜

Adaから安全な分野を奪おうとしてるRust（被害妄想＞＜；）も、日時の指定は型がガバガバっぽい＞＜
NaiveDate in chrono::naive - Rust - https://docs.rs/chrono/latest/chrono/naive/struct.NaiveDate.html#method.from_ymd_opt

まさにこう書きたい＞＜（Adaの標準ライブラリの中身）
subtype Year_Number is Integer range 1901 .. 2099;
subtype Month_Number is Integer range 1 .. 12;
subtype Day_Number is Integer range 1 .. 31;

Adaは違う！＞＜　Adaはちゃんと型を使う！＞＜　さすがAda！！！＞＜ Adaしか勝たん！＞＜

Standard library: Dates & Times — learn. adacore. com - https://learn.adacore.com/courses/intro-to-ada/chapters/standard_library_dates_times.html

ada.calendar - https://www2.seas.gwu.edu/~adagroup/adalib_html/ada-html/a-calend.html

Delphiの標準ライブラリもそうでした・・・＞＜；

System.SysUtils.EncodeDate - RAD Studio API Documentation - https://docwiki.embarcadero.com/Libraries/Sydney/ja/System.SysUtils.EncodeDate

ていうか、こういう場面、Pascal一族風の型システムになってなくて困る場面かも＞＜；
DateTimeもDateTimeOffsetもコンストラクタとかに年月日時分秒とか全部単にintになっちゃってるから、
DateTime dateTime = new DateTime(512,1024,2048);
みたいなの（512年1024月2048日）がビルド通っちゃって実行時にエラーになる＞＜；

DateTimeOffset 構造体 (System) | Microsoft Learn - https://learn.microsoft.com/ja-jp/dotnet/api/system.datetimeoffset?view=net-7.0

"...9999 年 12 月 31 日午後 11 時 59 分 59 分 59 秒までの日付と時刻..."
.NETには10000年問題があるっぽい＞＜（40bitのUNIX Timeを処理するやつ書いててデバッグで2万年の日時で試そうとしたらエラー出て気づいた＞＜；）

ChatGPTに書かせた「ChatGPTに本を書かせる方法」の通りにChatGPTに書かせた本とかもおもしろそう＞＜
「ChatGPTに書かせた「「ChatGPTに本を書かせる方法」を書かせる方法」によって書かせた「ChatGPTに本を書かせる方法」の通りにChatGPTに書かせた本」みたいにどんどん深めていったら、どんどん意味不明なものが出来上がりそう＞＜

「ChatGPTで執筆した書籍」がAmazonで大量に売られている - GIGAZINE https://gigazine.net/news/20230222-chatgpt-book-amazon/

ChatGPTに書かせたChatGPTで本を書く方法の本ってあるのかな？＞＜

書いた＞＜
Re:部門名 (#.4415405) | 東京書籍の教科書で1000か所余りの間違いが発見、異例の再配布へ | スラド https://srad.jp/comment/4415405

むしろアメリカの方が起伏があっても道路は起伏を無視して作りまくるので、あちこち急坂だらけ＞＜
ローカルな道はもちろん、高速道路もそうで、日本だったら陸橋とトンネルで渡る谷を切通しと築堤でかなりの急勾配で渡る＞＜

鉄道に限らず交通機関の維持の話も結局日本人が都市と道路を作るの下手すぎなのと、移動するの嫌いすぎって問題にぶつかるかも＞＜

で、ぎゅうぎゅう詰めライフスタイルなので、道路改良する土地的余裕も無いので物流コストもその他のコストもめちゃくちゃ高くなって競争力も無くなるし、集合してても人が動かないから物流の輸送規模もチマチマ輸送になって大規模集約輸送にしづらくなって人手も足りなくなる＞＜
道路改良出来ないから時間に対する移動距離も短くなって、ぎゅうぎゅう詰めに正のフィードバックがかかってしまう＞＜

コンパクトシティ事例以上にコンパクトに都市にぎゅうぎゅう詰めに住んでお買い物も徒歩ですぐのコンビニを利用する日本のスタイルでは、新幹線以外の鉄道は都市中心部でしか成り立たないんでは？＞＜
結局日本が旅客鉄道大国では無くなっていってるのって、日本人のぎゅうぎゅう詰めライフスタイル文化が大きな原因のひとつなんでは？＞＜　って思うかも＞＜

アメリカにここまで興味を持つずっと前に、「関西に住むなら滋賀県に住みたい＞＜　大津の近くの琵琶湖が見える場所＞＜」って地域ネタ系のおしゃべりする場所とかで言ってたら「なんでそんな遠くに・・・」って反応しか帰ってこなかったけど・・・あれかも＞＜(語彙力)

USAの旅客鉄道事情を見ると、日本の旅客鉄道事情、完全に意味不明に見えてくるし、同時に日本人の距離感覚の短さもものすごく意味不明に見えてくる＞＜
アメリカならそこそこ裕福な人が好む都市近郊エリアに相当する距離が、なんで過疎に苦しむ限界集落のようになってるの？＞＜；
そんなぎゅうぎゅう詰めにしてたら土地が足りなくなるの当たり前ってなんで考えないの？＞＜；

あと、USAでは都市の鉄道でも地下鉄も含めて、日本と比べたらガラガラの空気輸送みたいな状況でも成り立ってるし、その規模でも新規路線がガンガン作られてて今や日本よりも旅客鉄道大国かもしれないレベルだし、ド田舎の観光保存鉄道も日本基準ではびっくりするくらいの長距離で成り立ってるのに、
なんで日本の鉄道は座席が全部埋まるような状況の列車を何本も走らせる規模じゃないとやっていけないの？＞＜；
すごくすごくすごく不思議＞＜；

アメリカの運輸交通を見まくるようになって、距離感覚もアメリカナイズされた結果、それ以前以上に、日本のローカル輸送に鉄道が多用ではないけど生き残ってるの奇妙に見えるし、
その規模って鉄軌道の輸送としては北米ではライトレールが担ってる規模と距離だよねって思うし、「なんで日本ってそんなに距離のスケール小さいの？＞＜；」って謎＞＜