Japanese Page
Advisor Search 
Highlighting a Keyword |
When a keyword is given in the above box, the background of the retrieved keyword is highlighted in yellow. |
Foundations of Informatics |
|
|
| Foundations of Informatics |
| Photo/Name | Keyword | Guidance | Lecture | Detail | |
 FUJIYAMA Asao （Professor） |
genome science, bio-information processing |
Life forms the compound spatiotemporal network composed from genetic information, written in genome, various intermolecular interactions, and highly organized structures. In this course, recipients will be guided through basic and advanced genome researches to understand various levels of life-systems to design and carry out Ph.D. projects. | Basis of Information Processing in Life Systems |   |
 |
 HAYAMI Ken （Professor） |
numerical computation, numerical linear algebra, systems of linear equations, least squares problems, iterative solvers |
Teaching and research supervision on the theory and application of numerical computation. Emphasis is on the mathematical analysis of numerical algorithms and the development of new algorithms. The main area of interest is numerical linear algebra (iterative solution of linear systems, least squares problems and eigenvalue problems). Other areas include the numerical solution of systems of algebraic equations, inverse problems, numerical integration, boundary element method. | Theory of Numerical Methods, Applied Linear Algebra, Presentation in English I, Presentation in English II |
|
 |
 TATSUTA Makoto （Professor） |
programming logic, lambda calculus, type theory, constructive logic |
Foundational theory of computer science related to mathematical logic, and mathematical logic for computer science are studied. 1. Type theory (higher order type theory, type inference, Curry-Howard isomorphism, inductive types) 2. Constructive logic (constructive set theory, inductive definitions, realizability interpretations, linear logic) 3. Theory of programs (program verification, program synthesis, program transformation, lambda-calculus) |
Logic in Computer Science, Introduction to Foundations of Informatics II |
|
 |
 KANAZAWA Makoto （Associate Professor） |
formal grammar, proof theory |
My field of specialization is the mathematics of language (mathematical linguistics), including related topics in theoretical linguistics (especially semantics) and mathematical logic. A student who wishes to work with me can choose an area of his or her interest within this range. The topic I am currently focusing on is Abstract Categorial Grammar, a grammar formalism based on the typed lambda calculus which unifies and generalizes diverse types of grammar that have been proposed for the description of natural language. | Mathematical Linguistics, Introduction to Foundations of Informatics I |
|
 |
 KAWARABAYASHI Ken'ichi （ Professor） |
Discrete Math, Graph Theory, Algorithm, Theoretical Computer Science |
Education and research supervision on Discrete Math with special emphasis on Structural Graph Theory and Graph Minor Theory.
We also consider their algorithmic applications. Most likely, the following topics will be covered. 1. Perfect graphs and its applications. 2. The Four Color Theorem and its generalization. 3. Structural Graph Theory. 4. Disjoint paths problem and Network 5. Matching theory and its applications 6. Graph Minor Theory and its applications. |
Discrete Mathematics | |
 |
 MATSUMOTO Keiji （Associate Professor） |
quantum information, quanutum computation, statistics, information theory, entanglement |
It is well-known that quantum mechanical view of the world is quite conter-intuitive. Indeed, it contradicts with many basic concepts which information sciences are based on. Therefore, it is necessary to built new information sciences to be consistent with quantum mechanics, which is fundamental law of the nature. Recently, it has been found out that quantum information processing has wide range of application to technologically important problems, such as integer factoring, secure communication and so on. In this lecture, starting from basic concepts, we review the recent developments of the field. The audiences of the lecuture are expected to be familiar with elementary linear algebra, probability, and information theory, but no background in quantum mechanics. |
Quantum Computing, Introduction to Foundations of Informatics I |
|
 |
 NEMOTO Kae （Professor） |
Quantum information and computation, Quantum optics, Theoretical physics |
Kae Nemoto is interested in supervising students in topics related to quantum computation, quantum communciation and quantum metrology.
Her main research interests and efforts are currently focused around - The requirements for true quantum computation as opposed to quantum processes that can efficiently classically simulated. - Schemes for quantum computation and information processing. - Schemes for the distribution of entanglements and their use in quantum commnication - The generation of optical nonlinearities for quantum information processing. - Quantum/atom optics and quantum nonlinear dynamics. - The foundations of quantum mechanics. A number of projects are available for these topics. |
Basic concepts in quantum information | |
 |
 SADAKANE Kunihiko （Associate Professor） |
