@zhanpon @pi8027 @sinya8282 釈迦に説法かもしれませんが、SMTソルバーというものも関係してますよ。 参考： http://t.co/ovBEnvdT7N https://t.co/PfQRYwStwm http://t.co/OwKHms3WMM

RT @tri_iro: 関数解析の人の話で出てきたのはこれかな： 「作用素環における可分性・非可分性とダイヤモンド原理」 https://t.co/Tka1qhWxAg ロジックと関数解析（作用素環・C*環）関係の話題は結構耳にするけど、全然内容を追えてない

「高階述語論理によるハードウェアの構造の形式的検証」というタイトルの論文がググったら見つかった → http://t.co/T4MCSLoODi