サクサク読めて、アプリ限定の機能も多数!
「「型」の階層を構築し、それぞれの型に数学的実体を割り当てる」という「数学や論理学の一分野」。公理的集合論とか述語論理とかがソフトウェア開発に関係するとは……。何でも勉強しておくものだ。
masugata_k のブックマーク 2007/10/31 22:39
型理論 - Wikipedia[型理論][数学][論理学][計算機科学][Wikipedia]「「型」の階層を構築し、それぞれの型に数学的実体を割り当てる」という「数学や論理学の一分野」。公理的集合論とか述語論理とかがソフトウェア開発に関係するとは……。何でも勉強しておくものだ。2007/10/31 22:39
このブックマークにはスターがありません。 最初のスターをつけてみよう!
ja.wikipedia.org2007/10/10
型理論(かたりろん、英: Type theory)とは、プログラミング・数学・言語学等に現れる型の概念及びそれらが成す型システムを研究対象とする数学・計算機科学の分野である。特定の型システムのことを型理論と呼ぶ...
28 人がブックマーク・3 件のコメント
\ コメントが サクサク読める アプリです /
「「型」の階層を構築し、それぞれの型に数学的実体を割り当てる」という「数学や論理学の一分野」。公理的集合論とか述語論理とかがソフトウェア開発に関係するとは……。何でも勉強しておくものだ。
このブックマークにはスターがありません。
最初のスターをつけてみよう!
型理論 - Wikipedia
型理論(かたりろん、英: Type theory)とは、プログラミング・数学・言語学等に現れる型の概念及びそれらが成す型システムを研究対象とする数学・計算機科学の分野である。特定の型システムのことを型理論と呼ぶ...
28 人がブックマーク・3 件のコメント
\ コメントが サクサク読める アプリです /