よく使われる言葉で「安全のためのマニュアルは血で書かれてる」ってあるけど、それだけじゃなく、
マニュアルには血で書かれていない部分（重大な事故の手前で済んだ事例）もあって、その『血で書かれていない部分』を「死んでないじゃん？」って軽視すると人が死ぬ＞＜
よく使われる言葉で「安全のためのマニュアルは血で書かれてる」ってあるけど、それだけじゃなく、
マニュアルには血で書かれていない部分（重大な事故の手前で済んだ事例）もあって、その『血で書かれていない部分』を「死んでないじゃん？」って軽視すると人が死ぬ＞＜
×
異物混入を繰り返し
〇
アレルギー事故×2回＋蛍光灯混入
漂白剤入りの水←New!!
らしい・・・＞＜
そういえば、給食の異物混入を繰り返してた上越市ってどうなったんだろ？＞＜
2025/5/13
漂白剤入りの水を誤って児童に提供、6人搬送・上越市の直江津小学校 相次ぐ“飲食事故”…保護者「とても不安」 | 新潟日報デジタルプラス
https://www.niigata-nippo.co.jp/articles/-/606890
・・・増えてるじゃん？＞＜；
？？？？？？＞＜；
大分 国東 中学校の理科実験で生徒体調不良 3人経過観察で入院 | NHK | 大分県
https://www3.nhk.or.jp/news/html/20250530/k10014821281000.html
2025年5月13日
中学校で理科の実験中に体調不良訴え 6人軽症か 東京 江戸川区 | NHK | 東京都
https://www3.nhk.or.jp/news/html/20250513/k10014804421000.html
2024/07/10
BBQで18歳が焼死した専門学校 新理事長に長男（33）が就任 ”ワンマン経営”指摘の報告書からわずか4日 | 福岡のニュース｜RKB NEWS｜RKB毎日放送 (1ページ)
https://newsdig.tbs.co.jp/articles/rkb/1285877
そういえばバーベキュー事故ってどうなったんだろうと思ってググったら10日くらい前に初公判があったっぽい＞＜
5/20(火)
火が燃え移り学生4人死傷事故 専門学校バーベキュー大会 当時の職員（25）が起訴内容認める【福岡発】（FNNプライムオンライン） - Yahoo!ニュース
https://news.yahoo.co.jp/articles/d11ae7c24d148183f6b97e1a92fe00cdeedd93d3
2022年に同じ実験でメタノールを使ったグンマーの馬鹿よりはエタノールを使っただけ、ほんのちょっとマシかもしれない＞＜（アルコール火災は死亡事故につながる事故なのであんまりマシじゃない＞＜）
2022年11月11日
実験でメタノール誤使用して引火 児童4人がやけど、教諭を書類送検 [群馬県]：朝日新聞
https://www.asahi.com/articles/ASQCC365NQCBUHNB00C.html
ていうか、エタノール火災事例だから、炎が見えず服に燃え移って死亡していた可能性も十分あったかも・・・？＞＜
葉にデンプンがあるか調べる方法 | たのしい理科 6年 | 小学校 | 大日本図書
https://cc.dainippon-tosho.co.jp/er/2024/contents/movie/6030_all.html
6年生らしい・・・＞＜
名古屋 小学校の理科授業で誤った指導 児童1人が重いやけど | NHK | 愛知県
https://www3.nhk.or.jp/news/html/20250530/k10014821571000.html
"...エタノールが入った試験管を湯せんすることになっていましたが、担当の講師は試験管を入れたビーカーを直接、ガスコンロで加熱するよう誤って指導..."
🤔
このアカウントは、notestockで公開設定になっていません。
条件をコメントとして書いてIntelliCodeに好き勝手コメント書かせて契約プログラミングもどき作戦、
いろいろ実験してみたけど、定数に対してはわりとうまくいくけど、Math.Min()とか使って範囲に収めるコードを書いてもそれは見てくれないっぽい＞＜
条件をコメントとして書いてIntelliCodeに好き勝手コメント書かせる作戦、わりとそこそこほんのり契約プログラミング！？＞＜；
ふとC# でコメントに契約プログラミングの宣言っぽいのを書いたら、IntelliCodeさんが 勝手に契約プログラミングっぽい事しはじめたりするのかな？＞＜
と思って、それっぽい事を書いた関数の続きに"//"って打って、Tab押しまくって好き勝手にコメントを書かせたらこうなった＞＜
「こども食堂から一線を引く」 《こども食堂》の名付け親が決意した背景 ボランティアでできる支援には限界がある | リーダーシップ・教養・資格・スキル | 東洋経済オンライン
https://toyokeizai.net/articles/-/880254
人里離れた山頂で遺体が見つかった双子の兄弟、警察は「謎が解けた」と主張 米南部(1/2) - CNN.co.jp
https://www.cnn.co.jp/usa/35233602.html
この山、前によく配信見てたトラックドライバーyoutuberさんのおうちのそこそこ近くだ＞＜（クルマで1時間くらいの場所）
Kotlinは、1+"hoge"は出来ないけど、"hoge"+1は出来るらしい・・・＞＜
（String + Int のみが定義されてて、Int + String は定義されてない仕様らしい・・・＞＜）
1+"hoge"ができる言語のリストをGPT-4oとGeminiに頼んで作ってもらったら両方で書いてる内容が微妙に違う＞＜；
これ、無意味だった・・・＞＜；
1+hogeが出来るかできないかどうかと、静的型付けと動的型付けは関係ないよって説明するためのクラス＞＜
https://gist.github.com/orange-in-space/5142e97f1d045d00469bddcaa1915e65
Mistral Small 3も「1.0から1+"hoge"できたじゃん？」って言ってる・・・＞＜
IntelliCodeさんのコメント補完によると、
"//This is valid in C# 12.0 and later, as it allows implicit conversion of int to string for concatenation"
らしいので、C#12でできるようになった・・・？＞＜；
ていうか、10年以上前辺りの、動的型付け派が消え去る前の頃の動的静的型付け論争では「じゃあ1+"hoge"できるのかよ！？ 柔軟性が必要！」みたいな話があったけど、
「静的型付けなC# では1+hoge出来るけど、動的型付けなRubyはできないのでそれは動的かどうかは全然関係ないです」で済む話で、あれだね＞＜（？）
動的型付けって、変数の再利用とか珍妙な事をするんじゃなきゃ要らないんでは？＞＜；
ていうか、型推論でもC# はstringとobjectの足し算が定義されてるから string? 型になっておｋっぽい＞＜
あれ？＞＜；
普通にToString()されてだいじょうぶっぽい＞＜；
（Console.WriteLineの行のコメントも（ていうかコード自体も）IntelliCodeさんが生成＞＜）
IntelliCodeさんは、dynamicを使ったあほなコードでもコメントの補完で警告しようとしてくれる＞＜；
このアカウントは、notestockで公開設定になっていません。
もし「動的型付けじゃなきゃいやだ！」って奇特な人ならば、全部dynamicで書けばよさそうだし＞＜；
ていうか、LLでIDEを使わずに書ける程度のもの（＝規模が小さいもの）で、C# じゃだめでLLじゃなきゃダメな理由、さっぱりわからない・・・＞＜
ていうか、csc.exeを打ち止めにしないで最新版(.NET Core系（？）)もWindowsに標準でcsc.exeを入れといてほしい＞＜；
このアカウントは、notestockで公開設定になっていません。
なんか、今までのdotnetコマンドでは、トップレベルステートメントで書いた時に限り、
dotnet run --project ./foo.cs
ってすれば強引に実行できたらしい・・・？＞＜
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
dotnetコマンドちゃんと使ったことなかったけど、csc.exeと違って、.csなソースコードだけじゃビルドできなかったっぽい・・・？＞＜；（使い方間違ってる？＞＜；）
dotnetコマンドを改良して、構文もちょっと変えて、直接実行しやすくしただけっぽい＞＜
あと、.csなファイルに実行ファイル属性をつければ、自動でdotnetコマンド経由で実行されるようにできる（つまり普通に実行ファイルとして扱える）っぽい＞＜
このアカウントは、notestockで公開設定になっていません。
Announcing dotnet run app.cs - A simpler way to start with C# and .NET 10 - .NET Blog
https://devblogs.microsoft.com/dotnet/announcing-dotnet-run-app/
オレンジのアクロバットな工夫が不要になる・・・？＞＜
C#コードを単一ファイルでスクリプトのように書ける言語機能が「.NET 10」でテスト中 - 窓の杜
https://forest.watch.impress.co.jp/docs/news/2018094.html
ハリボー、大麻成分検出で「ハッピーコーラ」リコール オランダ 写真1枚 国際ニュース：AFPBB News
https://www.afpbb.com/articles/-/3580545
シンセとかも放送局用機器とかも19インチだし、逆に10インチラックわからない・・・＞＜
奥が深い？「EIA規格」改めて理解！｜サウンドハウス
https://www.soundhouse.co.jp/contents/column/index?post=2925
普通に19も使われてるっぽいな
音響機器は10インチがメジャーな印象があるけど、そっちの界隈ではないのでわからん
LLMって、コードとコメントの齟齬は見つけてくれるけど、どうにかしたら（？）、例えば関数に契約プログラミングみたいな『条件』をコメントに書いたら、その関数を呼び出す側で契約違反になってることを検出して、結果的に（完璧では無い）契約プログラミング（のようなもの）って出来ないのかな？＞＜；
コード全体が巨大だと無謀なのかな？＞＜；
（巨大な場合は、呼び出し側のコードと呼び出される側のコードをどうにか切り出してからLLMに見せる必要がある？＞＜）
むしろSNSしか見てないと、SNSが世間では無いように感じるのかもしれないけど、ニュースを見まくってると、SNSってわりと世間＞＜
国会までは行ってないけど報道されて是正された最近の事例だとこれとか＞＜
【独自】ラーメン食べて戻ると「罰金1万円」ちゃんと駐車したはずが…“隣”のドラッグストア駐車場だった｜FNNプライムオンライン
https://www.fnn.jp/articles/-/852025
「無断駐車で1万円」“罰金”貼り紙→実際は共用 ネットで炎上、ドラッグストア本社が謝罪（よろず～ニュース） - Yahoo!ニュース
https://news.yahoo.co.jp/articles/dd8155c56a232a0f881a30306a76bfd2d7e98fd7
ある程度それはそうだけどある程度以上はそうではないかも？＞＜
なぜかというと大規模な炎上って、出発点がSNSであっても、結局大きければ報道されるし、もっと大きければ国会でとりあげられたりするので、別にあらゆる炎上がSNSに閉じてるわけではない＞＜
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
Visual Studio 2022+C# の組み合わせだと、nullチェック忘れとかは指摘してくれるけど、それが出来るのであれば型変換してるコードでの値の範囲チェックのコードが書かれてないのも同様に検出できそうな気がするけど、オプションとしてそれを追加するの無理なんだろうか？＞＜；
そういう風に検査を追加していったら、SPARKほどの完璧さは無理でもわりと近い安全性が実現出来そうな気がするんだけど＞＜
Geminiにボコボコにツッコまれたけど、でも、つまり少なくともエレベーターの制御では、RustよりもSPARKの方が向いてるんでは？＞＜；
Geminiに聞いてみたら、意訳で言うと
「SPARKの糖衣構文程度じゃRustと同じことは実現できねーよ！ コンパイラに大きく手を入れる必要があるよ！
エレベーターの制御の場面でRustじゃ結局停まって、SPARKの方がより実行時に停まらない制御プログラムを作るのに向いてるのはその通りだよ？
でも、実行時のメモリ関連のエラーに限ればRustが有利という側面はあるし、エレベーターの制御みたいな場面でSPARKが有利でも、世の中のシステムプログラミングが全てエレベーターの制御のようなミッションクリティカルな条件ってわけでは無いんだよ」
的なありがたいお言葉をいただきました＞＜(？)
2025-05-30
「Rust」が10周年--エレベーター故障から始まったシステムプログラミング言語の歴史 - ZDNET Japan https://japan.zdnet.com/article/35233577/
きっかけを考えるとなんでAda/SPARKに所有権システムっぽい糖衣構文を追加する方向じゃ駄目だったのか謎＞＜
Rustってメモリ以外の面でも実行時エラーを執拗に排除する言語では無いんでしょ？＞＜
だとしたら結局エレベーターの制御プログラムみたいなのは実行時に停まるんでは？＞＜
(カナダの)バンクーバーのエレベーターだったのか＞＜
February 14, 2023
How Rust went from a side project to the world's most-loved programming language | MIT Technology Review https://www.technologyreview.com/2023/02/14/1067869/rust-worlds-fastest-growing-programming-language/
"...Returning home to his apartment in Vancouver, he found that the elevator was out of order; its software had crashed. This wasn’t the first time it had happened, either. ..."
この番組を見るべき＞＜(幼保・小学1~2年向けだけど)
ミミクリーズ | NHK for School https://www.nhk.or.jp/school/youho/mmcs/
アンモナイトって何のなかま？｜恐竜・古生物 Q&A｜FPDM: 福井県立恐竜博物館 https://www.dinosaur.pref.fukui.jp/dino/faq/r02085.html
"アンモナイトは、よく似た殻をもつカタツムリなどの巻貝のなかまではなく、イカやタコなどの頭足類のなかまです。"
ある呉服屋の「アンモナイト柄の着物」紹介ポストに研究者が「そんなアンモナイトは存在しないんです…」とツッコミ→AI利用したイメージだったことが分かり、議論に - Togetter [トゥギャッター] https://togetter.com/li/2556942
研究者じゃなくても巻き貝(？)が螺旋状じゃなくドーナツ状なのはおかしいって気づけよ感＞＜
(アンモナイトって貝？＞＜；)
2020-04-14
「自分の頭で考えること」を学ぶ - いつか博士になる人へ https://www.ki1tos.com/entry/2020/04/14/174739
スーパーマリオブラザーズで学ぶ「スレッド」 - GIGAZINE https://gigazine.net/news/20250529-what-threads-mario-bros/
🤔🤔🤔
