d.y.d. 文字コード＆ベイズ推定

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

[yamaz]

勉強すればするほど、知らないことやわからないことがどんどん増えていきます

[t_f_m]

あとでちゃんと読む

[natsutan]

やばいほうのﾄﾞﾓﾙｶﾞﾝとは

[kenichiice]

「「直観主義命題論理という論理体系の命題 ⇔ 単純型付きλ計算の型」そして「自然演繹という証明システムでの証明 ⇔ 単純型付きλ計算のプログラム」の間の対応関係のことが Curry-Howard 対応 と呼ばれています。」

[yuroyoro]

Curry-Howard同型対応

[antipop]

カリー・ハワード対応

[masterq]

Curry-Howard対応

[todesking]

今のLTでやったことのモチベーションについてはここを読むといいです

[yaotti]

カリー・ハワード同型

[murashit]

カリー=ハワード

[rakk]

Curry-Howard 対応

[tanakaBox]

カリー・ハワード対応

[tanimina]

カリーハワード同型対応

[kgbu]

Curry-Howard同型って、やっと覚えられそう

[odz]

おもしろい

[ujihisa]

yhara++

[okagawa]

カリー・ハワード同型の話

[yshl]

たらいまわし関数の停止性

[k1m]

稲葉さんはいい記事を書くなぁ。

[nanakoso]

カリー・ハワード対応

[endo_5501]

やはりベイズの応用範囲は広いな．近いうちに真面目に勉強しておこう

[sshi]

ベイズで文字コードを推定/学習させるのはおもしろいな。

[yujiorama]

カリー-ホワード対応が何か，という概念だけわかった

[Kur]

Curry-Howard Isomorphism　カリー=ハワード対応："一見あんまり関係なさそうな世界に見事な対応関係がある"

[nozom]

tarai関数の停止性について