連載［野球オイシックス新潟・新戦力～再起と挑戦］＜5＞投手・目黒宏也、新潟一筋のルーキー「チームに貢献したい」 “ライバル”との競走乗り越え、目指すは「1軍」のマウンド
47NEWS（よんななニュース）
連載［野球オイシックス新潟・新戦力～再起と挑戦］＜5＞投手・目黒宏也、新潟一筋のルーキー「チームに貢献したい」 “ライバル”との競走乗り越え、目指すは「1軍」のマウンド
NP完全問題
第 10 回 NP完全問題 本日の内容 10-1. Cook の定理 10-2. 巡回セールスマン問題は NP 完全問題 10-1. Cook の定理 論理式の充足可能性問題は NP 完全である。 論理式の充足可能性問題(SAT: Satisfiability) とは与えられた 論理式を真にするような変数の割当が存在するかどうかを判定する問題です。 これは、変数の割当を非決定的に guess して、実際に論理式に代入して真か どうかを判定できますので、 NP に含まれる問題です。 これが NP 完全問題であることを示すには、NP に含まれるあらゆる問題が SAT に reducible であることを示さなければなりません。 そこで、 素朴な NP 完全問題である CNP を SAT に変換することを考えま す。 つまり、NP に含まれるある問題の入力 x が与えられた時、その問題を解く非
favotter503というTwitter-Botを作った - 昼メシ物語
みんな大好き id:ono_matope 様によるWebサービス、ふぁぼったー（favotter）。コンテンツはすごく面白いけど、ちょっとサーバが不安定なのが、かわいいよね！ というわけで、「ふぁぼったー」が落ちてたら教えてくれるBotを作ってみたよ。これでふぁぼったーをF5連打しなくても済むから、マトペ様も大喜びだね！ twitter-id は @favotter503 だから、みんなフォローしてね！ http://twitter.com/favotter503 少しだけ技術的な話 Rubyです。ソースコードはgithub（下記URL）にあります。 Twitter への投稿は Twitter4r を使ってます。 http://github.com/mirakui/monotonous/tree/master/favotter503
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
