エントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
Elements in Mathematics for Information Science 2010
記事へのコメント0件
- 注目コメント
- 新着コメント
このエントリーにコメントしてみましょう。
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
Elements in Mathematics for Information Science 2010
2010年度秋学期 月曜日3時限 科目コード: 14340 / 2単位 カテゴリ: (学部)創造技法科目—ナレッジスキル ... 2010年度秋学期 月曜日3時限 科目コード: 14340 / 2単位 カテゴリ: (学部)創造技法科目—ナレッジスキル 開講場所:SFC 授業形態:講義・演習/実習 担当: 萩野 達也 E-mail: hagino@sfc.keio.ac.jp 概要 コンピュータプログラムは入力をもらって出力を出すという意味では数学の関数とみなすことができるが,単純な集合間の関数とみなすと矛盾することになる. プログラムは全関数ではなく半関数である. プログラムの動作を理解するためには位相の一種である完全半順序集合を用いいる必要がある. この講義ではプログラムの意味の基礎となっている領域理論を中心に,λ計算,完全半順序,カテゴリー理論などについて解説する.