×
{{flash.message}}
Toggle navigation
Toggle navigation
日本語
|
English
Sign up
Login
Yawara ISHIDA
(石田 やわら)
Modified on: 2016/04/29
Home
Research Interests
Research Areas
Profile Information
Affiliation
CS, RIMS, Kyoto-Univ.
J-GLOBAL ID
201101023230789742
researchmap Member ID
B000003950
External link
http://www.kurims.kyoto-u.ac.jp/~yawara/
http://www.kurims.kyoto-u.ac.jp/~yawara/
Research Interests
13
Order-Diameter Problem
Degree-Diamter Problem
Graph Theory
ラムダ計算
幾何学的量子計算
型理論
量子計算
圏論
部分構造論理
線形論理
Category Theory
Quantum Mechanics
Linear Logic
Research Areas
5
Natural sciences / Mathematical physics and basic theory /
Natural sciences / Applied mathematics and statistics /
Natural sciences / Basic mathematics /
Informatics / Software /
Informatics / Information theory /
Menu
My portal