完全準同型暗号 - sumiiのブログ
まだ現実的ではないようですが、「データを暗号化したままで一般的な計算（ブール代数上の乗算と加算）をする方法」がいつの間にか解かれていたそうです。（私の情報入手が遅い？） http://doi.acm.org/10.1145/1536414.1536440 We propose a fully homomorphic encryption scheme -- i.e., a scheme that allows one to evaluate circuits over encrypted data without being able to decrypt. (via http://techtarget.itmedia.co.jp/tt/news/0907/27/news03.html and http://www.mail-archive.com/cryptography@metzdow
思いて学ばざれば則ち殆うし - sumiiのブログ
あるところに同じようなことを（ほとんど成り行きで）書いたのですが、重要な問題のような気がしてきたので、こっちにも書いてみる。 一般に、関数型言語やプログラミング言語（および計算機科学、ないし任意の専門）についての情報は、 一般書・一般誌、Webやメーリングリストやブログ 教科書・専門書 論文 口頭での議論（学会発表や質疑応答、グループのミーティング、部屋での会話） などで交換されます。 で、一般に情報の「ディープさ」は上から下へ行くほど濃くなると思うのです（少なくとも僕の専門分野ではそう）。そのごく一部である1.だけ（しかも日本語onlyで）「勉強」していろいろと議論するのは、（何もしないよりは良いのかもしれませんが）非常に危険です。その危険をちゃんと意識していればno problemですが。「高速道路」の話と同じことかも。 たとえば、日本のネット(?)では今になって妙に持ち上げられている
sumiiのブログ
（Twitterから参照するためのメモです） まずそもそも「関数」は「同じ形の計算を何度も書かないための仕組み」であることを十分に理解する（させる）。その上で、 sum(0) = 0 sum(1) = 0+1 sum(2) = 0+1+2 sum(3) = 0+1+2+3 sum(4) = 0+1+2+3+4 ...も「同じ計算を何度も書いている」から、 sum(0) = 0 sum(1) = sum(0)+1 sum(2) = sum(1)+2 sum(3) = sum(2)+3 sum(4) = sum(3)+4 ...と書き換える。これを一般化すると sum(0) = 0 sum(n) = sum(n-1)+n （n>0の場合）つまり sum(n) = if n=0 then 0 else sum(n-1)+nとなる 追記：n<0の場合は気にするな。 （高校で習うはずの）数学的帰納法
学者も宣伝するのです - sumiiのブログ
勉強じゃなくて宣伝のほうは、と考えたのですが、たとえばUNIX MagazineやSoftware Designみたいな「一般むけ」の雑誌に、「OCamlへのイントロダクション」とか「『普通のプログラマ』のための情報系学会紹介」みたいな原稿をいきなり送りつけたら（文章や中身はまともだとして）載せてもらえるのでしょうか？ それとも、やはり紹介が必要でしょうか。あるいは、どうやっても掲載は無理…？
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
