CNET Japan Blog - ギートステイト制作日誌：「それは間違っている」と言うことはいかにして可能か
2045年の日本を社会学や情報技術といった視点から描き出すプロジェクト「ギートステイト」。批評家の東浩紀氏、エンジニアの鈴木健氏、小説家の桜坂洋氏の3人が「未来」の制作過程をお伝えします（このブログの更新は2007年1月4日で終了しました）。 プロジェクト・ギートステイト、始動します このエントリーは、2006年12月23日の深夜0時(ファッキンXマス！)より2時間、2ちゃんねるの難民板、 http://aa5.2ch.net/test/read.cgi/nanmin/1166886296/ において行なったギートステイト制作日誌最終回企画を... 最終回告知 最終回は、特別企画。東と桜坂が共同で２ちゃんねるにスレを立て、読者のみなさんとギートステイトや2045年の未来社会のあれこれについてお話しし、その要約をCNETに掲載することにしました。時間と場所は、クリ... 起動画面が変えるもの
サンの「Niagara II」、マルチスレッド処理の方向性を一段と明確に - CNET Japan
文：Stephen Shankland（CNET News.com） 翻訳校正：藤原聡美、佐藤卓、小林理子2006年08月24日 22時38分 カリフォルニア州パロアルト発--Sun Microsystemsのエンジニアが米国時間8月22日に語ったところによると、2007年後半にサーバ市場への投入が予定されている同社の次期プロセッサ「Niagara II」は、初代Niagara（正式名称「UltraSPARC T1」）の2倍となる64個の命令シーケンスを同時処理できるようになるという。 初代Niagaraを搭載したUltraSPARC T1サーバは、8個のプロセッシングコアがそれぞれ4つのスレッドを実行し、一度に32のスレッドを同時に処理できる。Niagara IIは、プロセッシングコアの数は同じく8個だが、1つのコアで実行可能なスレッド数が8つに増える。Sunのチップ設計者の1人であるG
ホワット・ア・ワンダフル・ワールド 淵博士の冥福を祈って
Author:あろは (alohakun) WAKATSUKI toshihiro 連絡先 : alohakun ___at___ gmail.com mixi : http://mixi.jp/show_friend.pl?id=182927 twitter : http://twitter.com/alohakun abstract プログラミングという人間の知的行為を体系化し，単なる職人芸ではなく，サイエンスにするための研究をしています． 具体的には，等価変換計算モデルに基づいた，仕様記述からのプログラム合成の研究をしています． もっと噛み砕くと，プログラムの正しさをどのように定式化し，どのような枠組みで，どのように変換を進めていけば，正しさを保証したまま，効率的なプログラムを手に入れることができるのか，ということについて研究しています． キーワード : equivalent tra
Microsoft，ハングアップしたソフトを自動停止する技術を研究中
米Microsoftの研究部門Microsoft Researchは，ハングアップしたソフトウエアを自動的に停止する技術「TERMINATOR」の研究を進めている。同社のRob Knies氏が米国時間8月16日に，Microsoft ResearchのWebサイトで紹介したもの。 TERMINATORは，Microsoft Researchの研究者であるByron Cooks氏を中心とする研究プロジェクト。最終目標は，ハングアップしないソフトウエアを実現するために必要な，自動化手法と各種ツールの開発である。 Cooks氏らは数学的な証明方法を用い，ソフトウエアが設計通りに作動しているかどうかを確認できる自動分析ソフトウエアを開発している。同ソフトウエアの初版「TERMINATOR v0.1」は，ネスト化したループや再帰関数などに対応したソフトウエア自動停止機能を持つという。 「（コンピュー
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
http://www.php.gr.jp/seminar/20060819/prog.html
IBM Developer
Engadget | Technology News & Reviews
http://blog.picsy.org/archives/000368.html
Amazon.co.jp: UNIX4.3BSDの設計と実装: S.J.Leffler (著), 中村明 (翻訳): 本