Movatterモバイル変換


[0]ホーム

URL:


はてなブックマークアプリ

サクサク読めて、
アプリ限定の機能も多数!

アプリで開く

はてなブックマーク

タグ

関連タグで絞り込む (2)

タグの絞り込みを解除

alloyに関するpetite_blueのブックマーク (1)

  • ヒビルテ

    λ. ザリスキー位相 先日、プログラミング言語の方のschemeの話をしていたら、schemeつながりで代数幾何のschemeの話になり、そこからザリスキー位相の話が出てきた。 そういえば、ザリスキー位相というか Zariski spectrum の話はTopology viaLogic の第12章 Spectra of rings でちょっと読んだことがあるな。 この章はおまけ的な章だったので、あまりまじめに読んではいなかったけど、Zariski spectrum って代数幾何で使うような概念だったのか。 代数幾何って魑魅魍魎の世界だと思い込んでいたので、そんなのが自分の知識の中に迷い込んでいたことに、ちょっとビックリだ。 ただ、Topology viaLogic ではスペクトルは束のような代数に対して定義されるものだった。なので、環の Zariski spectrum も環

    petite_blue
    petite_blue2011/05/15非公開
    型理論とかモデル検査とかよく分らない
    • 残りのブックマークを読み込んでいます1

    お知らせ

    公式Twitter

    • @HatenaBookmark

      リリース、障害情報などのサービスのお知らせ

    • @hatebu

      最新の人気エントリーの配信

    処理を実行中です

    キーボードショートカット一覧

    j次のブックマーク

    k前のブックマーク

    lあとで読む

    eコメント一覧を開く

    oページを開く

    はてなブックマーク

    公式Twitter

    はてなのサービス

    • App Storeからダウンロード
    • Google Playで手に入れよう
    Copyright © 2005-2025Hatena. All Rights Reserved.
    設定を変更しましたx

    [8]ページ先頭

    ©2009-2025 Movatter.jp