論理的帰結（ろんりてききけつ、伴意、英: logical consequence, entailment）は、論理学における最も基本的な概念であり、複数の文（または命題）の集合と1つの文（命題）の間が「～だから、当然～」という繋がり方をする関係を指す。例えば、「カーミットは緑色だ」という文は、「全てのカエルは緑色だ」と「カーミットはカエルだ」の論理的帰結である。 このような論理的帰結の確かさは、前提が真かどうか、および完全かどうかに依存する。この前提は全てのカエルが緑色でない場合は真ではないことになる。演繹による推論や論理的帰結は認識論の重要な面であり、因果に関する一般的仮説を伝達する意味を持つ。 形式的な論理的帰結関係はモデル理論的なものと証明論的なもの（あるいは両方）がある。 論理的帰結は、文の集合から文の集合への関数としても表現できる（タルスキ風の定式化）し、2つの文の集合の間の関係
たとえば、何らかの複雑な化学式や数式をキーボードなどの旧来のインタフェースで入力しようとした場合、紙に比べて何倍もの時間を要する。 また、一つのインタフェースで複数の人が同時に作業に参加するなどのことは現状では基本的に不可能である。 このタンジブルはそういった「インタフェースによる制約」を取り払い、人間とコンピュータとの距離をさらに短くするものである。 クリアボード タンジブル最初期の例。透明な板に、文字や絵を描くことで、遠隔地の同じ板にもそれを表示させることができる。電話や電子メールなどよりも表現力豊かで、FAXなどよりも簡単な機器として注目を集めた。 タンジブルIPネットワークデザイナー ネットワーク構成図上に駒を置き、その駒を動かすことによりルーターやスイッチ等の通信機器を配置したり、LANやWANのリンク上で駒をボリュームのように回すことによって回線速度を変えることによって、想定す
イヤーワーム（独: Ohrwurm、英: earworm）とは、歌または音楽の一部分が心の中で強迫的に反復される現象である[1]。「音楽が頭にこびりついて離れない」と表現されることもある。「ディラン効果」と大まかな意味は一緒である。 イヤーワームという語はドイツ語の'Ohrwurm'からの翻訳借用であり[2]、シンシナティ大学のマーケティング研究者ジェイムズ・ケラリスとダニエル・レビティンによって世に広められた。ケラリスの研究は、人々はそれぞれイヤーワームに対して異なる感受性を持つが、ほぼ全員が場面の違いこそあれさいなまれることを示した[3]。ケラリスの調査によれば、98%の人はイヤーワームを経験する。性差では、男女とも同等の頻度でこの現象を経験するが、女性の方がより長い時間イヤーワームが継続し、男性よりも不快感が大きくなる傾向がある[4]。 精神分析学者テーオドール・ライクは、この現象の
次数4、長さ6のゴロム定規。最短で完全である。 ゴロム定規（ゴロムじょうぎ、英: Golomb ruler）とは、想像上の定規の上で一連の整数位置にマークを配置し、任意のマークの対の距離がどれをとっても等しくならないものをいう。ゴロム尺とも。マーク数を「次数 (order)」、2つのマーク間の距離のうち最大の距離を「長さ (length)」という。ゴロム定規の平行移動と鏡映は自明と考えられる。そのため慣例として、最小のマークを0とし、その次のマークは2つの可能な値のうち小さいほうを取る。 ソロモン・ゴロムが名前の由来だが、Sidon（英語版）[1]とBabcock[2]も独自に発見している。 ゴロム定規は、その長さまでの全ての距離を測定できる必要はないが、全ての距離を測定できるゴロム定規を「完全 (perfect)」ゴロム定規 (PGR) という。5個以上のマークのあるゴロム定規では、完全
By Michael Kappel 名刺と一口にいってもそのデザインは千差万別。似たような「白地に黒文字」の名刺であっても、縦書きか横書きかというだけでもイメージは変わってきます。心理学的な見地から、名刺をデザインするときにどうすれば効果的なのかということを、Uprinting blogがまとめています。 The Psychology of Business Cards | UPrinting Blog http://blog.uprinting.com/the-psychology-of-business-cards/ ◆フォントの選択 一般的な文章(英文)だと、タイトルや見出しにはsans-serif(サンセリフ)のフォントが、本文にはserif(セリフ)のフォントが使われます。serifとは文字の端にある小さな飾りのことで、sans-serifにはその飾りがありません。では、名刺の場
はてなちゃん（はてなタン） あほ毛[1]/アホ毛（あほげ）とは、20世紀後期後半以降の日本における美容分野発祥の若者言葉で、原義たる美容用語としては、まとめ髪の表面からぴんぴんと跳ね出てきてしまう短い毛をいう[* 2][2]（■右上段の1点目・2点目の画像を参照）。 また、原義から転じて、日本産の漫画系サブカルチャーの分野[* 3]では、誇張された表現として描かれる、頭髪から勢いよく跳ねるように飛び出している一束の毛[* 4]をいう（■右上段の3点目の画像を参照）。この意味での「アホ毛」は寝癖や癖毛によって理由付けされることもあるが、犬猫の尻尾のように自在に動かせて多彩な表情を生み出せる感情表現用の小道具になっていることまである。 日本語「あほ毛」は、「阿呆（あほう）」の転訛形である「あほ」と、「毛（け）」を連結させた合成語（複合語）である［ ja: aho (あほ;阿呆) + -ge (
TOP > ネタ > 幻想的なのに生活観のある画像 Tweet カテゴリネタ オープン２ちゃんねるより http://hayabusa.open2ch.net/test/read.cgi/news4vip/1339086052/ 1 ：名無しさん：2012/06/08(金)01:20:52 ID:UF43GRACr じゃ、まぁ、ひとつまともなのを一発やってみようか 俺 の 画 像 フ ォ ル ダ が 火 を 噴 く ぜ 11 ：名無しさん：2012/06/08(金)01:43:37 ID:jNoxS7AZj 期待。 2 ：名無しさん：2012/06/08(金)01:23:23 ID:UF43GRACr これは春の感じがして好き こういうのって奥行きとか 見えないところでも誰かが何かしてるんだろうな みたいなかゆいところに手が届くセンスがいるんだろうな そーす http://hayabusa
「お一人さま栗ようかん」は１本４０グラムのミニサイズ ３０年以上親しまれてきた長野県小布施町の銘菓「お一人さま栗かの子」が、「栗かの子 小形」に名前を変えた。「お一人さま」の言葉に敏感な客からの訴えがきっかけだ。 １８９３（明治２６）年創業の老舗「竹風堂」が、蜜漬けの栗に栗あんをからめた「栗かの子」（２５０グラム）を１人で食べきれる８０グラムにし、「お一人さま栗かの子」として１９７９年に発売。５年後には「お一人さま栗ようかん」も売り出した。従来型をしのぐ人気で、「お一人さま」は９３年、登録商標にもなった。 だが近年、「夫を亡くし寂しい日々を送る寡婦にとって心ない商品名だ」などの声が届くように。「お一人さま」は前向きな独身女性を指す意味でも使われるが、贈答先に気を使って買い控える客もいたため、幕引きを決断したという。 続きを読むこの記事の続きをお読みいただくには、会員登録が必要です。登
該当するページは存在しません 3 秒後はチャイナネットのホームページへ戻ります アドレスを確認してください
3つの魚眼レンズと1000万画素のCOMEセンサー3個を備えパノラマ撮影が行え、付属の専用ソフトによる自動合成にも対応したカメラ「Girocam」。ボタン1つで撮影が可能な上にHDRにも対応するなど、手軽に使用できる割にかなり高機能な製品となっているようなので、実際に購入していろいろと撮影しつつ使い勝手を試してみることにしました。 ◆フォトレビュー パッケージはこんな感じ。 内箱はこうなっています。 「パカッ」と開けるとカメラ本体が登場。 内容物は本体の他に充電用ケーブル（赤）、データ転送用ケーブル（黒）、コンセントプラグ、電池です。なお、コンセントの形状はアメリカ向けなので日本では変換アダプターを使うか、USBポートから給電して充電することになります。 成人男性の手で持つとこんな感じ。だいたい大きめのビアジョッキくらいのサイズです。 撮影可能時の重量は約828グラム。 下側はこんな感じ。
なんだかサンダーバードの施設のようですが、これはウクライナにあるれっきとしたホテルです。あまりにも変わった構造なので、冷戦の際CIAもここを軍事施設だと推測していたそうです。 他にも旧ソビエト連邦時代に作られた建物には変わったものがたくさんあります。 詳細は以下の通り。トビリシにある、結婚式などに使われた城だそうです。どことなくスターウォーズを思い起こさせます。 タビリスにある建物。どういう構造なのでしょうかこれは。 カリーニングラードにある建物。地元の人々から「モンスター」と呼ばれているそうです。確かになんだか光線が出てきそう。 ベラルーシのミンスクにある科学技術協会の建物です。ノアの箱舟みたいですね、こりゃ。 以下の記事によると、ロシアを旅行していればこのような建物がある場所を訪れることができるだろうとのことです。 English Russia >> Strange Soviet Bu
ボタンひとつでガラスの窓がバルコニーに変身する「Bloomframe（ブルームフレーム）」はオランダのHurks社製。すでにオランダでは発売済みで、第一号はアーネムにあるアパートに導入されることが決定しているそうです。 詳細は以下から。Bloomframe 一見何の変哲もないこの窓が…… ボタンひとつで動き始めます。 あっという間にバルコニーに。床は不透明になるので、高いところが苦手な人も安心です。 アムステルダムの建築事務所Hofman Dujardinによる設計。 色やサイズなどはカスタム可能で、新築に限らず既存の建築物の窓にも導入できるとのこと。 どこかで見たような図で頑丈さをアピールしています。100人は床面積的に無理がありそうですが、20人くらい載っても大丈夫かもしれません。 実際にこの「Bloomframe」が動く様子は以下の動画から。 YouTube - Bloomframe
Slovenian firm OFIS Arhitekti have created an apartment in Ljubljana where rooms are separated by staggered floors rather than walls, with storage areas located underneath. The architects removed almost all of the original partitions to create an open-plan layout where only structural walls remain. Original doors have been retained wherever possible, although one now functions as the back of a bat
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
