WhatAmILookingForのブックマーク / 2011年11月1日

WhatAmILookingFor id:WhatAmILookingFor

2011年11月1日のブックマーク (3件)

型理論 - Wikipedia
型理論（かたりろん、英: Type theory）とは、プログラミング・数学・言語学等に現れる型の概念及びそれらが成す型システムを研究対象とする数学・計算機科学の分野である。特定の型システムのことを型理論と呼ぶこともある。集合論の代替となる数学の基礎として役立てられる型理論（型システム）も存在する。そのような例としてアロンゾ・チャーチの型付きラムダ計算やマルティン・レーフの直観主義型理論が有名である。 20世紀初頭にバートランド・ラッセルが発見した、ラッセルのパラドックスによるフレーゲの素朴集合論の欠陥を説明する中で提起されたタイプ理論（theories of type）が型理論の起源であり[1]、後年にAxiom of reducibilityが付随された型理論は、ホワイトヘッドとラッセルの『プリンキピア・マテマティカ』に収録されている[2]。ここでは、Mendelson (1997
WhatAmILookingFor 2011/11/01
wikipedia

math
リンク
嫌消費～私たちが車を買わない本当の理由～　現代ビジネス [講談社]
創職時代第18回コラムで、私たちの豊かな「貧乏」生活について紹介しました。なぜ私たちは、年収1000万円があこがれではなくなり、物を買わなくなってしまったのか? 大きく4つの観点から説明しました。 1. 貧乏はファンタジー。中流家庭に産まれ育ち、マジで貧乏生活を知らない。 2. 日本の先行きが不透明。身動きが取れなくなりそうな車や家などのかさばる買い物はしたくない。 3. アメリカのリーマンショックの影響。これにより消費主義のイメージが悪くなった。 4.露出社会の出現。物質空間を情報空間に拡張していく生活スタイルの普及。以上の分析を行ったのですが、本コラムでは4について詳しく説明していきたいと思います。なぜならば、露出社会の出現こそが、嫌消費の最も大きな要因になるだろうと考えるからです。欲のない若者という虚像さて、私たちが車を買わなくなったことに対して「近頃の若者は欲がないね～。」
WhatAmILookingFor 2011/11/01
economy
リンク
2ｃｈで不覚にも正論だなと悟らされてしまった四次元殺法:哲学ニュースnwk
2011年10月31日07:04 2ｃｈで不覚にも正論だなと悟らされてしまった四次元殺法 Tweet 1：以下、名無しにかわりましてVIPがお送りします：2011/10/31(月) 00:11:53.74 ID:POhPo5v10 , -.. - ..（⌒Y:: /:: :: :: ::ﾊ:: :: :: :: :: ::ヽ:: :: ::ヽ:: :: :: ＼／　　　　　　　＼ .／:: :: :: ::Y´~ヾ:: /:: :: :: :/　ヽ:: :ヽ:: :: :: :ヽ:: :: ::', :: :: イ　　　　　　　　　　ヽ /:: :: :: :: ::/ヽ-.':: /:: :: :: :/　　ヽ:: ',＼:: :: :ヽ:: :: ::',:: / 　　　 .今　　　　　 i i:: :: :: :: /　 /:: ::/:: :: /::/　　　　ヽ
WhatAmILookingFor 2011/11/01
2ch

vip
リンク
- 2011年11月2日
- 2011年11月1日
- 2011年10月31日