nLab
This is a wiki for collaborative work on Mathematics, Physics, and Philosophy — especially (but far from exclusively) from the higher structures point of view: with a sympathy towards the tools and perspectives of homotopy theory/algebraic topology, homotopy type theory, higher category theory and higher categorical algebra. Contents Purpose The nLab records and explores a wide range of mathematic
新入生に勧める数学書2018 - 記号の世界ゟ
ツイッターで大学新入生にオススメの数学書を、ハッシュタグ #新入生に勧める数学書2018 で募集しました。 タグを作りました。皆さん、自由に語りましょう。 いろんな立場の人が選ぶことで、楽しいリストができると思います。#新入生に勧める数学書2018#新入生に勧める物理学書2018 分野、理由も併記するといいでしょう。分野は数学史や伝記などもok、幅広くいきましょう。— Loveブルバキ(ラブル) (@lovebourbaki) 2018年3月7日 皆さんのオススメの本を抜粋して紹介します。 はじめに 一般 微積分 線形代数 代数学(整数) 幾何 集合と位相 みなさんのアドバイス その他 参加してくださった皆様、ありがとうございました。 （ツイートの掲載は許可をとっています。了承していただいた皆さん、ありがとうございました。） はじめに こんな企画を始めたものの、知らない人が勧める本にすぐに
講義
計算の理論: 1,2年Sセメスター 内容 計算は、小学校で学ぶ四則演算から始まって、高校までに多項式・関数そして その微分・積分など様々なものを学ぶ。高校では、教科情報でコンピュータに よる計算も少し学び、プログラミングも経験しているだろう。大学では、より 高次の計算を対象として学び、情報科学技術が社会基盤となった現代における 基盤的学問として理工系分野ではどの分野でも、社会科学分野でもかなりの分 野で勉学してくことになる。 本講義は、情報科学の立場から、計算を科学していく。計算とは、何らかの機 構を用いて入力情報から所望の条件を満たす出力情報を得る過程であり、人間 が自ら能動的に得ることができる操作である。その立場からは、自然界の種々 のことも計算という観点で解釈して、新たな世界を開くこともできる。ここで の計算は、高校までのものと違い、理論として確固たる基盤をもつ対象であり、 その神髄
Coqと少しの圏論が分かる人向けのhomotopy type theory(その1) -
The HoTT Book http://homotopytypetheory.org/book/ が完成したらしいけど、どっちかというと、数学者向けに書かれてて500ページもある。homotopy type theoryで今できてることって、CoqやAgdaで書いたら、せいぜい数千行とか、そんなもんじゃないかと思うので、長すぎる気がする 一応、HoTTに関わる知識は、型理論の他に、ホモトピー論や圏論(モナドとかHaskell関連で出てくる類の知識はあまり知らなくてもいいけど、higher categoryとか教科書に書いてなさそうな話題や、モデル圏とかを知ってるといい)があって、全部真面目に勉強しようと思うと、それぞれのテーマで一冊以上の本が書ける。ただ、実際には、ホモトピー論や圏論はアイデアや視点を提供しているだけで、あくまでCoqやAgdaで書かれてる部分が重要なので、ホモトピー論や
数学入門公開講座 バックナンバー（講義ノート）｜京都大学数理解析研究所
スペクトル不変量とその応用について 助教・石川 卓 大学で習う幾何学の基本的な話に Morse 理論というものがあります。これは多様体の性質を、その上の函 数を用いて調べる理論です。これは基本的にはどのような関数を用いても同じ答えを出しますが、これを逆 に利用して、各関数に対してスペクトル不変量とよばれる値を紐づけることができます。シンプレクティッ ク幾何学等で用いられる Floer 理論は Morse 理論を手本としてつくられた理論であり、これに対するスペク トル不変量が、幾何学的性質を導きだすことに応用されています。このあたりのことについて、紹介する予 定です。 体構造の復元を通した遠アーベル幾何学入門 助教・辻村 昇太 遠アーベル幾何学では（体に対するガロア群のような）構造の対称性のなす群が元の構造の情報をどの程 度保持しているかについて考察します。この対称性のなす群が（高度に）非可
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
http://www.rimath.saitama-u.ac.jp/lab.jp/Fukui/lectures/intro.pdf
らぃおす🗝物理科6くみ⚡ on Twitter: "「ノンネイティブのための数学入門〜集合と写像〜」数学書では完全に前提知識になって言及もしてくれない(腹立つ)常識を、数学に興味はあるけどハードルが高くて…という非数学系のために愚痴とともにまとめました。というかほぼ愚痴です。苦しん… https://t.co/OGTxYb7doS"
UTokyo OCWx
Computational Complexity