http://d.hatena.ne.jp/soutaro/20060926#c1159613779追記：T****Sの査読は遅くなったと私もよく聞きます。外しているかもしれませんが。

いつの間にか出ていた。20秒ぐらい見た限り、自分の研究に直接の関係があるという意味で興味があるのはA Complete, Co-Inductive Syntactic Theory of Sequential Control and StateとSecure Implementations of Typed Channel Abstractionsあたりか。

自分が時代に百歩ぐらい乗り遅れている気もしますが、NHK教育テレビの子供番組がすごい。ピタゴラスイッチとか「にほんごであそぼ」とか。尋常でない労力がかかっていそう…

http://itpro.nikkeibp.co.jp/article/NEWS/20060927/249198/おお。記事になった方々も、してくださった方も素晴らしい。Cf. http://itpro.nikkeibp.co.jp/article/NEWS/20060726/244419/こちらの記事についているコメントは？？？ですが…（最後の部分以外）…

http://d.hatena.ne.jp/namasute0/20060926#1159250099某専門家に通報してみました。仕様のほうはゴチャゴチャと記述があって非常に微妙らしいですが*1、仕様のバグでないとしたらコンパイラのバグ。しかし、OCamlのバグを見つけた件といい、素晴らしい。や…

おそらく来年から？（授業資料によると2006年度冬学期からだったらしい。）前から話はあったが、いろいろな人から聞くようになったので、秘密ではあるまい。OCamlという話もあったらしいが、まあRubyのほうが本とか多いからなあ（質のバラツキはあれど）。追…

どのチームがどのような言語を使用していたのだろうか（2Dはさておき）。Haskellメーリングリストによると、1位はC++, Bash, Python, Haskell等だったそうで、2位もD言語以外にいろいろと使っていそう。今年は言語よりも問題のネタがfunctionalだった？と、…

約一年半前に発売されたW21CAIIから、半年以上前に発売されたW41CAにケータイを機種変更した、時代の後ろを行く人間。しかも貧乏なのでポイントや割引を最大限活用してほとんどタダ。追記：PCサイトビューアーのトップページが変更できない。以前はGmailにし…

と紹介されることがあります。光栄というか非常に恐れ多いですが、どちらかといえばMinCamlや「関数型言語」は研究ではなく教育（と趣味）で、研究はもうちょっといろいろとやっていますので一応…。いや、たとえば「計算機言語基礎論」等といっても誰もわか…

反応が良いので調子に乗って、どうでもよい話を続けてみる。OCamlでは if shortexp1 then shortexp2 else blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blahに比べても let x = shortexp in blah blah blah blah blah blah …

http://www.eta.immi.gov.au/ETAAus0Jp.html日本からAPLAS 2006へ参加する皆様、ご注意を…あと、non-stop便はJALとカンタスしか飛んでいなくて、スタアラだと乗り継きでもスケジュールがうまく合わないので（特に帰り）、航空会社マニアの皆様はそれも注意。…

さるところでちょっとだけ盛り上がっている(?)ので。OCamlのコーディングのガイドラインにもありますが、e1とe2が短いときに if e1 then e2 else (* ...some long expression... *)と書くのは、「trivialなケースを先に済ませて、重要なケースに集中する」と…

褒めすぎるのも良くなかったかも知れないと思ったので、反動で修正。確かに東大のIS/CSはすごいと思いますが、たとえばJAISTとか岩手県立大学とか会津大学とか、はこだて未来大学とか筑波大学とかもすごいのかも。いや、僕はあまり行ったことがないのでわか…

明日、検査らしい。事前に配布された問診の回答がほとんど「はい」になったので（「体に痛みがある」「整形外科に通院している」など）、結果に期待。

前にも触れましたが、このブログのエントリは育児の合間に30秒で書いていたりするので、あまり鵜呑みにしないほうが。わざと嘘をついているつもりはありませんが、最近の自分はいよいよ老化が進行しているので、？？？と思ったらどんどんツッコミを入れて、…

