PFI の社内セミナーで Alloy Analyzer について発表してきました。 Alloy Analyzer のこと View more presentations from Hiromi Ishii なんか ust でストリーミング放送された上、録画・保存されてしまっているらしいので、観てやろうという酔狂な方は下か…

Alloy でクリプキの可能世界意味論をエンコードしてみた記録。 論理学をきちんと勉強した訳じゃないので、もし誤りがあったら是非教えてください。 可能世界意味論と云うのは、偉大な論理学者ソール・クリプキが、なんと高校生の頃に思い付いた様相論理の意…

問題 どこかの国の非実在学園での話と思ってちょーだい。この学園には四種類の人間が通っているそうです。男の子、女の子、男の娘、男装の麗人だそうで。自由な校風なんですね。自由なのは結構なんですが、時偶あるのが、かわいい女の子だ！と思ったら実は男…

先日(と云ってももう2週間以上も前だけれど)上げた『凄腕すぎたカウンセラーのはなし ——または、カウンセラーのパラドックス - はてな使ったら負けだと思っている』と云う記事の真意、みたいなのを解説したいと思います。先に述べてしまうと、嘘…

ある街に、凄腕のカウンセラーが住んでいました。その街に住む、自分のことがよくわからないぞー、ってなってしまった人が、カウンセラーのところに相談にいくと、たちどころに問題を見抜いて、解決してくれるのです。 なんでそんなことが出来るのかと云うと…

MacBook Air 11インチ欲しい！

早稲田学内ネットワークから GitHub に接続したり SSH 使ったりするには汎用プロクシを使う必要がある訳ですが、汎用プロクシは Snow Leopard に対応していませんね。これはひどい！メールはまあ Gmail とかを使っていればブラウザから確認出来る訳ですが、 …