ぼくは、以前から、論理とゲーム理論とをクロスオーバーさせた本を書きたい、というテーマを持っており、それは拙著『数学的推論が世界を変える〜金融・ゲーム・コンピューター』NHKブックスで果たすことができた。 この本を書くために、今まで、けっこうな冊数の数理論理学の教科書を読んできた。その中でめぐりあったのが、ゲンツェンの自然演繹と呼ばれる推論規則のセットであった。推論規則というのは、数学の証明で用いられる推論をできるだけ少ない数でセットにしたもので、おおわくではヒルベルトの体系、ゲンツェンのシークエント計算、ゲンツェンの自然演繹、というのがあって、それぞれの演繹能力は同じだけど、体系自体は異なるので、何をしたいかによって有利不利(向き不向き)がある。この３つの中で、普通の数学の証明で利用されている推論の方法は自然演繹が最も近いものである。 ぼくは自然演繹の体系を、鹿島亮『数理論理学』朝倉書店で

ベルギーの映画祭に出席した英国の映画監督・俳優リチャード・アッテンボロー（Richard Attenborough）氏（2007年10月9日撮影）。(c)AFP/BELGA/LIEVEN VAN ASSCHE 【8月25日 AFP】（一部更新）『ガンジー（Gandhi）』（1982）でアカデミー賞（Academy Awards）監督賞を受賞し、『大脱走（The Great Escape）』（1963）や『ジュラシック・パーク（Jurassic Park）』（1993）などのヒット作に出演した英映画監督・俳優のリチャード・アッテンボロー（Richard Attenborough）氏が、長い闘病生活の末、24日昼ごろ死去した。90歳。同氏の息子が英国放送協会（BBC）に明らかにした。 1923年に英ケンブリッジ（Cambridge）で生まれたアッテンボロー氏は、60年にわたり映画界で活躍。監督

理化学研究所は3月14日、所属する小保方晴子氏などの研究グループが英科学誌「Nature」に発表した「STAP細胞」の論文に不自然な点が相次いで報告されている問題で、調査委員会による中間報告を発表した。指摘された6点のうち2点は「不正に当たらない」と判断したが、残り4点は「現段階では完全にねつ造とはいえないが、継続調査が必要」とし、調査を続けている。 同日、都内で会見した理研の野依良治理事長は「世間の多くのみなさまにご迷惑、ご心配おかけしたことをお詫びしたい」と陳謝。「未熟な研究者が、膨大なデータをずさん、無責任に扱い、本来あるべきでないミスが起きた」との見方を示し、研究所での倫理教育などを見直したいと話した。 Natureに掲載された2本の論文については、理研発生・再生科学総合研究センター（理研CDB）の小保方ユニットリーダー、笹井芳樹副センター長、丹羽仁史プロジェクトリーダーの3著者は

理化学研究所が英科学誌ネイチャーに発表した新型万能細胞「STAP（スタップ）細胞」の論文に多くの疑問が指摘されている問題で、論文の筆頭執筆者である理研の小保方晴子研究ユニットリーダーが論文の取り下げに同意していることが13日、分かった。理研関係者が明らかにした。STAP細胞の論文を巡っては1月末の発表後、過去の論文からの画像の使い回しや画像を加工した跡が見えるなどの指摘が相次いだ。理研は3月1

http://www.reitaku-u.ac.jp/events/kekka/20130612-1.html 講演終了後の質疑応答では活発な質問がなされ、田中氏は「江戸しぐさ」を基に補足説明をされました。田中氏は、「”江戸しぐさ”といわれる”傘かしげ”や”こぶし腰浮かせ”などは、相手を思いやる気持ちがないとできない動作です。重要な点は、それらが社会へ出る中で、人間関係の距離感を自然につくりだすという、独自の日本文化であることです」と述べられました。 ウィキペディアの「江戸しぐさ」 日本トンデモ本大賞2013にて「駕籠のマナーだったとされているものはタクシー普及以降のもの」「煙草のマナーだったとされているものはマッチと紙巻き煙草が普及した以降のもの」「"断りなく相手を訪問し、または、約束の時間に遅れる"のを戒めるのは電話と時計が普及した時代以降のもの」であり、江戸しぐさとは伝奇ロマンかSF

