You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
概要: Rustのパニック機構は異常終了の処理を安全に行うためにある。この動作を詳しくみていく。 パニックとは何か Rustには2つの異なる例外処理機構があります。 発生源 対処方法 例 パニック プログラミングエラー 原則として捕捉しない assert!() 境界外参照 Result 例外的な入力 必要に応じて捕捉 I/Oエラー (File::read) パースエラー (str::parse) パニックとResultの関係についてはTRPL第2版第9章、未定義動作とパニックの関係についてはRustonomiconのUnwindingの章などが参考になります。 パニックを想定した安全性 Rustではたとえパニック状態でも未定義動作だけは絶対に避ける必要があります。そのため以下の関数は不健全 (unsound)です。 use std::ptr; // この関数はRustではunsound (
1. はじめに この本は、Rustで組込み / ベアメタルプログラミングするための小技を集めたものです。OSにホストされた環境でプログラミングするだけでも、Rustには特有の複雑さがあります。その複雑さは、コンパイル時に型安全性、メモリ安全性、スレッド安全性を保証するための対価です。私は (そして多くのRustaceanが) 、その対価を妥当なものと考え、Rustでのプログラミングを楽しんでいます。 Rustを組込み / ベアメタル環境で使おうとすると、上述した複雑さに加えて、特別な知識が求められます。この本は、私が知る限りの特別な知識を詰め込んだクックブックです。 この本の内容は、Rust Embedded devices Working Groupが発行している組込みRustドキュメントの内容を数多く含んでいます。本書に含まれる内容の多くは、私が独自に考えたものではなく、Web上に公開
こちらで公開している内容と同じものです。 https://tomoyuki-nakabayashi.github.io/embedded-rust-techniques/ Rustを組込みで使うためのテクニック集です。 HTML版での閲覧をお勧めしています。HTML版を開くには、index.htmlをブラウザで開いて下さい。 組込みシステムを構築するプログラミング言語として、Rustが注目を集めています。Rustは新しいシステムプログラミング言語で、ハードウェアの性能を最大限に引き出しながら、安全なソフトウェアを、効率的に開発できる言語です。 Rustは、ベアメタル (OSが動作していない環境) で動くプログラムを作成できる、という大きな特徴を有しています。そのため、OS自体や組込みシステムを構築することが可能です。 しかしながら、Rustで組込み/ベアメタルプログラミングを行うためには、
はじめに🐶🐱🐰 kaggleのデータセットでこれを見つけてしまって、試さずにはいられませんでした。 データセットはこちらです。 👉 https://www.kaggle.com/jessicali9530/animal-crossing-new-horizons-nookplaza-dataset あつまれどうぶつの森（以下、あつ森）のマスターデータといった感じのデータセットです。 家具やむし、さかな、などはもちろん村人（どうぶつ）のデータも入っています。 AutoMLで分析🤖 今回は無料で使えるAutoMLツールのVARISTAを利用していきます。 👉 https://www.varista.ai/ さっそく分析開始🚀 まずはデータをアップロードして中身を確認してみましょう。 「housewares.csv」を利用します。 3,275行 x 32列 897.56 KBの家具
Astrée is a static analyzer for safety-critical software written or generated in C or C++. Astrée is sound — that is, if no errors are signaled, the absence of errors has been formally proved. In 2020, the US National Institute of Standards and Technology determined that Astrée satisfies their criteria for sound static code analysis. Features Exceptionally fast and precise analyses, including: R
ブログ: SpaceX内部のソフトウェア・エンジニアリング
Yasoob Khalidのブログより。 皆さん、こんにちは! 👋 この土曜日に行われたSpaceXの打ち上げをご覧になった方も多いのではないでしょうか。それは驚くべき、歴史的な出来事でした。何百万人もの人々がYouTubeや他の場所でその様子をライブで見ていました。日を追うごとに、私たちは商業宇宙飛行に近づいており、私は興奮していることに同意しなければなりません。 この打ち上げは、宇宙旅行に対する興奮を煽るだけでなく、これらのロケットに搭載されている技術にも興味が湧いてきました。コンピュータ・サイエンスの観点からいくつか調べてみましたので、その結果を共有したいと思いました。言うまでもなく、これらの情報のほとんどは、私がオンラインで見付けた様々な情報源から集めたものです。間違った情報が含まれないように努めましたが、この情報が100%正確である保証はありません。 チーム 7年前、Space
Audio Circuit and Visual Circuit 2020-02-01 [Sat] 09:04 So I've been reading this article and probably equally mind-brown as everyone else. I am one who definitely doesn't have an internal (auditory) monologue, and it's shocking to find out that many people do. Most of my thought process is probably modelled as a comic strip, or a sequence of manga-esque pictures that describe events in chronologi
In this AMA by the SpaceX software development team, they wrote: We've been getting a lot of questions about how C#/MVC/etc have to do with rockets. They don't. About their development they said: The Flight Software team is about 35 people. We write all the code for Falcon 9, Grasshopper, and Dragon applications; and do the core platform work, also on those vehicles; we also write simulation softw
ストレスが強い環境にいると、先々のことを考えてたまらなく不安になってしまうことがあります。やるべきことをやったうえで、なお湧いてくる止まらない「憂うつな心」。嫌なことをいろいろと考えすぎていると、それがやがて、現実になってしまうのはなぜなのでしょうか。 大嶋信頼著『憂うつデトックス─ 「未来の不幸な自分」が幸せになる方法 ─』（ワニブックス）には、憂うつな心をデトックスして幸せな未来にしていくための考え方が紹介されています。 憂うつになりやすい人の共通点は？著者の大嶋先生は、米国・私立アズベリー大学心理学部心理学科を卒業し、心理カウンセラーとして25年間カウンセリングに携わってきました。現在は、株式会社インサイト・カウンセリング代表取締役として、カウンセリングの現場で活躍されています。 たとえば、特別に嫌なことがある場合でなかったとしても、朝起きるとなんだか憂うつ。こんなとき、多くの人は「
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