information retrieval, data structures, data compression, string processing |
Our research topics are data structures and algorithms for large-scale data processing.Especially we study theories on data structures for large-scale data such as Web pages, genome sequences, and Web link structures which are stored in a compressed form, and implementing practical programs.We also consider knowledge discovery using those data structures. | Advanced Data Structures | |
 |
 SATOH Hiroko （Associate Professor） |
Canonical representation of chemical structures, Representation of stereochemistry, Chemical reaction classification, Reaction classification, NMR chemical shift prediction, Stereochemical structure elucidation, Visualization of chemical information, Applications of haptic devices to chemistry |
Studying about an outline of chemoinformatics, informatics in chemistry, is the main issue of this course. It includes basic contents and representations of chemical information, and tactics in chemical intelligent systems for solving practical problems in chemistry. Basic knowledge of chemistry is required. | Chemoinformatics, Introduction to Foundations of Informatics II |
|
 |
 UNO Takeaki （Associate Professor） |
algorithms, computation, optimization, data mining, data engineering |
The main topic of the seminar is theoretical fundamentals of discrete algorithms. The sub topics are time and space complexities, extension to general problems of discrete algorithms, especially, fundamental algorithms appearing in optimization algorithms. Studies on efficient applications for practical systems are also researched. The goal is to have knowledge and techniques of general algorithms, not for minor area, and to be able to pertinently research whatever algorithmic problems. | Algorithms, Introduction to Foundations of Informatics I |
|
 |
 BYRNES Timothy （Assistant Professor） |
Quantum computation Quantum simulation Solid state physics Quantum information |
Quantum computers and quantum cryptography are now well known potential future applications of technologies that employ quantum mechanics. A lesser known, but also potential application is the simulation of quantum many body problems. The analysis of quantum many body problems play important roles in the fields of physics, chemistry, and material science. A purpose specific device for solving quantum many body problems is called a quantum simulator. I will discuss several approaches for quantum simulation which require little knowledge of quantum computation, up to frontier research topics. In particular, I will focus on methods using Bose-Einstein condensates of exciton-polaritons in semiconductors. | Quantum simulation of quantum many body problems | |
 |
| Information Infrastructure Science |
| Photo/Name | Keyword | Guidance | Lecture | Detail | |
 AIDA Kento （Professor） |
parallel computing, grid computing, scheduling |
The goal of this research group is to develop computing techniques to achieve high-performance computing by employing many computers and networks. The research topics include the technique to execute a single program on multiple computers, or parallel computing, and the technique to perform computation employing multiple computers on the internet, or grid computing. | High-Performance Computing | |
 |
 NAKAMURA Motonori （Professor） |
Network Communication Systems, Internet Protocols Security |
This course focuses on various communication systems over the Internet, and Internet protocols and security technologies such as authentication or authorization which supports various network systems. | |
 |
|
 SONEHARA Noboru （Professor） |
Digital rights management, Digital commerce, Quality Of Information, Information trust mechanism, Governance of ICT society, Web contents credibility evaluation, Web content authenticity evaluation, Web trust for certification authority, Consumer Generated Content/Knowledge |
ICT (Information and Communication Technology) has widely spread into almost all economic and community activities, which created a new information circulation in the society, and the rapid diversification of values among the people. However, this information flood rather deepened sense of stagnation for people and the society. This is caused by the fact that neither the mechanism nor the system of the society has been developed enough despite this rapid change of information environment. To stabilize the ICT society, it is necessary to form "Social wisdom"- knowledge and wisdom that the society shares- from "Individual wisdom", and to clarify the circulation mechanism of information that can eventually give feedback to "Individual wisdom". The amount of information created and transmitted in the ICT society is increasing rapidly by the spread of information systems. This explosively increasing information features the tremendous diversity. On the other hand, the human and society’s ability to acknowledge information is limited, which gives concerns to people and cooperate organizations with regard to deterioration of the quality of decision making that needs information analyses for taking an appropriate action. Therefore, it is requested to establish mechanisms and systems that enable us to analyze and evaluate the quality and value of information such as its reliability and credibility. |
Information
Sharing System Architecture, Introduction to information security infrastructure |
|
 |
 URUSHIDANI Shigeo （Professor） |
Network Architecture, Network Service Systems |
The education and research supervision on advanced networking technologies and network systems technologies for a variety of telecommunication network services. The research area includes the network architecture, advanced networking protocols, high-end system architecture, large-scale switching fabric architecture, and quality-of-service control architecture for high-speed, high-quality, highly-reliable and multi-functional telecommunication networks. | Information Sharing System Architecture | |
 |
 YAMADA Shigeki （Professor） |
