ヘルプ
ヘルプ

検索結果 840 件

保険医学を圏論(Category Theory)で表現する : 保険商品,データベース,関数型プログラミングの統一的取り扱い概説

保険医学を圏論(Category Theory)で表現する : 保険商品,データベース,関数型プログラミングの統一的取り扱い概説
紙記事
山本 亙二<Z19-675>日本保険医学会誌 = Japanese journal of insurance medicine121(1):2023.3p.38-45
国立国会図書館全国の図書館
  • 並列タイトル等（連結）... Medicine with Category Theory : Unified Treatment of Insura...
  • 並列タイトル等... Medicine with Category Theory : Unified Treatment of Insura...

「算額」と真善美について : 圏論と記号論を援用して

「算額」と真善美について : 圏論と記号論を援用して
紙記事
大山 智徳<Z74-K236>和算ジャーナル = Wasan journal / 群馬県和算研究会 編(5):2021p.4-7
国立国会図書館全国の図書館
  • 並列タイトル等（連結）"Sangaku" and Truth・Goodness・Beauty : using Category Theory and Semiology
  • 並列タイトル等"Sangaku" and Truth・Goodness・Beauty : using Category Theory and Semiology

Categories and representation theory : with a focus on 2-categorical covering theory (Mathematical surveys and monographs ; volume 271)

Categories and representation theory : with a focus on 2-categorical covering theory (Mathematical surveys and monographs ; volume 271)
紙図書
Hideto Asashiba, translated by Hideto AsashibaAmerican Mathematical Society[2022]<MA67-D11>
国立国会図書館
  • 内容細目...sical covering theory Basics of 2-ca......rical covering theory under pseudo-a......rical covering theory under Colax actions of a category
  • 件名Categories (Mathematics) Category theory; homological a......papers, etc.). Category theory; homological a......Representation theory of rings and a......ups; invariant theory. Associative rings and algebr...

The Theory of Parametricity in Lambda Cube (Towards new interaction between category theory and proof theory)

The Theory of Parametricity in Lambda Cube (Towards new interaction between category theory and proof theory)
紙デジタル記事
竹内 泉<Z43-1336>数理解析研究所講究録(通号 1217) 2001.6p.143～157
インターネットで読める国立国会図書館全国の図書館

The Theory of Twiners and Linear Parametricity(Note) (Towards new interaction between category theory and proof theory)

The Theory of Twiners and Linear Parametricity(Note) (Towards new interaction between category theory and proof theory)
紙デジタル記事
長谷川 立<Z43-1336>数理解析研究所講究録(通号 1217) 2001.6p.23～36
インターネットで読める国立国会図書館全国の図書館

圏論の地平線

書影
圏論の地平線
紙図書
西郷甲矢人 著, 長谷川真人 [ほか] [述]技術評論社2022.12<MA67-M37>
国立国会図書館全国の図書館
  • 並列タイトル等（連結）Category Theory Horizon
  • 並列タイトル等Category Theory Horizon

万物の理論としての圏論

万物の理論としての圏論
紙図書
丸山善宏 著青土社2023.12<MA67-R1>
国立国会図書館全国の図書館
  • 並列タイトル等（連結）Category Theory as a Theory of Everything
  • 並列タイトル等Category Theory as a Theory of Everything

ビジネスモデルと圏論 : ビジネスモデルを、圏論を用いて数学的に記述できるか (特集 新たな時代の"挑戦"と"創造")

ビジネスモデルと圏論 : ビジネスモデルを、圏論を用いて数学的に記述できるか (特集 新たな時代の"挑戦"と"創造")
紙記事
原岡 和生<Z14-1711>開発工学43(1):2023年度.前期p.41-44
国立国会図書館全国の図書館
  • 並列タイトル等（連結）Business Model on Category Theory : An Attempt f......ness models by Category Theory
  • 並列タイトル等Business Model on Category Theory : An Attempt f......ness models by Category Theory

2階算術における実数と複素数 (Towards new interaction between category theory and proof theory)

2階算術における実数と複素数 (Towards new interaction between category theory and proof theory)
紙記事
坂本 伸幸, 田中 一之<Z43-1336>数理解析研究所講究録(通号 1217) 2001.6p.98～120
国立国会図書館全国の図書館

認知科学者が圏論を始めるための参照情報 : 圏論にまつわるQ&A,圏論の認知科学における効用,文献情報 (特集 圏論は認知科学に貢献できるか)

