高談闊論：双方向変換の原理と実践 https://www.jstage.jst.go.jp/article/jssst/31/2/31_2_44/_article/-char/ja/ Haskellのlensの名前の由来を(恥ずかしながら)知らなかったのだけれど、 双方向変換の研究から来ていたのか。 知らんかった。 言われてみればもっともな話だ。 ---- その先駆けとなる仕事として,ペ ...

“ SCSat3によるラムゼーグラフ探索について ” https://kaigi.org/jsai/webprogram/2015/paper-213.html ソフト節による推論誘導の話が面白い。 ①ソフト節は偽になってもコンフリクトとはみなさない。 ②単位節になった時、単位節伝播をする代わりに伝播すべきだったリテラルを記録しておき、場合分け時に記録されたリテラルから割り当てを行う。 ③違反 ...

Deep Latent Space における汎用プランニング: 記号を取り戻せ!! https://kaigi.org/jsai/webprogram/2017/paper-859.html 状態やアクションなどを明示的に定義せず、画像だけ与えてプランニング問題を解きたいという話。 画像から Gumbel-Softmax を用いたVAEで状態の表現を学習、アクション前後の画像の組をエンコードし ...

DeepXplore: Automated Whitebox Testing of Deep Learning Systems https://arxiv.org/abs/1705.06640 DNNのテストのために、複数のDNNで予測結果が異なる、もしくは各ニューロンが活性化したかどうかで定義されるニューロンカバレッジを増やすようなテストケースの生成を行うというもの。 「あるDNNだけ予測結 ...