Ubiquitous Networks, Mobile Networks, Ad Hoc Networks, Context-aware Computing Networks, Privacy and Security Technologies for Ubiquitous Environments |
The research areas include ubiquitous and context-aware computing networks. The ubiquitous computing networks incorporate a large number of computers working cooperatively in the background of our working environment and sustaining the social activities of human beings. The context-aware computing networks provide users with useful information services by automatically obtaining users’contextual information such as users’ behavioral status and environmental information. Ph. D. candidate students are guided to write doctoral dissertation papers on either or both of these two research areas, particularly focusing on network design and implementation. My other research interests include mobile computing networks, mobile ad hoc networks, privacy and security technologies for ubiquitous environments. | Information Sharing System Architecture, Introduction to information security infrastructure |
|
 |
 YONEDA Tomohiro （Professor） |
Formal verification, asynchronous systems real-time systems, dependable systems, CAD tool development |
Theory and approach for designing reliable and dependable hardware and/or software are studied. Topics of interests include formal verification of real-time hardware/software, high-level synthesis of timed asynchronous circuits, and formal analysis of hybrid systems. The aim of our research is not theoretical consideration, but to implement CAD tools based on the algorithms developed. | Computer System Design | |
 |
 ABE Shunji （Associate Professor） |
Information Networks, Network Performance Analysis, QoS Control |
Aims are as follows: 1. understanding network systems (switching system, application server system, etc.) and their functions to realize advanced network services; 2. developing ability to create a new functionally advanced network system. From experimental research and development based on traffic analysis for network design and QoS control methods in a high-speed Internet, a study subject is chosen. Methods to resolve the subject and a dissertation are directed. |
Information and Communication Systems | |
 |
 FUKUDA Kensuke （Associate Professor） |
Internet protocol, traffic measurement, analysis and modeling, scale-free network, small-world network |
The research area includes an efficient Internet architecture based on the statistical aspect of temporal and spatial dynamics appeared in the Internet. - Internet traffic analysis and its modeling - Statistical properties of Internet topology and efficiency of information flows on the network - A novel Internet architecture based on statistical properties of the Internet. |
Information and Communication Systems | |
 |
 JI Yusheng （Associate Professor） |
network architecture, quality of service, traffic control, communication protocol, resource management, performance evaluation |
Education and research supervision on theory, principle and methodology of communication systems. Research topics can be the problems of design, modeling, and evaluation of the control disciplines, protocols, and management schemes related to a diversity of network and switching architectures, transmission media, and service requirements. Through specific doctoral research projects, such as network traffic analysis and control, resource management in high-speed optical networks, quality of service provisioning in the next generation wireless communication, etc., students are expected to obtain the insight understanding of communication systems and the ability of problem solving. | Information and Communication Systems | |
 |
 KOIBUCHI Michihiro （Associate Professor） |
Parallel computers, interconnection networks, Network-on-Chip, System Area Networks high-performance computing |
The research areas include parallel and distributed computer systems, such as system-on-a-chip (SoC), on-chip multiprocessors, PC clusters, or super computers. Since these systems are characterized by interconnection networks that connect computation logic and memory, I have recently focused on their network architecture including topology, routing, switching technique, and router architecture. | High-Performance Computing | |
 |
| Software Science |
| Photo/Name | Keyword | Guidance | Lecture | Detail | |
 HASHIZUME Hiromichi （Professor） |
human interface, man-machine interface, digital signal processing |
In the graduate school research I will introduce historical human-interface devices and the historic background of computation systems to extract the main concept of man-machine interface which should be invariant of time. Then I will instruct the designs of future interface devices, the technology which gives the shapes to the devices especially algorithms of digital signal processing. |
Signal
processors, Introduction to Software Science I, Introduction to Software Science II |
|
 |
 HU Zhenjiang （Professor） |
Programming Theory, Functional Programming, Parallel Programming, Bidirectional Computation Model, Software Engineering |
Education and research supervision on discipline of programming, programming languages, and foundation of software engineering. Emphasis is on mathematical approach to construction of dependable software systems. Current research topics include: (1) Programming Theory: functional programming, programming algebras, mathematical analysis of programs; (2) Parallel Programming: skeleton parallel programming, automatic parallelization; (3) Software Engineering: dependable software construction; (4) Bidirectional Transformation: bidirectional transformation languages, bidirectional model transformation, data synchronization based on bidirectional transformation. | Mathematical
Structures in Programming, Introduction to Software Science I, Introduction to Software Science II |
|
 |
 NAKAJIMA Shin （Professor） |
