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

情報処理学会 第81回全国大会に参加した際、熊谷将也さんの発表「疎構造学習およびグラフ畳み込みニューラルネットワークによる異常検知」のアイデアに影響を受け、論文「Convolutional Networks on Graphs for Learning Molecular Fingerprints」を読みまし…

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