Rust

技術書典7にて『RustではじめるOpenGL』を頒布します

来る2019年9月22日、サンシャインシティ 文化会館ビル 展示ホールで開催される技術同人誌イベント「技術書典7」にて、書籍『RustではじめるOpenGL』を頒布いたします。 『RustではじめるOpenGL』表紙 『RustではじめるOpenGL』裏表紙 書籍の情報 書籍名: Rus…

RustのCrate調査 (better-panic)

Rust製の実行ファイルが異常終了した際に出力されるスタックトレースを、見た目の良いものに置き換えてくれるcrateを発見し、さっそく使ってみました。 crateの名前は「better-panic」です。 作者はPythonのflaskで有名な「mitsuhiko」ことArmin Ronacher氏…

RustでMicrosoft製SMTソルバ「z3」を使う

「記号実行」で利用される「SMTソルバ」 私は興味のある分野がいろいろあるのですが、プログラムの解析技術もその中の一つです。 プログラム解析技術の中には、「記号実行 (シンボリック実行)」というものがあります。 これは、「どのような入力を与えられた…

RustのCrate調査 (version_check, ryu, unicode-width, fnv)

先日、Rust言語でよく使われているcrateをいくつか調べました。 toyamaguchi.hatenablog.com 今回は、version_check、ryu、unicode-width、fnvについて調査をしました。 コンパイラのバージョンは「rustc 1.33.0」です。 version_check : コンパイラのバージ…

RustのCrate調査 (bitflags, byteorder, chrono, encoding_rs, num_cpus)

Rustのコードをコンパイルしていると、直接的には使っていないですが、依存関係のためにダウンロードされてくるcrateをよく見ます。 そういうcrateの中には便利なものもあるだろうと思い、いくつかのcrateの調査をしてみました。 今回は、bitflags、byteorde…

Shinjuku.rs #3にてLightning Talkをしました。

先日、3月12日に行われた勉強会「Shinjuku.rs #3」にて、Lightning Talkをしました。 発表は「Visualizatoin System in Rust - Rustで作る可視化サーバの紹介」というタイトルで行いました。 20190312 Visualization System in Rust from ToshihiroYamaguchi…