探偵X 『嵐の柩島で誰が死ぬ』推理メモと感想
探偵Xを観た。結局送れなかった推理の断片と雑感を垂れ流す。モロネタバレだったりするので、続きを読む記法。感想うーん、松中犯人のロジックはちょっとあれでは弱い気がする……と云うか、小説にもドラマにも飲んだかどうかの記述が無い場合はどう考えればいいんだよ！と云う。断言出来るけど、小説にはパン屑取ったあと、麻子が飲んだ記述なかったし、ドラマでは松中が窓外を見てすぐみんな寝てた。まあ、その辺は仕方ないか……...
View Article実社会に於ける完全犯罪の可能性に就て I
うちの学校では、二年生から二年間掛けて一つのテーマについて調べ、論文を書くという課題研究があります。そう云えばまだその資料を張ってなかったなーとか思ったので、晒しておきます。表題から判る様に、ズバリ『完全犯罪』について、というかなり趣味的な内容になっています。二年生の最後に選ばれた人が中間発表としてみんなの前でプレゼンをして、最後は論文を書いて提出と云う手順で、僕としては『密室講義』ならぬ『完全犯罪...
View ArticleClik here to view.
地球を何周？
物質波のみなさんこんにちは！！よく『光は一秒間に地球をn周する』みたいな説明を聞いて、光すごいなーなんて思うわけですが、よく考えりゃ光を円運動させておけるほど地球は重くない訳ですよ。はい。……なんてことを数日前に思い付いて、そのままだった訳ですが、今日物理を勉強してる最中にふと思い付きました。『円運動の方程式使えば必要な質量でるじゃん！』という訳で計算してみた記録。まあその為には地球の半径Rと光速c...
View Article麻耶雄嵩読書会 に参加してきました
先週水曜日の麻耶雄嵩読書会に参加してきました。これは、麻耶先生実に五年ぶりの新刊『貴族探偵』の発売を記念して、麻耶雄嵩先生を囲んで読書会を開こう！と云う企画でした。集英社の担当編集者の方からワセミスの方にお話を頂いて、実現したものです。会場は早稲田大学学生会館。僕は宿題やら課題やらを片付けて、一時間前くらいに会場入りをしました。もう、時間が迫ってくるに従って、体中の顫えが止まらなくなり、もうどうしよ...
View Article麻耶雄嵩読書会 ネタバレありレポート
ネタバレありレポートの準備が出来ました。次のリンクをクリックして先に進んで下さい。注意：核心に触れています！未読の方は絶対に読まないで下さい！それでは、こちらのページからどうぞ
View Articleそれは火曜日のこと
午前中の講義が終わり、僕はワセミスが活動するラウンジで一息ついていたのです。すると、幹事長がこんなことを云ったのです。「「konnくん、来週の水曜日、麻耶雄嵩くるんだけど、どうする？」」僕は耳を疑いました。麻耶雄嵩ってあの麻耶雄嵩先生！？座右の書は『夏と冬の奏鳴曲』(これは人類至高の書だと思っているのですが中々部内での合意が形成されていません)と云う私にとって、麻耶雄嵩先生は、もう『神様』そのもので...
View ArticleProlog をべんきょうしています
先週の木曜日、大学の図書室で『Think CでMacintoshプログラミングとか何年前ｗｗｗ』『TAOCPがある……!!』などと暇を潰していたら、大量のProlog本に混じり『Prologの技芸 (以下 TAOP*1 )』を発見。すぐさま「ひとは若いうちにScheme, Prolog,...
View ArticleICFP 2010 開幕
いよいよ始まりましたね、http://icfpcontest.org/2010/。僕も参加しようと思ってたんですが、恰度学部のオリエンテーション合宿とか云うよくわからないものに土日を取られてしまうので、実質今日と月曜しか参加出来ないのでした。で、取り敢えず konn と云う団体名(と云っても個人だけど)で登録して、Task description...
View ArticleICFP 2010 競技説明
ICFP 2010 Task description の非公式日本語訳を置いておきます。非公式でやっつけ仕事なので、誤訳などがあるかもしれません。見付けたらご指摘おねがいします。また、訳文中の誤りによって何らかの損害を被っても何ら責任は負えませんので、悪しからず。原文：http://icfpcontest.org/2010/task/翻訳：石井大海ICFP Contest...
View Article変数凍結のしかたがわからない
Prologの技芸第二版を片手にPrologの勉強をしているのだけど、P.197 で紹介されている% occurs_in(Sub, Term) :- Sub は項 Term の部分項である.occurs_in(X, Term) :- freeze(X, Xf), freeze(Term, Termf), subterm(Xf, Termf)....
View Articlecopy_term
色々さまよった結果、swiplのMLに辿り着き、些か機能的な違いはあれど、copy_term/2を使えば良さそうと云うことはわかった。詳しくは明日調べよう。と思ったけど、やっぱりちゃんと動かない。わからん！
View ArticlePFIサマーインターンに参加していました
8/1〜9/30 の二ヶ月間、株式会社プリファードインフラストラクチャー(通称 PFI)でインターンに参加して来ました。報告記事を書かなくては……と考えている内に大分時間が経ってしまってこんな時期になってしまいました。採用まで夏休み特に予定がなかったので、何か今までとは違ったことに挑戦しようと思っていたところ、Twitter上で...
View ArticleOS X で早稲田学内ネットワークから SSH & GitHub を使用する方法
早稲田学内ネットワークから GitHubに接続したり SSH使ったりするには汎用プロクシを使う必要がある訳ですが、汎用プロクシは Snow Leopardに対応していませんね。これはひどい！メールはまあ Gmailとかを使っていればブラウザから確認出来る訳ですが、 sshや Git はそういう訳にもいきません。自分なりにその解決策を見付けたので、ここにメモしておきます。Proxy...
View Article凄腕すぎたカウンセラーのはなし ——または、カウンセラーのパラドックス
ある街に、凄腕のカウンセラーが住んでいました。その街に住む、自分のことがよくわからないぞー、ってなってしまった人が、カウンセラーのところに相談にいくと、たちどころに問題を見抜いて、解決してくれるのです。なんでそんなことが出来るのかと云うと、そのカウンセラーさんは「自分のことがよくわからないひとリスト」と云うのをもっていて、そのひとたちのことを既に徹底的に調べていて、よくわかっているからなのでした。プ...
View Article「カウンセラーのパラドックス」の解題――自己言及ぺろぺろ
先日(と云ってももう2週間以上も前だけれど)上げた『凄腕すぎたカウンセラーのはなし ——または、カウンセラーのパラドックス -...
View ArticleClik here to view.
Alloy で男の娘を見付けよう
問題どこかの国の非実在学園での話と思ってちょーだい。この学園には四種類の人間が通っているそうです。男の子、女の子、男の娘、男装の麗人だそうで。自由な校風なんですね。自由なのは結構なんですが、時偶あるのが、かわいい女の子だ！と思ったら実は男の娘でしたと云う悲劇で、人によっては美味しいシチュエーションなんでしょうが、少なくともぼくは女の子のほうがいいです。野郎は野郎なので……。ただ、学ラン着てる女の子と...
View ArticleClik here to view.
Alloy でクリプキ可能世界意味論！
Alloyでクリプキの可能世界意味論をエンコードしてみた記録。論理学をきちんと勉強した訳じゃないので、もし誤りがあったら是非教えてください。可能世界意味論と云うのは、偉大な論理学者ソール・クリプキが、なんと高校生の頃に思い付いた様相論理の意味論です。様相論理って云うのは、通常の命題論理に、「□P (必然的に P)」とか「◇P...
View Article社内セミナーで Alloy Analyzer について発表してきました
PFIの社内セミナーで Alloy Analyzer について発表してきました。Alloy Analyzer のこと View more presentations from Hiromi Ishiiなんか ust...
View Article