「政治の美学化」と「美学の政治性」という２つの概念がある。 「政治の美学化」とは、政治的な議論を正しいか正しくないかではなく、美しいか美しくないかに置き換えてしまうこと。 「美学の政治性」とは美しいか美しくないかがいかに政治に作用してしまうか、という問題系のこと。 僕らよりの上の世代の仏文研究者には「政治の美学化」を好むものが多い。積極的に政治を語り、文学理論や所謂現代思想を応用することによって現状を分析し、自らの政治的前衛を誇るのである。その分析は面白いのだが、では具体的にどうすれば良いか、と問うと「現実を見ろ、という場合、この現実とはイデオロギーにしかすぎない」とか「直接行動を説く欺瞞性を弾劾しなければならない」とか「何もしないことが一番過激な政治運動なんだ」とか「具体的な政策を考えるのは政治家や官僚の仕事だ」などと言って、はぐらかす。 結局は、政治的発言を行なうことで格好つけているだ

先日の所内領域会議でも話題に出たことだが，来たるべき（と思うけど）独法再編にともなって，農水省系の独法研究所がどういうふうになるのかの具体的なプランは「何もない」のが現状らしい．「上」の方でミーティングはやっているようだが．シミュレーションなしの夢物語だけ．過去に繰り返された組織改編でも似たような状況だったので，下々は誰もが「ああ，またか……」という諦観の空気がすでに流れている．下の方でいろいろ意見を出したり，案を作ったりしても，天上から降ってくる鶴の一声ですべてが決まるということ．この件に関してはあまり深くコミットしてもしかたがないという智慧を誰もが身に着けてしまった． ただ，身の回りの研究環境の着実な変化（研究資金・物的資源・マンパワーの劣化）を考えたとき，かなり切実に研究者コミュニティーの「限界集落化」をひしひしと感じ始めている．国立大学もそうだろうが，独法研究所も研究員の平均年齢は

米コロラド（Colorado）州デンバー（Denver）の州議会議事堂前で開かれたマリフアナ支持の集会で、マリフアナを吸引する男性（2010年4月20日撮影）。(c)AFP/Getty Images/John Moore 【8月29日 AFP】10代の若者が大麻を常習すると、知能が永続的に低下する恐れがあるとする米デューク大学（Duke University）の研究が、27日の米科学アカデミー紀要（Proceedings of the National Academy of Sciences、PNAS）に発表された。 デューク大のマデリン・マイヤー（Madeline Meier）氏（心理学）率いる研究チームは、ニュージーランド在住の1000人以上を対象に、13歳と38歳のときに行われた知能指数（IQ）検査の結果を比較した。すると、10代で大麻吸引を始め20～30代にも常習を続けた人では、I

エンジニアtypeは、各種エンジニアをはじめ「創る人たち」のキャリア形成に役立つ情報を発信する『＠type』のコンテンツです。

YouTube is now cracking down on ad-blocker usage globally, by showing warnings about breaking the platform’s terms of service. In some cases, the company is preventing users from viewing more vi

豪メルボルン（Melbourne）西方約170キロのアララット（Ararat）郊外、干上がってしまったグリーンヒル湖（Green Hill Lake、2006年11月16日撮影）。(c)AFP/William West 【8月15日 AFP】欧州経済危機、そしてオーストラリアの干ばつの影響に関する調査の両方から、不況期には自殺率が8～15％増加する傾向が明らかになった。 英国では2008～10年の自殺者のうち、不況の影響による自殺が約1000件に上ったと推計する論文が、英国医学会会報「BMJ」に掲載された。 経済危機前まで英国の自殺率は減少傾向をたどり、2007年の年間自殺者数は過去20年間で最少の4006人だった。しかし失業率の増加と並行するように、08年には4292人、09年には4388人と増加に転じた。再び自殺者数が減少し4206人だった2010年には、失業率も下がっていた。 論文の

