20:52 09/07/30 こんすとぽ 確か cppll でかなり昔に見た記憶があるんですが、C++ のこれ int I = 42; const int CI = I; // OK! int* pI = &I; const int* pCI = pI; // OK! int** ppI = &pI; const int** ppCI = ppI; // コンパイルエラー! int** から const int** への変換はできません! は何故こういう仕様になっているのでしょうか?というのは面白いクイズだなーと。 「2番目が安全なのと同じで、3番目も型的には安全では?」と一瞬思ってしまうのですが、 そんなことはなく、このキャストを許すと const なはずのものを書き換えられてしまいます。 具体的にどうやるかは読者の皆様への宿題です(←偉そう)。 知った当時はよく仕様考えてあるなーすげー
D. J. Bernstein Mathematics and computer science Computer hardware: chip speed, buying computers, etc. Data structures and program structures: cdb, etc. UNIX: daemontools, portability notes, security-holes course, etc. Time: clockspeed, etc. High-speed cryptography Fast arithmetic: djbfft, multapps survey, mult benchmarks, coprimes, etc. Discrete logarithms Error-correcting codes: McEliece cryptos
λ. “Referential transparency, definiteness and unfoldability” by Harald Søndergaard and Peter Sestoft Chatonのhaskell-jpルームで2009-07-03と2009-07-04にあった、参照透明性と副作用の定義に関わる話で出てきた論文。積読論文の中にあったので読んでみた。 参照透明性(referential transparency)はQuineによって考えられた概念で、LandinとStracheyによってプログラミング言語の性質として使われるようになった。が、その定義・使われ方は変化しており、それらは同値ではないという話。 それらを、この論文での呼び方で呼ぶと以下のような感じ。 確定性 (definiteness) 変数がそのスコープの中で単一の値を持つこと。xを変数とすると
抽象的なことしか書きません. 詳しいことはACMに$10払うかフルヴァージョンを待つかしましょう. Gentryの論文は格子の説明が無く初学者に厳しいので, その部分を補うためのノートに使ってください. ただし線形代数と多項式環の知識は仮定します. (といっても学部で習う基本しか使いません.) 暗号方式が3つ出てきますが, 最初の1つだけ気持ちを伝えます. fを整数係数モニックなn次多項式として環R=Z[x]/f(x)を考えてください. 和と積はZ[x]上で計算してf(x)で剰余を取れば良いです. 更にこの環のイデアルIを1つ持ってきます. 面倒だったらI=(2)とか考えといてください. RとIが共通パラメータです. 公開鍵はIと互素なイデアルJの歪んだ基底Hです. 秘密鍵はこのJの綺麗な基底Bです. 暗号文はコセット m + I の要素 m + i を考えて, c = m + i mod
Brewer’s Conjecture and the Feasibility of Consistent, Available, Partition-Tolerant Web Services Seth Gilbert∗ Nancy Lynch∗ Abstract When designing distributed web services, there are three properties that are commonly desired: consistency, avail- ability, and partition tolerance. It is impossible to achieve all three. In this note, we prove this conjecture in the asyn- chronous network model, a
UNIVERSITY OF CALIFORNIA, IRVINE Architectural Styles and the Design of Network-based Software Architectures DISSERTATION submitted in partial satisfaction of the requirements for the degree of DOCTOR OF PHILOSOPHY in Information and Computer Science by Roy Thomas Fielding 2000 Dissertation Committee: Professor Richard N. Taylor, Chair Professor Mark S. Ackerman Professor David S. Rosenblum
はじめに 巨大な対象の全貌を見通すには、対象から距離を取らなければならない。21世紀になってからの7年という期間は、20世紀という巨大な対象の全貌が姿を現すのに十分な時間であったかどうかは分からないが、20世紀にはどのような著作が出版されたのかを纏めてみようと私が思い立ったのは、著作の被引用数、すなわち任意の著作が他の著作にどれだけ引用されているかが、Google Scholarを用いて調べられることが分かったからである。この小論の目的は、被引用数という指標を用いて、20世紀の文系学術書のランキングを作ることである。以下には、「文系学術書」という限定が必要であった理由を記そう。 ある著作の被引用数という指標は、その著作が学術の世界でどれだけ影響力があったかを客観的に知る手がかりになる。被引用数という指標は、引用し、引用される著作のネットワークの中で、任意の著作がどのようなポジションにいる
Flash Based Database Systems 2009-04-16 (Thu) 8:41 SSD Flash/SSD上のDatabase Systemsについての論文リストが有ったので、気になるものを読みました。2007, 2008年でどかっと来てますねえ。 http://www.cse.ust.hk/~yinanli/readinglist.html SSDのデバイス特性は語られる事がまだ少ないので、そのうちまとめてみようと思います。嬉しい事ばっかりじゃ無いんだよ、という事です。 特にSmall Writeが苦手だというのは知っておかないと、実際に使う上で危険な気がします (ログとか)。 Similar Posts: 上流工程? What Every Programmer Should Know About Memory FFTによる多倍長乗算 Older: WordPres
id:nuhsnuh さん経由。知っている人は知っている話でしょうが。 ASLで編集され、Springerから出版されていた ”Perspective in logics"シリーズが、なんと Project Euclid で無料公開されていました。ページはこちら。内訳は Computability in Analysis and Physics; Marian B. Pour-El, J. Ian Richards (1989) Higher Recursion Theory; Gerald E. Sacks (1990) Metamathematics of First-Order Arithmetic; Petr Hájek, Pavel Pudlák (1998) Essential Stability Theory; Steven Buechler (1996) Proper an
In many cases, websites would like to authenticate their users with something in addition to (or instead of) a password. This can be done as a method to prevent phishing, but also to reduce the chance of someone manually hacking into a user's account. However the usability of some approaches in this area are poor. This document attempts to describe how usability and portability can be improved
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く