１＋１＝２の証明って？ - 教えて！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 ならば
大事な思い出を、あなたのそばに。幻想的な光を放つガラス瓶「light jar」
好きな人たちと行った海で拾った貝殻、旅先で買った置き物。思い出はいっぱい！でもつい部屋の隅に置きっぱなし…というあなたに、“小さな宝物”のためのガラス瓶をご紹介します。 この幻想的な光のガラス瓶は、ノルウェーの若手プロダクトデザイナーKristine Five Melvaer氏（以下、クリスティンさん）のデザイン。 青や緑のガラスと光の組み合わせがとっても綺麗なこのガラス瓶は、ストックホルムで開催された北欧最大級の家具見本市に出品されたもの。この見本市は北欧のデザイナーやインテリア好きにとっての一大イベント。家具だけではなく、テキスタイルや照明、キッチン小物なども展示されます。 光に照らされて入っているのは、それぞれの持ち主の大切な思い出。 じっと見入ってしまう美しさ。 デザイナーのクリスティンさんは、人とものの間に、気持ちのつながりが生まれるようなデザインを目指しているそう。 こんな素敵
弱い絆から情報を得て、強い絆で議論を深める 人間関係をベースにしたサービスの必要性【湯川】 | TechWave（テックウェーブ）
[読了時間：2分] Facebookの普及などでリアルな人間関係がネット上に反映されるようになり、ユーザー間を情報がどのように流れるのかといったデータが取れるようになってきた。そこで人間関係のタイプごとのデータ流通の特性を活かしたサービスやアプリの開発が今後盛んになってくるのだと思う。マーケティングもそうだし、メディアや教育関連のサービスも、人間関係をベースに、まったく新しいものが作られてくるように思う。 そしてそうした新しいサービスのベースになる考え方は、「弱い絆」で遭遇した新しい情報をベースに「強い絆」で議論を進める、というものになるのではないかと思う。 自分と仲のいい人は前提となる情報を理解しているし、情報源も似通っている。なので話が早い。また特定の分野におけるリテラシーのレベルが近い人との議論も、同様に短時間で一気に進み、学びが多い。 一方で、情報源が同じ場合が多いので、同じような
「最もクリエイティブな国・都市」は日本・東京 でも日本人は自信がない Adobe調査
「最もクリエイティブな国」は日本、「最もクリエイティブな都市」は東京──Adobeによる創造性に関する調査でこんな結果が。ただ、日本人は自らをあまりクリエイティブだとは考えていないという。 「最もクリエイティブな国」は日本、「最もクリエイティブな都市」は東京──米Adobe Systemsによる「クリエイティビティー」（創造性）に関する調査でこうした結果が出た。日本は世界からクリエイティビティーを高く評価されているが、その日本人は自らをクリエイティブだとは考えていないという興味深い内容だ。 調査は今年3月から4月にかけ、米国、英国、ドイツ、フランス、日本の18歳以上の成人5000人を対象にオンラインで実施した。 「最もクリエイティブな国」として36％の回答者が日本を挙げ、米国の26％を10ポイント上回ってトップだった。英仏独では日本を挙げた人がトップだったが、米国と日本では米国を挙げた人が
吉田寮食堂はずっと残ってほしい - phaの日記
京大の吉田寮食堂が壊されそうになったけど、団体交渉の結果、とりあえず強制的な取り壊しは回避される流れになったようだ。 京都大学新聞社／Kyoto University Press » 【号外】吉田寮食堂解体決定撤回(2012.04.24) 京都大学「吉田寮食堂」取り壊しに関する説明会の現地ツイート - Togetter まだまだどうなるかは油断できない状態だけど。 吉田寮食堂は現在は食堂ではなく、ライブとか演劇とかいろんなイベントをやるスペースとして活用されている。僕は吉田寮ではなく熊野寮の出身なんですが、京大近辺の環境は寮がまず住居の基盤としてあって、それに加えて吉田寮食堂とか西部講堂とかブンピカとか他にもいろいろイベントができる空間があって、とても文化的に豊かだったと思う。吉田寮食堂でヨーロッパ企画の演劇を見たり西部講堂でROVOのライブを見たりしたのはいい思い出だ。しかし東京はどこに
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
写真がそのまま文章に、デジカメ画像を3分程度で人力テキスト化する自作プロジェクト「Descriptive Camera」 | HON.jp News Blog
Re-positionable Wallpaper
Know / Do
Tumbleweed Tiny House Company - Going Tiny Since 1999
Googleマップ フロアプラン