Hoo are you talking to? HootSuite is the ultimate Twitter toolbox. With HootSuite, you can manage multiple Twitter profiles, pre-schedule tweets, and measure your success. HootSuite lets you manage your entire Twitter experience from one easy... 続きを読む

• hootsuite.com
• コンピュータ・IT

AWARD ESSAYS BY AUTHOR NAME Click on a letter below to browse the essays alphabetically, once at the desired letter, click on the name of the author to launch a PDF of the winning essay: 続きを読む

• www.gravityresearchfou...
• コンピュータ・IT

一般意味論（いっぱんいみろん、General Semantics）は、アルフレッド・コージブスキー（1879年 - 1950年）により1919年から1933年までの間に構築された教育的規範である。一般意味論は、言語学の意味論とは全く異なる。その名称は、コージブスキーが「意味反応... 続きを読む

• ja.wikipedia.org
• 科学・学問

アメリカ合衆国の社会（アメリカがっしゅうこくのしゃかい）は、西洋文化であり、アメリカ合衆国が1つの国になるかなり前から発展してきており、方言、音楽、芸術、料理など特異な性格を持ち展開を遂げてきた。その歴史を通じて大変多くの国からの大規模な移民... 続きを読む

• ja.wikipedia.org
• 政治・経済

ヒルベルト・プログラムとは、数学を形式化すること、すなわちその証明を形式化することで、数学全体の完全性と無矛盾性を示そうという試みのことをいう。詳しく言い換えれば、数学において真である命題は必ず証明できること、また公理から形式化された推論をど... 続きを読む

• ja.wikipedia.org
• 科学・学問

都内で電源を探す場合に使ってください。ソファーや無線LANのあるカフェも見つかります。【お知らせ】 ◇2/21:喫煙、禁煙情報を追加しました。 ◇2/19:電源の使用許可が確認出来ている場所を掲載しています。 続きを読む

• hack-space.com
• 生活・人生

「長年にわたる研究のなかで、彼らは物質がブラックホールに落下するとき、その全ての情報のコピーがブラックホールの表面上（地平線上）に付着するという考えにたどり着いた。コンピューターに0と1で情報が蓄積されるように」 理論物理学者で数々の著作もある... 続きを読む

• wired.jp
• 科学・学問

オラース・ヴェルネ(Émile Jean-Horace Vernet) (1789年6月30日 - 1863年1月17日) は、フランスの画家。戦争画、肖像画、動物画、アラブの情景を描いた作品で知られている。 [編集] 生涯 オラース・ヴェルネは画家カルル・ヴェルネの息子としてパリに生まれる。... 続きを読む

• ja.wikipedia.org
• スポーツ・芸能・音楽

ポール・ドラローシュ （Paul Delaroche, 1797年7月17日 - 1856年11月4日）は、フランスの画家。本名はイッポリト・ドラローシュ（Hippolyte Delaroche）。日本ではドラロッシュ、ドラロシュとも表記される。 [編集] 生涯 ドラローシュは、パリで裕福な家庭に生... 続きを読む

• ja.wikipedia.org
• 社会

(Submitted on 2 Mar 1998 (v1), last revised 29 Jan 1999 (this version, v2)) Abstract: A generally relativistic theory of thermodynamics is developed, based on four main physical principles: heat is a local form of energy, therefore described ... 続きを読む

• arxiv.org
• コンピュータ・IT

Title: Thermodynamics meets Special Relativity -- or what is real in Physics? Abstract: In this paper we carefully reexamine the various framworks existing in the field of relativistic thermodynamics. We scrutinize in particular the different... 続きを読む

• arxiv.org
• コンピュータ・IT

Title: Three Views of a Secret in Relativistic Thermodynamics Abstract: It has been shown three different views in relativistic thermodynamics can be derived from the basic formulation proposed by van Kampen and Israel. The way to decompose e... 続きを読む

• arxiv.org
• コンピュータ・IT

cedona01さん 今回の福島原発災害と、広島・長崎の原爆被害についてです。 戦時中、原爆被害を受けた広島や長崎は戦後65年ですが、人も住み、農業漁業も普通に営まれていると認識しています。が、かたやチェルノブイリ原発事故において、彼の地で人が生活できる... 続きを読む

• detail.chiebukuro.yaho...
• 社会

携帯Webシステムの開発 <Perl> その他 Perl、PHP、Python セキュリティ管理マネージメント＜J-SOX＞ 商社 J-SOX監査対応実績 金融系システム開発(COBOL) 銀行 COBOL、CICS、DB2 携帯向けゲームアプリ開発 ゲーム-ソフト ＪＡＶＡ　or　ＢＲＥＷの経験 通信会社... 続きを読む

• www.engineer-navi.com
• コンピュータ・IT

Coq　なにやら日本語で書かれた定理証明支援系言語 Coq の良質なチュートリアルが公開されたとのことで、とりあえず読んでみました。プログラミング Coq　定理証明支援系とは何か、 Coq で何ができるのか、という話題についてはここでは触れませんので、興味の... 続きを読む

• d:id:risouf
• コンピュータ・IT

@oskimura 計算可能なオブジェクトとしての実数は作れません。実際、実数の連続性と大小比較を組み合わせて、チューリングマシンの停止判定ができます。 続きを読む

• togetter.com
• コンピュータ・IT

名古屋大学の谷村省吾教授による弱値についてのツイートをまとめました。 弱値は物理学の可能性を広げるかもしれない概念だそうです。 by masmt 続きを読む

• togetter.com
• 科学・学問

ジュンク堂書店池袋本店の店頭在庫50万冊 が収録されています。会員登録すれば、どなたでもオンラインでご注文できます。 続きを読む

• imagine.bookmap.info
• スポーツ・芸能・音楽

目次 2009年12月19日 - 数式を画像化するサイトやサービス / 2009年12月18日 - 各章の依存関係図を作成する / 2009年12月17日 - 木曜日 / 2009年12月12日 - 最近使っているiPhoneアプリ / 2009年12月11日 - Twitter / 2009年12月9日 - 結城先生 / 2009年12月8日... 続きを読む

• www.hyuki.com
• コンピュータ・IT

Twitterでぶつぶつ言っていると急に数式を書きたくなりませんか? 僕は勿論のこと、皆さんもそうなりますよね(笑)。そこでTwitter上でTeXの数式をつぶやくと、画像のURLを返してくれるサービスを作りました。 使い方は簡単、@TeX_Eqに対してTeXの数式をつぶやい... 続きを読む

• fenrir.naruoka.org
• コンピュータ・IT