もしあなたの自宅にスパコン（スーパーコンピューター）があったら やってみたいことを答えてください。
もしあなたの自宅にスパコン（スーパーコンピューター）があったら やってみたいことを答えてください。
[結] 2006年10月 - 結城浩の日記 - ルソー展と陣取りゲーム・クイズ
目次 2006年10月31日 - Tropy一周年 / 仕事 / 2006年10月30日 - 仕事 / 2006年10月29日 - 礼拝 / トドちゃん / 2006年10月28日 - lingr.com実験中 / 2006年10月27日 - 仕事 / 2006年10月26日 - 仕事 / 疑似乱数列を生成する計算方法の妥当性を調べるのにチューリングテスト的方法は使えるか / 2006年10月25日 - 仕事 / 仕事 / 仕事 / アナザ・タボウ / 2006年10月23日 - 多忙 / 2006年10月20日 - 仕事 / 2006年10月19日 - 仕事 / 仕事 / 『新版Perl言語プログラミングレッスン入門編』 / 2006年10月18日 - 仕事 / 仕事 / 仕事 / 2006年10月17日 - 仕事 / 2006年10月16日 - トドちゃん到着 / 今日の魔法の言葉 /
ノートパソコンのワイド液晶について質問です。…
ノートパソコンのワイド液晶について質問です。 今14.1インチのXGAのノートを使っています。これの後継機で同じく14.1インチのWXGAのものが出ているのですが、縦幅が狭くなるのはどうしてもいやなんですが、実際どうなんでしょうか？ インチ数って対角線の長さなわけなので、単純にワイド化すると縦幅が狭くなるような気がするのですが、この解釈であってますでしょうか？それとも、縦幅は変わらないで、単純に横幅だけが広がった、と考えればいいのでしょうか？ できればどちらも使っていた方、実際の使用感なども教えて頂ければと思っています。
PHYS771 Quantum Computing Since Democritus
PHYS771 Quantum Computing Since Democritus University of Waterloo, Fall 2006 Tuesdays and Thursdays, 1:00-2:30pm BFG Building, 2nd floor seminar room (BFG2125) Instructor: Scott Aaronson 3141 Davis Centre Email: scott at scottaaronson dot com Office hours: After class or by appointment Description: This course tries to connect quantum computing to the wider intellectual world. We'll start out with
URR = Universal Representation of Real numbers : 404 Blog Not Found
2006年07月31日16:15 カテゴリMath URR = Universal Representation of Real numbers Matzさん経由。あ、あったまいーっ。 Matzにっき(2006-07-26) 浮動小数点表現といえばIEEE754と言われるようになって久しいわけだが、 これが最良であるというわけではない。 というわけで、日本発の浮動小数点表現URRの紹介。 万能数値表現法 ＵＲＲ その優れた数値表現法は、日立中央研究所の主任研究員だった浜田穂積氏によ って提案されました。その算術的特徴から、万能数値表現法（URR: Universal Representation of Real numbers）と呼ばれています。数学界で著名な一松信教 授も天才的と評したという逸話も残るこの数値表現法は、「実数をある規則で次 々に 2 分し続けることですべての実数を表現する
ゲーデルと20世紀の論理学【全4巻】：シリーズ・講座：東京大学出版会
ゲーデルと20世紀の 論理学 （ ロジック ） ［全4巻］ 第1巻 ゲーデルの20世紀 ［執筆者］田中一之／田中尚夫／鈴木登志雄／飯田隆／竹内外史／八杉満利子 19世紀中葉まで時代の動きに取り残され，中世スコラ学の形骸と化していた論理学は，ブール，フレーゲら数学者たちの突然の参入によって，見事な復興をとげた．そして20世紀．ゲーデルを筆頭に，個性豊かで才気煥発な数学者や哲学者たちがつぎつぎと壇上に現れた．彼らはしのぎを削って優れた技法を開発し，ドグマをぶつけ合って思考を深化させ，高度な学問領域としての「ロジック」を形成していった．本巻では，日本を代表するロジシャンたちが，自らの体験を踏まえ，20世紀のロジックの生きた姿を語る． 第2巻 完全性定理とモデル理論 ［執筆者］田中一之／坪井明人／野本和幸 ゲーデルが最初に証明した重要定理は，１階述語論理の完全性である．この定理は，
スーパーコンピュータコンテスト 2006 ホームページ
優勝チームimo(甲陽学院) ■SuperConの歴史 SuperConは、1995年より始まり、今年で第12回目を迎えます。東工大にクレイ社のスーパーコンピュータが導入されたのを契機に始まりました。パソコン好き、プログラミング大好きな高校生諸君に、スパコンにふれ、楽しんでもらおうという趣旨でした。それも皆さんに燃えてもらうために、コンテストという形式にしたのです。おかげさまで現在では、SuperCon（スーパーコン）※という名称も、好きな人たちの間では、かなり広まっており、夏の電脳甲子園とも言われています。 ※いつの頃からか、SuperCon という略称が使われるようになりましたが、これはスーパーコンピュータのスパコンではなく、スーパーなコンテストという意味です。 そして、第11回大会からは今までの「スーパーコンピューターコンテスト」から 「スーパーコンピューティング・コンテスト」に名称
関係性の未来
2004年9月、日本の研究グループが三者間の量子テレポーテーションに成功したというニュースが世界中を駆け巡った。この成果は量子コンピュータの実現に向けた着実な一歩になるという。現在、世界中で行われている量子コンピュータ実現に向けた多数の研究活動の中で、今回の成果はどのような意味を持つのだろうか。研究チームの東京大学大学院古澤明助教授にお話を伺った。 東京大学大学院 工学系研究科 助教授 工学博士 古 澤 明（ふるさわ あきら）さん 1961年、埼玉県大宮市（現さいたま市）生まれ。 84年東京大学工学部物理工学科卒。86年に同大学院修士課程を修了し、日本光学工業（現ニコン）入社。98年カリフォルニア工科大学において、最も基本的な量子エンタングルメント制御プロトコルである決定論的量子テレポーテーション実験に世界で初めて成功。 この実験結果は1998年にScience誌の10大成果に選出された。
レナ - Wikipedia
レナ、レーナは、女性の人名、地名。 Lena レナ (画像データ) - 標準テスト・イメージとして使用される画像（LennaまたはLena）。 レナ・ソーダバーグ - 画像のモデルとなったスウェーデン出身のプレイメイト。 レナ川 - バイカル湖付近から北極海へと流れている河川。 レナ (小惑星) - メインベルトに存在する小惑星（789 Lena）。発見者の母の名、エレナにちなんで命名された。 レナ (カクテル) - ショートドリンクに分類されるカクテルの一種。日本で初めて行われた国際カクテル・コンペティションの優勝作品。 レナ - ブルキナファソの上流域地方のフエ県のレナ郡の郡都。 レナ・マイヤー＝ラントルート - ドイツの女優、歌手。 レーナ・マリア - スウェーデン出身のゴスペルシンガー。 Leena レーナ (女優) - アメリカ合衆国のポルノ女優。別名義はレーナ・ラ・ビアンカ (
Software Security Notes --- ソフトウェアプロテクションに関するメモ
2004.11.8 ソフトウェアプロテクションのサーベイ論文 この分野のサーベイとして，古くは1989年のGroverの著書[1]， 1993年のCohenの論文[2]があり， 近年ではCollbergとThomborson[3]，Mainら[4]，van Oorschot[5]， NaumovichとMemon[6]，石間ら[7]の文献がある． [1] D. Grover (ed),"The protection of computer software - its tech-nology and applications," The British Computer Society Mono-graphs in Informatics, Cambridge University Press, 1989 (Second Edition 1992). [2] F. Cohen, "Oper
The Pairing-Based Crypto Lounge
Welcome! I International Workshop on Pairings in Cryptography PiC'2005 12-15 June 2005, Dublin, Ireland CALL FOR PARTICIPATION Category Author(s) Ref. Key issuing Lee, Boyd, Dawson, Kim, Yang, Yoo [LBDKYY04] Signatures (plain, blind, proxy, ring, undeniable, ...) Ateniese, Medeiros Cha, Cheon Chen, Zhang, Kim Chow, Hui, Yiu, Chow Chow, Hui, Yiu, Chow Herranz, Sáez Heß Hu, Wu
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Whose Thesis is it Anyway?
ECCC Report TR06-131 - Konstantin Pervyshev "On Heuristic Time Hierarchies"
Math & CS Library (HUJI): LNCS
非決定性有限オートマトン (NFA)から決定性有限オートマトン (DFA) への変換について教えてください。…
http://people.csail.mit.edu/madhu/
エディテック［EdiTech］: ジーニアス和英辞典のIT用語【あ】
in theory: P, NP, and Mathematics
in theory
Cryptology ePrint Archive 2005/258 - N. Attrapadung, Y. Cui, G. Hanaoka, H. Imai, K. Matsuura, P. Yang, R. Zhang "Relations Among Notions of Security for Identity Based Encryption Schemes"