d.y.d. 文字コード＆ベイズ推定
12:21 06/05/28 うたひめ 先日の記事に書いたように KOKIA にハマりまして、 とりあえず片っ端から聴いてみることにしました。まずは 1st アルバムの 『songbird』 から … …４曲目の "白い雪" ヤバい。超ヤバい。なんだこれ。ツボすぎる。 ベスト盤を聴いたとき感じた揺らぎなく落ち着いた歌唱力的な曲を期待して聴きはじめたら、 予想外の声質の歌が飛び込んできてびっくりしました。もちろん抜群に巧いのに かわりはないんですが、ずっと儚げな、ガラス細工みたいなイメージの、ああ、その、 つまり白い雪みたいな雰囲気の綺麗な声で。その声と奇跡的にマッチしたメロディ。 すごいなあ。９曲目の "ありがとう…" もベスト盤でのリテイクと比べて同じ印象で、 Amazonのreview で TenderBerry さんという方が近いことを書いておられました。 しかし書いてて自分の語彙の
バエズ、アブラムスキー、ジラール等が描くビッグピクチャー：分野を貫く不思議な共通性 - 檜山正幸のキマイラ飼育記 (はてなBlog)
※ 子供の話ばかりじゃアレ(?)だから、「カリー／ハワード（Curry-Howard）対応をうんと一般化するとどうなるか」みたいなネタで。 以前紹介したことがあるバエズ＆ステイのロゼッタストーン論文がarXivに入っていました。 題名: Physics, Topology, Logic and Computation: A Rosetta Stone 著者: John C. Baez, Mike Stay URL: http://arxiv.org/abs/0903.0340 ページ数: 73 この論文の最後のほうにある「The Rosetta Stone テーブル」のlarger versionは次のようなものです。 画像だとコピーに不便ですからテキストにしたもの： Category Theory Physics Topology Logic Computation object Hil
sdi - Page: news-index02-math
<< 作成日順に読む ● 全体の体系 <--- 最初にお読み下さい。 way out >> 命題論理 (01) 命題論理と真理値表 (02) 仮言命題 (03) 仮言命題と部分集合 述語論理 (01) 述語論理と関数 (02) タイプ理論 (03) 「すべての」と「いくつかの」 (04) 単称化と存在化 (05) 量化の論理法則 (06) 量化の練習問題（その１） (07) 量化の練習問題（その２） (08) 反射性・対称性・移行性 (09) 関係の論理 (10) 反射性の証明 (11) 広義の述語論理 (12) 述語の述語 (13) メタ言語 (14) 複文と単文 (15) 述語論理の公理系 (16) ゲーデルの完全性定理 (17) 原始帰納的関数と計算可能性 (18) ゲーデルの不完全性定理 (19) 計算可能関数 (20) チューリング・マシーン 集合論 (01) セットとクラス：歴
誰が言ったかによって命題の真偽を判断するのは非論理的なのか - 檜山正幸のキマイラ飼育記 (はてなBlog)
なんばさんの記事を読んで、話の本筋とは関係ないのだけど、興味を引かれたことがあったので書いておきます。 Aさんがpと主張した。 pは正しいだろう、だってAさんが言ったことだもの。 Bさんがqと主張した。 qは正しくないだろう、だってBさんが言ったことだもの。 と、以上のような判断は論理的かどうか？ って話ね。「非論理的に決まってるじゃん」 -- そうなのかな？ 内容： モーダスポネンス 命題とメタ命題 発言者で修飾された命題 Aさんが言うのだから正しい 「『Aさんが言うのだから正しい』は論理的にまったく正しくない」は正しくない モーダスポネンス 3,4歳の子が「木が葉をゆらすから、風がふくのね」と言った； そんな話を聞いて「なんて可愛らしいだろう」と思いますよね。それと同時に、人間の観測と抽象（法則抽出）能力はたいしたもんだな、とも思います。因果関係は逆転してます*1が、「木が葉をゆらす」
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
http://ysserve.cs.shinshu-u.ac.jp/Lecture/SymbolLogic/logic.html
http://www3.ocn.ne.jp/~eee/logictop.html
