Rchr
J-GLOBAL ID:201101023230789742
Update date: Apr. 28, 2016
ISHIDA Yawara
ISHIDA Yawara
Contact this researcher
You can send email directly to the researcher.
Affiliation and department:
CS, RIMS, Kyoto-Univ.
About CS, RIMS, Kyoto-Univ.
Search "CS, RIMS, Kyoto-Univ."
Homepage URL (2):
https://www.kurims.kyoto-u.ac.jp/~yawara/
,
http://www.kurims.kyoto-u.ac.jp/~yawara/
Research field (5):
Mathematical physics and basic theory
, Applied mathematics and statistics
, Basic mathematics
, Software
, Information theory
Research keywords (13):
Degree-Diamter Problem
, Order-Diameter Problem
, Graph Theory
, ラムダ計算
, 幾何学的量子計算
, 型理論
, 量子計算
, 圏論
, 部分構造論理
, 線形論理
, Category Theory
, Quantum Mechanics
, Linear Logic
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in
researchmap
.
For details, see here
.
Return to Previous Page
TOP
BOTTOM