[B! wiki] mariyieのブックマーク

ノート:社会保険庁長官 - Wikipedia

http://ja.wikipedia.org/w/index.php?title=%E7%A4%BE%E4%BC%9A%E4%BF%9D%E9%99%BA%E5%BA%81%E9%95%B7%E5%AE%98&oldid=22962745 今朝の「ニュースにてwikipediaで社会保険庁長官に×印書き込みがあったとの報道をみました。誤解されることがあったかと思いまして、反省いたしております。事件のご遺族の方々、また、捜査関係者の方々、軽率な書き込みをいたしてまして、反省しております。申し訳ございませんでした。--Popons 2008年11月18日 (火) 21:15 (UTC)[返信] 各報道関係者は捜査の邪魔にならないように、またPopons氏が事件と無関係である事を確認をとった上で事実のみ報道して下さい—以上の署名の無いコメントは、ばるさみこす（会話・履歴）さんが 2008年11

mariyie 2008/12/02

「毎日新聞は正義」毎日新聞は信頼回復を目指して全力を尽くしているらしいです。

リンク

一階述語論理 - Wikipedia

一階述語論理（いっかいじゅつごろんり、英: first-order predicate logic）とは、個体の量化のみを許す述語論理 (predicate logic) である。述語論理とは、数理論理学における論理の数学的モデルの一つであり、命題論理を拡張したものである。個体の量化に加えて述語や関数の量化を許す述語論理を二階述語論理（英: second-order predicate logic）と呼び、さらなる一般化を加えた述語論理を高階述語論理（英: higher-order predicate logic）という。本項では主に一階述語論理について解説する。二階述語論理や高階述語論理についての詳細はそれぞれの記事を参照。命題論理では文を構成する最も基本的な命題（原子命題）は命題記号と呼ぶ一つの記号によって表していた。それに対し、一階述語論理においては、最も基本的な命題は原子論理式と