Rustで真に安全なプログラムを書く方法 - かとじゅんの技術日誌
この記事はRust Advent Calendar 2021の12/8日の記事です。 Rust前提の記事として書きましたが、他の言語にも適用できる考え方なので、ほかの言語勢の方々もよければお付き合い下さい。 今回のテーマは「Rustで真に安全なプログラムを書く方法」についてです。 「真に安全なプログラム」の定義は以下とします。 挙動が安定し、結果が予測可能となる 正しさの基準に基づき、プログラムの間違いを検知することができる 「真に」とはドメイン知識に基づく正しさという意味です。詳しくは後述します。 それと「そもそもRustで実装されるプログラムは安全じゃないのか」という想定質問については「メモリの操作は安全。だが、それだけでは真に安全なプログラムにはならない」が答えになります。これについて興味がある方、ぜひ最後までお付き合いください。 「真に安全なプログラム」を実現するレシピとしては「関
『「奇跡のリンゴ」について聞かれたら』
日本全国の「毒」農薬（←この言葉を使って罵られた経験あり）を使用して農産物を栽培している皆様、映画「奇跡のリンゴ」上映が始まりました。 この映画のヒットの具合によっては、消費者の方と会った時に、農薬を使用していることをなじられる場合があります。 消費者の方は、ほとんど現場のことを知りませんから、無農薬でできるはずなのに危険な農薬を使用するのは、何故ですか。環境にも人体にも悪影響を与えるのに使い続けるのはおかしい、と単刀直入に聞いてきます。さて、ここでうろたえているようでは、プロ農家として失格ですね。 今回は、「奇跡のリンゴ」について聞かれた場合の対処方法について、考えたいと思います。 へりくだる 開き直る 攻撃する 説明する という4つのパターンを考えてみましたので、それぞれについてみてみる事にしましょう。 へりくだる 相手の方が、到底何も受け入れてくれそうもない場合がありますが、この場合
普通の帽子をヘルメットに変身させる - エキサイトニュース
「この人はオシャレだな」と思うのは、帽子が似合う人だ。どういう人かと言うと、木梨憲武とかテリー伊藤とか、ああいうイメージ。 しかし、帽子には実用的な意味合いだってある。たとえば、日除けとしての使い道。他には、頭部の保護としての使い道もある。 そこで、住べテクノプラスチック株式会社が開発した『スミキャップ』を紹介したい。この樹脂でできたシートを、自分が持っている帽子の内側に装着させる。そして、その帽子を被ってみる。 この状態で、頭に何かの衝撃を受けたとしても、シートを付けていない帽子の約3分の1の衝撃に抑えることができるのだ。 原理は、シートについている312個の突起物が頑張ってくれている。衝撃を受けた際に、これらの突起がつぶれることによって、頭部にかかる衝撃をやわらげてくれる仕組みだと考えていただきたい。 元々、同社の親会社である「住友ベークライト」は、産業用ヘルメットを製造していた会社で
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
