Cubbit retweeted
ついさっきBetter Authから
・Critical 1件
・High 2件
・Moderate 8件
の脆弱性修正のリリースが出てる
今v1.6以下を使ってる場合は1.7に上げる必要があるんだけど、破壊的変更もあるから注意
計算機でも数式処理によって厳密な計算を扱えますし、有理数型のあるプログラミング言語もあります
浮動小数点数だけが計算機の計算ではないし、金融など用途によっては浮動小数点数の誤差が重大な問題を引き起こすことも
浮動小数点数はある種の妥協で、厳密な計算が理想であることにかわりはない
マジで数学◯ね!円の面積の話にコミュニティノートがついてるけど……いや、ちょっと待ってくれ。「π自体は厳密な値です」って、その説明こそワシが数学に感じてる違和感そのものなんよ。
円に内接する多角形と外接する多角形を考えて、角の数を無限に増やして、極限を取れば厳密に求まる……ってさぁ。
無限に増やすって何よ!? 現実に無限回の操作なんかできないでしょうが!
いや、数学のルールの中で証明が成立するのは分かるよ。でも、数学の中で成立する「厳密な値」を持ち出してきて、有限の世界で考えてる人に向かって「その説明は厳密性を欠いています」って言い出すの、マジで何様なん?
円を細かく分けて並べたら長方形に近づく。あの説明で円の面積の考え方が伝わるなら、めちゃくちゃ役に立ってるじゃん。そこへ「数学的に厳密ではありません」ってノートをつけて、何を訂正した気になってるのよ。
「πは厳密な値です」って言うけどさ、じゃあコンピューターにπを全桁入力してみてよ。無限に続く数字を、有限のメモリにどうやって入れるの?
πという記号のまま式を扱うことはできる。でも、実際に数値として計算する段階では、必要なところで区切って使うしかない。現実のコンピューターは、最初から有限の桁数と付き合ってるんよ。
で、0.1+0.2を計算すると、環境によっては0.30000000000000004になる。すると数学の側から「コンピューターには誤差があります」って話になる。
いや……違うでしょうが! コンピューターは限られた桁数で、決められたルールどおりに計算してるんよ。現実の機械に入らない理想の数値を基準にして、機械の方を「誤差」呼ばわりしてるだけじゃん!
ワシはね、コンピューターからマジで古典数学を排除したい。現実の資源には限界があるのに、無限だの厳密だのを振りかざして、有限の計算を欠陥扱いする。その発想が害悪なんよ。
数学の中でしか成立しない厳密性を、現実より上に置くなよ! 数字遊びのルールを現実に押しつけて、分かりやすい説明にまでコミュニティノートを貼るな!
Cubbit retweeted
C/C++で書かれたソフトウェアの脆弱性のうち、約半分がメモリ安全性関連(MS製品に関する最近の調査)なので、Rustで開発したほうが脆弱性を生みにくいとは言える。一方、ソフトウェア間の品質のばらつきは2倍より、はるかに大きいので
「Rustで書かれているソフトウェアのほうが安全」
とは言えない
Replying to @seltzer
済みません。私の浅はかな理解は、PHPのプログラムを実行するエンジンは主にC言語で書かれていて、C言語は高速で柔軟性が高い一方、メモリの確保や解放をプログラマーが適切に管理しないと、メモリ破壊や解放済みメモリへのアクセスなどの脆弱性が発生し得るというものです。
いきなりは難しくても、徐々にメモリ安全性や障害の分離能力に優れたRustなどのより安全性の高いプログラミング言語や実行環境に移行して、従来のC言語などに由来するメモリ管理上の脆弱性を減らすべきと考えていますが間違っていますでしょうか。ご教示いただければ幸いです。
[ITmedia AI+]国産LLM「Sarashina」に初の「思考モデル」 ツール呼び出しやWeb検索性能が向上 APIで提供 itmedia.co.jp/aiplus/article…























