Katayama Takuya | Department Of Computer Science Tokyo Institute Of Technology
スポンサーリンク
概要
関連著者
-
Katayama Takuya
Department Of Computer Science Tokyo Institute Of Technology
-
Katayama Takuya
Department Of Physics Graduate School Of Science Kyoto University
-
Takeda Masayuki
Department Of Computer Science Tokyo Institute Of Technology
-
Takeda Masayuki
Department Of Biochemistry And Engineering Faculty Of Engineering Tohoku University
-
SASAKI Hisashi
Department of Physics,Division of Material Science,Nagoya University
-
Fujii Kensuke
Department Of Physics Graduate School Of Science Kyoto University
-
TAKAHASHI SHIN
Department of Surgery, Nippon Kokan Hospital
-
Sasaki Hisashi
Department Of Computer Science Tokyo Institute Of Technology
-
OHMASA Yoshinori
Department of Physics, Graduate School of Science, Kyoto University
-
MAKINO Wataru
Department of Physics, Graduate School of Science, Kyoto University
-
YAO Makoto
Department of Physics, Graduate School of Science, Kyoto University
-
Yao Makoto
Department Of Physics Graduate School Of Science Kyoto University
-
Yao Makoto
Department Of Physics Faculty Of Science Kyoto University
-
Makino Wataru
Department Of Physics Graduate School Of Science Kyoto University
-
Ohmasa Yoshinori
Department Of Physics Graduate School Of Science Kyoto University
-
Takahashi Shin
Department Of Physics Graduate School Of Science Kyoto University
-
Takahashi Shin
Department Of Computer Science University Of Tsukuba
-
Fujii Kensuke
Department of Advanced Materials Science, Faculty of Engineering, Kagawa University, 2217-20 Hayashi-cho, Takamatsu 761-0396, Japan
-
Katayama Takuya
Department of Computer Science, Tokyo Institute of Technology
著作論文
- Ellipsometric Spectroscopy of Liquid Selenium-Thallium Mixtures(Condensed matter: electronic structure and electrical, magnetic, and optical properties)
- Global Storage Allocation in Attribute Evaluation(Software Science and Engineering)
- Treatment of Big Values in an Applicative Language HFP : Translation from By-Value Access to By-Update Access
- On Defining Denotational Semantics for Attribute Grammars
- Verification of an Environment Management based on Operational Semantics for Static Scope Rules