研究者
J-GLOBAL ID:201101086144671587   更新日: 2023年09月01日

丸山 善宏

Maruyama Yoshihiro
所属機関・部署:
論文 (17件):
もっと見る
MISC (13件):
  • 丸山善宏. 圏論的論理学:トポス理論を越えて. 数学セミナー(6月号). 2012
  • 丸山善宏. 圏論的双対性の「論理」:圏論における抽象と捨象、あるいは不条理. 数学セミナー(5月号). 2012
  • Y. Maruyama. Inferentialism about logic contradicts the thesis of meaning as use. manuscript
  • 丸山善宏. Duality Theory and Categorical Universal Logic: With Emphasis on Quantum Structures. slides at QPL'13
  • 丸山善宏. Categorical Universal Logic: Lawvere-Tierney Topology and Logical Translation. ALGI 2012
もっと見る
学位 (1件):
  • PhD in Computer Science (オックスフォード大学・計算機科学科・量子情報Lab)
受賞 (1件):
  • 2015 - 京都大学・総長賞
※ J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る