認知科学者が圏論を始めるための参照情報 : 圏論にまつわるQ&A,圏論の認知科学における効用,文献情報 (特集 圏論は認知科学に貢献できるか)
紙デジタル記事
西郷 甲矢人, 日髙 昇平, 高橋 康介, 布山 美慕<Z19-B640>認知科学 = Cognitive studies : bulletin of the Japanese Cognitive Science Society / 日本認知科学会 編28(1)=107:2021.3p.70-83
国立国会図書館全国の図書館
  • 要約等...ed in learning category theory and using it i......and-answers on category theory, utility of category theory on cognitive s......and-answers on category theory, we answered t......h beginners of category theory may come up. I......the utility of category theory on cognitive s...... of utility of category theory in building cognitive models....
  • 件名category theory (圏論) cognitive science (認知科学)
  • 並列タイトル等（連結）...tists to learn category theory : Questions on category theory and answers, utility of category theory in cognitive science, and tut...

Limiting Partial Combinatory Algebras (Towards new interaction between category theory and proof theory)

Limiting Partial Combinatory Algebras (Towards new interaction between category theory and proof theory)
紙デジタル記事
赤間 陽二<Z43-1336>数理解析研究所講究録(通号 1217) 2001.6p.1～22
インターネットで読める国立国会図書館全国の図書館

Modular Counting Functions in Second Order Bounded Arithmetic (Towards new interaction between category theory and proof theory)

Modular Counting Functions in Second Order Bounded Arithmetic (Towards new interaction between category theory and proof theory)
紙デジタル記事
三隅 修平<Z43-1336>数理解析研究所講究録(通号 1217) 2001.6p.75～85
インターネットで読める国立国会図書館全国の図書館

Notes on the game semantics of Godel's T (Towards new interaction between category theory and proof theory)

Notes on the game semantics of Godel's T (Towards new interaction between category theory and proof theory)
紙デジタル記事
白旗 優<Z43-1336>数理解析研究所講究録(通号 1217) 2001.6p.121～142
インターネットで読める国立国会図書館全国の図書館

Recursion Schemata for Slow Growing Depth Circuit Classes (Towards new interaction between category theory and proof theory)

Recursion Schemata for Slow Growing Depth Circuit Classes (Towards new interaction between category theory and proof theory)
紙デジタル記事
黒田 覚<Z43-1336>数理解析研究所講究録(通号 1217) 2001.6p.61～74
インターネットで読める国立国会図書館全国の図書館

2階算術におけるヒルベルトの零点定理 (Towards new interaction between category theory and proof theory)

2階算術におけるヒルベルトの零点定理 (Towards new interaction between category theory and proof theory)
紙記事
坂本 伸幸<Z43-1336>数理解析研究所講究録(通号 1217) 2001.6p.86～97
国立国会図書館全国の図書館

Category Theory of Consciousness : A Critical Perspective (誌上討論 圏論的アプローチで意識は理解できるか)

Category Theory of Consciousness : A Critical Perspective (誌上討論 圏論的アプローチで意識は理解できるか)
紙デジタル記事
丸山 善宏<Z19-B640>認知科学 = Cognitive studies : bulletin of the Japanese Cognitive Science Society / 日本認知科学会 編26(4)=102:2019.12p.496-503
国立国会図書館全国の図書館
  • 要約等Category theory was born withi......m material set theory (or its ‘perni......ly categorical theory of consciousness, yet another...
  • 件名category theory of consciousness (意識の圏論) qual...

Models of Bounded Arithmetic (Towards new interaction between category theory and proof theory)

Models of Bounded Arithmetic (Towards new interaction between category theory and proof theory)
紙デジタル記事
黒田 覚<Z43-1336>数理解析研究所講究録(通号 1217) 2001.6p.45～60
インターネットで読める国立国会図書館全国の図書館

Strong Normalization of Second Order Symmetric Lambda-mu Calculus (Towards new interaction between category theory and proof theory)

Strong Normalization of Second Order Symmetric Lambda-mu Calculus (Towards new interaction between category theory and proof theory)
紙デジタル記事
山形 頼之<Z43-1336>数理解析研究所講究録(通号 1217) 2001.6p.158～164
インターネットで読める国立国会図書館全国の図書館

A category theory principle for cognitive science : Cognition as universal construction (特集 圏論は認知科学に貢献できるか)

A category theory principle for cognitive science : Cognition as universal construction (特集 圏論は認知科学に貢献できるか)
紙デジタル記事
Steven Phillips<Z19-B640>認知科学 = Cognitive studies : bulletin of the Japanese Cognitive Science Society / 日本認知科学会 編28(1)=107:2021.3p.11-24
国立国会図書館全国の図書館
  • 要約等<p>What can category theory contribute to ......argue that the category theory principle of construction via...
  • 件名category functor universal constructio...

A Proof of the Standardization Theorem in λ-Calculus (Towards new interaction between category theory and proof theory)

A Proof of the Standardization Theorem in λ-Calculus (Towards new interaction between category theory and proof theory)
紙記事
鹿島 亮<Z43-1336>数理解析研究所講究録(通号 1217) 2001.6p.37～44
国立国会図書館全国の図書館