Formal Methods, Formal Specification and Verification, Modeling |
Education and research supervision on formal specification and verification of software. The importance on modeling and the tool-supported automatic analysis are emphasized in addition to the theoretical foundation of the technology. Topics of interest may include the application of the formal techniques to embedded systems and web service. | Software
Engineering, Introduction to Software Science I, Introduction to Software Science II |
|
 |
 SATOH Ichiro （Professor） |
Cloud computing, Ubiquitous computing, Middleware, OS, Distributed computing |
This course trains advanced issues on distributed/ubiquitous computing systems. Next-generation distributed/ubiquitous computing systems, e.g., cloud computing and ambient computing, need new software technologies, in OS, middleware, and programming languages. The course discusses such technologies with their theoretical foundations and implementations. | Programming
Languages, Introduction to Software Science I, Introduction to Software Science II |
|
 |
 TAKASU Atsuhiro （Professor） |
Data Engineering, Data Analysis and Machine Learning, Text Pattern Analysis |
In this class we study advanced methods of semi-structured data management and analysis. For example, we study mathematical aspect of semi-structured data manipulation language and schema transformation. For advanced data analysis, we aim to develop text mining algorithms based on high dimensional feature space handling techniques such as kernel methods. | Data
Engineering, Introduction to Software Science I, Introduction to Software Science II |
|
 |
 HOSOBE Hiroshi （Associate Professor） |
constraint programming user interfaces, information visualization, interactive graphics |
Students will be instructed and supervised in constraint programming, a programming paradigm based on the declarative specification of problems. Specifically, while focused on research and development of fundamental software for constraint programming, basic research on topics such as constraint-based modeling and constraint solving, as well as applied research of constraint programming to realize user interfaces, information visualization, and interactive graphics, will be conducted. | Constraint
Programming, Introduction to Software Science I, Introduction to Software Science II |
|
 |
 KITAMOTO Asanobu （Associate Professor） |
Image Information Processing, Pattern Recognition Database, Earth Environment Information, Digital Archive |
The main topics of the laboratory are advanced processing and analysis of image information, the recognition and semantic analysis of imagery and other media, the mining of meaningful information from large-scale real-world databases, the construction of the cyber infrastructure for earth environment information such as satellite imagery, and a proposal on the new framework for the study of culture using information technology. The focus of the research is both in the proposal of a good theory and in the application of a theory to the society. | Probabilistic
Models in Informatics, Introduction to Software Science I, Introduction to Software Science II |
|
 |
 YOSHIOKA Nobukazu （Associate Professor） |
multi-agent systems, mobile agents, security patterns |
Students will be instructed and supervised in flexible or secure distributedsystems architecture or development methods. In addition, formal verification of such systems will be investigated as well. Particularly, a next-generation distributed systems on pervasive networks will be targeted. | Advanced Software Technology I, Introduction to Software Science I, Introduction to Software Science II |
|
 |
 HIDAKA Soichiro （Assistant Professor） |
Database Programming Languages, Modeling, Optimization, Program Transformation |
Education and research supervision on formal semantics, performance modeling and program transformation for optimization, in database programming languages -- languages for data-intensive application such as XML data processing. Research topics include (1) Language specification, (2) Formal transformation to low-level execution model, (3) Extraction of execution model suitable to preprocessor based optimizers, (4) Transformation to suppress generation of redundant intermediate data, (5) Cost modeling to quantitatively estimate performance gain during transformation. |
Database
Programming Languages, Introduction to Software Science I, Introduction to Software Science II |
|
 |
 ISHIKAWA Fuyuki （Assistant Professor） |
Service-Oriented Computing, Web Services, Formal Methods |
Loosely-coupled systems are targeted where services published in networks are selected and coordinated to compose a new service in a flexible and agile way. Theoretical foundations and software infrastructures for such systems are investigated as well as their applications. |
Service-Oriented
Computing, Advanced Software Technology Ⅱ, Introduction to Software Science I, Introduction to Software Science II |
|
 |
 KATO Hiroyuki （Assistant Professor） |
XML, databases, functional programming, XQuery |
For XML which has emerged as a standard format for data exchange on the Web, the following topics are studied. 1. From a functional programming point of view, program composition or program transformation on XQuery which is a functional query language standardized by the W3C. 2. From a data engineering point of view, XML application techniques such as Topic Map or RDF are studied. |
XML
Databases, Introduction to Software Science I, Introduction to Software Science II |
|
 |
 TEI Kenji （Assistant Professor） |
Sensor Network Software Architecture Middleware |
Education and reserarch supervision on issues of physical world-oriented software systems. For example, we focus on middleware, modeling, and development process for sensor and actuator network, which has capabilities to monitor and affect physical world. | Software Development Process | |
 |