米ニューヨーク（New York）州コニーアイランド（Coney Island）のビーチで海水浴をする人々（2012年8月4日撮影、資料写真）。(c)AFP/Getty Images/Mario Tama 【8月7日 AFP】近年、世界各地で増加している夏の猛暑は人類の活動により進む気候変動に起因し、つい20年前に出された予測よりも状況は悪くなっているという米航空宇宙局（NASA）の科学者の見解が、4日の米紙ワシントン・ポスト（Washington Post）に掲載された。 NASAゴダード宇宙研究所（Goddard Institute for Space Studies）のジェームズ・ハンセン（James Hansen）所長は同紙の記事の中で、1988年に米上院でハンセン氏自身が述べた将来の温暖化についての厳しい見通しでさえも、「楽観的すぎた」と語っている。 「告白せねばならない。私は楽

世界最大規模の家電見本市「コンシューマー・エレクトロニクス・ショー（CES）」でパソコンを使用する人（2007年1月10日撮影、資料写真）。(c)AFP/ROBYN BECK 【7月25日 AFP】誰であろうと、どれほど貧しくとも、世界トップクラスの大学の講義が無料で受けられるオンライン講座「コーセラ（Coursera）」。米スタンフォード大学（Stanford University）の研究者2人が立ち上げたこの「夢」に前週、新たに世界の一流大学12校が参加を表明した。 「コーセラ」は、スタンフォード大のダフニ・コラー（Daphne Koller）教授とアンドリュー・ング（Andrew Ng）准教授が今年2月に立ち上げたプログラムだ。コラー教授は、こう説明する。「世界中の学生たちが、住む国や家庭環境、経済的事情を問わず最高の教育を受けられ、自分の考えを広げたり価値の高いスキルを学んだりでき

Live Nation says its Ticketmaster subsidiary was hacked. A hacker claims to be selling 560 million customer records. An autonomous pod. A solid-state battery-powered sports car. An electric pickup truck. A convertible grand tourer EV with up to 600 miles of range. A “fully connected mobility device” for young urban innovators to be built by Foxconn and priced under $30,000. The next Popemobile. Ov

By ♥KatB Photography♥ 漫画や映画の中でお金持ちの嫌みなキャラクターをよく見かけますが、Lisa MillerさんがNew York Magazineの中で述べたいくつかの論文によると、お金は人を薄情で、非人道的で、利己的な人物に変えてしまう諸悪の根源だということです。 Researchers Say That The More Money You Have, The Less Humane You Become - Business Insider Proceedings of the National Academy of Sciences誌に掲載された論文によれば、心理学者のPaul PiffさんはMillerさんに「社会経済的に高い段階で生活することは、口語的に言うと、人を非人道的にし」、「他の人に比べて同情心を少なくさせることがある」と話したそうです。 By

カナダ・オンタリオ（Ontario）州トロント（Toronto）で、国際インド映画アカデミー賞（International Indian Film Academy Awards、IIFA）」を前に記者会見するダルトン・マクギンティ（Dalton McGuinty）同州首相（2011年6月23日撮影、資料写真）。(c)AFP/Jewel SAMAD 【6月26日 AFP】カナダ・オンタリオ（Ontario）州エリオットレイク（Elliot Lake）の大規模ショッピングセンター「アルゴセンター・モール（Algo Centre Mall）」で23日、屋上駐車場の一部が崩落して1人が死亡、約20人が負傷した。 24日に救援隊員が崩れた建物の下からがれきを叩く音を聞いたことから、不明者の家族らが徹夜で見守る中、救助犬も投入して捜索活動が行われていた。しかし建物の構造が不安定になっており二次災害の恐

米ウェストバージニア（West Virginia）州ニューヘーブン（New Haven）の米電力大手アメリカン・エレクトリック・パワー（American Electric Power、AEP）の石炭発電所。、2009年10月30日撮影、本文とは関係ありません）。(c)AFP/Saul LOEB 【6月22日 AFP】二酸化炭素（CO2）排出削減のひとつの方法として挙げられている、大気中のCO2を回収して地中に隔離する「二酸化炭素回収・貯留（CCS）」には地震を引き起こす危険性があると、米国の研究者らが警告している。 18日の米科学アカデミー紀要（Proceedings of the National Academy of Sciences、PNAS）に発表された米スタンフォード大学（Stanford University）のチームの報告によると、国連（UN）の気候変動に関する政府間パネル（