Yoshihiro Maruyama
(丸山 善宏)Profile Information
 Affiliation
 School of Computing, The Australian National University
 Degree

PhD in Computer Science
 researchmap Member ID
 B000002590
I am a D.Phil. student in the Quantum Group of Oxford University Computing Laboratory. My supervisors are Samson Abramsky and Bob Coecke.
I have been working mainly on categorical dualities (esp., Stonetype dualities) and their applications to other areas including mathematical logic (esp., algebraic, topological, and categorical logic), the semantics of programming languages (esp., domain theory), and quantum physics and information (esp., foundations in terms of duality and symmetry). I am recently developing Categorical Universal Logic, which is meant to unify topostheoretical and categorical quantum concepts of Space from a logical perspective.
At the same time, I have serious interests in (both analytic and continental) philosophy. For instance, pointfree geometry (locale theory, topos theory, etc.) seems to be closely related to philosophical conceptions of Space by BrentanoHusserl (Phenomenology), Whitehead (Process Philosophy), Wittgenstein (arithmetical vs. geometrical space), and so fourth. A bit more detailed discussion on this can be found in my paper on Wittgenstein's conception of space, which is available below.
I want to understand diverse nuances of the notion of duality from both mathematical and philosophical perspectives. My slogan is that categorical duality arises between the ontological and the epistemological. Indeed, there is plenty of evidence supporting the slogan: Hilbert's duality between points (or prime ideals or varieties) and properties (or function algebras); Abramsky's duality between denotations and observable properties of computational processes; the stateobservable duality in quantum physics; and of course the classic Stone duality between syntax and semantics.
In more informal terms, I am concerned with the interactive relationships between our world views and mathematical theories. I always wish to place my mathematical research in a wider context of the human knowledge of the world (I do not necessarily mean this real world by "world").
Please note that not all of my papers are listed here. Most of my conference papers are listed in my DBLP entry. If you are interested in any paper that is not uploaded here, please send me an email.
Awards
1
2015
Papers
17
Springer SAPERE 44, 207211, 2018 Peerreviewed

Springer SAPERE 44, 194206, 2018 Peerreviewed

Fundamenta Informaticae, 106 273294, 2011 Peerreviewed

Studia Logica, 94 245269, 2010 Peerreviewed

Annals of Pure and Applied Logic, 161 14861501, 2010 Peerreviewed

Journal of Pure and Applied Algebra 216 (2012) 565–580. Peerreviewed

Proc. of IJCAI'11, AAAI Press (2011) Peerreviewed

Springer LNCS 5514 (2009) Peerreviewed

Springer LNCS 5378 (2009) Peerreviewed

accepted for publication in LIPICS (Proc. of CSL'13) Peerreviewed

accepted for publication in EPTCS (Proc. of Quantum Physics and Logic 2013) Peerreviewed

accepted for publication in Proc. of 36th International Wittgenstein Symposium

accepted for publication in Springer LNCS. Peerreviewed

Synthese 193(11): 34833495 (2016) Peerreviewed

accepted for publication in Springer LNCS Peerreviewed

Synthese Library, Fundamental Issues in Artificial Intelligence, 2016 Peerreviewed

Advances in ProofTheoretic Semantics, 2016 PeerreviewedInvited
Misc.
13
Suugaku Seminar (Japanese Math Magazine), 2012

Suugaku Seminar (Japanese Math Magazine), 2012

CAPE Workshop 2012

2nd Conference on ProofTheoretic Semantics

to be published in Kyoto Univ's magazine

Undergraduate Thesis, Kyoto University (Faculty of Integrated Human Studies)