| Multimedia Information Science |
| Photo/Name | Keyword | Guidance | Lecture | Detail | |||||||
 ARAI Noriko （Professor） |
knowledge sharing, distance learning |
Survey of various ideas of distance education and their systems, including Computer Assisted Instruction (CAI), Computer Supported Collaborative Learning and Working (CSCL, CSCW) | Interactive
Media, Introduction to Multimedia Information Science |
|
 |
||||||
 SATOH Shin'ichi （Professor） |
video indexing, multimedia contents analysis, image database |
This course will teach the theory and practice on image processing and image/video database. Particular emphases will be laid on: 1. basic theory and application of pattern recognition 2. content-based retrieval by image/video analysis 3. large scale image/video corpus analysis and management |
Fundamentals
of Media Processing, Introduction to Multimedia Information Science |
|
 |
||||||
 SUGIMOTO Akihiro （Professor） |
Computer Vision, Human-Computer Interaction |
In the coming ubiquitous computing environment, the computer itself has to autonomously understand human situation, intention or activities, and then provide us with useful information at the teachable moment. To establish such technology based on visual information, we concern not only fundamental theories but also developing application systems. A wide varieties of topics will be covered in my supervision. | Applications of Multimedia Processing, Introduction to Multimedia Information Science |
|
 |
||||||
 AIHARA Kenro （Associate Professor） |
Human-Computer Interaction, User-Centered Design |
The objective of this course is to provide the student with a general understanding of User Modeling and how it can be used. One of our main focuses will be on the acquiring of fundamental theoretical knowledge. Besides, the course will give course participants to discuss. The course will cover many topics, some in more depth than others: - What is users? - Models of users - User-centered design - Evaluation of usability |
Interactive Media, Introduction to Multimedia Information Science |
|
 |
||||||
 ECHIZEN Isao （Associate Professor） |
media security, media information processing, information Hiding |
Students will be instructed and supervised in fundamental techniques and systems for media security. Particular emphases will be on: - fundamental techniques for media security (information hiding, cryptographic protocols, etc), - security systems for integrity and copyright of multimedia content, and - information systems and technology for fair use of multimedia content. |
Digital media infrastructure, Introduction to Multimedia Information Science, Introduction to information security infrastructure |
|
 |
||||||
 GOTODA Hironobu （Associate Professor） |
3D modeling, rendering, animation |
One of the principal missions of computer graphics is to provide a systematic way to represent and visualize various types of objects including abstract, mathematical formulas as well as concrete, real-world shapes. For example, recent achievements in computer graphics have been applied to mixed reality systems, where Real-world objects and synthetic ones will coexist and interact with each other. On the other hand, new modeling schemes such as image-based rendering or non-photorealistic rendering have been developed. Ph.D. candidates interested in graphical modeling and representation, not necessarily limited to the topics above, are invited to join our research group to enhance their knowledge about, and experiences in visual Information processing through theoretical analysis, prototyping, and system development. | Applications of Multimedia Processing, Introduction to Multimedia Information Science |
|
 |
||||||
 KATAYAMA Norio （Associate Professor） |
multimedia information processing, multimedia information retrieval |
My research interest is the information processing methods for multimedia, e.g., multimedia information retrieval. By the advancement of computer technologies, the scale of multimedia information processing is increasing rapidly. This invokes the need for the sophisticated processing methods that are efficient and scalable. My research investigates such methods from the viewpoint of algorithms, data structures, software systems, etc. | Digital media infrastructure, Introduction to Multimedia Information Science |
|
 |
||||||
 KODAMA Kazuya （Associate Professor） |
Image Sensing, Image Restoration/ Reconstruction, Image/Video Coding, Visual Communications |
This course will cover topics related to visual communication systems which are based on integration of image processing and sensors/cameras. Particular emphases will be laid on: 1. image enhancement by merging multiple visual sources 2. image/video transformation/coding by statistical signal processing 3. application to visual communication systems |
Fundamentals of Media Processing, Introduction to Multimedia Information Science |
|
 |
||||||
 ONO （Associate Professor） |
acoustic signal processing, music signal processing, array signal processing, pattern recognition |
This course will cover topics related to signal processing, pattern recognition, and machine learning for acoustic and music signals. Specific topics can be as follows. 1. Sound source separation, sound source localization, noise reduction, de-reverberation using microphone array 2. Analysis, separation, modification, coding of music and acoustic signals based on time-frequency representation 3. Probabilistic modeling and recognition of speech and music |
Interactive Media, Introduction to Multimedia Information Science |
|
 |
||||||
 SATO Imari （Associate Professor） |
