サービス終了のお知らせ いつもYahoo! JAPANのサービスをご利用いただき誠にありがとうございます。 お客様がアクセスされたサービスは本日までにサービスを終了いたしました。 今後ともYahoo! JAPANのサービスをご愛顧くださいますよう、よろしくお願いいたします。
SATソルバっていうのは,充足可能性問題(SATisfiability problem)を解いてくれるソフトウェアのことで,SATソルバで数独を解くとか,以外と身近なところに応用があったりします.SATソルバは数独を解くだけじゃなくて,プログラムの停止性の判定に使うとか,いろいろな応用を考えることができる良いものです.普通,SATソルバはCNFという論理式の特殊な形を取り扱います.日本語だと乗法標準形とか言うらしいですけど,別にこの言葉は忘れても良いと思います.詳しくはWikipediaでも見てもらえれば良いのですが,CNFは,変数かそのnot付けたやつ,をorで結んだやつ,をandで結んだやつ,という意味です. CNF ::= c1 && ... && c2 c ::= l1 || ... || l2 l ::= x | !x 任意の論理式(変数(x)とor(||)とand(&&)と「な
昨日家に帰って日曜日に録画しておいた NHK「阪神・淡路大震災15年 特集ドラマ〜その街のこども〜」 を観た。 放送日時が微妙だったのでそれほど多くの人に観られていないドラマかもしれないが これが素晴らしい出来だった。 とかく悲劇や感動で語りがちな題材だし、実際今年は区切りの良い(区切りもなにも あったものではないが)あれから15年ということもあってか 例年より色んなメディアで阪神淡路大震災のことが語られたりドラマになったりしたがやはりどれもステレオタイプな悲劇・感動エピソードで括られたものが多かったと思う。 そんな中、このドラマはおそらく主役・森山未来君の実体験に基づいていると 思うのだが「そら傷ついたり死んだり生きる希望をなくした人たちはたくさんいたけれども、実際の現場はそればっかりではなかったよ、むしろ俺、楽しんでたもん、楽しんでたって言うとみんな不謹慎に思うかもしれないけどほんとそ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く