もっちぃ

1st International Workshop on Solving Linear Optimization Problems for Pseudo-Booleans and Yonder (SLOPPY '24) の発表資料と録画が公開されていた。
jakobnordstrom.se/SLOPPY24/

bnn-verification/miplib2024_submission at master · msakai/bnn-verification BNN verification dataset for Max-SAT Evaluation 2020 - msakai/bnn-verification

Binarized Neural Networks に対する最小の敵対的サンプルを求める問題を MIPLIB 2024 に投稿してみました。以前に Max-SAT Evaluation 2020 に L∞ ノルム最小化の設定で投稿して5問が使われましたが、今回はその5問と同じ画像で L₀, L₁, L₂, L∞ ノルムの最小化になっています。
github.com/msakai/bnn-v...

4月からのお薦めアニメを教えてください
#フリーレンロス

当社の人員に関するお知らせ PlayStationコミュニティーは私たちにとって何よりも大切です。このことを踏まえて、当社の構造改革について皆さんにも共有することが重要だと考えました。SIEは、各国・地域の法律や協議プロセスに従いながら当社の人員全 […]

sonyinteractive.com/jp/news/blog...

やば

にゃー

うぇーい！

最高かよ♪

test

作れた！