orange @[email protected]

Frozen Fried Potato Processingのところを見たら、マックフライポテトの工場（会社としてはシンプロットとかラムウェストンとか）が、わりとENERGY STARになってる＞＜

ENERGY STARな建物の数がカリフォルニアはテキサスの倍くらいあるの、すごくカリフォルニア＞＜（？）

建物のリストもあった＞＜
Registry of Certified Buildings and Plants | ENERGY STAR
https://www.energystar.gov/buildings/certified_buildings_and_plants

Commercial Buildings | ENERGY STAR
https://www.energystar.gov/buildings

建物に対しても、ENERGY STARあったのか＞＜；

FAQ お問い合わせ | 国際エネルギースタープログラム
https://www.energystar.go.jp/faq.html
"...さらに米国では、家電などの機器だけでなく、家屋・ビル等も対象に含まれており、販売員育成や購入資金補助など幅広い分野に対して実施されています。"

それは完全にそうだけど、ハードウェアに役割を与えるのがソフトウェアなわけだし・・・＞＜

セキュリティ的にあれかもだけど、学生のPCでも動かしたら、さすがに「サーバーって実はネットワークで繋がった計算機上で動くソフトウェアであって、俗に「サーバー」と言ってるのはそれを動かしてる計算機をそう呼んでるだけ」って理解できそうな気が＞＜
とにかく「ハードウェアじゃないんだ！　ソフトウェアなんだ！」だけを強調する感じで＞＜
(学生が「なんだこいつ」って思われるようになるかもだけど、間違ってはないし＞＜；)

もしかして、20世紀までに日本で普及した野菜で、「菜」がつく作物って全部が学術的な種としてはブラッシカ・ラパなのかな？＞＜
と思ってGeminiに聞いたら、「少なくともセイヨウアブラナ(Brassica napus)と、カラシナとタカナ(Brassica juncea)が例外としてあるかも」って教えてくれた＞＜

白菜も白菜も(？)、他の色々なhoge菜のわりと多くも、結局はブラッシカ・ラパ＞＜

ブラッシカ・ラパ - Wikipedia https://ja.wikipedia.org/wiki/%E3%83%96%E3%83%A9%E3%83%83%E3%82%B7%E3%82%AB%E3%83%BB%E3%83%A9%E3%83%91

どう違うか知らなかったのでググったけど、
結球する品種の白菜が「ハクサイ」で、結球しない品種の白菜が「シロナ」らしい・・・？＞＜

形式検証と契約プログラミングって、型のデザインが過度に複雑にならずに安全性を高められるって点でも、むしろ初学者に優しくなるかも＞＜

完全に型のみに頼れば、たとえば引数が0では無い整数である必要がある時には、『0では無い整数型』が必要になるし、結局どこかでその型への明示的な(あるいは暗黙の)型変換が必要になる＞＜

でも、怠慢なプログラマは、ゼロになっていないかのチェックを事前に行わずに、型変換時のエラーに任せるコードを書いちゃって、実行時にエラーが出るか、または出ないけどロジック的には誤りになるコードを記述してしまい、わざわざ『0では無い整数型』を導入したメリットがほとんど無くなっちゃう＞＜

形式検証であれば、実際のロジック部分(？)で「ゼロになる可能性があるのでその対策が必要なこと」をエラーまたはアドバイスにすることができ、
オプショナルで無視するつもりなら無視しておいて実行時のエラーに任せるという選択も出来て、同じ無視する場合でも型で記述する方式と比べると無駄な型変換コードが節約できる＞＜
そういう面でも初学者に易しいかも＞＜