述語論理
存在記号や全称記号が入った論理式を述語論理式(predicate logic formula)といい述語を扱うこのような論理を述語論理(predicate logic)といいます. また Live_on_earth(x) や A(x) のような関数の形のものを命題関数(propositional function)といいます. A(x) の x を自由変数(free variable)といいます.(∀x) や (∃x) を限定詞(quantifier)といいますが,(∀x)A(x) のように限定詞をつけたとき x を束縛変数(bound variable)といいます. ２変数以上の命題関数を考えることもできます.次に色々な述語論理式をあげます.なおここでは限定詞の作用する範囲をはっきりさせるため,限定詞のあとの式を括弧で括り,括弧の中にだけ限定詞が作用するものとします. 例 (∀x)(B
[25億秒]【カネより時間を大切にせよ】一秒一円、一時間3600円、25億秒25億円
つれづれフォト日記:「86400ドルのプレゼント 」 - livedoor Blog（ブログ） 1時間は60秒*60分＝3600秒 1日は3600*24時間＝86400秒 1年は86400*365日＝31536000秒 1年は365日＊24時間＝8760時間 80年は31536000*80＝2522880000(約25億秒) 365日*80年は29200日 自分の銭を分けてやりたがる者は見当たらないが、生活となると 自分の銭（カネ）を分けてやりたがる者は見当たらないが、 生活（時間）となると誰も彼もが、なんと多くの人々に分け与えていることか。 財産（カネ）を守ることは吝嗇（けち）であっても、 時間を投げ捨てる段になると、貪欲であることが唯一の美徳である場合なのに、 たちまちにして、最大の浪費家と変わる。 セネカ 人の時間には限りがある。 哲学は人間の外側のものを与えない。エピクテートス 幸
![[25億秒]【カネより時間を大切にせよ】一秒一円、一時間3600円、25億秒25億円](https://cdn-ak-scissors.b.st-hatena.com/image/square/b1638cdb5807a4788e4ba3c1109a984166e095fc/height=288;version=1;width=512/https%3A%2F%2Fanond.hatelabo.jp%2Fimages%2Fog-image-1500.gif)
「裁判員制度タウンミーティング」とメディア支配
小泉内閣の5年5カ月で、この国は変調子になった。「変人」に慣れすぎたのか、顎が外れるほどに「改革」を呼号し、「民間に出来るものは民間に」と言い続けてきた規制緩和と市場原理主義への傾斜は、「司法」や「報道」の場も遠慮なく巻き込んだ。今日発売の『週刊現代』にジャーナリストの魚住昭さんが「裁判員制度タウンミーティングは、最高裁と新聞メディアと電通の『やらせ』だ」という記事を緊急寄稿している。また、朝日新聞が「広告と一体、成功させなければ--新聞社『動員』官庁発注、増す重み」と題して、メディア欄で記事を書いている。両方の記事を併せ読むと、今回明るみに出た問題は「3000円」「5000円」という謝礼問題は表層で、いかに深刻な事態を招来させているかが見て取れる。 本ブログの読者なら、産経新聞社をはじめとして、千葉日報、岩手日報、河北新報、西日本新聞などの地方新聞が開催したイベントで「バイト・サクラ」動
2007-04-01
私は今ちと疲れているらしく、文章を要約する力が著しく衰えている (;´Д｀)ノ。ご容赦されたし。 1 悪はつるむ 以下メモする。 「児童ポルノアニメの取り締りには新法を作るべき」野田聖子議員 ユニセフ、ECPATらがシンポジウムhttp://internet.watch.impress.co.jp/cda/event/2007/03/30/15252.html 日本ユニセフ協会〔カマヤン注；ユニセフを名乗り寄付金をピンハネする財団法人。つまり天下り団体。国連ユニセフとは別組織。http://d.hatena.ne.jp/kamayan/20070102#1167667799 安倍晋三の親友であるアグネス・チャンの資金源であり権力源泉http://d.hatena.ne.jp/kamayan/20070329#1175103457。〕、ECPAT／ストップ子供買春の会〔矯風会。警察子飼い組織
酸っぱい葡萄愛好家 - ARTIFACT@はてブロ
酸っぱい葡萄が大好物 酸っぱくない葡萄は、自前で酸っぱくしてから、おいしくいただきます ネットでポジティブなエントリを探してきては、ちくいちネガティブにそれが自分の事例には適用できないことを書き並べる、という作業を行うことによって精神安定をはかっている人のこと。その作業による文章は普段の文章よりも、活き活きしていることが多い。このタイプのブロガーの多くは、「できない側の人間」としての自己主張のために、できる側の人間の主張を踏み台として必要とする。ポジティブな言説で注目を集めたエントリの言及エントリなどに一定の割合で観測される。
Business Media 誠：ペットボトルは飲めなくなる？ 「ロック DE お茶」って何だ
場所は、東京・表参道の日本茶専門店。「どうぞ、飲んでみてください」と試飲用の小さなグラスを差し出された記者たちは、神妙な面持ちでグラスを口に運ぶ。……「おいし～い！」「ビックリした。甘いですねえ」「これは、ペットボトルのお茶は飲めなくなるなあ……」 飲んでいるのは、冷たい煎茶「ロック DE お茶」。通常、冷煎茶は水の中にティーバッグを入れ「水出し」で作ることが多いが、ロック DE お茶は熱いお茶を氷で急冷して作る。水出し冷煎茶がすっきりした味わいなのに対し、ロック DE お茶はお茶の旨みや甘味が強く出ており、非常に飲み応えがあるのが特徴だ。 ボトルを持参し、冷たい煎茶を“給茶”する いわば煎茶の“新しい飲み方”であるロック DE お茶のキャンペーンが、4月からスタートする。「給茶スポット」にマイボトル（水筒）を持参すると、ロック DE お茶を有料で入れてもらえる。給茶スポットを提供するのは
アルファブロガーを魅了する " ミニブログ "
最近、世界のトップブロガー達がハマっているサービスに“ミニブログ”がある。 ミニブログとは、筆者が便宜的に命名したものだ。自分の近況や気になった情報を書き込んで掲載するという点ではブログに似ているが、より手軽かつ気楽に投稿できる仕組みになっているのが特徴だ。特に人気のあるのが、“twitter”(トウィッター)と“tumblr.”(タンブラー)という2つのサービスである。 twitterは、日本のブログ普及に貢献した伊藤穣一氏や、シックス・アパートで『Movable Type』などの日本語化に貢献した平田大治氏が利用している。一方、tumblrを愛用するのは、日本を代表するブロガーのひとり“ネタフル”のコグレマサト氏や、ブログマーケティングの開拓者である(株)カレンの四家正紀氏などだ。 今の気持ちを140字で表現 “twitter”の画面。英語ベースのサービスだが、一応、日本語も入力/表示
ディスカバーされる自分 - あんとに庵◆備忘録
uumin3さんのエントリに触発され。 ●ディスカバーされる風景、或いは「自分」 ○uumin3の日記 http://d.hatena.ne.jp/uumin3/20070404#p1 ■美しい日本と私 唐突になぜこれを思い出したかと言いますと、b_say_soさん＠Say::So?の■[社会]「本当の自分」も「好きなこと」も胡散臭いという記事で本当の自分ってすごく胡散臭いということが書かれていて、私はかねがね比較的新しい「本当の自分」探し*1ブームが始まったのはこの「ディスカバー・ジャパン」キャンペーンが一つのきっかけじゃなかったかと思っていたからです。 イタリアに留学している若い人に出会って話をする機会があった。イタリアにナニをしに来たのか、目的が漠然としていて、「イタリアに行けばなにかを見つけられるんじゃあるまいか？」と考えている。げんにそういう若い人の相談に乗ったこともある。「向う
スティーブ・ジョブズ名言集 まとめ 〜ジョブズに学ぶプレゼン・ビジネス・人生 - なつみかん＠はてな
プレゼン maclalalaweblog: Steve Jobs はなぜ説得力があるのか maclalalaweblog: プレゼン名人 Jobs vs. Gates maclalalaweblog: ことばか、それともメッセージか Life is beautiful: スティーブ・ジョブスに学ぶプレゼンのスキル 【bossa mac web】ジョブズのプレゼンに学べ！ ジョブズ聖下プレゼン失敗集 - Engadget Japanese YouTube - all about Steve - All-time favorites ビジネス スティーブ・ジョブズ名言集(上)(HOTWIRED JAPAN) スティーブ・ジョブズ名言集(下)(HOTWIRED JAPAN) スティーブ・ジョブズが働く理由 FPN-僕たちには1000のアイディアはいらない-スティーブ・ジョブス 不死鳥 スティーブ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
