Dennis Ritchie Home Page
Dennis M. Ritchie Location Dennis Ritchie Bell Labs, Rm 2C-517 600 Mountain Ave. Murray Hill, New Jersey 07974-0636, USA dmr@bell-labs.com +1 908-582-3770 (office), +1 908-582-5857 (fax) History For many years, I worked in the Computing Sciences Research Center of Bell Labs. On October 2005, a reorganization redistributed this group, and I'm now with the center called by the slightly ungainly name
Geometric Algebra for Computer Science の 2章あたりまでのまとめ - DOSEIの日記
要するに、 GA (geometric algebra) っていうのは、非退化のクリフォード代数、つまりグレード付きベクトル空間の幾何学的解釈といえる。らしい。まぁ、難しいことはいいんだけど、普通の GA の本は、難しいところからスタートするので難しいんだな (トートロジー)。一応書いておくと、この代数での積、 geometric product (= Clifford product) が本質的で、普通の幾何で使われるドット積（内積）やクロス積 (いわゆる外積) はこの積で表せちゃうぜへへん、というところまで見通せるのが、第一部 (〜8章) の目的である。 この本の最初の対象は、部分空間の幾何学である。つまり、ベクトル空間の部分空間を幾何学的対象ととらえる、そんな制限された幾何学だけを考える。というのはつまり、原点を通過する線とか面とかしか出てこない (ほかにないだろうと思う人もいるだろ
OBB vs AABB - Radium Software Development
iPhoneの一般修理店は予約なしでも来店できる？ 基本的には飛び込みで修理に行ってもOK iPhoneを置いていたソファにうっかりと腰かけてしまい、パネルを割ってしまった、こんな時はスマホの一般修理店へ行きましょう。画面割れは、スマホやタブレットの故障原因として非常に多いものです。予約なしで突然お店に行っても平気かしらと、不安に思う方々もいらっしゃるかもしれません。結論としては特に問題はなく、予約なしで訪問しても画面割れの修理はお願いできます。 ただし他のサービス業のお店同様、予約なしの場合、お店が混雑していると順番待ちをしなければいけないです。特に繁盛しているスマホ修理のお店だと、行列が店内で出来ており、予約なしだと、自分の順番が巡ってくるまで長時間待たされる可能性があります。平日の朝、昼なら利用客が少ない場合が多く、飛び込みでも比較スムーズに修理が頼めます。 予約は入れた方が時短に、
Jonathan Richard Shewchuk
Office 529 Soda Hall Computer Science Division University of California at Berkeley Berkeley, California 94720-1776 (510) 642-3936 [(510) NICE ZEN] Office hours (510 or 529 Soda Hall) Mondays, 5:10-6:00 pm Fridays, 5:10-6:00 pm and by appointment. Outside of office hours or lectures, your best shot at contacting me is to try my office between 3 pm and midnight on Monday, Wednesday, or Friday, in p
バイオ系雑誌に載った計算機科学の解説記事 Loud Minority
以下を参照．パーミッションエラーが起きるけど，無視して進んでOK．パーミッションを正しく(?)設定していると，brew linkをしてくださいと言われるので，従う． http://www.thisisthegreenroom.com/2011/installing-python-numpy-scipy-matplotlib-and-ipython-on-lion/ Homebrewのインストール /usr/bin/ruby -e "$(curl -fsSL https://raw.github.com/gist/323731)" Pathの設定： export PATH=/usr/local/bin:$PATH Pythonのインストール brew install git brew install readline sqlite gdbm pkg-config brew install p
)
佐藤雅彦 (理論計算機科学者) - Wikipedia
佐藤 雅彦（さとう まさひこ、1947年 - ）は、日本の理論計算機科学者。京都大学名誉教授。数理論理学に基づくプログラム理論、定理証明・構成的プログラミング環境の計算機上での実現を研究テーマとしている。 兵庫県神戸市生まれ。神戸市立摩耶小学校、灘中学校・高等学校卒業（厚生労働事務次官を務めた辻哲夫は小学校からの同級生、地震学者の都司嘉宣は中学校の同級生）[1]。1971年東京大学理学部数学科卒業（東大紛争の影響で6月に卒業）。1973年東京大学大学院理学系研究科数学専攻修士課程修了。1974年京都大学大学院理学研究科博士課程単位取得退学。1977年京都大学より理学博士の学位を取得[2]。京都大学数理解析研究所助手、東京大学教養学部数学教室助教授、東京大学理学部情報科学科助教授、東北大学電気通信研究所教授、京都大学大学院工学研究科教授、京都大学大学院情報学研究科教授[2]。2012年定年退
マイクロソフトリサーチ - Wikipedia
マイクロソフトリサーチ（Microsoft Research、MSR）は、計算機科学に関するさまざまな研究を行う機関。リチャード・ラシッド博士がマイクロソフトに入社する条件として、同研究所の設立と、その独立性を約束させ、1991年9月に設立された。 名称からもわかるようにマイクロソフトの関連機関ではあるが、完全に独立した研究機関であり、そこで行われる研究内容については、たとえマイクロソフト本社の首脳陣であっても一切の口出しは出来ないことになっている。 世界でも最も有力な研究機関の一つである。現在、チューリング賞受賞者のアントニー・ホーア、フィールズ賞受賞者のマイケル・フリードマン、ウルフ賞受賞者のラースロー・ロヴァース、マッカーサー・フェローに選定されたジム・ブリン、ダイクストラ賞（英語版）受賞者のレスリー・ランポートらをはじめ、著名な物理学・計算機科学・数学の専門家たちが数多く参加してい
データ駆動 - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "データ駆動" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2023年1月） データ駆動（データくどう）または データドリブン（data driven）は計算機科学における計算モデル（抽象的な計算の方法）のひとつである。データ駆動においては、ひとつの計算によって生成されるデータがつぎの計算を起動し、つぎつぎに一連の計算が実行される。データ駆動は人工知能における前向き推論に近い。なお、データ駆動の対義語は要求駆動である。 関連項目[編集] データ駆動プログラミング（英語版） データドリブン・テスト（英語版） データサイエンス 要求駆動 ビッ
世界最速スパコンより 1000 倍速い分子コンピュータ | スラド サイエンス
この手の研究は，波束エンジニアリング等と呼ばれる最近ちょっと流行の面白い研究です． 簡単な概念を述べますと， まず，超短パルスレーザーで分子の振動状態を励起します．まあここでは単純にヨウ素分子だとか水素分子だとかのような二原子分子を考えましょう．通常の励起では，吸収される波長と同じエネルギー差のところのみが励起されるわけですが，パルス幅（光のパルスの持続時間）が十分短い場合単一の波長というものがきちんと定義できず（例えばデルタ関数の場合，フーリエ変換すると全波長の重ね合わせであるように，短パルスにすると言うことは様々な波長成分を持たせることに相当），様々な振動準位が同時に励起されます．つまり，一発のパルスで複数準位の重ね合わせが励起されます． このとき，様々な振動の重ね合わせが「波束」と呼ばれる一種の集合体であるかのように振る舞います．海で様々な波長の波が重なって，一つの大きな波（のように
ラムダ計算基礎文法最速マスター - 貳佰伍拾陸夜日記
ラムダ計算は, 多くのプログラミング言語, とくに関数型言語の原形になっています. ラムダ計算について理解しておくことは, 多くのプログラミング言語の習得に役立つでしょう. ラムダ計算はチューリング完全で, 計算能力としてはふつうのプログラミング言語と同じです. ラムダ計算で計算を書く訓練をしておくことは, 任意の計算を関数のみを使って(他の制御構文を用いずに)書くときに役立ちます. ふつうに書いたら煩雑な処理を, 関数型言語のやり方で書くとすっきりすることが多々あり, コードを自由自在に書くためには必須の考え方と言えるでしょう. 項 ラムダ計算の式を項(term)と言います. 項は変数, 抽象, 適用のいずれかです. 変数 変数(variable)はふつう1文字で書きます. 変数には関数内の束縛変数(bound variable)か自由変数(free variable)かという区別があり
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Gilbert Strang's Homepage
Home Page of Michael Shamos
Lecture Notes | Computational Geometry | Mechanical Engineering | MIT OpenCourseWare
Home-Page: Gary L Miller
Jessica Hamrick
Photo Tourism: Microsoft Research, Interactive Visual Media Group
MIT OpenCourseWare | Electrical Engineering and Computer Science | 6.042J Mathematics for Computer Science, Spring 2005 | Home