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
コンピューティングの10年 - .mjtの日記復帰計画
10年前というと、Network Computer(NC)がちょうど終わった辺り。その10年後である今は結局NCの思想に向かっている。 コンピュータ、コンピューティングの進歩にはスケールメリットという明確な方向性がある。過去に、コンピュータがより高価になったことは無い。 一方で、スケールはある種の飽和を迎えていることにも注意する必要がある。 過去10年で終わったもの 汎用プロセサ 汎用プロセサはもう進歩できない。半導体技術や他の技術革新でプロセッシングパワーは進歩すると考えられるが、そのエネルギーはより特殊なアーキテクチャに振り分けられるだろう。 しかし、低消費電力とか、集積度の面ではまだまだ進歩の余地がある領域が多い。今、フルセットのLinuxが動作する機器は5000円程度だが、直ぐに1000円程度になるだろう。ただ、Mattelのjuicebox(これはuClinuxが動作し、今でも$
E.W.Dijkstra Archive: Home page
Edsger Wybe Dijkstra was one of the most influential members of computing science’s founding generation. Among the domains in which his scientific contributions are fundamental are algorithm design programming languages program design operating systems distributed processing formal specification and verification design of mathematical arguments In addition, Dijkstra was intensely interested in tea
外国株ひろば: 巨額利益生む0.03秒 ゴールドマン
『ＣＦＤ取引の基礎』 開催日： ２０１０年１月１８日（月曜日） 時間： 夜７時半から９時 場所：ウェブセミナーですからご自宅のパソコンから参加できます 費用： 無料 参加資格： 楽天証券に口座を開設する必要があります 申し込み方法： リンクを参照してください 主催： 楽天証券 講師： 広瀬隆雄 『国債の需給と長期金利』 開催日： 1月23日（土） 時間： 13：00スタート 場所： 三菱ビル １F（コンファレンススクエア エムプラス） 住所： 〒100-0005東京都千代田区丸の内2-5-2 三菱ビル1Ｆ ℡：03-3282-7777 講演内容： 『国債の需給動向と長期金利の行方』 申し込み方法：リンクを参照してください 主催：ＣＭＣマーケッツ セミナー内容： ・大量に発行される国債の消化は可能なのか ・財政悪化による日本国債売りは儲からない? ・長期金利の低位安定は続くのか ・
第参回天下一カウボーイ大会対談 古川享 x 遠藤諭 x 清水亮:その1
第参回のテーマ「Code is Love」に込められた思いとは？ 日本のコンピュータ業界は、どこから来て、どこへ行くのか？ 清水亮が古川享（慶應義塾大学教授）、遠藤諭（アスキー総合研究所所長）を迎え、熱く語る！ 清水 ： ありがとうございます。今日は、天下一カウボーイ大会では恒例になりつつある鼎談にお付き合いいただきます。 古川 ： ちょっと恥ずかしくて聞けなかったんだけど、「天下一」って、あのラーメン屋の「天下一」からきているわけではない？ 遠藤 ： アスキーのあった青山の骨董通りに「天下一」っていうラーメン屋があったんですよ。 古川 ： なつかしい。僕らがそれこそソフトウェアビジネスを立ち上げたアスキーラボラトリーズから一番近いところが「天下一」で、プログラマー時代にはそこで三食食べていたんですよ。 清水 ： そうなんですか！縁起のいい名前でよかった。今回のテーマは「Code is
予告：セミナー「モナド」シリーズを開始します - 檜山正幸のキマイラ飼育記 (はてなBlog)
「カリー／ハワード（Curry-Howard）のお絵描きを楽しもう」にて： シリーズ3回全体を総括しなきゃ、とか思っている間に4月になってしまいました。「次はどうしようか？」とかもいずれ書くつもりです セミナー前後の事務的処理がどうも苦手で、けっこうそれが負担で苦痛だったりするんですが、、、、4月もやります！ なんとなく、そこはかとなく予告していたようにモナドシリーズの第1回。全体はたぶん3回。モナド以外のネタも考えたのですが、次の事情でやっぱりモナドにしました； ラムダ計算シリーズでは、背後にデカルト閉圏があることに言及はしましたが、それが何であるかはまったく説明できませんでした。僕も少しは心残りなんですが、僕より参加者の皆さんのほうがフラストレーションをつのらせたみたいです(苦笑)。アンケートにも「圏論をちゃんと取り上げて欲しい」という意見がありました（僕は意外に感じましたが）。 とい
論文ファイブ - d.y.d.
16:40 09/01/28 インドコンテスト おとといのを読み返してて、 全体として並列並行系多いなーといっておきながら、 個別紹介に１個もそれ系のがなくて面白いなあと思いました。 と、それはともかく、今年もインド発プログラミングコンテストのお知らせが来てました。 ICPCやTopCoder系の問題の出る CodeCraft、 Project Euler系の問題の出る MathematiKa、 あと今年はなんだか縛り付きプログラミング（ゴルフとか）系の Time Limit Exceeded というのがあるらしい。毎年恒例行事にするつもりなのかな。 去年のはわりと面白かったので、今年も参加してみるつもり。 23:10 09/01/26 POPL 2009 行ってきました。MS Research 多いなーというのと、 まあ当たり前ですが並列並行系多いなーというのが全体的な感想。 以下印象に
トポロジーの計算機科学への応用
21 世 紀 にな っ て , ( 代 数 的 ) トポロジ ー の 様 々 な 分 野 への 応 用 が 発 見 されてきたよう で , 面 白 い 。 計 算 機 科 学 の 理論 的 な 面 では , 並 列 処 理 の 理論 への 応 用 がある 。 モデル 圏 の 構 造 が 発 見 されているので , ホモトピ ー 論 ( 代 数 的 トポロジ ー ) の 研究 対 象 と 考 えてよいだろう 。 実 際 , 並 列 処 理 の 理論 などに 現 れる 構 造 を 一 般 化 したものを 研究 する 分 野 として directed algebraic topology という 名 前 を 提 唱 している 人 もいる 。 Survey として , Grandis の [ Gra07 ] がある 。 それによると , 並 列 処 理 の 理論 以 外 に , rewriting
Juergen Schmidhuber's home page - Universal Artificial Intelligence - AI - Deep Learning - Recurrent Neural Networks - Computer Vision - Object Detection - Image segmentation - GANs - Transformers with linearized self-attention - Goedel Machine - Theory o
AI Blog (2023) Search: @SchmidhuberAI What's new? (2021) KAUST (24 papers at NeurIPS 2022) and its environment are now offering enormous resources to advance both fundamental and applied AI research: we are hiring outstanding professors, postdocs, and PhD students. (ERC Grant: Many jobs for PhD students and PostDocs to be hired in 2020. Earlier jobs: 2017, 2016) FAQ in AMA (Ask Me Anything) on red
今後の開発について その１ - 最適化問題に対する超高速＆安定計算
９，１０日と今後の開発計画について議論を行った（非常に中身の濃い議論だった)。高速化等の改善のためには、まず現在のプログラムについて徹底した調査が必要になる。どのような問題を入力したときに、どの部分がボトルネックになるのかについても、いろいろな方法で直接的、間接的に知ることができる。今までのアルゴリズム開発というのは、計算量(CPU 上での演算量に近い)と記憶容量に重点を置いてきていたので、CPU とメモリ間のデータの移動量については考慮されることは少なかった。また、データを参照する範囲、局所性のような概念も取り入れる必要がある。 例えば現在、開発を行いながら同時に公開も行っている最短路問題に対するダイクストラ法を実装したプログラムでは、最小ポテンシャルの点を高速に見つけるために、ヒープやバケットを利用している。ヒープは最小点を見つけるのは大変高速だが、データの更新に非常にデータ参照と書き
東大での講演 - squeakerのブログ
(ちょっとだけ追記しました。その他1/25のあたりも見てみてください。) "Can programming be reinvented?"というタイトルでの発表。東工大と東大で似たような発表をしたのだが、ストーリーラインが比較的新しいため、先にやった東工大での発表には反省点がいろいろあり、それが東大での発表に生かされた形になったのは否めない、かもしれない。以下は、かなり再現性の低いメモ。詳細はさらに聞いてください。「私」はもちろんAlan Kayを指します。 近所の人から、「なんで新しいコンピュータのほうがWindowsの起動やMS Wordの起動が遅いの?」、「大きいディスクがついているはずなのに、なぜ使える容量が少なくなるの?」、「アップデートをしたら、何で再起動しなくてはいけないの？」という質問をされる。なかなか良い質問である。 私自身も、コンピュータに関する疑問がある。「なぜ、コン
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
【大河原克行の「パソコン業界、東奔西走」】 東京理科大学近代科学資料館が「TK-80」のシンポジウムを開催 ～34年前に1台の8bitマイコンキットがもたらしたもの
IBM Newsroom
https://dl.acm.org/toc.cfm?id=SERIES11430&type=series&coll=ACM&dl=ACM
gOS - Discover a good OS.