Chercheurs

Technologie / KOBAYASHI, NAOKI

kobayasi

Position

He is currently an associate professor in Department of Computer Science, Tokyo Institute of Technology, Japan.

Thèmes de recherche

His current major research interests are in principles of programming languages. In particular, he is interested in type systems and static analysis of functional and concurrent programming languages.

Prix et récompenses

2001 IFIP TC2 Manfred Paul Award
2001 IPSJ Sakai Special Researcher Award

Publications

Resonant Oscillations Between the Solid Earth and the Atmosphere
Kiwamu Nishida, Naoki Kobayashi, and Yoshio Fukao
Science Vol. 287, No.5461, 2244-2246, 2000

Statistical Features of Earth's Continuous Free Oscillations
Kiwamu Nishida and Naoki Kobayashi
J. Geophys. Res., Vol. 104, 28,741-28,750, 1999

Atmospheric excitation of planetary free oscillations
Naoki Kobayashi and Kiwamu Nishida,
J. Phys: Condensed matter, Vol. 10, Issue 49, p.11557-11560, 1998

Continuous excitation of planetary free oscillations by atmospheric disturbances
Naoki Kobayashi and Kiwamu Nishida,
nature, Vol. 395, No 6700, p.357-360, 1998

Earth's continuous oscillations observed on seismically quiet days
Toshiro Tanimoto, Junho Um, Kiwamu Nishida and Naoki Kobayashi,
Geophsy. Res. Lett., Vol. 25, No.10 1553-1556, 1998

Effect of EOS on Break-up of Shoemaker-Levy 9 Entering Jovian Atmosphere
T. Yabe, F. Xiao, D-L. Zhang, S. Sasaki, Y. Abe, N. Kobayashi and T. Terasawa
J. Geomag. Geoele., Vol. 46, 657-662, 1994

Structure of the D" Layer Inferred from the Earth's Free Oscillations
H. Kumagai, Y. Fukao, N. Suda and N. Kobayashi
Phys. Earth Planet. Inter., Vol. 73, 38-52, 1992.