orange @[email protected]

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/

🤔🤔🤔

Tropico 4を6年ぶりくらいに遊ぼうとしたら、WASDが使えなくて操作しづら過ぎて、使う方法をググったら「AutoHotkey入れろ」って書いてあって、AutoHotkey使うのめんどいから作った＞＜

選んだウィンドウの時だけ機能するようにした＞＜

いま気づいたけどコメントが消し忘れで冗長＞＜；

WASDキーを押すとカーソルキーも押した事にするだけのシンプルなアプリ作った！＞＜
（カーソルキーでしか操作できないゲーム用をWASDで操作する用＞＜）

約30分間頓珍漢な試行錯誤したけど結局これでした＞＜；

よいこのみんな！＞＜；
共用体になってる構造体の定義は、使わないやつを「使わないからいいや＞＜」って省略すると、サイズが小さくなって動かなくなるよ！＞＜；

INPUT (winuser.h) - Win32 apps | Microsoft Learn
https://learn.microsoft.com/ja-jp/windows/win32/api/winuser/ns-winuser-input

今日の「人間いらないじゃん・・・＞＜」

なんか、ヤモリが窓の淵を走りまわって鳴いてるけど、縄張り争い・・・？＞＜；