深山洋平 (Yohei Fukayama) - マイポータル

基本情報

初等トポス理論の射程 : 集合・圏・論理

深山洋平

北海道大学 2015年12月
Toward sheaf semantics for a multi-agent substructural modal logic

Fukayama, Y, Nakatogawa, K, Kitamura, H

Proceedings of SOCREAL 2013 : 3rd International Workshop on Philosophy and Ethics of Social Reality 2013 12-25 2013年10月査読有り
圏論と構造主義

深山洋平

北海道大学大学院文学研究科研究論集 (12) 31-46 2012年12月
Substructuralized modal logics applied to the two wise girls puzzle

Kitamura, H, Nakatogawa, K, Fukayama, Y

Proceedings of the International Workshop on Philosophy and Ethics of Social Reality, Sapporo, Japan, 2007 40-53 2007年査読有り
F.W. ローヴェアによる随伴関手を用いた集合論の基礎の理解とその展望

深山洋平

哲学 42 左1-左14 2006年7月査読有り
メレオトポロジーの基礎における一対立軸の概観とヴァルツィの「基本問題」の部分的紹介およびその意義

深山洋平

平成14～16年度科学研究費補助金基盤研究（B）（2）「行為と認知の統合理論の基礎」報告書 255-266 2005年

Discussing capabilities, emotions and values: A cross-cultural perspective.

Nakatogawa, K, de Tienda Palop, L, Mitsuke, Y, Fukayama, Y

Group in Logic (a representative, Koji Nakatogawa. Department of Philosophy, Hokkaido University): Sapporo, Japan. 2015年9月

Toward sheaf semantics for a multi-agent substructural modal logic

Fukayama, Y, Nakatogawa, K, Kitamura, H

SOCREAL 2013: 3rd International Workshop on Philosophy and Ethics of Social Reality 2013年10月25日
Kripke structure, event sheaf and functorial semantics

中戸川孝治, 深山洋平

科学基礎論春のセミナー 2012年3月5日
Communication structures among agents: Quantales, residuated lattices and substructural logics

Fukayama, Y, Nakatogawa, K

The 5th Asia-Pacific Workshop on Quantum Information Science 2011 in conjunction with the Festschrift in Honour of Vladimir Korepin. 2011年5月26日
歴史から見る圏論の哲学

深山洋平

科学基礎論学会総会 2009年6月14日
Substructuralized modal logics applied to the two wise girls puzzle

Kitamura, H, Nakatogawa, K, Fukayama, Y

SOCREAL 2007: International Workshop on Philosophy and Ethics of Social Reality 2007 2007年3月9日
F. W. ローヴェアによる随伴関手を用いた集合論の基礎の理解とその展望

深山洋平

北海道大学哲学会 2005年12月17日
「集まり」の概念の2つの方向性

深山洋平

科学基礎論学会 2004年