Image-based Modeling and Rendering, Computational Photography |
Students are encouraged to explore the latest topics in image-based modeling and rendering and computational photography ( convertion technologies for computer graphics, computer vision, and photography). | Applications of Multimedia Processing, Introduction to Multimedia Information Science |
|
 |
||||||
 CHEUNG Gene （Assistant Professor） |
Video compression Media streaming & transport Immersive communication |
As the volume of media content on the Internet continues to grow exponentially, video compression, transmission and interaction remains important research themes in constructing efficient networked media systems. Relevant research topics include: 1. Single-view / Multi-view video compression and streaming over heterogeneous networks 2. Video delivery system leveraging peer cooperation and diversity 3. Compression & representation for networked navigation of large media data set |
Video Compression & Streaming | |
 |
||||||
 LE Duy-Dinh （Assistant Professor） |
semantic representation for image understanding, face detection and recognition, large scale video indexing and retrieval, video mining, machine learning. |
The explosion of multimedia data (images, video, graphics and music) exposes challenges in helping users find the right information they need efficiently. Therefore, the major purpose of my research is to study and develop advanced techniques to make full use information available in these huge multimedia databases. Specifically, *We seek to develop novel techniques for understanding semantics from multimedia data. These techniques involve integration of approaches from fields such as signal processing, computer vision, pattern recognition, statistical learning, data mining and multimodal analysis. *We promote the using of the developed techniques by implementing practical systems powered by them. The practical systems such as semantic video search engines which can search through concepts such as natural disasters, government leaders in meetings or emergency vehicles in motion are good demonstrations. Another example is video inspection engines which can automatically detect illegal use of copyrighted materials. |
Fundamentals of Media Processing | |
 |
||||||
 MO Hiroshi （Assistant Professor） |
Pattern recognition, Video content analysis |
Education and research supervision on multi-media information processing focusing on the following topics. (1) Basic theory of feature extraction and pattern recognition on image/video (2) Content analysis for image/video retrieval (3) Application system based on image/video processing |
Fundamentals of Media Processing, Introduction to Multimedia Information Science |
|
 |
||||||
| Intelligent Systems Science |
| Photo/Name | Keyword | Guidance | Lecture | Detail | |
 COLLIER Nigel （Associate Professor） |
Text mining, Natural language processing, Machine learning, Ontology engineering, Semantic Web |
My research interests relate to human language technologies (natural language processing, computational linguistics) - primarily using empirical methods combined with more formalized knowledge sources structured as ontologies. In the last seven years my work has focussed largely on text mining and in particular its application to the biological and medical domains. The research areas I am interested in supervising broadly include: domain-based text mining, machine learning for NLP, knowledge acquisition from corpora, ontology engineering, argumentative zone analysis. If your interest is not included in the list but you think it may be related then please also feel free to contact me. | Natural Language Processing, Introduction to Intelligent Systems Science I, Introduction to Intelligent Systems Science II |
|
 |
 INOUE Katsumi （Professor） |
Hypothesis Finding, Abduction, Induction Planning, Logic Programming |
In this course, the principles of Artificial Intelligence are studied. Relevant topics include, but are not limited to, the following: * logical foundations of intelligent systems * knowledge representation * boolean functions, propositional logic, SAT algorithms * predicate logic, theorem proving, consequence finding * situation calculus, reasoning about action, planning * logic programming, answer set programming * belief revision, updates, abduction |
Logical
Foundations for Artificial Intelligence , Introduction to Intelligent Systems Science I, Introduction to Intelligent Systems Science II |
|
 |
 SATOH Ken （Professor） |
Reasoning, Knowledge Representation, Multi-Agent Systems, Machine Learning, Computational Logic |
We study theoretical foundations of artificial intelligence and applications based on such foundations. Specifically, we investigate theoretical foundations of the following reasoning mechanisms, their implementations and applications. The field includes: 1. Reasoning under incomplete information such as non monotonic reasoning: In this research, we focus on analyses of logical foundations of non monotonic reasoning such as circumscription and their efficient implementation. 2. Reasoning based on experiences such as case-based reasoning: In this research, we focus on relationship between case-based reasoning and machine learning theory and multi-media case-based reasoning. |
Reasoning Science, Introduction to Intelligent Systems Science I, Introduction to Intelligent Systems Science II |
|
 |
 TAKEDA Hideaki （Professor） |
Semantic Web, Knowledge Sharing, Community-Support System, Design Theory |
His primary research interests are in the areas of techniques for knowledge sharing systems that enable people collaborate to each other to develop their knowledge. His current research focuses on ontology engineering including theoretical foundation of ontology and its developing methodology, and community support methodologies that can support community activities to generate community knowledge. | Knowledge Sharing System, Introduction to Intelligent Systems Science I, Introduction to Intelligent Systems Science II |
|
 |
 YAMADA Seiji （Professor） |
