List of research topics

No.

Research Division

Title of research

(Give a www site for more information)

Name of Supervisor

Master or Ph.D. student

Duration

Comments

@1

Principles of Informatics

Lambda Calculus and Type Theory

http://research.nii.ac.jp/~tatsuta/index-e.html

Prof. MakotoTatsuta

(—΄“c‹³Žφ)

Master and

Ph.D. students

Any duration

Examples of research topics are lambda calculus, type theory, typed lambda calculus, constructive logic, theory of programs, and program verification. Applicants are

supposed to have background for one of them.

@2

Algorithms, Computation,

Optimization, Combinatorics

Analysis of the behavior of the data mining algorithms and data analysis algorithms for large datasets

http://research.nii.ac.jp/~uno/index.html

Assoc. Prof.

Takeaki Uno

(‰F–쏕‹³Žφ)

Master and

Ph.D. students

2 to 6 months

I will not be in Japan until 5/Aug. The intern should start after the date.

@3

@

Principles of Informatics

Research Division

Numerical Linear Algebra, Numerical Analysis

http://research.nii.ac.jp/~hayami/index-e.html

Prof. Ken Hayami

(‘¬…‹³Žφ)

Master and

Ph.D. students

2 to 6 months

@

@4

Artificial Intelligence

Semantic Web

http://www-kasm.nii.ac.jp/

Prof.

Hideaki Takeda

(•“c‹³Žφ)

Master and

Ph.D. students

Any duration

@

@5

Foundations of Informatics

Domain-based Text Mining and Knowledge Acquisition

http://research.nii.ac.jp/~collier

Assoc. Prof.

Nigel Collier

(ƒRƒŠƒA[•‹³Žφ)

Master and

Ph.D. students

2 to 6

months

@

@6

Principles of Informatics

Implementation of inductive/abductive reasoning systems, and

application to inference on biochemical networks

http://research.nii.ac.jp/~ki

Prof. Katsumi Inoue

(ˆδγ‹³Žφ)

Ph.D. students

2 to 6

months

Java/C/Prolog programming skill is desirable.

@7

Information Systems

Architecture

Integrating Model -Checking Method with Constraint Solver

http://research.nii.ac.jp/~nkjm/official/content_e.html

Prof. Shin Nakajima

(’†“‡‹³Žφ)

Ph.D. students

@

3 to 5

months between

July and

February

 

@8

Video content analysis

Video mining and indexing

http://satoh-lab.ex.nii.ac.jp/users/jean/internship/

Prof. Shinfichi Satoh

(²“‘^ˆκ‹³Žφ)

Master and 

Ph.D. students

3 -6months

Please select your preferrable subtopics described in the web page

 9

Computer networks

Network control scheme for very fast Internet

http://research.nii.ac.jp/~jm/official/content_e.html

@

Assoc. Prof.

Jun Matsukata

(Ό•ϋ•‹³Žφ)

Master and

Ph.D. students

Up to 6months 

10

Communication

  networks

@

1.  Quality of service provisioning in broadband wireless

     networks

2.  Analysis and control of internet traffic

http://research.nii.ac.jp/~kei/

Assoc. Prof.

Yusheng Ji

(Œv•‹³Žφ)

Master and

Ph.D. students

3months

 

11

Agent Systems

http://research.nii.ac.jp/~prendinger/

Assoc. Prof.

Helmut Prendinger

(ΜίΪέΓή¨έΆή°

•‹³Žφ)

Master and

Ph.D. students

Longer term

(6 months)

preferred

Programming skills in Java required

12

@

Image Databases

Remote Sensing  

GIS  

Digital Archive and Cultural Heritage  

@

http://agora.ex.nii.ac.jp/~kitamoto/
http://agora.ex.nii.ac.jp/~kitamoto/research/rs/

http://www.digital-typhoon.org/

http://earth.nii.ac.jp/

http://dsr.nii.ac.jp/

Assoc. Prof.

Asanobu Kitamoto

(–k–{•‹³Žφ)

Ph.D. preferred but

also master.

2/6 months

Programming skill and/or domain

knowledge on application areas is required.

13

Content and Media Sciences

Text Mining Methods for Entity Identification and Linkage

http://research.nii.ac.jp/~akiko/official/content_e.html

Prof. Akiko Aizawa

(‘ŠΰV‹³Žφ)

Master and

Ph.D. students

@

Any

 

14

Information Public Policy

E-business, E-commerce, and E-government policy

http://research.nii.ac.jp/~okada/official/content_e.html

Assoc. Prof.

Hitoshi Okada

(‰ͺ“c•‹³Žφ)

Master and

Ph.D. students

Any

My laboratory has 6 Ph.D. students, including one International course student from Thailand .

15

Information Public Policy

Network Economics, Open Source Software

http://research.nii.ac.jp/~ueda/official/content_e.html

Assistant Prof.

Masashi Ueda

(γ“c•Žθ)

Master and

Ph.D. students

Any

I welcome both natural science and social science background students.

16

Principles of Informatics

Logical foundation of AI and multi-agent systems

http://research.nii.ac.jp/~ksatoh

@

Prof. Ken Sato

(²“‘Œ’‹³Žφ)

@

Master and

Ph.D. students

2 to 6 months

@

17

Principles of Informatics

@

e-Learning system for higher education

http://research.nii.ac.jp/~ueno/index-jp.html

@

Prof. Haruki Ueno

(γ–μ‹³Žφ)

@

@

Master and

Ph.D. students

@

2 to 6 months  

18

Principles of Informatics

@

Adaptive human-robot interaction system

http://www.jsk.t.u-tokyo.ac.jp/~inamura/index.php

Assoc. Prof.

Tetsuya Inamura

(ˆξ—W•‹³Žφ)

Master and

Ph.D. students

2 to 6 months  

19

Agent Systems and Social Simulations

@

Participatory simulations for collective management of the Tijuca National Park

http://honiden-lab.ex.nii.ac.jp/~paul/internship/

@

Prof.

Shinfichi Satoh

(²“‘^ˆκ‹³Žφ)

Master and

Ph.D. students

2 to 6 months  

20

Digital Content and Media Science Research Division

@

gMyscoperh Native Topicc Maps Management System

http://research.nii.ac.jp/~andres/NII_Internship2006-3.htm

Assoc. Prof.

Frederic Andres

(±έΔήΪ½•‹³Žφ)

Master and

Ph.D. students

@

@

3 months

Programming skills in Java required  

21

Digital Content and Media Science Research Division

Living Geomedia Memory Monitoring using remote controled helicopter

http://research.nii.ac.jp/~andres/NII_Internship2006-2.htm

Assoc. Prof.

Frederic Andres

(±έΔήΪ½•‹³Žφ)

@

Master and

Ph.D. students

@

Between 3

and 4 months

Semantic monitoring of living

geomedia memory archive

22

Agent Systems and Social Simulations

Participatory simulations for collective management of the Tijuca National Park

http://honiden-lab.ex.nii.ac.jp/~paul/internship/

Prof.

Shinichi Honiden

(–{ˆΚ“c‹³Žφ)

@

Master and

Ph.D. students

@

2 to 6

months

@

Background in sustainable development appreciated.

  23   Logic and Linguistics

Lambda Calculus and Formal Grammar

http://research.nii.ac.jp/~kanazawa/

Assoc.Prof.

Makoto Kanazawa

(‹ΰ‘ς•‹³Žφ)

Master and

Ph.D. students

2 to 6

months

Basic familiarity with formal language theory and/or lambda calculus is required.