orange @[email protected]

JAXAって、打ち上げのパンフレットみたいなやつ(名前忘れた)って用意してないの？＞＜

JAXA | H3ロケット8号機の打上げについて（第一報） https://www.jaxa.jp/press/2025/12/20251222-1_j.html

H3なんか失敗したらしい？＞＜

高校の「数学」再編へ　AIの学び重視しA、B、Cの区分なくす方向 [大学入学共通テスト][学習指導要領の改訂]：朝日新聞 https://www.asahi.com/articles/ASTDN55SJTDNUTIL02ZM.html

[B!] 息子が中学入ってすっこけたのは、「塾不要です」とか言っておきながら、成績不振で学校に呼ばれて面談したら、「塾とかは行ってないんですか？」と聞かれた件。「塾不要って言ってませんでしたっけ？」という言葉が喉元まで出かかった。😅 https://b.hatena.ne.jp/entry/s/posfie.com/@petaritape/p/ONnEyBE

学校の先生は教育学の専門家じゃないから、教師のそういう話は真に受けちゃダメかも・・・って思いながらページ開いて、親の人のプロフィール見たの＞＜
"...修士（教育学）。臨床心理士。"

どういう事なの？＞＜；

これの跡地＞＜

Umatilla Chemical Depot - Wikipedia https://en.wikipedia.org/wiki/Umatilla_Chemical_Depot

アナホリフクロウに魅せられて〜草原の復活物語〜 | 地球ドラマチック | NHK https://www.web.nhk/tv/an/dramatic/pl/series-tep-QJ6V6KJ3VZ/ep/ZY4PZRMG36

これおもしろかった＞＜
しかも、アナホリフクロウ復活のために使われてる場所が、トラック車載実況で馴染みがある場所でしかも高速道路(I-84)に面した広大な土地だった＞＜
(ただの草原だと思ってた＞＜；)

そして、『安全をチェックしなければならない要所』か『パフォーマンスを優先すべきでチェックを省く場所』なのかを人間が判断すると、Ariane 5の打ち上げ失敗の二の舞になるわけで、だからこそSPARKみたいなものが必要になるわけだね＞＜；

クラスターミッション - Wikipedia
https://ja.wikipedia.org/wiki/%E3%82%AF%E3%83%A9%E3%82%B9%E3%82%BF%E3%83%BC%E3%83%9F%E3%83%83%E3%82%B7%E3%83%A7%E3%83%B3

普通に演算子を使って加減乗除するだけでも、右辺と左辺の範囲チェックして、結果の範囲チェックしてって毎回するのでかなり性能悪いはず＞＜；

C#(11以降？＞＜)でもPascalの部分範囲型と同じような事ができなくもない事はわかったけど、範囲チェックとその為のnullチェックが実行時に頻繁に行われまくるので、パフォーマンスを考えたらPascalや（出来うる限り静的に検査されて実行時には不要な検査は行わない）Adaのように多用する使い方は無理かも？＞＜；
（もし実用するとしたら要所要所だけで使って途中の計算は普通の数値型を使うってしないとダメかも？＞＜；）

使い方はこんな感じで、（必ず）nullableで返ってくるので、nullチェックが必須になる感じ＞＜
範囲外であればnullになってくるので、処理的には二度手間だけどnullだったら渡す前の数値をもう一度検証すればいいじゃんって発想＞＜
理屈の上では、数値の範囲の問題による実行時エラーが起きるコードを書けないはず・・・＞＜

こんな風に派生型を宣言して使う＞＜（1～12だけ受け入れられる月の数値型＞＜）

C#(11以降)でnullableとnullチェック強制を利用して、PascalやAdaの部分範囲型とほぼ同じことができるやつの基礎的な部分ができた＞＜

他のLLM(Llama/Mistral/Claude)は「かなり雑だし正確には違う面もあるけど、ブチ切れの連鎖であった点は間違ってないし、歴史に興味を持ってもらうためのあえて簡略化した大げさな説明としてはいいかもね」みたいな方向っぽい＞＜

これ、ChatGPT系にはあんまりウケがよくなくて（雑すぎる）、Gemini 3(思考モード)にはウケた（"むしろ本質を突いている"）けど、なんでだろ？＞＜
Geminiってメタ視点を好みがち？＞＜

GPT-OSS 120B
"ジョークとしては面白い構造ですが、歴史的事実としては大幅に脚色・単純化されています。実際の出来事はもっと複雑で、多様な要因が絡み合っています。"