Human-Agent Interaction, Human-Robot Interaction |
We will discuss the design of human-agent interaction. For preparation, we will survey on the design of intelligent agents, especially life-like agent and machine learning, action selection. If necessary, reading papers round a class will be done. The topics are in the following - Design of intelligent agents - Human-robot interaction - Adaptation between humans - Adaptation between a human and a robot - Design of human-agent interaction |
Human Agent Interaction, Introduction to Intelligent Systems Science I, Introduction to Intelligent Systems Science II |
|
 |
 FURUYAMA Nobuhiro （Associate Professor） |
psycholinguistics, speech, gesture, discourse analysis, motor coordination in communication |
What is covered in my supervision is instruction on theoretical issues and research methodologies of psycholinguistics. Although psycholinguistics concerns itself with making psychological models of language use and it covers topics such as speech production, speech comprehension and language acquisition, wide perspectives will be encouraged because psycholinguistics is closely related to other adjacent areas of cognitive and social sciences. Emphases are put on use of “body” (e.g., gestures) in discourse in a broad sense of the term. The supervision concentrates on planning and conducting an original experimental and/or observational research project and writing up a dissertation on these topics. | Psycholinguistics, Introduction to Intelligent Systems Science I, Introduction to Intelligent Systems Science II |
|
 |
 ICHISE Ryutaro （Associate Professor） |
machine learning, data mining, semantic web |
Providing computers with the ability to learn is the goal of our research. In this course, we will explore the artificial intelligence technologies that let computers learn. The topics include machine learning, data mining, and semantic web. |
Machine
Learning, Introduction to Intelligent Systems Science I, Introduction to Intelligent Systems Science II |
|
 |
 INAMURA Tetsunari （Associate Professor） |
Human-Robot Interaction, Intelligent Robots, Cognitive Development, Probabilistic information processing |
My interest is development of intelligent robots that support human in real-world environment. Especially, we aim to realize developmental intelligence with human-robot interaction subsystem and understanding of the mechanism human cognition. I provide education based on probabilistic information processing, machine learning, symbol emergence systems, imitation learning and so on. | Intelligent
Robotics, Introduction to Intelligent Systems Science I, Introduction to Intelligent Systems Science II |
|
 |
 PRENDINGER Helmut （Associate Professor） |
Life-like characters, Automatic content creation for virtual worlds and the 3D internet, Emotion and sentiment recognition from text, Multimodal interface |
The overall goal is to investigate techniques for the creation of more intuitive and effective human-computer interfaces, including methods from artificial intelligence, multi-modal behavior generation/recognition, multimedia presentation, and affective computing. The two main topics are: (1) Embodied interfaces that emulate aspects of human face-to-face communication by using animated interface agents, with applications in online product and information presentation, interactive computer-based services, e-learning, and interactive entertainment. (2) Virtual worlds like "Second Life" and Open Simulator as platforms for simulation, experimentation, visualization, collaboration, interaction, and co-experience. |
Intelligent
User Interfaces, Introduction to Intelligent Systems Science I, Introduction to Intelligent Systems Science II |
|
 |
 MIYAOO Yusuke （Associate Professor） |
Natural Language Processing Computational Linguistics |
This course focuses on computational linguistics and natural language processing, which study theories and technologies to enable computers to process human languages such as Japanese and English. The research topics include theoretical frameworks for natural language such as syntactic/semantic theories and machine learning, fundamental technologies including syntactic/semantic parsing and knowledge acquisition, and natural language applications such as machine translation, information extraction, and intelligent search systems. | Introduction to Intelligent Systems Science I, Syntactic/semantic parsing |
|
 |
 BONO Mayumi （Assistant Professor） |
Sociolinguistics, Conversational informatics, Utterance, Body movement, Sign language, Conversation analysis, Social Interaction |
This course will cover the theoretical frameworks and methodologies to understand conversational organization in our daily lives. Within conversation, talk is constituted through the mutual interaction of speaker and hearer using various modalities such as speech, gazing, body movement, and so on. My research interests mainly include the analysis of face-to-face conversation, human interaction, Japanese signed conversation, and the design of human-computer interaction. |
Communication Environments, Introduction to Intelligent Systems Science II |
|
 |
 OHMUKAI Ikki （Associate Professor） |
Semantic Web, Social Network Analysis, Knowledge Sharing |
My research interest is supporting communication in the web. We will discuss design and development of communication systems based on the semantic web technology and social network analysis. | Intelligent Web Systems, Introduction to Intelligent Systems Science I, Introduction to Intelligent Systems Science II |
|
 |
