今日は築地立家先生のお誘いを受けて，東京電機大学で講演をしてきました．講演の内容は「量子テレポーテーション」です．実を言うと私自身は量子情報科学の研究はしていますが，量子テレポーテーション自体の研究を全くしていません．ただ理論が専門ではな…

Steve Seiden, "Theoretical Computer Science Cheat Sheet." 理論計算機科学でよく使う公式＆定義集．研究室の学生さんから教えてもらいました．これは便利かも． こことかここから手に入ります．

あちこちのブログでも話題になっていますが，今年のゲーデル賞は Alexander A. Razborov and Steven Rudich, "Natural Proofs," J. Comput. Syst. Sci. 55(1): 24-35 (1997) に贈られることに決まったそうです．私自身の内容についての知識は，計算量理論で…

富士通研の下山武司さんの講演があるということで茨城大の黒澤馨先生に声を掛けて頂いたので茨城大ひたちキャンパスまで聴講しに行ってきました．お話の内容は大きく分けて (1) 数体篩法の概要，(2) 素因数分解専用ハードウェアの設計，の二つです．素因数分…