圏論入門としてのホモロジー - 再帰の反復blog
圏論への入門の仕方 ホモロジー コホモロジー 関数のつながりにくさと(コ)ホモロジー 完全系列と圏論的視点 目次 圏論への入門の仕方 ホモロジー 付記:ホモトピーとホモロジーの違い コホモロジー 関数のつながりにくさと(コ)ホモロジー 完全系列と圏論的視点 制約としての完全系列 付記:加群のホモロジーとTor 圏論への入門の仕方 圏論を学ぶきっかけとしては、だいたい 計算機科学、論理学から ホモロジー、代数幾何から の二つがあって、一見すると計算機科学、ロジックの方から入った方が(数学の前提知識をあまり必要としないこともあって)易しいように見える。 でも現実には往々にして、わざわざ圏論という概念を導入する動機やメリットが見えてこないまま色々な言葉の説明がひたすら続いて挫折することになる。高校あたりで「三角関数とか対数とか何の意味があるんだ」「こんなこと何の役に立つんだ」とか言いたくなるのと
論理とカリー・ハワード対応について書いたこと一覧とメモ - 再帰の反復blog
「直観主義論理の「自然さ」(1) 自然演繹」 直観主義論理の自然演繹では導入則と除去則とが相補的な関係になっている。 「直観主義論理の「自然さ」(2) シーケント計算 」 直観主義論理の自然演繹体系を変形すると直観主義のシーケント計算の体系が得られる。 「直観主義論理の「自然さ」(3)古典論理のシーケント計算と自然演繹」 直観主義論理の演繹体系に規則を追加して結論に複数の論理式を置けるようにすると古典論理の体系になる。 「直観主義論理のカリー・ハワード対応」 直観主義論理の自然演繹と型付きラムダ計算との対応関係の説明。 「call/ccと古典論理のカリー・ハワード対応」 ラベル付きブロック構文とcall/ccの説明。型付きラムダ計算にcall/ccを追加したものは、直観主義論理+(¬A→A)→A = 古典論理に対応する。 「古典論理のカリー・ハワード対応のためのラムダ計算」 λμ計算(の変
d.y.d. 文字コード＆ベイズ推定
12:21 06/05/28 うたひめ 先日の記事に書いたように KOKIA にハマりまして、 とりあえず片っ端から聴いてみることにしました。まずは 1st アルバムの 『songbird』 から … …４曲目の "白い雪" ヤバい。超ヤバい。なんだこれ。ツボすぎる。 ベスト盤を聴いたとき感じた揺らぎなく落ち着いた歌唱力的な曲を期待して聴きはじめたら、 予想外の声質の歌が飛び込んできてびっくりしました。もちろん抜群に巧いのに かわりはないんですが、ずっと儚げな、ガラス細工みたいなイメージの、ああ、その、 つまり白い雪みたいな雰囲気の綺麗な声で。その声と奇跡的にマッチしたメロディ。 すごいなあ。９曲目の "ありがとう…" もベスト盤でのリテイクと比べて同じ印象で、 Amazonのreview で TenderBerry さんという方が近いことを書いておられました。 しかし書いてて自分の語彙の
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
うどんを毎日自宅の機械で作って食べていた地方がある - デイリーポータルZ：@nifty
