SAT ソルバで数独を解く方法 - まめめも
数独は非常に SAT に変換しやすい問題です。全部参考文献 *1 に載っている内容ですが、なるべくわかりやすく説明してみます。ちょっと長いです。 SAT とは まず SAT をごく簡単に説明します。すでに SAT を知っている人はここは読み飛ばしてください。 命題論理式の形の一つに乗法標準形のというのがあります。変数か変数の否定 (リテラルと言います) を or だけでつないだ式 (節と言います) を and だけでつないだ論理式のことを言います。つまり以下みたいな形です。 ( a1 or !a2 or ... or an) and ( b1 or !b2 or ... or !bn) and ... and (!z1 or z2 or ... or !zn)SAT は「a1 や zn などの変数にうまく true か false を代入して、上の式全体を true にできるか」という問題
「人工筋肉」兼「人工神経」：圧電複合素材『MFC』の可能性 | WIRED VISION
「人工筋肉」兼「人工神経」：圧電複合素材『MFC』の可能性 2008年1月 9日 サイエンス・テクノロジー コメント： トラックバック (0) Loretta Hidalgo Whitesides 「筋肉や神経」のように機能するマクロファイバー複合体(MFC)が、米航空宇宙局(NASA)が選ぶ2007年の米政府発明大賞に決まった。 この合成素材はセラミック繊維でできており、電流を流すと筋肉のように収縮する。また、振動を加えたり曲げたりすると電流が生じることから、次世代の圧電性素材として振動検知器にも利用できる[この合成素材を構造の中に組み込むことで、構造を変形させることができるほか、構造が受けた力を検知することもできる]。 MFCはこれまで、ヘリコプター・ブレードを改善するための研究や、スペースシャトルの発射台やクローラーの振動監視などに利用されてきた。 宇宙航空分野以外の用途(Power
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
