Entries

スポンサーサイト

上記の広告は1ヶ月以上更新のないブログに表示されています。
新しい記事を書く事で広告が消せます。
この記事にトラックバックする(FC2ブログユーザー)
http://exphenomenologist.blog100.fc2.com/tb.php/774-8c6839b3

トラックバック

コメント

コメントの投稿

コメントの投稿
管理者にだけ表示を許可する

『数学セミナー 2015年 11 月号』

数学セミナー 2015年 11 月号 [雑誌]
特集「コンピュータにできる数学・できない数学」。照井さんの寄稿があったので読んでみた。内容は自動証明系の話が多い。他にも同分野で有名な人の寄稿があるが、概説レベルのものが多い。あまり深い記述という感じではないし、合計でも30ページに満たない。この分野の話は目にすることも少ないので、ちょっと残念。

Voevodskyのホモトピー型理論について言及している記事がいくつかある。ずっと気になっている理論なので、どこかでこれをメインとした解説が読みたい。
スポンサーサイト
この記事にトラックバックする(FC2ブログユーザー)
http://exphenomenologist.blog100.fc2.com/tb.php/774-8c6839b3

トラックバック

コメント

コメントの投稿

コメントの投稿
管理者にだけ表示を許可する

上記広告は1ヶ月以上更新のないブログに表示されています。新しい記事を書くことで広告を消せます。