タグ

logicに関するk1mのブックマーク (7)

  • 慶應義塾Opencourseware

    k1m
    k1m 2006/09/13
    Linear Logic とか
  • d.y.d. 文字コード&ベイズ推定

    12:21 06/05/28 うたひめ 先日の記事に書いたように KOKIA にハマりまして、 とりあえず片っ端から聴いてみることにしました。まずは 1st アルバムの 『songbird』 から … …4曲目の "白い雪" ヤバい。超ヤバい。なんだこれ。ツボすぎる。 ベスト盤を聴いたとき感じた揺らぎなく落ち着いた歌唱力的な曲を期待して聴きはじめたら、 予想外の声質の歌が飛び込んできてびっくりしました。もちろん抜群に巧いのに かわりはないんですが、ずっと儚げな、ガラス細工みたいなイメージの、ああ、その、 つまり白い雪みたいな雰囲気の綺麗な声で。その声と奇跡的にマッチしたメロディ。 すごいなあ。9曲目の "ありがとう…" もベスト盤でのリテイクと比べて同じ印象で、 Amazonのreview で TenderBerry さんという方が近いことを書いておられました。 しかし書いてて自分の語彙の

    k1m
    k1m 2006/09/13
    稲葉さんはいい記事を書くなぁ。
  • callccによる排中律の証明 - sumiiのブログ

    Wadlerのパクリ。というか劣化コピー。 悪魔:「あなたが私と契約してくれたら、(A)『私があなたに一億円をあげる』、(B)『あなたが私に一億円をくれたら、どんな願いでもかなえてあげる』のどちらかをして差し上げます。(A)と(B)のどちらにするかは、私が決めます。」 人間:「どちらにせよ害はなさそうなので、じゃあ契約します。」 悪魔:「はい、では私は(B)を選びます。」 人間:「やっぱりそう来るか。でも一億円なんて持ってないし、まあいいや。」 (十年後) 人間:「気になってしょうがないので、悪いことをして一億円を集めました。だから願いをかなえてください。」 悪魔:「そりゃどうも(と一億円を受け取る)。では私は(A)を選びます。はいどうぞ(と一億円を返す)。」 ICFP 2003の会場ではWadlerとShiversが壇上で寸劇をやりました(当)。λ式で書くと callcc(λk:¬(T

    callccによる排中律の証明 - sumiiのブログ
  • http://www.ebookstore.tandf.co.uk/html/moreinfo.asp?BookID=536879213

    k1m
    k1m 2006/09/13
  • OBB vs AABB - Radium Software Development

    iPhoneの一般修理店は予約なしでも来店できる? 基的には飛び込みで修理に行ってもOK iPhoneを置いていたソファにうっかりと腰かけてしまい、パネルを割ってしまった、こんな時はスマホの一般修理店へ行きましょう。画面割れは、スマホやタブレットの故障原因として非常に多いものです。予約なしで突然お店に行っても平気かしらと、不安に思う方々もいらっしゃるかもしれません。結論としては特に問題はなく、予約なしで訪問しても画面割れの修理はお願いできます。 ただし他のサービス業のお店同様、予約なしの場合、お店が混雑していると順番待ちをしなければいけないです。特に繁盛しているスマホ修理のお店だと、行列が店内で出来ており、予約なしだと、自分の順番が巡ってくるまで長時間待たされる可能性があります。平日の朝、昼なら利用客が少ない場合が多く、飛び込みでも比較スムーズに修理が頼めます。 予約は入れた方が時短に、

    k1m
    k1m 2006/09/13
    IS(?) はテンプレートのインスタンス化を少なくとも17 回までサポートすればよいと規定しているらしい
  • ちゃんと勉強もしています

    「学校で何勉強してるの?」と訊かれると非常に困ってしまいます。一応、数学教室所属ですので「数学だ」と答えても決してウソではないのですが、「位相幾何」をしているとか、「代数多様体」をいじくっている姿を想像されるてしまい、「そうじゃなくて、全然違うこんなことをやってるのさ」と言うと、「なあんだ」と言われるのがオチです。そこで普段は「数理論理学だ」と言っています(「数理」をつけないと哲学科だと思われてしまいます)。 では数理論理学とはどんなことを勉強するのか?そのうち、どれを勉強しているのか?と訊かれると、再び困ったことになります。「基的には直観主義論理をやっている」なんてことを言っても解ってくれる人は殆どいませんし、自分でも解っていません。 以上の質問に答えるのに、最も的確で簡単な方法は実際に読んでいる、読んだを紹介することでしょう。ということで、それらを以下に紹介します。(順不同で

    k1m
    k1m 2006/09/13
    cs な logician がこれまでに読んできた本を紹介
  • はてなブログ | 無料ブログを作成しよう

    恋人と別れて30年が過ぎ、その元恋人の娘と出逢う夜 古い友人であるShellyからメッセージが届いた。「私の娘のAdrienneが日に行くのだけれど、時間取って彼女と会ってくれるかしら?」 Shellyはアメリカ在住の白人女性だ。Shellyと俺との関わり合いは、過去に書いた。こちらを参照のこと。25歳に戻れた夜~ブライアン・…

    はてなブログ | 無料ブログを作成しよう
    k1m
    k1m 2006/09/13
    "じゃあ今すぐここに『いい人』ってのを連れてきて見せてくれよ!"
  • 1