951 followers
RT @KWatanabeCS: 今年のCAV論文がpublishされました👏 https://t.co/Y6ecd6xTkU 強化学習やソフトウェア検証で古典的によく使われているvalue iterationアルゴリズムをcompositionalに拡張し、多目的最適化を使…
RT @KWatanabeCS: 今年のCAV論文がpublishされました👏 https://t.co/Y6ecd6xTkU 強化学習やソフトウェア検証で古典的によく使われているvalue iterationアルゴリズムをcompositionalに拡張し、多目的最適化を使…
RT @KWatanabeCS: 今年のCAV論文がpublishされました👏 https://t.co/Y6ecd6xTkU 強化学習やソフトウェア検証で古典的によく使われているvalue iterationアルゴリズムをcompositionalに拡張し、多目的最適化を使…
RT @yekcat: 今回はいいとこの学術会議でちょっとマニアックなMTGカード名を使うことに成功しました https://t.co/5cdGlS6znE https://t.co/u7p2ZBc67N
今回はいいとこの学術会議でちょっとマニアックなMTGカード名を使うことに成功しました https://t.co/5cdGlS6znE https://t.co/u7p2ZBc67N