新しいものを表示
orange さんがブースト

言語設計をどう頑張ったところでクソコードはなくならないよね。たぶん。

orange さんがブースト
orange さんがブースト

「そこそこレベルの人々を沢山集めてそれなりの品質のソフトウェアが出来上がる」みたいな構造で開発している業界自体に根本的に無理があるのでは。知らんけど。

orange さんがブースト

まあ標準がどうとか言ってそういうレベルだったりするので、規則で人々を縛れるというのもまあ程度の問題だろうという悲観的な気持ちにしかなれませんね

orange さんがブースト

ところでこれは良い話なんですが。

とあるソフトウェア設計規格で「C言語で8進数整数リテラルを使ってはいけない」みたいなルールがあったそうです。聞いた感じだと可読性向上のためには一理あるルールじゃんと思うじゃないですか。

ところで「0」は0で始まるので8進数リテラルで、人々は0を書くために「0x0」と書いていたそうです。いい話。

(今は修正されてるらしい)

なので動的型付けも嫌ってます><;

orange さんがブースト

静的型付き言語の信奉者が動的型付きで発狂しない人間を信じられないのと同じようなものでしょう (知らんが) (燃えそう)

スレッドを表示

なのでオレンジはわりと ' “通常の” ソフトウェア業界 ' を、『失敗したら人が死ぬ分野のソフトウェア業界』(MISRA CとかAdaとか使う界隈)と見比べて見下してるかも><

orange さんがブースト

そもそも自動車業界だって現状でソフトウェアゴリゴリ使ってたりするわけで MISRA C みたいな規格も存在するわけだけど、それがどの程度 “通常の” ソフトウェア業界と乖離したものなのか (あるいは近いものなのか) については知見を持っていないので私から言えることは特にないです

NECのドローン、実験中に“失踪” コマンドで制御不能、施設外に飛行 1週間経過も捜索中 - ITmedia NEWS itmedia.co.jp/news/articles/19
こんなことをしでかす発想で、

NECが“空飛ぶクルマ”に本腰 試作機の浮上に成功、システム開発も加速 - ITmedia NEWS itmedia.co.jp/news/articles/19

空飛ぶクルマに参入するんだ!><; ジョークかな!?><; って><

それはそうなんだろうけど、話の出だしに戻ると、そんな界隈の人が自動車(自動運転自動車)や航空(UAV発展型自律航行有人機)に参入するんだ!><; へぇ!><;
って><;

orange さんがブースト
orange さんがブースト

どうせ今比較的安全にやっている業界も、規制がなくなったらガバガバになるんでしょ

スレッドを表示

いや、直してないでしょ?><
例えばいまWindows 95の発覚済みの21世紀に発覚したセキュリティー問題へのパッチをMSが配ってる?><

orange さんがブースト

であればソフトウェアにも同様の制度を強いろというのが妥当な主張であって、たとえばリコールがあってなお自動車業界では隠蔽や偽装があったりするんだからべつに情報系かどうかはあまり問題の本質でない気がする

リコール制度は「最初から全くリコールしないですむもの以外売ってはいけない」とはいってない><(欠陥が無いに越した事は無いけど)
欠陥が発覚したら必ず公表し、必ず改修しなさいというのがリコール制度><

なので「直さなければいけない」と言ってる>< 自動車や航空機は直す事になってる><

orange さんがブースト

人類の知恵が完全でないというのは最初から前提であり、そして情報技術は本質的にリモートの攻撃やアクセスによる攻撃チャネルの多さを持っているのだから、周辺環境や技術の進歩を相対的に「当時安全だった技術の『劣化』』と呼ぶことに違和感は持っていません

スレッドを表示
orange さんがブースト

べつに暗号アルゴリズムが危殆化するのを本質的安全性が確保されていないせいであり欠陥だと糾弾するのであればそれもまた一理あるけど、それなら人類は秘密通信技術の前に P≠NP 予想を解決して誰かさんに100万ドル差し上げてからコンピュータを活用するべきですね

スレッドを表示
古いものを表示
:realtek:

思考の /dev/null