タグ

2013年12月3日のブックマーク (4件)

  • ソフトウェア科学特論: 命題論理

    Webページ(およびPDF)の作成には Emacs org-mode を用いており, 数式等の表示は MathJax を用いています. IEでは正しく表示されないことがあるため, Firefox, Safari等のWebブラウザでJavaScriptを有効にしてお使いください. また org-info.js を利用しており, 「m」キーをタイプするとinfoモードでの表示になります. 利用できるショートカットは「?」で表示されます.

    kirakking
    kirakking 2013/12/03
    ここが一番Tseitin encodingについて分り易かった。
  • 「デモの音大きすぎ、仕事しづらい」古屋国家公安委員長:朝日新聞デジタル

    自民党の石破茂幹事長がブログで特定秘密保護法案に反対するデモをテロに例えた問題について、古屋圭司国家公安委員長は3日午前の記者会見で「活動の自由、表現の自由があるので合法的な範囲内では許されるが、議員会館にいると、たまに音が大きすぎ、仕事がしづらいことがある」と述べた。議員会館や国会の周辺では、連日のように廃案を訴える市民団体などがデモをしている。 森雅子・同法案担当相は会見で「一般の市民のデモはテロ行為にあたらない」と述べた。菅義偉官房長官は閣僚懇談会で「それぞれ閣僚が十分に発言については注意をするように」と指示した。 また、ブログで積極的に情報発信している山一太沖縄・北方相は会見で「一回発信すると訂正が利かないので、サイバースペースの特徴を頭に置いて書いている」と述べた。

    kirakking
    kirakking 2013/12/03
    次の選挙の時に思い出せるために保存。
  • Well-founded relation - Wikipedia

    indicates that the column's property is always true the row's term (at the very left), while ✗ indicates that the property is not guaranteed in general (it might, or might not, hold). For example, that every equivalence relation is symmetric, but not necessarily antisymmetric, is indicated by in the "Symmetric" column and ✗ in the "Antisymmetric" column, respectively. All definitions tacitly requi

    kirakking
    kirakking 2013/12/03
    forall x [forall y .yRx -> P(y)) -> P(x)] -> forall x. P(x)。
  • 面白いデータは転がりまくってるけど転がってるままなので誰か助けてくれろ - あんちべ!

    転職して丁度2年がたちました。 現在はWebベンチャーで統計屋しています。大変楽しい毎日です。 なぜ楽しいかというと勿論リスプを書いているからというのも大きなる理由の一つです*1。 このエントリでは何が楽しいのか近況交えてつらつらまとまりなく書いてます。 あと現職の解決しがたい不満についても書いています。 糞長くなってしまったので要約すると 「今糞面白いけど超えられない壁あるので誰か助けて」 です。 現職面白い理由5個。 1.データが面白い*2 私は経済学科・数理統計の研究室出身で、応用先としてコミュニケーション活性化を目的とした 行動経済学やテキストマイニングをやっていました。 そういう背景があるため、学生時代いつか壮大な社会実験をやりたいと思ってたけど、 それには大変なお金がかかったり大がかりなシステムを構築しないといけなかったりで断念した。 ですが今はSNSやソーシャルゲームや広告の

    面白いデータは転がりまくってるけど転がってるままなので誰か助けてくれろ - あんちべ!
    kirakking
    kirakking 2013/12/03
    昨今の人間観察が趣味な人間は統計屋になるべきなのか。研究のた・の・し・み。