イジングモデルの続きです．時間が経過して，紺色(スピン: -1)と橙色(スピン: 1)の領域に分離していく様子が分かります．量子アニーリングについては，加州のD-WAVE社が有名ですが，国内企業(例: 東芝のSBM等)も研究開発は続けているようです．#pyxel #pixelart cf. https://t.co/FhrGRqpUKJ https://t.co/sEukvm2L9u

今月号の情処会誌「有名論文ナナメ読み」に寄稿しておりました (冊子を見て気付いた…) BERT の登場が情報検索分野にどのような影響を及ぼしたのかについて象徴的な記事を紹介しています 興味がございましたらどうぞご笑覧ください [会員] https://t.co/y7GsqIvN98 [非会員] https://t.co/wa06Ta4mKj https://t.co/pSZOX4RTNW

システムソフトウェア研究の移り変わり https://t.co/MuuC0q8kGM 昔を良く知ってる訳ではないけど、アイデア中心の時代から、「“現実”のシステムの“現実”の問題を解け」という時代への移り変わりは、言われてみれば確かに。 https://t.co/V77nw50sCg

ブール基数制約を経由した擬似ブール制約のSAT符号化手法 https://t.co/xHZHyeAlAS PB制約を基数制約上の連言標準形に一旦変換して、シーケンシャルカウンタで符号化。一般化アーク整合性を維持でき、論理的に同一な制約が同じ中間表現になり、また係数の種類が少ない制約で既存手法よりも良い性能。

日本結晶学会誌「たんぱくの一次構造と高次構造 (計算機による高次構造の組立てを中心にして)」https://t.co/h0jl51vYVn まだ 10 に満たない構造しか解かれていない 1969 年の記事だが、既に CG によるモデル表示や電子密度解釈が試みられ、コンピュータによる構造予測さえ考えられていたことが分かる