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 gow, and Nobuko Yoshida, Imperial. TypeScript: The Next Generation funded by a Microsoft Research PhD Scholar
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 fematical 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 講演内容： 『国債の需給動向と長期金利の行方』 申し込み方法：リンクを参照してください 主催：ＣＭＣマーケッツ セミナー内容： ・大量に発行される国債の消化は可能なのか ・財政悪化による日本国債売りは儲からない? ・長期金利の低位安定は続くのか ・
第参回のテーマ「Code is Love」に込められた思いとは？ 日本のコンピュータ業界は、どこから来て、どこへ行くのか？ 清水亮が古川享（慶應義塾大学教授）、遠藤諭（アスキー総合研究所所長）を迎え、熱く語る！ 清水 ： ありがとうございます。今日は、天下一カウボーイ大会では恒例になりつつある鼎談にお付き合いいただきます。 古川 ： ちょっと恥ずかしくて聞けなかったんだけど、「天下一」って、あのラーメン屋の「天下一」からきているわけではない？ 遠藤 ： アスキーのあった青山の骨董通りに「天下一」っていうラーメン屋があったんですよ。 古川 ： なつかしい。僕らがそれこそソフトウェアビジネスを立ち上げたアスキーラボラトリーズから一番近いところが「天下一」で、プログラマー時代にはそこで三食食べていたんですよ。 清水 ： そうなんですか！縁起のいい名前でよかった。今回のテーマは「Code is
「カリー／ハワード（Curry-Howard）のお絵描きを楽しもう」にて： シリーズ3回全体を総括しなきゃ、とか思っている間に4月になってしまいました。「次はどうしようか？」とかもいずれ書くつもりです セミナー前後の事務的処理がどうも苦手で、けっこうそれが負担で苦痛だったりするんですが、、、、4月もやります！ なんとなく、そこはかとなく予告していたようにモナドシリーズの第1回。全体はたぶん3回。モナド以外のネタも考えたのですが、次の事情でやっぱりモナドにしました； ラムダ計算シリーズでは、背後にデカルト閉圏があることに言及はしましたが、それが何であるかはまったく説明できませんでした。僕も少しは心残りなんですが、僕より参加者の皆さんのほうがフラストレーションをつのらせたみたいです(苦笑)。アンケートにも「圏論をちゃんと取り上げて欲しい」という意見がありました（僕は意外に感じましたが）。 とい
16:40 09/01/28 インドコンテスト おとといのを読み返してて、 全体として並列並行系多いなーといっておきながら、 個別紹介に１個もそれ系のがなくて面白いなあと思いました。 と、それはともかく、今年もインド発プログラミングコンテストのお知らせが来てました。 ICPCやematiKa、 あと今年はなんだか縛り付きプログラミング（ゴルフとか）系の Time Limit Exceeded というのがあるらしい。毎年恒例行事にするつもりなのかな。 去年のはわりと面白かったので、今年も参加してみるつもり。 23:10 09/01/26 POPL 2009 行ってきました。MS Research 多いなーというのと、 まあ当たり前ですが並列並行系多いなーというのが全体的な感想。 以下印象に
AI Blog (2023) Search: @SchmidhuberAI What's new? (2021) KAUST (24 papers at NeurIPS 2022) and its environment are now offering enAI research: we are hiring outstanding professors, postdocs, and PhD students. (ERC Grant: Many jEarlier j
９，１０日と今後の開発計画について議論を行った（非常に中身の濃い議論だった)。高速化等の改善のためには、まず現在のプログラムについて徹底した調査が必要になる。どのような問題を入力したときに、どの部分がボトルネックになるのかについても、いろいろな方法で直接的、間接的に知ることができる。今までのアルゴリズム開発というのは、計算量(
(ちょっとだけ追記しました。その他1/25のあたりも見てみてください。) "Can programming be reinvented?"というタイトルでの発表。東工大と東大で似たような発表をしたのだが、ストーリーラインが比較的新しいため、先にやった東工大での発表には反省点がいろいろあり、それが東大での発表に生かされた形になったのは否めない、かもしれない。以下は、かなり再現性の低いメモ。詳細はさらに聞いてください。「私」はもちろんAlan Kayを指します。 近所の人から、「なんで新しいコンピュータのほうがWindowsの起動やMS Wordの起動が遅いの?」、「大きいディスクがついているはずなのに、なぜ使える容量が少なくなるの?」、「アップデートをしたら、何で再起動しなくてはいけないの？」という質問をされる。なかなか良い質問である。 私自身も、コンピュータに関する疑問がある。「なぜ、コン
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