| Information Environment Science |
| Photo/Name | Keyword | Guidance | Lecture | Detail | |
 KANDO Noriko （Professor） |
Information Retrieval, Information Access Technologies, Text Processing, Evaluation Methodology and Metrics |
Principles and methods of information retrieval. An examination of the central concept in Information Retrieval, methods, consideration for the relationship to user's context, retrieval purpose, task and need as well as characteristic of information objects. | Information
Retrieval, Introduction to Information Environment Science II |
|
 |
 KOYAMA Teruo （Professor） |
Terminology, Natural language processing, Statistical analysis |
Problems on terminology are discussed using natural language processing and statistical analysis techniques. The main area of interest is how the structure and elements have relation to resulted composite terms, and how the statistical features of frequency or co-occurrence of terms are related to the usage of the terms. | Terminology | |
 |
 MIYAZAWA Akira （Professor） |
Catalogues, database, library system |
Investigate practical and theoretical aspect of organization of information; more specifically, learning contents design and production system design for catalogues, databases or subject gateways from the actual system example. In the field of traditional library catalogs, authority control, description and modeling will be studied. In the field of database production, issues on coding or issues on entity identification will be studied. These issues on production of catalogue or databases will be identified and solutions will be systematized. | Academic
Information Environments, Introduction to Information Environment Science II |
|
 |
 OYAMA Keizo （Professor） |
data engineering, information retrieval, information systems, web information processing, information access technology, text processing |
Investigate methods for efficiently accessing to rapidly expanding and diversifying information resources, in stages from elemental techniques to application systems, including: (1) application of text processing techniques such as information retrieval and text classification to Web page data and large scale databases; (2) organization among and unified access to various information systems and information services. | Digital
Publications, Introduction to Information Environment Science II |
|
 |
 TOHKURA Yoh'ichi （Professor） |
Information Institution, information and communication technologies |
Information Institution with a focus on relationships between information and communication technologies and legal social systems, including issues on how cutting edge technologies and services influence on legal systems and vice versa, will be discussed into a vision of the future of information institution. | Governance among humans, technology and social system in the ICT society, Introduction to Information Environment Science I |
|
 |
 NISHIZAWA Masaki （Associate Professor） |
Scientmetrics, Bibliometrics, Research trends, statistical analysis |
This course focus on methodology and case analysis of the scientmetorics for measuring scientist's research activity, research trends and development of science. We discuss technique to extract internal factor to explain the characteristics of the empirical distribution with comparing a mathematical model in natural science. | Methodology
of Scientmetrics, Introduction to Information Environment Science Ⅱ |
|
 |
 OKADA Hitoshi （Associate Professor） |
Electronic Commerce, IT-enabled Services, Electronic Money |
We would like to think about how Electronic Commerce and Electronic Money affair on our Economic activity or Social Structure. In this course, we will see the recent business cases around the world, analyze the user activity using several statics methods. Then we shall achieve the research ability to find some institutional matters on Information Society and to give some policy proposals. | ICT-enabled
Business, Introduction to Information Environment Science I, Introduction to information security infrastructure |
|
 |
 SUN Yuan （Associate Professor） |
bibliometrics, bibliometric data, statistical methods |
Bibliometrics has become a standard tool of science policy and research management in the last decades. In this course we introduce the fundamental techniques of bibliometrics, together with related statistical methods. Topics include citation analysis, co-authorship analysis, basic and advanced data-analytical methods. | Introduction
to Statistical Methods in Bibliometrics, Introduction to Information Environment Science I |
|
 |
 KOBAYASHI Tetsuro （Assistant Professor） |
social psychology, social network theory, communication research |
Teaching and research supervision on the theory and application of social psychology. Emphasis is on the empirical researches on social network and communication dynamics using social survey data. The main areas of interest are, 1. Transformation of social capital via using ICTs and its social and political consequences 2. Political communication under democratic social system 3. The effect of interpersonal communication in consumer behavior |
Information
Society, Introduction to Information Environment Science I |
|
 |
 UEDA Masashi （Assistant Professor） |
Network economics, Information public policy, Software policy |
The tendencies and technologies of our current information-intensive society affect our economy and lifestyles in various ways. As information technology advances, public policies must change to keep pace. This includes revised laws and market structures. I’m exploring the question of ideal information public policy, particularly with regard to how information infrastructures affect markets and how the information infrastructure can be improved to ensure ideal market functioning. | Information
Economics, Introduction to Information Environment Science I |
|
 |
