The Yices SMT Solver
Yices 2 is an SMT solver that decides the satisfiability of formulas containing uninterpreted function symbols with equality, real and integer arithmetic, bitvectors, scalar types, and tuples. Yices 2 supports both linear and nonlinear arithmetic. Yices 2 can process input written in the SMT-LIB notation (both versions 2.0 and 1.2 are supported). Alternatively, you can write specifications using Y
マガジンSP班長さんの「表現規制について」まとめ
++++++++++++++++++++++++++++++++++++++++ マガジンSP班長さんからのお願いです。 ++++++++++++++++++++++++++++++++++++++++ 班ちょ @pakhancho はだしのゲンの問題が起こる前のつぶやきですが。お願いです。このまとめのご質問者の方にリプを送るのはお控えくださいm(_ _)m。 RT @kiri2minds 「マガジンSP班長さんの「表現規制について」まとめ」をトゥギャりました。 http://t.co/zmnl6eSgCd 2013-08-17 15:28:38
やべえ忘れてた - ２４時間残念営業
2013-08-12 やべえ忘れてた 忘れてました、という日記です。 というわけで、若者におけるインターネットのリテラシーについて云々書いてた俺ですが、とんでもないことを忘れておりました。 店でまったく対策打ってねえ。 エントリ書く前にやることあったでしょおじちゃん。 いやーびっくりした。書いてる俺自身がどこかで「対岸の火事」だと思ってんのな。これ完全に強盗なんかの対策と一緒。俺は夜勤に入る人に対して、防犯意識の説明として、 「日本全国のコンビニには強盗当番っていうのがあって、順番に強盗に入られることになってるから。確率的には１年（まあここはてきとーな数字）夜勤やってるとかならず一度強盗やられるから」 というようなことを言っている。あとは繰り返しの話である。こういうの一度ですんなり入る人ってあんまりいないから。 強盗関連でよく聞く話だけど、強盗に入られた店員が決まっていうセリフがあるという
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
