１＋１＝２の証明って？ - 教えて！goo
No.l8のDASSさんのコメント、またしてもポイントを突かれちゃいましたね。大切な部分です。 こんどは "=" についての考察でしょう。 x=y とは何を言っているのか。これは実は「一階述語論理」の範疇を少し越えているのです。つまり "="の公理というのはちょっくら胡散臭い。それはこういうものです。 「xを含みyを含まない任意の命題A(x)において、xをすべてyに書き換えて得られる命題をA(y)とするとき、x = y とは どんなAを持ってきても、A(x)が成り立つこととA(y)が成り立つ事が同値である（一方が真なら他方も真、一方が偽なら他方も偽である。）ということを表す。」 つまり、どんなAについても、xとyは同じ性質を示すということを言っているわけです。その帰結として「=の反射則」 x = x 任意の対象xはそれ自身と = で結ばれる、ということ、「=の交換則」 x = y ならば
【同人誌】アメリカンコミックスの歴史に学ぶ・長文ですよ。 - にゃっぽん！
先の日記、【【同人誌】ピアプロリンク！（最後に追記リンク）】(切身魚さん-2012-04-22 17:18:38) の続きです。 ピアプロリンク申請その後報告です。 結論から申しますと、先日申請してみたピアプロリンクは、受理されませんでした。 理由としては、 1.今は時期が悪い（開発者blogにダウンロード販売禁止記事が掲載されてまだ3ヶ月も経過して無い4月のことです） 2.このような小額の金銭であれば、それこそ社会人クリエイターには不要なものと見做された の２つではないか、と分析しています。 まず、時期について。切身魚側は、「今なら注目もある程度集まっており、『やって良いこと』の範例となるに相応しいのではないか」と考えての申請でした。 ピアプロリンク側は、そうではなかった、ということです。 次に、金額について。これは憶測ですから、検討しないことにいたします。どうやったっ
ファンキー末吉BLOG ～ファンキー末吉とその仲間たちのひとりごと～
爆風スランプトリビュート盤を既にご購入されている方は、このCDを買えば「完全版」となり、更には他のCDには収録されていないファンキー末吉の「坂出マイラブ」も収録されてます。 「完全版」としてセットで買うと500円お得な2枚で3500円のセット販売もあります！！ ファンキー末吉関連グッズ （書籍） ファンキー末吉関連グッズ （CD、DVD） ファンキー末吉関連グッズ （その他）
Twitter / 穂口雄右: 私は3月でJASRACをやめました。だから正々堂々を ...
私は3月でJASRACをやめました。だから正々堂々を言います。JASRACは良い協会です。職員はみなさん優秀で真面目で親切。しかし立場上、著作権法、信託法、著作権等管理事業法の遵守責任から、時として嫌われ役を担っています。カスラックと呼ぶのはやめて上記の法律を研究して下さい。 約3時間前 webから Retweeted by 129 people
北米ガス暴落、色めくアジア圏：日経ビジネスオンライン
4月11日、世界のガス業界に衝撃が走った。北米における天然ガスの先物価格が100万BTU（英国熱量単位）当たり1.98ドルという異常な安値をつけたのだ。直近の高値圏だった2008年夏が同13ドル台であることを考えればその低さがうかがえ、この10年の最安値まで下落した。 世界的にエネルギー価格が高騰する局面において、この異変をもたらしたのは、北米発の「シェールガス革命」にほかならない。 ここ数年、北米では地中深くの頁岩（けつがん）（シェール）層を砕いて採取する非在来型の天然ガスの開発が急速に進展。米国南部からカナダまで豊富な埋蔵量が確認されていることに加え、低コストの掘削技術が確立されたため、瞬く間に供給量は拡大した。 当初は地産地消できる有望なエネルギー源として、歓迎的に受け入れられたこのガスも、急ピッチな開発と昨年からの北米の歴史的な暖冬によって、激しい供給過剰に陥った。その結果である今
Twitter / seta_a: やたらメディアがトキを推しているのは、やっぱり支那の ...
やたらメディアがトキを推しているのは、やっぱり支那の影響なんだろうな。支那が絡んでいるのは全く知らなかったが。
石原都知事の尖閣諸島購入宣言、今は冷静な中国：日経ビジネスオンライン
先週、横須賀にある海上自衛隊基地に行って、今年3月14日に就役したばかりの護衛艦あきづき（DD-115）を乗艦見学してきた。FCS－3Aレーダーという、同時多目標対処を可能とする最新の国産射撃指揮装置が搭載されている。 中国でも昨年から、「日本国産ミニイージス」だとか、「日本の制海力の主力」だとか、「日本の艦隊防空火力の弱点を補てん」だとか、かなり注目されて報道されていた。中国人の軍事オタクたちは、日本人が思っている以上に海上自衛隊の実力を評価してくれているようで、私も中国人記者らから、日本の海軍（海上自衛隊）は少数精鋭軍の手本である、と何度か言われたことがある。 しかし、中国人がそういうほめ言葉を口に出すときは、要注意である。「しかし、10年後は中国海軍だって…」と心の中で呟いているはずだ。私も日本の国防予算や国防意識の低さの現状を思えば、いずれ彼らの高評価も侮りに変わる日が来ると思って
“小惑星でレアメタル採掘”計画 NHKニュース
地球の近くにある小惑星に無人の探査機を送り込み、プラチナなどの希少金属を採掘して地球に持ち帰るという、ＳＦ映画のような計画を、アメリカのベンチャー企業が発表し、大きな話題を呼んでいます。 計画を発表したのは、アメリカ・ワシントン州のベンチャー企業「プラネタリー・リソーセズ」です。 計画では、宇宙に浮かぶ小惑星に無人の探査機を送り込み、プラチナやチタンなどの希少金属を採掘して、地球に持ち帰るとしています。 この企業によりますと、地球の近くには１５００を超える小惑星があり、中には希少金属を多く含む小惑星も多数存在するということです。 このため、宇宙で採掘ができる探査機を開発し、小惑星に送り込めば、将来的には大量の希少金属を地球に持ち帰ることが可能になるとしています。 企業では、今後２年以内に最初の探査機を打ち上げて、採掘に適した小惑星を特定し、その後、技術の開発が順調に進めば、２０２０年ごろに
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
東本願寺