気に入った記事をブックマーク
- 気に入った記事を保存できます
保存した記事の一覧は、はてなブックマークで確認・編集ができます
- 記事を読んだ感想やメモを書き残せます
- 非公開でブックマークすることもできます
www.utp.or.jpエントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
0
記事へのコメント0件
- 注目コメント
- 新着コメント
新着コメントはまだありません。
このエントリーにコメントしてみましょう。
このエントリーにコメントしてみましょう。
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
いまの話題をアプリでチェック！
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
圏論による論理学 - 東京大学出版会
20世紀後半，数学，計算機科学，論理学などの分野で採用されてきている圏論．関数概念を基本として現象... 20世紀後半，数学，計算機科学，論理学などの分野で採用されてきている圏論．関数概念を基本として現象をとらえようというこの方法を，関数型高階論理とトポスを題材にして丁寧に解説する．論理学の観点を中心に，圏論の考え方を紹介するテキスト． 序 第1章 関数型高階論理 第2章 トポス 第3章 トポスの基本定理 第4章 プルバック関手<i>ｆ</i> *の右-随伴関手<i>Π</i><sub>f</sub> 第5章 リミット、空間性トポス、限量記号 結び 付録１ A∧( ) ┤A⊃( )のイメージ的理解 付録２ 各章の課題 主な記号一覧／索引
ブックマークしたユーザー
すべてのユーザーの
詳細を表示します
詳細を表示します
www.utp.or.jp
www.utp.or.jp
www.utp.or.jp
www.utp.or.jp
delete-all.hatenablog.com
ppc-log.com
www.anycolor.co.jp
note.com/morio_ml
gigazine.net
togetter.com
book.asahi.com
gigazine.net
note.com/papanda0806
www.utp.or.jp
www.yasuhisa.com
