
丸山 善宏
基本情報
- 学位
-
D.Phil.(University of Oxford)
- researchmap会員ID
- B000002590
I have moved to the Australian National University (ANU), where I have got a faculty position; please note that this researchmap webpage, including the list of publications, is not updated any more, and thus obsolete. For up-to-date information, such as the list of my publications, please refer to my new webpage available at:
https://sites.google.com/view/yoshi-maruyama/
My official webpage at the ANU is as follows:
https://cs.anu.edu.au/people/yoshihiro-maruyama
To be strange in the 21st century, I tend to work on broad issues, like 17th century scholars, whether it is math, computer science, natural science, natural philosophy, or whatever else, but these days, I am working on the categorical integration of symbolic and statistical AI, with which my new grant-funded projects are concerned (Moonshot, JST Sohatsu, etc).
I am a Lecturer in Computer Science at the ANU, and my PhD from the University of Oxford is in (Quantum) Computer Science as well (PhD is also called DPhil in Oxford English). Why do I work on computer science? Computer science is arguably universal science, allowing us to manoeuvre between different scientific disciplines, which leads us to the idea of pancomputationalism, a computational theory of everything (or every-process).
My course at the ANU has more than 350 students enrolled across computer science and other schools including philosophy. To accommodate a vast number of students, lecture theatres are literally theatres, in which avant-garde movies play, as well as cutting-edge scientific lectures. I like face-to-face contacts with students, though difficult in light of the current situation, and evaluate them according to the `principle of tolerance' (cf. Carnap). I also like advising them about aspects of life (when I am asked to).
Australia is a place where all sorts of cultures encounter each other, including the American, the British, and the Asian. It is an intriguing mixture of US, UK, and Asia. The English spoken is pretty close to British English, I would say. It is a highly inclusive country where nonstandard persons are naturally accommodated, as well as kangaroos, koalas, and crocodiles.
Feel free to contact me if you are interested in any aspect of my work, whether in English or in Japanese (but in no other language please). All my previous email addresses are working, so if you already know one, that one works for sure. If you visit ANU, I am happy to show you around; there are even wild kangaroos around (just 15 minutes walk from the civic).
My old bio in Japanese: 「万物の理論」としての「圏論的双対性」を研究しています。京都大学総合人間学部(理系)、京都大学文学研究科修士課程、オックスフォード大学数理・物理・生命科学部門(計算機科学科量子情報グループ)の博士課程を経て、京都大学白眉センター着任。数学・物理・情報を横断する圏論的双対性の理論・応用研究により、オックスフォード大学より D.Phil. in Computer Science 取得。JSTさきがけ兼任。
受賞
1-
2015年
論文
17-
Springer SAPERE 44, 207-211 2018年 査読有り
-
Fundamenta Informaticae 106 273-294 2011年 査読有り
-
Studia Logica 94 245-269 2010年 査読有り
-
Annals of Pure and Applied Logic 161 1486-1501 2010年 査読有り
-
Journal of Pure and Applied Algebra 216 (2012) 565–580. 査読有り
-
Proc. of IJCAI'11, AAAI Press (2011) 査読有り
-
Springer LNCS 5514 (2009) 査読有り
-
Springer LNCS 5378 (2009) 査読有り
-
accepted for publication in LIPICS (Proc. of CSL'13) 査読有り
-
accepted for publication in EPTCS (Proc. of Quantum Physics and Logic 2013) 査読有り
-
accepted for publication in Proc. of 36th International Wittgenstein Symposium
-
accepted for publication in Springer LNCS. 査読有り
-
Synthese 193(11): 3483-3495 (2016) 査読有り
-
accepted for publication in Springer LNCS 査読有り
-
Synthese Library, Fundamental Issues in Artificial Intelligence, 2016 査読有り
-
Advances in Proof-Theoretic Semantics, 2016 査読有り招待有り
MISC
13-
数学セミナー(6月号) 2012年
-
数学セミナー(5月号) 2012年
-
CAPE Workshop 2012
-
2nd Conference on Proof-Theoretic Semantics
-
京都大学総合人間学部の機関誌『人環フォーラム』に掲載される記事の原稿
-
京都大学総合人間学部での研究紹介の資料
-
京都大学総合人間学部での談話の資料
-
Undergraduate Thesis, Kyoto University (Faculty of Integrated Human Studies)