http://homepage3.nifty.com/mogami/diary/d0609.html#22t2私もその話は見聞きしたことがあります。残念ながら:-)自分では体験できませんでしたが。社員もそんなに給料をもらっているのかはわかりません。インターンについては、たとえば奨学金的な面がある…

欧米人のブログは論理的で、日本人のブログは日記的、みたいな話がいろいろなところで盛り上がっているらしい。個人的には、それは見かけだけで、ちゃんと読むと「人による」としか言いようがないと思った。たとえば高木氏のブログ（と呼んでいるかどうかは…

いろいろな人に教えてもらって、最近のバージョンでも過去のバージョンでも、普通に > env LANG=en_US ./ocaml Objective Caml version 3.10+dev9 (2006-09-18) # "隣の柿はよく客食う柿だ" ;; - : string = "隣の柿はよく客食う柿だ" #となることがソースコ…

http://www.tom.sfc.keio.ac.jp/~sakai/d/?date=20060914#p02エキスパートじゃないので正確にはわかりませんが一般には、冠詞の省略される一定のパターンがあるような印象があります。よく私が直に見る例だと、たとえば"an expression of type Int"や"Variab…

そういえば、まだここでは触れていなかったような気がしますが、http://hwb.ecc.u-tokyo.ac.jp/current/4857422FBEF0CAF3A4CEBDE8CDFD2FA5D7A5EDA5B0A5E9A5DFA5F3A5B0A4CEB4F0CBDC202D204F63616D6CCAD4.html 17.4 プログラミングの基本 - Ocaml編 という教材…

この間のPPLサマースクールは日帰り＆朝が早かったので、ささやかな贅沢をして自腹で「はやて」のグリーン車に乗ってみました（アイマスクと耳栓と持参して、１時間でも寝ようと思った）。が、客層は パソコンのキーボードを打つオタクっぽい人（∋自分） や…

http://www.cis.upenn.edu/group/securitysem/ Breaking and Fixing Public-Key KerberosAndre ScedrovWe report on a man-in-the-middle attack on PKINIT, the public key extension of the widely deployed Kerberos 5 authentication protocol. This fla…

http://itpro.nikkeibp.co.jp/article/NEWS/20060920/248559/うちは昨日も普通につながりました。体感しているユーザは何人ぐらいいるんだろう。

が発売されるらしい。http://www.itmedia.co.jp/news/articles/0609/20/news100.html「漢字」が強調されているが、中身はBTRONのはず。BTRONは学部のときに趣味でインストールしてみたぐらいで、ほとんどさわっていないので、ちょっとわくわく。坂村先生はUI…

僕が知っているだけでも、複数の出版予定があります。期待です（←しつこく他力本願）。例の本の翻訳は…いや、その、なんというか、光陰、矢の如しですね。完全に中止してはいない「つもり」です…。本当にすみません。

http://www.kb.ecei.tohoku.ac.jp/pipermail/pept/2006-September/000051.html I am extremely pleased to announce that a draft version of R6RS is now available at www.r6rs.org. 先日のスパム一週間分の手動フィルタリングに失敗して、見落としていま…

Portland, Oregonだから、時差（まだサマータイムなので日本時間マイナス16時間）を考慮すると、あと１〜２時間ぐらい？結果を期待して読まれた方、すみません。追記：どうみても入賞です。本当におめでとうございます。他の方たちもかなり上のほうに食い込…

http://fw8.bookpark.ne.jp/cm/ipsj/search.asp?from=Magazine&flag=-1&keyword=Magazine,YM2006099月号が届いていた。COINSコンパイラはSSAの話の続き。

ずっと書き忘れていた話。例のタイトルを考えたのは私ではありません。(^^; 集客効果のすごさは、さすがプロだなあ、と。

やっぱり育児の合間に30秒ごとに中断しながらブログを書くのは見間違いとか書き間違いとかして良くないと思った（←言い訳）。というわけでペースダウン。