タグ

学問と人物に関するOKU_s62のブックマーク (13)

  • スティーブン・ピンカー - Wikipedia

    スティーブン・アーサー・ピンカー(英語: Steven Arthur Pinker、1954年9月18日 - )は、カナダ・モントリオール生まれのアメリカ合衆国の実験心理学者、認知心理学者。2009年現在はハーバード大学で心理学教授。近年は人類史・科学的根拠に基づいた啓蒙主義論客として知られる。 業績[編集] 専門分野は視覚的認知能力と子供の言語能力の発達である。ノーム・チョムスキーの生成文法の影響を受け、脳機能としての言語能力や、言語獲得の問題について研究し著作を発表している。言語が自然選択によって形作られた「能」あるいは生物学的適応であるという概念を大衆化したことでよく知られている。この点では言語能力が他の適応の副産物であると考えるチョムスキーやその他の人々と対立する。 The Language Instinct (1994年、邦訳『言語を生みだす能』)、How the Mind

    スティーブン・ピンカー - Wikipedia
  • Philip Wadler's home page

    Projects Interested in applying for a PhD or Internship? Verifying smart contracts for Blockchain Funded PhD post. (No longer available; filled by Tudor Ferariu.) From Data Types to Session Types: A Basis for Concurrency and Distribution, an EPSRC Programme Grant, joint with Simon Gay, Glasgow, and Nobuko Yoshida, Imperial. TypeScript: The Next Generation funded by a Microsoft Research PhD Scholar

  • Patricia Johann

    OKU_s62
    OKU_s62 2014/08/11
    Initial Algebra Semantics is Enough!の人
  • Gilles Barthe

  • エドムンド・クラーク - Wikipedia

    エドムンド・クラーク エドムンド・メルソン・クラーク・ジュニア(Edmund Melson Clarke, Jr.、1945年7月27日 - 2020年12月22日)は、アメリカ合衆国の計算機科学者。ハードウェアやソフトウェアの設計を形式的に検証するモデル検査の開発で知られている計算機科学者。カーネギーメロン大学計算機科学科の教授。 経歴[編集] 1967年、バージニア大学で数学の学士号を取得。1968年、デューク大学で数学の修士号を取得。1976年、コーネル大学で計算機科学の博士号を取得した。その後2年間、デューク大学計算機科学科で教壇に立った。1978年、ハーバード大学に移り、応用科学部で計算機科学の助教授を務めた。1982年にハーバードを離れ、カーネギーメロン大学の計算機科学科に移った。1989年には教授になっている。1995年、Carnegie Mellon School of C

    エドムンド・クラーク - Wikipedia
  • Parametric Facebook: POPL 2014

  • Beniamino Accattoli

  • dblp: Patricia Johann

  • 建站成功

  • 中西進 - Wikipedia

    中西 進(なかにし すすむ、1929年〈昭和4年〉8月21日 - )は、日教育者・文学者(日文学・比較文学)。学位は、文学博士(東京大学・論文博士・1962年)。国際日文化研究センター名誉教授、大阪女子大学名誉教授、京都市立芸術大学名誉教授、奈良県立万葉文化館名誉館長。文化功労者。文化勲章受章。 東京学芸大学附属高等学校教諭、成城大学文芸学部教授、筑波大学歴史人類学系教授、国際日文化研究センター教授、帝塚山学院大学教授、帝塚山学院大学国際理解研究所所長、大阪女子大学学長、日学術会議会員、学校法人帝塚山学院理事長、京都市立芸術大学学長、池坊短期大学学長、奈良県立万葉文化館館長、高志の国文学館館長などを歴任した。元号「令和」の考案者と目されるが、「元号は中西進という世俗の人間が決めるようなものではなく、天の声で決まるもの。考案者なんているはずがない」と発言している[1]。 概要[編

    中西進 - Wikipedia
  • パウリ効果 - Wikipedia

    ヴォルフガング・パウリ(1945年) パウリ効果(パウリこうか、英: Pauli effect)は、物理学界における古典的なジョークの一つ。 理論物理学者ヴォルフガング・パウリ(1900年 - 1958年)は実験が不得手で、機材をよく壊していた。時には、彼が装置に触れただけで実験機材が壊れたり、近付いただけで壊れたりするという現象も起きた。これにちなんで、機械装置・電子装置を問わず、ある人物がその装置に触れただけで、あるいは近くに寄っただけで不可解な壊れ方をした場合、その人物が「装置にパウリ効果を及ぼした」と言うようになった[1]。 マーカス・フィルツ(英語版)は「パウリ効果」について、「ユングが考案した共時的現象として理解すると、大変道理にかなっているように思う」と述べている[2]。 パウリをめぐる逸話[編集] パウリの友人でもあった物理学者のオットー・シュテルンはこの効果を恐れ、パウリ

    パウリ効果 - Wikipedia
  • マルティン・ハイデッガー - Wikipedia

    ジョルジョ・アガンベン、ハンナ・アーレント、ジャン・ボーフレ、アラン・バディウ、ジョルジュ・バタイユ、ルートヴィヒ・ビンスワンガー、モーリス・ブランショ、スラヴォイ・ジジェク、ヴォルフガング・ブランケンブルク、ハンス・ブルーメンベルク、アルバート・ボーグマン(Albert Borgmann)、ルドルフ・カール・ブルトマン、ジル・ドゥルーズ、ジャック・デリダ、ヒューバート・ドレイファス、アレクサンドル・ドゥーギン(Aleksandr Dugin)、Nader El-Bizri、ミシェル・フーコー、ハンス・ゲオルク・ガダマー、ハンス・ヨナス、アレクサンドル・コジェーヴ、Mario Kopić、九鬼周造、ジャック・ラカン、アンリ・ルフェーヴル、エマニュエル・レヴィナス、カール・レーヴィット、カトリーヌ・マラブー、ガブリエル・マルセル、ヘルベルト・マルクーゼ、モーリス・メルロー=ポンティ、三木清、

    マルティン・ハイデッガー - Wikipedia
  • 有史以来で一番の天才と言えば誰になるのかな : 哲学ニュースnwk

    2012年11月28日19:30 有史以来で一番の天才と言えば誰になるのかな Tweet 1:名無し募集中。。。:2012/07/03(火) 17:21:49.39 ID:0 エジソンかアインシュタインになるのかな 7: 名無し募集中。。。:2012/07/03(火) 17:24:31.70 ID:0 有史以来ならソクラテスだろうな 近代以後ならダヴィンチかな 12: 名無し募集中。。。:2012/07/03(火) 17:25:45.63 ID:0 どう考えてもニュートン 18: 名無し募集中。。。:2012/07/03(火) 17:27:45.48 ID:P ピタゴラスって古代ギリシアの数学者というイメージしかないけど 古代における最大の魔術師と言われるくらい不思議な人物だったような http://ja.wikipedia.org/wiki/ピタゴラス 19: 忍法帖【Lv=40,xxx

    有史以来で一番の天才と言えば誰になるのかな : 哲学ニュースnwk
  • 1