OPEN HOUSE 2007...Katsumi INOUE Yasuo YAMAMOTO（Sokendai），Andrei Doncescu（LAAS - CNRS）, Oliver Ray（University of Bristol） 502 Future of BBS, Blog and SNS 20 Hideaki TAKEDA

Abstract

OPEN HOUSE 2007JUNE 7-8, 2007

Venue : National Center for Sciences

AbstractJune 7th June 8th

http://www.nii.ac.jp/openhouse/

［Conference Room］［Conference Room］

14:30～19:00 Poster Exhibitions and Demos 10:30～17:00 Poster Exhibitions and Demos

19:00～20:00 Science Pub

［Hitotsubashi Memorial Hall］［Hitotsubashi Memorial Hall］

13:30～14:00 Opening Address Introduction of NII and "Sokendai" graduate schoolMasao Sakauchi（Director General, NII）10:00～11:30 SINET3Opening Ceremony

Science Information Network (SINET3) Opening CeremonyKeynote Speech : Shojiro Nishio (Osaka University)

14:00～15:00 Keynote Speech "How does 'Information' Look at Our Future?"Hideaki Sena（Writer/Professor (by Special Appointment), Division of Mechanical Engineering, Tohoku University)

13:00～16:00 CSI Symposium For Construction of Cyber Science Infrastructure (CSI)● Science Information Network (SINET3)● University Public Key Infrastructure (UPKI)● National Research Grid Initiative (NAREGI)● Next-generation Scientific Content Infrastructure

15:30～16:30 Keynote Speech "Data Driven Valuation in an Information Explosion Era"Masaru Kitsuregawa(Visiting Professor, NII / Professor, Institute of Industrial Science, the University of Tokyo) ［Special Conference Room］

18:30～20:00 Public Lecture "Brain science and Robotics ― Can robots think like human beings?"Tetsuya Inamura(Associate Professor, Principles of Informatics Research Division, NII)

10:00～16:00 CSI Workshop Theme - specific discussion on Cyber ScienceInfrastructure (CSI)● SINET3● NACSIS - CAT/ILL● Institutional Repository

［Special Conference Room］

15:00～17:30 Top SE Orientation Session

401

301 302 303

307

201

209 210

101

106 107

102

211 213 214 215 216 217 218

202 203 204 205 206 207 208 212

316 317 318 309 310 311 312 313 314

304 305 306 308 315

402 403 404 408 410 411 412

405 406 407 409

413 414

113

109

108

801 802 803 804 805 806

701 702605604603

601 602

501 502 503 504 505 506 507 508 509 510 511 512 513 514

105104103

110 111 112

Hitotsubashi Memorial Hall

Conference Room

Restroom

Poster Exhibitions and Demos

2 3

National Institute of Informatics

ContentsDemos P

101Blog content negotiates and changes its view when browsed or quoted

8Shinichi HONIDEN Nobukazu YOSHIOKA, Fuyuki ISHIKAWA, Honiden Laboratory

102To make it easy to program multi wireless robots

8Shinichi HONIDEN Satoshi KATAOKA, Honiden Laboratory

103A brand-new operating system which dependable IT systems are based on

8Takashi MATSUMOTO

104〜105

Collaborative Topic Maps - based Digital Semantic Management8

Frederic Andres

106Information and knowledge management system for Web2.0 era

8Noriko ARAI Ryuji MASUKAWA, CS Solution Co., Ltd.

107A research on digital rights management

9Noboru SONEHARA Hideho NUMATA, Kayo IKEDA, Naohiko KAMAE

108Browse through the Cultural Heritage of Silk Roads in the Digital Space

9Kinji ONO Asanobu KITAMOTO, Makiko OHNISHI, Elham ANDAROODI, Ryo KAMIDA, Yoko NISHIMURA, Tetsuro KAMURA, Yuko TANAKA

109Collect and Organize Various Information, and Typhoon Information Will Become More Real

9Asanobu KITAMOTO

110The realities of Antarctic Moss that comes into view by informatics approach

9Asao FUJIYAMA Keiichi KUMA, Jiro ARAKI, Hendry MULJADI, Satoshi KOBAYASHI

111Can robots imitate humans behavior?

9Tetsunari INAMURA

112For Quick Analysis of Huge Databases

10Takeaki UNO

113Development of an Educational Board Game

10Ryutaro ICHISE Hiroshi YAMAKAWA（Academic Life Club）, Masayuki OHTA（AIST）, Yoshikiyo KATO（NICT）, Hiroko SHOJI（Chuo University）, Yutaka MATSUO（AIST）

Information Systems Architecture Science P

201Ultimate communication environment comes

10Shigeo URUSHIDANI

202Providing high quality wireless communications

10Yusheng JI Masoomeh TORABZADEH, Nararat RUANGCHAIJATUPON

203Linking fast communication path together

10Jun MATSUKATA

204A Mobile Agent-based Privacy Protection Mechanism

11Shigeki YAMADA Md. Nurul HUDA, Eiji KAMIOKA

205How do we use the net?

11Kensuke FUKUDA

206IT to innovate in social applications

11Shoichiro ASANO

207How is traffic on the Internet highway?

11Shunji ABE

208Self-evolvable networks

11Ichiro SATOH

209Simple and robust software platform for system federations

11Katsumi MARUYAMA

210Effective analysis of very large data sets

12Michael HOULE

211Preparing data sets for more effective search and analysis

12Michael HOULE Nizar GRIRA

212Replace a query with equivalent one with less execution cost

12Soichiro HIDAKA Hiroyuki KATO, Masatoshi YOSHIKAWA（Kyoto University）, Yasunori ISHIHARA（Osaka University）

213Are Software Products Reliable?

12Shin NAKAJIMA

4

214Developing Programs by Providing Only Objectives Instead of Computing Methods

12Hiroshi HOSOBE

215Virus check software is no longer necessary

13Tomohiro YONEDA Tetsuro SATO, Fuminori KAWAGUCHI

216How to develop and measure good software easily

13Hironori WASHIZAKI

217Comfortable and Efficient Use of Wearable Computers

13Sébastien DUVAL Hiromichi HASHIZUME

218Networks using commodity components for high-performance computing

13Michihiro KOIBUCHI Tomohiro OOTSUKA（Keio University）, Hideharu AMANO（Keio University）

Digital Content and Media Sciences P

301Let's Use a Free Tool “Dictionpedia” for the Creation and Release of Dictionaries

13Akiko AIZAWA Asanobu KITAMOTO

302Anyone can be one of Experts about Cultural Heritage Objects

14Jun ADACHI Noriko KANDO, Kenro AIHARA, Taizo YAMADA, Satoko FUJISAWA

303Discovery from Linkages between Databases

14Jun ADACHI Keizo OYAMA, Atsuhiro TAKASU, Akiko AIZAWA, Masashi INOUE, Tomonari MASADA, Masao TAKAKU, Daiji FUKAGAWA

304Building information resources from the Web with less human labor

14Keizo OYAMA Yuxin WANG

305Assisting a person with an emotional agent

14Seiji YAMADA Nadine Richard

306Creating spatially immersive displays

14Imari SATO Mark ASHDOWN（MIT），Takahiro OKABE（The University of Tokyo），Yoichi SATO（The University of Tokyo）

307Toward Bridging the Semantic Gap for Videos

15Shin'ichi SATOH Norio KATAYAMA, Hiroshi MO

308Visual communication based on light field processing

15Kazuya KODAMA OU Xi

309Automated Multi-modal Content Creation

15Helmut PRENDINGER Mitsuru ISHIZUKA（The University of Tokyo）, Werner Breitfuss（The University of Tokyo）


15Helmut PRENDINGER Mitsuru ISHIZUKA（The University of Tokyo）, Hugo Hernault（NII）


15Helmut PRENDINGER Mitsuru ISHIZUKA（The University of Tokyo）, Klaus Bruegmann（NII Int'l Internship Student） Hannes Dohrn（NII Int'l Internship Student）

312Emotion Recognition from Text

16Helmut PRENDINGER Mitsuru ISHIZUKA（The University of Tokyo）, Mostafa Al Masum Shaikh（The University of Tokyo）

313Emotion Recognition from Text

16Helmut PRENDINGER Mitsuru ISHIZUKA（The University of Tokyo）, Alena Neviarouskaya（The University of Tokyo）

314Attentive Presentation Agents

16Helmut Prendinger Mitsuru ISHIZUKA（The University of Tokyo）, Wolfgang Wahlster（DFKI）, Boris Brandherm（NII Int'l Internship Student）

315Searching images by content and appearance

16Masashi INOUE

316Community-based Web Exploration

16Ikki OHMUKAI

317Utilize information spaces connected by networks

17Hiroyuki KATO Soichiro HIDAKA, Masatoshi YOSHIKAWA(Kyoto University）, Yasunori ISHIHARA（Hanshin University）

318Information hiding for fair use of multimedia content

17Isao ECHIZEN

Information and Society P

401Relation between input and output of Japanese academic research

17Yuan SUN Masamitsu NEGISHI, Masaki NISHIZAWA, Morio SHIBAYAMA

402Research trend of Japanese prioritized areas on the 2nd Science and Technology Basic Plan

17Masaki NISHIZAWA Yuan SUN

5


403Situation of Patent Application in Universities

17Morio SHIBAYAMA

404How are children different from adults in organizing and selecting information to compose the narrative of a story?

18Nobuhiro FURUYAMA Kazuo SEKINE

405Search for your favorite shapes

18Hironobu GOTODA

406Information standards: need must obey?

18Akira MIYAZAWA

407We are trying to improve the accuracy of Japanese composite term extraction from text corpora

18Teruo KOYAMA

408Controlling quality of consumer generated media

18Kouichirou UEKI

409New Information Public Policy in Broadband Age

19Masashi UEDA

410How the relationship between politics and the use of the Internet had changed in the Koizumi years?

19Tetsuro KOBAYASHI

411How to avoid the risk of internet society?

19Hitoshi OKADA Kanokwan Atchariyachanvanich（Sokendai）

412 Records management as a means of communication beyond language and cultural barriers

19Takashi KOGA Chiyoko OGAWA（Documenting Japan International）

413Speech data and speech research

19Shuichi ITAHASHI Tomoko OHSUGA, Kimiko YAMAKAWA

414Speech and language classification

20Shuichi ITAHASHI Tomoko OHSUGA, Kimiko YAMAKAWA

Principles of Informatics P

501Let's Hypothesize and Reason!

20Katsumi INOUE Yasuo YAMAMOTO（Sokendai），Andrei Doncescu（LAAS - CNRS）, Oliver Ray（University of Bristol）

502Future of BBS, Blog and SNS

20Hideaki TAKEDA Ikki OHMUKAI

503In this project we present a system for detection and tracking of infectious disease outbreaks from Web news using text mining.

20Nigel COLLIER Ai KAWAZOE, Doan Son, Lhua Jin, Hutchatai Chanlekha, John McCrae, Wei Qi

504Toward a system of kiga-kiku web service

20Ken SATOH

505e-Learning platform WebELS to accelerate globalization in higher education by advanced Internet technology

21Haruki UENO Hiroyuki SATOH, Md. Rahman, Zheng HE, Nobuo SHIMAMOTO, Naoyuki TAKAHATA, Yoshiaki SHIRAI, Masaki MORI, Eiji OKANO, Tao ZHANG, Masayuki ISHIDA, Vuthichai Ampornaramveth

506Programming Logic

21Makoto TATSUTA

507The Mathematics of Human Language

21Makoto KANAZAWA

508Mathematical understanding of computational complexity

21Kazushige TERUI

509How do you solve a system of equations with more(less) equations than unknowns ?

21Ken HAYAMI Dr. Jun-Feng Yin

510A Family of Numerical Iterative Methods for Solving the Large-scale Rectangular System of Linear Equations

22Jun-Feng YIN

511Secure communication using weird quantum properties

22Kae NEMOTO

512Computer scientific approach to foundation of quantum mechanics

22Keiji MATSUMOTO Takeshi ITO

513Making artificial quantum crystals to understand quantum many body problems

22Yoshihisa YAMAMOTO Tim Byrnes, Shoko UTSUNOMIYA, Kenichiro KUSUDO

514Efficient inference of probabilistic causality

22Youdai WATANABE

6

Project/Development and Operation P

601How will the Research Environment Change with Computational Science and Grid Technology?

23Center for Grid Research and Development

602The information resources in various universities are shared safely and securely

23Infrastructure Planning Division, CyberScience Infrestucture Development Department

603Searching various academic information with databases produced by NII

23Scholatly and Academic Information Divison, CyberScience Infrestuctur Development Department

604Promoting establishment of next-generation information infrastructure indispensable to the academic community

23Scholatly and Academic Information Divison, CyberScience Infrestuctur Development Department

605To provide a greater variety of network services and to respond more flexibly to changes in user requirements

23Research and Development Center for Academic Networks/Academic Network Division, Cyber Science Infrastructure Development Department

Others P

701Introduction of the Graduate School(SOKENDAI: Chiyoda Campus)

24Research Cooperation Division, Institutional and Research cooperation Department NII（shoichi murata）

702Intellectual property support for researchers

24Intellectual property support for researchers

Special Exhibition P

801“Association by Books Interface” for Library

24Akihiko TAKANO, Chiyoda Library

802Meiji University Library Exhibition: “Mokuhan Sashie iri Seiyo Shokiinsatsu hon Reiyo Collection” (Collection of Woodblock Prints in a leaf of Incunabula) 24Meiji University Library

803Development of Scrub Nurse Robot for Endoscopic and Laparoscopic Surgery

25Tokyo Denki University

804“Nihon-No-Furuhon-Ya” （Old Japanese Book Shop System）: Search site for antique books

25Tokyo Aquarian Booksellers Cooperative

805National Archives of Japan, Digital Archive: “Past is Prologue”

25National Archives of Japan

806Supporting research of new information technologies for Web 2.0

25Keizo OYAMA NII Text Data Collection Group, Yohichi TOHKURA, Noriko KANDO, Shuichi ITAHASHI, Tomoko OHSUGA, Kimiko YAMAKAWA（NII）, Makoto OKAMORO, Fuyuko KIDO（Yahoo JAPAN）

7


8

Poster Exhibitions and Demos

Demos

101 Shinichi HONIDEN Nobukazu YOSHIOKA, Fuyuki ISHIKAWA, Honiden Laboratory

Blog content negotiates and changes its view when browsed or quoted

● An agent framework bringing safe, unrestricted distribution of digital content into the realm of reality: Application to Blog Contents

This project has applied agent technologies to provide services in complying with policies by content providers/consumers, presuming a world where everyone creates and distributes digital content from everywhere. Especially, we provide a framework for implementation

of agents that adhere to policies given by content providers/consumers. The framework has been adopted to various kinds of contents including Blog contents.

102 Shinichi HONIDEN Satoshi KATAOKA, Honiden Laboratory

To make it easy to program multi wireless robots

●Multi robot framework for cooperation of robotsRecently development of a robot has been facilitated. It is now more and more important to make use of multiple robots to achieve a task cooperatively. In this project, we developed a multi-

robot framework for cooperation of multiple robots. By using the framework, programmers can implement cooperative behavior of robots by using high-level commands.

103 Takashi MATSUMOTO

A brand-new operating system which dependable IT systems are based on

●SSS-PC: the next-generation operating systemTakashi Matsumoto and his project members are developing a new generation operating system named SSS-PC （three S PC）, which runs on commodity PCs in offices and makes up a highly-dependable and high-performance computer system.

SSS-PC can integrate up to a hundred thousands of PCs into a single high performance parallel computer. Demonstrations, which focus on scalability, migration facility and distributed real-time functions of the SSS-PC, will be planed.

104〜105 Frederic Andres

Collaborative Topic Maps-based Digital Semantic Management

The Isfahan Islamic Architecture Database （IIAD） projectThe IIAD project will demonstrate a collaborative semantic management system of digital resources of Islamic historical buildings. The approach combines a topic maps-based semantic support to the 5W1H model (Where, Who, When, What, Who and How) with objective of enabling comprehensive semantics of digital

contents for research and education purposes. The IIAD platform enables various communities to share their knowledge and on-going researches using multi-faceted resource category management applied to hierarchical metadata sets and related semantic features.

106 Noriko ARAI Ryuji MASUKAWA, CS Solution Co., Ltd.

Information and knowledge management system for Web2.0 era

●NetCommons ProjectNational Institute of Informatics has been developing a CMS, called NetCommons, from 2001. NetCommons is designed mainly for educational use from elementary school level to graduate school

and life-long education. NetCommons is released as an open source under the GNU Public License. Now it is downloadable from the site, http://www.netcommons.org/.

9


107 Noboru SONEHARA Hideho NUMATA, Kayo IKEDA, Naohiko KAMAE

A research on digital rights management

●A system on digital rights lifecycle managementAs a way of stimulating the distribution of content and providing more freedom with respect to copyright, we propose an approach which moves away from the static definitions of the Commons and Commercial domains, and effects changes, including status and pricing for content based on market trends. We develop a system

that promotes distribution of digital content by demonstrating a digital-rights management technology that takes these types of issues and the current state of research into consideration, and contributes to revision of the copyright law system.

108 Kinji ONO Asanobu KITAMOTO, Makiko OHNISHI, Elham ANDAROODI, Ryo KAMIDA, Yoko NISHIMURA, Tetsuro KAMURA, Yuko TANAKA Browse through the Cultural Heritage of Silk Roads in the Digital Space

●Digital Silk Roads Project ―― Digital Archive of Cultural HeritageDigital Silk Roads Project （http://dsr.nii.ac.jp/） makes the cultural heritage of Silk Roads accessible on the Website through digitization to realize information environment in which scholars and the general public can study, learn and enjoy. The demonstration

includes Toyo Bunko Digital Archive of Rare Books, the 3D reconstitution of the Citadel of Bam （Iran）, overlaying old maps on Google Earth, short movies of Bamiyan （Afghanistan）, and cultural heritage metadata system ASPICO.

109 Asanobu KITAMOTO

Collect and Organize Various Information, and Typhoon Information Will Become More Real

● “Digital Typhoon” and “Typhoon Front” ‒ Next Generation Typhoon Information Integrating Large-Scale Databases and Participatory Media

“Digital Typhoon” and “Typhoon Front” are two Websites working together as large-scale databases and participatory media specialized in typhoons. The core of “Digital Typhoon” is satellite typhoon images for 26 years since 1981, and the core of “Typhoon

Front” is real-time information collected from bloggers around the world. The future of information system is discussed based on the observation of connecting large-scale databases archiving the past and participatory media capturing the present.

110 Asao FUJIYAMA Keiichi KUMA, Jiro ARAKI, Hendry MULJADI, Satoshi KOBAYASHI

The realities of Antarctic Moss that comes into view by informatics approach

● Transdisciplinary Research Project: New image data processing for classification indices of Antarctic Bryophyta （Moss）

A lot of Antarctic Bryophyta are being kept as a cryopreservation or as dry specimens for academic research in Japan, assuming that these specimens are valuable. It is extremely difficult to obtain the valuable type specimens for identification or academic

pursuits. Digital Pictures of Bryophyta are taken with a high digital microscope and are rendered for 3D. In addition, it introduces "New generation biotechnology portal"

111 Tetsunari INAMURA

Can robots imitate humans behavior?

●Research on behavior imitation and symbol emergence based on Mirror Neuron modelRecently, an idea that an origin of human beings' higher-order intelligence is the ability to imitate others' behavior. We think that the same concept is effective for humanoid robots. In this presentation, we propose a novel mechanism for humanoid robots to imitate humans' daily life behaviors, by learning from performances

of humans and consideration of effects and results of the behavior. A strategy will be explained that the robot estimate humans' intention and generate adequate behavior, with symbol emergence and manipulation. A demonstration of a real humanoid robot will be performed.

10

112 Takeaki UNO

For Quick Analysis of Huge Databases

●Finding similar pair of records from huge databaseRecently the real world data is so huge, and is hard to analyze even if it is so easy for small data in past days. For example, finding all pairs of similar records from a database can not be solved in short time if the number of records exceeds one million. Here you can

see an efficient algorithm to solve finding similarity of string data, and its applications for genome science and web science which have so huge databases. You will see what kind of analysis you really can for huge databases.

113 Ryutaro ICHISE Hiroshi YAMAKAWA（Academic Life Club）, Masayuki OHTA（AIST）, Yoshikiyo KATO（NICT）, Hiroko SHOJI（Chuo University）, Yutaka MATSUO（AIST） Development of an Educational Board Game

●Educational Board Game for Researchers’ Career PlanningWe developed a board game to be used as teaching material for improving a person's career planning, which we call Happy Academic Life 2006. We made models of different researcher's

lifelong career plans, and also an abstract map of research fields for the game.

Information Systems Architecture Science

201 Shigeo URUSHIDANI

Ultimate communication environment is coming

●Layer- 1 bandwidth on demand technology for ultimate communication environmentThis research pursues the ultimate communication environment, which gives extremely small packet delay, no delay variance, and no packet loss, on the shared network by many users. Layer-1 bandwidth on demand technology enables the users to have such

ultimate communication environments when needed. The world's first services using this technology will be launched in the near feature in the leading-edge academic network, called SINET3.

202 Yusheng JI Masoomeh TORABZADEH, Nararat RUANGCHAIJATUPON

Providing high quality wireless communications

●Quality of Service Provisioning in Broadband Wireless NetworksMany transmission methods and protocols have been proposed for the new generation wireless networks. Among those, we focus on the mechanisms for providing the quality of services in wireless communication systems such as multi-input multi-output （MIMO）

systems and broadband wireless access （BWA） networks. Our researches on the resource management and scheduling algorithms are introduced in this presentation.

203 Jun MATSUKATA

Linking fast communication path together

●Network Control Scheme for Very Fast InternetRealization of high-speed communication over the Internet requires not only that the high-speed backbone network but also that complete hardware and software conditions in the end equipment such as computers in the campus network. The network control

scheme for realizing high-speed communications is researched regarding the end equipment as well as the network. Moreover, it is examined where the bottlenecks that prevent high-speed communications resides.

11


204 Shigeki YAMADA Md. Nurul HUDA, Eiji KAMIOKA

A Mobile Agent-based Privacy Protection Mechanism

Research on Agent Server Platform （iCOP） for Protecting PrivacyWe propose a mobile agent-based privacy protection mechanism in which the participating mobile agents, along with their personal data, migrate into a mobile agent platform, called iCOP. The iCOP prohibits the mobile agents from communicating with the outside world, and checks their possible malicious behaviors of

mobile agents. When the necessary processing in mobile agents is completed, the iCOP returns the computational result back to mobile agent users, and disposes all the mobile agents along with their personal data. Thus, iCOP enables robust privacy protection.

205 Kensuke FUKUDA

How do we use the net?

●Dynamics of Internet TrafficJapan is a leader in residential broadband deployment, however, we had no clear grasp of the macroscopic behavior of residential broadband traffic. This poster presents the impact of recent

widespread residential broadband traffic on backbone, taken from 7 major Japanese ISPs.

206 Shoichiro ASANO

IT to innovate in social applications

●N-ID: New Identification MechanismNII has been contributing to develop focal technology for future applications. N-ID （Network ID） is the key element to integrate ubiquitous network, sensor network, RFID as well as geo-spatial

applications. International Focus Group is now arguing common framework （Reference Model） for generalized Identity Management as shown in the presentation.

207 Shunji ABE

How is traffic on the Internet highway?

●Measured Internet traffic and its forecasting modelWe describe forecasting models for measured time series traffic of the Internet. The　forecasting models can apply to forecast

bandwidth and QoS of the Internet. Those models are important to realize high-performance applications such as GRID on the Internet.

208 Ichiro SATOH

Self-evolvable networks

●Self-managed distributed computing systemsThe scale and complexity of modern distributed systems impair our ability to manage the systems. We propose an approach to deploy and execute software at multiple computers on a distributed system

in a self-organizing manner. The approach enables software to describe its deployment, duplication, and management policies so that the software can support autonomous and distributed systems.

209 Katsumi MARUYAMA

Simple and robust software platform for system federations

●Simple and robust federated-OS for embedded systemsSoftware in control/embedded systems is becoming more and more enhanced, federated and complex, and its development is becoming the neck of system development. Control/embedded systems are usually driven by events, and an adequate OS is hoped. We are implementing a new software platform with following

features; （1） Federated OS “LP49” composed of a micro kernel and independent multi-servers. （2） Flexible and efficient federated processing by means of environment export/import, and （3） Robust service by fault recovery of individual server.

12

210 Michael HOULE

Effective analysis of very large data sets

●RSC: A Generic Query-based Model for Scalable ClusteringTraditional clustering-based data discovery tools often fail when the data sets are very large or have many attributes, or have performance parameters that are very difficult to tune in practice. We have developed a generic model for clustering, and implemented a clustering system based on the model that overcomes many of these difficulties. The model assesses the

quality of cluster candidates, the degree of association between pairs of cluster candidates, and the degree of association between clusters and data items are all assessed according to the statistical significance of a form of correlation among the neighborhoods of their constituent members.

211 Michael HOULE Nizar GRIRA

Preparing data sets for more effective search and analysis

●Automatic feature selection for unsupervised learning and retrievalOur goal is to identify the best sets of data features for supporting retrieval and analysis of data sets. For example, we may wish to select a small number of color, texture or shape features so as to best differentiate among the various artistic styles within a collection of images of paintings. We have developed a method

for automatically assessing the ability of a set of features to differentiate among natural groupings of data items ― even when these groupings are not known in advance ― and a selection framework based on this method.

212 Soichiro HIDAKA Hiroyuki KATO, Masatoshi YOSHIKAWA （Kyoto University）, Yasunori ISHIHARA （Osaka University） Replace a query with equivalent one with less execution cost

●XQuery Identities and its Cost ModelFunctional query language XQuery is expected to enjoy various program transformation techniques for general functional programming languages. These transformations have to be proven not to increase costs. We exploit a structural recursion and its

basic transformation, by which various transformation rules can be proved. We also propose a cost model to quantify changes in evaluation cost.

213 Shin NAKAJIMA

Are Software Products Reliable?

●Right-weight Formal Methods for Industrial UseSoftware industry is interested in Formal Methods, which are software development methods using mathematical logic, as inevitable tools for increasing reliability of software products. Since the mid-90's, using the methods as systematic debugging tools

has been paid attention. It focuses on practical use rather than the mathematical rigour. We report here on recent studies from the viewpoint of Right-weight use of formal methods.

214 Hiroshi HOSOBE

Developing Programs by Providing Only Objectives Instead of Computing Methods

●Constraint Programming and Its ApplicationsConstraint programming is a useful technology for modeling and solving various problems. Ordinary programming requires programmers to describe computing methods for achieving their objectives, whereas constraint programming allows them to describe

only their objectives that will then be automatically achieved by the computers, which makes it easier to develop programs. We present technologies and applications of constraint programming, especially focused on recent results of our research.

13


215 Tomohiro YONEDA Tetsuro SATO, Fuminori KAWAGUCHI

Virus check software is no longer necessary

●Development of a security pattern matching acceleratorFor increasing demands for high security, we are developing an independent hardware device that performs virus checking, URL filtering and so on, instead of performing them with software. In this research project, a special architecture in which data structures flow in a pipeline mechanism with high throughput has been implemented using asynchronous circuit technology. Furthermore,

unlike other projects to develop hard-wired accelerators, the functions are actually performed by specialized data-flow instructions in our method, which allows us to easily adapt our method to different purposes, offering much higher performance compared to software-implemented functions.

216 Hironori WASHIZAKI

How to develop and measure good software easily

●Productive development of large-scale software with high quality by reuse and measurementGood software can be developed easily by reusing whole or part of existing good software. Thus, the keys to success in productive development of large-scale and complicated software with high quality are reuse and measurement. In this research, we are developing an effective scheme for modularizing and reusing 3P in

software development: processes, products and people's knowledge. Moreover, we are also developing a scheme for measuring and evaluating product quality. We have a plan to integrate these two schemes together.

217 Sébastien DUVAL Hiromichi HASHIZUME

Comfortable and Efficient Use of Wearable Computers

●Fundamental Needs in Wearable Computing - Specificities for the Third AgeOlder adults have specific needs reflected by their everyday activities and use of technology. We briefly present elders' cognitive, physical, and sensory characteristics, then describe their impact on fundamental needs. Based on this information, we

discuss dedicated services that exploit wearable computers, and the proper design of such systems. Our most significant contribution is to provide the first overview of third age persons' specific needs in wearable computing.

218 Michihiro KOIBUCHI Tomohiro OOTSUKA（Keio University）, Hideharu AMANO（Keio University）

Networks using commodity components for high-performance computing

●Lossless Interconnection Networks on PC clustersInterconnection networks are a key role to improve the system performance of PC clusters. They are able to be classified into low-cost Ethernet and high-performance system area networks. In this panel, I clearly demonstrate and develop a topology, packet routing,

and multicast suitable for parallel processing．Moreover, I show the impact of the topology, routing, and multicasts on two real PC cluster systems.

Digital Content and Media Sciences

301 Akiko AIZAWA Asanobu KITAMOTO

Let's Use a Free Tool “Dictionpedia” for the Creation and Release of Dictionaries

●Dictionpedia: A Tool for the Creation and Release of DictionariesDictionpedia is an environment for creating, exchanging, and customizing glossaries. Dictionpedia consists of （i） dictool, a tool for editing glossaries with enhanced functions such as post-order sort and entry term registration, and （ii） dicsync, a tool for

synchronizing dictool with MediaWiki for the publication of edited glossaries. Dictionpedia is freely downloadable from the project's website http://dictionpedia.ex.nii.ac.jp/.

14

302 Jun ADACHI Noriko KANDO, Kenro AIHARA, Taizo YAMADA, Satoko FUJISAWA

Anyone can be one of Experts about Cultural Heritage Objects

● CEAX Project ― Research on Integration and Utilization of Digital Archives about Cultural Heritage Objects ―

In collaboration with Tokyo National Museum, we study a methodology to integrate and utilize metadata of cultural heritage objects that are managed at museums individually. We proposed flexible metadata scheme called “growing metadata”, which handles universal data, such as date of creation, and annotations

that can be described by anyone including not only experts but also educators, pupils, and general learners. In this presentation, we take an overview of our methodology, our proposed system, and a case study at an elementary school.

303 Jun ADACHI Keizo OYAMA, Atsuhiro TAKASU, Akiko AIZAWA, Masashi INOUE, Tomonari MASADA, Masao TAKAKU, Daiji FUKAGAWA Discovery from Linkages between Databases

●Infrastructure Technology of Information Retrieval using Information LinkageIn this study, we aim to develop an infrastructure technology for information retrieval. Recently, large and growing amount of information, published by all kinds of people, is available. Accessibility to rich information resources, on the other hand, causes duplication and fragmentation of information to develop and more sophisticated technology is essential for users to quickly

get to the information they need. In this study, we investigate techniques of finding information linkage between resources which are fragmented and distributed in the vast information space, and construct an infrastructure which realizes efficient access to rich information resources.

304 Keizo OYAMA Yuxin WANG

Building information resources from the Web with less human labor

●Web page classification exploiting page group structureThe Web contains vast amount of useful information, and to build information resources from it is a challenging issue. Especially for making them applicable to quality assured services, not only precision but also comprehensiveness are crucial requirement for

the Web page collections. We explore web page classification methods exploiting the surrounding page group structure, both for achieving high comprehensiveness and for reducing human cost required to satisfy the given quality.

305 Seiji YAMADA Nadine RICHARD

Assisting a person with an emotional agent

●TamaCoach: an adaptive, emotional, and expressive reminding systemWith the ever-growing load of information, events and various commitments we need to handle, the management of personal calendars and to-do lists becomes more and more difficult and time-consuming. We are developing an adaptive, emotional, and expressive interface agent, which learns when and how to notify users about tasks and events. As suggested by its name,

the ultimate purpose of the TamaCoach project is to investigate virtual coaching, in the context of personal time management. This requires to define the basic requirements for building a virtual coach, especially in terms of interruption strategies and expressiveness, in order to provide an adaptive system that actually motivates the user in achieving self-assigned tasks.

306 Imari SATO Mark ASHDOWN（MIT），Takahiro OKABE（The University of Tokyo）， Yoichi SATO（The University of Tokyo） Creating spatially immersive displays

●Content-Dependent Photometric Projector CompensationDigital projectors have been steadily becoming smaller and cheaper, and are now used to augment various surfaces with digital information. However, in situations other than the ideal dark room with a perfect white screen we must contend with ambient light and non-uniformity in surface color, which will reduce the contrast of the

output and introduce visible irregularities. In this work, we present a method to compensate for the irregularities and simultaneously achieve contrast equal or similar to that which would be obtained in the ideal situation.

15


307 Shin'ichi SATOH Norio KATAYAMA, Hiroshi MO

Toward Bridging the Semantic Gap for Videos

●Research Activities on Video Understanding, Indexing and RetrievalWe are investigating technologies to delineate any necessary information upon users' requests from large-scale broadcast video archives combining image analysis, natural language processing,

data mining, information retrieval, artificial intelligence, etc. Our primary goal is to establish a method to somehow understand the contents of broadcast video streams by computers.

308 Kazuya KODAMA OU Xi

Visual communication based on light field processing

●Light field processing based on decomposition of 3 -D blursWe introduce novel visual communication based on light field processing. Our multi-dimensional signal processing method decomposes and transforms ray-sets acquired with a single system of lenses. For example, by applying some 3-D filters to multiple

differently focused images, free viewpoint images and arbitrarily blurred images can be generated well. The technology will open up new vistas from image processing to light field processing.

309 Helmut PRENDINGER Mitsuru ISHIZUKA（The University of Tokyo）, Werner Breitfuss（The University of Tokyo）

Automated Multi-modal Content Creation

●Automated Creation of Nonverbal Dialogue Behavior in a Multiagent EnvironmentThis systems automatically adds non-verbal behavior, like eye gaze, "beats", and pointing gestures to a given dialogue text between two virtual agents and a user. It allows us to transform simple dialogue text into an agent script that is enriched by socially appropriate and synchronized gesture and gaze behavior. The annotated dialogue can then be presented by two animated human-like character

agents using synthesized speech. The Multi-modal Presentation Markup Language （MPML 3 D） serves as the control language. Using this system makes it very easy to add nonverbal behavior to a given dialogue text, a task that would otherwise be very cumbersome and time consuming, especially when more then one character is used.

310 Helmut PRENDINGER Mitsuru ISHIZUKA（The University of Tokyo）, Hugo Hernault（NII）

Automated Multi-modal Content Creation

●Automated Generation of Multi-modal Dialogues from TextWe are developing authoring tools and technologies that allow anyone to become a professional content creator. The system generates attractive multi-modal dialogues presented by two 3 D graphical agents automatically, by simply providing textual information （e.g. from the web） as input. Rhetorical Structure Theory （RST） is used to decompose text into segments and identify rhetorical discourse relations between them, which are

then transformed to an equivalent RST tree in Question-Answer form, the so-called DialogueNet. After appropriate role assignment （expert, layman）, the resulting dialogue is “acted out” by 3 D life-like character agents, whereby the laymen asks the questions, and the expert provides the answers. In this way, any kind of information （health, news, science） can conveyed in a form that is intuitive, engaging, and easy to understand by anyone.

311 Helmut PRENDINGER Mitsuru ISHIZUKA（The University of Tokyo）, Klaus Bruegmann（NII Int'l Internship Student）, Hannes Dohrn（NII Int'l Internship Student） Automated Multi-modal Content Creation

Multi-modal Presentation Markup Language （MPML 3 D）MPML 3 D is an authoring language aimed at supporting digital content creators to develop highly appealing and highly interactive content with　little effort. MPML 3 D advocates a reactive model that allows perceptions of other characters or the user interfere with the　presentation flow at any time, and thus facilitates natural and　unrestricted interaction. MPML 3 D is designed as a powerful

and flexible language that is easy-to-use by non-experts. Based on the "Verbs and Adverbs" technique for gesture parameterization and interpolation, we introduce new tagging structures for the expression of emotions with varying intensity levels and different personalities.

16

312 Helmut PRENDINGER Mitsuru ISHIZUKA（The University of Tokyo）, Mostafa Al Masum Shaikh（The University of Tokyo）

Emotion Recognition from Text

Affect Sensitive News Agent （ASNA） ―― An Intelligent News AggregatorWe present the Affect Sensitive News Agent （ASNA） system that performs as a news aggregator to fetch news employing several RSS news-feeds and auto-categorize the news according to affect sensitivity. There are three main factors that distinguish our work from other similar ones. First, we have integrated the approach to sense affective information from news-texts by applying a cognitive theory of emotions known as the OCC model that none have ever considered for news classification. Second, instead of any machine learning algorithm, we used common-sense and

current-affairs as our knowledgebase with a rule based approach to assess each line of text by assigning a numerical valence and finally, natural language processing （NLP） technologies are used to perform automated categorization of news stories on the basis of emotional affinity. Relying on these paradigms and content analysis technologies, we have developed a news-browser that can fetch the news from RSS news-feeds and categorizes the theme of the news according to eight emotion-types plus a neutral category for quicker and intuitive understanding.

313 Helmut PRENDINGER Mitsuru ISHIZUKA（The University of Tokyo）, Alena Neviarouskaya（The University of Tokyo）

Emotion Recognition from Text

●Analysis of Affect Expressed through Evolving Language of Online CommunicationIn this work we focus on affect recognition from text that makes possible an expressive communication in computer-mediated environment. An important aspect of the developed affect analyzing model is to deal with style and specifics of informal online conversations. In order to estimate affect in text, our model processes symbolic cues; detects and transforms abbreviations; and

employs natural language processing techniques on word/phrase/sentence-level analyses, considering relations among words in a sentence. Depending on the result of analysis, text is categorized into emotional states and communicative functions. Designed graphical representation of a user displays emotions and social behaviour driven by text, and performs natural idle movements.

314 Helmut PRENDINGER Mitsuru ISHIZUKA（The University of Tokyo）, Wolfgang Wahlster（DFKI）, Boris Brandherm（NII Int'l Internship Student） Attentive Presentation Agents

● Recognition and Presentation of Emotional and Attentive Behaviors in Multi-Modal Interfaces using Dynamic Bayesian Networks

Human physiological responses （bio-signals） and eye movements （eye gestures） provide information about a user's emotional state derived from bio-signals, as well as rich information about focus of attention or interest derived from eye fixations and scan paths. In general, the mentioned modalities can significantly improve the communication between humans and virtual presentation agents by

exploiting more subtle aspects of the conversational dynamics. We show how the aforementioned data can be fused and processed by dynamic Bayesian networks （DBNs） to estimate a user's state （user's affect and interest） in real-time and how to deal with the heavy demands that the dynamic nature of DBNs places on computation time and memory.

315 Masashi INOUE

Searching images by content and appearance

●Re-raking of image retrieval results by visual informationAs an example of multi-source information processing, combination of textual and visual information in image retrieval is examined. Although the search targets are images, that are basically visual, the key mechanism of retrieval is the matching of users’ queries

and annotations associated with images. A framework using visual information secondarily to improve initial textual retrieval result has been studied.

316 Ikki OHMUKAI

Community-based Web Exploration

●Web Communication and Interaction with MetadataNowadays demand for search engines is changing from a navigation for facts into an exploration of subjective information such as a rating and a impression.In order to achieve it the users should clarify their requirement and current situation to the systems.

This research proposes and constructs a web exploration system that is based on communities the user belongs. The system will retrieve subjective information by considering interest of the community,We will demonstrate our system in our exhibition booth.

17


317 Hiroyuki KATO Soichiro HIDAKA, Masatoshi YOSHIKAWA（Kyoto University）, Yasunori ISHIHARA（Hanshin University） Utilize information spaces connected by networks

●Emulating Node-id based Composite XQuery by Adding Extended Dewey's to ExpressionsWe propose a XQuery rewriting rule based on static analysis. For a given query the proposed algorithm eliminates redundant expressions including element constructors. The prominent feature of the algorithm is in emulating distinct-doc-order, used as the semantics　of axis step expressions in XQuery, by using extended

Dewey's added to　the occurrences of the expressions. The target composite queries are　typical in a Global-As-View-based approach, which is analogous to view　expansion in traditional database systems, in data integration systems.

318 Isao ECHIZEN

Information hiding for fair use of multimedia content

●Embedding attributes into content itself for preventing illegal useDigital content-such as pictures, movies, and music-is being made widely available because of its advantages over analog content. However, copyright infringement, information leaks, and alteration remain issues on the digital content because it can easily be modified, copied, and sent illegally over the Internet. Thus, we are

developing technology of information hiding that embeds attributes （e.g., copyright info.） into content by slightly changing its data value so that system can adequately control content flow based on the embedded information. Our goal is to establish security systems and technology for fair use of multimedia content.

Information and Society

401 Yuan SUN Masamitsu NEGISHI, Masaki NISHIZAWA, Morio SHIBAYAMA

Relation between input and output of Japanese academic research

●Analysis of effect of research promotion by Grants-in-Aid for Scientific ResearchWe report the adoption patterns of the Grants-in-Aid for Scientific Research from 1985 to 2003 about the prizewinner and the researchers who were awarded the large-scale funds in recent years. In addition, we mention about the correlation between

adoption pattern and research output pattern experimentally. Moreover, we show the outline of the questionnaire survey about the contribution of the Grants-in-Aid.

402 Masaki NISHIZAWA Yuan SUN

Research trend of Japanese prioritized areas on the 2 nd Science and Technology Basic Plan

●Investigation into Genome-related and Nanotechnology Research at Grants-in-Aid in JAPANJapanese Government and Council for Science and Technology Pol icy are promoting “Life Sciences”, “Information and Communication Technology”, “Environmental Sciences” and “Nanotechnology and Materials” field as Prioritized Areas on the 2 nd Science and Technology Basic Plan. In the Grants-in-Aid for Scientific Research, it is very interesting to see how the adoption

situation of the research of these prioritized areas has changed. We measure strengths of relations between research fields in the Grants-in-Aid and the prioritized areas using keyword analysis. Especially in this analysis, we focus on the field related to the genome, and the nanotechnology in the prioritized areas.

403 Morio SHIBAYAMA

Situation of Patent Application in Universities

●Research on Patent Application under the Industry-University Collaboration Recently not only companies but universities are more concerned about the patent as intellectual property rights. In order to investigate the result of industry-university cooperation, it is important to clarify the situation of patent application situation and acquisition in universities.

Until now, about the patent for which the academic researchers applied, it was not investigated according to the individual. This research, therefore, tries to obtain more correct information by database search, and to analyze the tendency.

18

404 Nobuhiro FURUYAMA Kazuo SEKINE

How are children different from adults in organizing and selecting information to compose the narrative of a story?

●Absence of Systematic Avoidance of Reference in Cartoon Narratives by ChildrenWhen asked to retell a cartoon story, most adult narrators fail to mention a particular scene from the story. By examining the structure of the story, as such, and how the narrators organize the narrative, we are finding out that the narrators avoid mentioning the scene because of their strategy to maintain reference information in

the narrative. Can we observe the same phenomenon in children? The present poster paper describes the results of our study on child narrative of the same story, and discuss their implications for psycholinguistics and human information processes.

405 Hironobu GOTODA

Search for your favorite shapes

●Matching and Searching for 3 D models3 D models representing the shapes of real-world objects are fundamental elements in computer-aided design, simulation and animation. Despite recent advancement in shape modeling technologies, creating 3 D models from scratch still remains a tedious work. However, with vast amount of 3 D models available on the internet, one can retrieve several models from the web,

decompose them into smaller pieces, and assemble the pieces to make up a desirable model. In this presentation, we will show and demonstrate some tools to facilitate these tasks. In particular, we will discuss how to match 3 D models, and extract common portions from the given models.

406 Akira MIYAZAWA

Information standards: need must obey?

●Trends in information standardRecently, number of information standards grows rapidly, and the standards are becoming more and more voluminous. On the other hand, there are many standards which no one knows. This is an

introduction to the entangled information standard world, and a prospect.

407 Teruo KOYAMA

We are trying to improve the accuracy of Japanese composite term extraction from text corpora

●Towards improvement of the accuracy of Japanese composite term extractionIn Japanese composite term extraction from text corpora, there are several factors which limit the accuracy of the extraction. In this research we try to eliminate the effects of morphological analysis

errors and inappropriate morphemes in composites so that the accuracy of the extraction is improved considerably.

408 Kouichirou UEKI

Controlling quality of consumer generated media

●Information management for the Web 2.0 ageRecently, CGM （Consumer Generated Media） had become very popular contents distribution platform. But, because of easiness of making and distributing the contents, low quality contents caused a

social problem. Here I show a framework to maintain the quality of the contents of CGM.

19


409 Masashi UEDA

New Information Public Policy in Broadband Age

●An Analysis on Broadband Infrastructure BuildingBroadband infrastructure building is getting common notice as a new public policy area in developed countries. This study focuses on the new regulation framework or public policy for this industry

in mega competition age for communication industry after telecom age.

410 Tetsuro KOBAYASHI

How the relationship between politics and the use of the Internet had changed in the Koizumi years?

● Changes in partisanship, support for the Cabinet, and social capital: Social survey analyses of political information users with the Internet.

Using representative national survey data during the Koizumi years, I investigate the transformation of the Internet use as a source of political information and its political consequences. Major findings are as follows. ①Weakening of “DPJ bias” among political

information users with the Internet, ②Web browsing in 2005 election as a fair wind for Koizumi Cabinet, ③Positive effects of the Internet use on sociality such as private orientation and social tolerance which are theoretically essential for democratic social system.

411 Hitoshi OKADA Kanokwan Atchariyachanvanich（Sokendai）

How to avoid the risk of internet society?

●A Research on Information Security Policy and Online Shop User's Activity・ NII has released the sample rules of Information Security Action for Higher Education Organizations. This presentation will introduce the Plan Do See cycle of security policies by sharing the knowledge of experts.・ Online Shopping brings convenience for internet users, however,

some of the risks such as the ‘phishing’ swindle or the leaks of personal data are concerned. This presentation analyzes the trust and risk of cyber society, based on the online research in South Korea and Japan.

412 Takashi KOGA Chiyoko OGAWA（Documenting Japan International）

Records management as a means of communication beyond language and cultural barriers

●Current activities and issues of records management in the United NationsThe authors have conducted research on records management in the United Nations （UN） through an investigation on the website of the UN and a field research at the Archives and Records Management Section （A　RMS） at the UN Headquarters in New York. Based on this, they found the following issues to be addressed:― Implementation of the methodology of Designing and

Implementing Recordkeeping Systems （DIRKS） based on ISO 15489, an international standard of records management― Implementation of a terminology system for peacekeeping operations― Cooperation between the ARMS and other departments for better records management in an electronic environment.

413 Shuichi ITAHASHI Tomoko OHSUGA, Kimiko YAMAKAWA

Speech data and speech research

●Collecting and creating speech corpora with applications to speech researchA large amount of speech data of various kinds is required for speech research such as speech recognition and speech synthesis. Several speech databases or corpora have been developed by various projects in Japan, but it was not possible to maintain and control them after the project. We initiated the activities of “Speech

Resources Consortium （SRC）” to collect such unused data in the universities and create new data in order to distribute them to potential users. The SRC aims to contribute to the development of information society through these activities.

20

414 Shuichi ITAHASHI Tomoko OHSUGA, Kimiko YAMAKAWA

Speech and language classification

●Classification of spoken languages with family tree expressionsIt is necessary to process various languages in the global society. Among the first step will be “language identification” which identifies the given language. We attempt to derive language family trees by classifying speech data of various languages. This is an

attempt to derive language families in linguistics from speech data. It will become possible to derive language family trees of speech data even if the language has no written text.

Principles of Informatics

501 Katsumi INOUE Yasuo YAMAMOTO（Sokendai），Andrei DONCESCU（LAAS - CNRS）, Oliver RAY（University of Bristol） Let's Hypothesize and Reason!

●Inference-based Hypothesis-Finding for Systems BiologyWe show a framework to discover unknown patterns, laws, and information from databases using logic-based Artificial Intelligence. Given a new observation, it is necessary to make a hypothesis that is accommodated to the existing knowledge. If such a hypothesis can, together with the background theory, logically derive the

observation, we can consider it as a possible explanation. In this research, we will clarify the principle of hypothesis formation and apply it to discovery of scientific knowledge. In particular, we aim at finding new rules in systems biology and giving an account for chemical reactions in metabolic pathways.

502 Hideaki TAKEDA Ikki OHMUKAI

Future of BBS, Blog and SNS

●Semantic Social MediaThere are many types of social media like blog, SNS, and BBS. We develop new systems for social media by using Semantic Web

technologies.

503 Nigel COLLIER Ai KAWAZOE, Doan SON, Lhua JIN, Hutchatai CHANLEKHA, John MCCRAE, Wei QI

In this project we present a system for detection and tracking of infectious disease outbreaks from Web news using text mining.

●BioCaster: Detection and Tracking of Disease Outbreaks from Multilingual News TextsIn BioCaster we are developing a web-portal using the latest text mining technology that can filter early reports of disease outbreaks news in various regional languages and present a summarized translation in the local language. Research focuses on creating: （1）

a multi-lingual knowledge resource （ontology）, （2） a knowledge-based text mining system, （3） a high-performance cluster computer and storage system.

504 Ken SATOH

Toward a system of kiga-kiku web service

●Speculative Computation in Multi-Agent SystemWe propose a method of distributed problem solving under incomplete information environment. To solve the problem, we propose a method using abduction. Abduction is a way of reasoning where some hypothesis will be used to complement unknown information. The idea is as follows. When communication is delayed or failed, then we use a default hypothesis as a tentative answer and continue computation. When some response is

obtained, we check consistency of the response and the current computation. If the response is consistent, then we continue the current computation; else if the response is inconsistent, we seek an alternative computation. This way of computation is called speculative computation since computation using a tentative answer would lead to a significant advantage if it succeeds

21


505 Haruki UENOHiroyuki SATOH, Md. Rahman, Zheng HE, Nobuo SHIMAMOTO, Naoyuki TAKAHATA, Yoshiaki SHIRAI, Masaki MORI, Eiji OKANO, Tao ZHANG, Masayuki ISHIDA, Vuthichai Ampornaramveth

e-Learning platform WebELS to accelerate globalization in higher education by advanced Internet technology

WebELS is an on-line e-learning platform for higher education and research collaboration focusing on authoring and dissemination of contents, aiming to assist instructors to archive their learning materials on the web for on-line and on-demand learning and so on. WebELS features web-based authoring tools, portability on various platforms, and flexibility of XML-based storage allowing the learning materials to be delivered in many different ways for both asynchronous self-learning and synchronous on-line Internet

meeting. WebELS is not just a server for you to upload your pre-created contents. It provides you with all necessary tools for creating your content online: Full-feature HTML editor, audio recorder, cursor movement recorder for audio-synchronization, MS-Office document importers, etc. WebELS provides viewing Java applet for all contents stored on WebELS. No more need to look for/pre-install AdobeReader, PPT Viewer, etc for your platforms! WebELS software is available free for on-line open-source service.

506 Makoto TATSUTA

Programming Logic

●Substitution TheoremWe found and proved Substitution Theorem, which states that the term obtained from a term M by substituting any strongly normalizing terms for variables is strongly normalizing, if the term

obtained from M by substituting any single strongly normalizing term for those variables is strongly normalizing. We also solved a long-standing open question by using this theorem.

507 Makoto KANAZAWA

The Mathematics of Human Language

●Toward a Comprehensive Model of Grammar Based on the Typed Lambda CalculusExisting formal models of grammar tend to ignore aspects of natural language like semantics, generation, and learning. We study Abstract Categorial Grammar, a grammar formalism based on the typed lambda calculus. By uncovering its formal properties and

presenting efficient algorithms for parsing, generation, and learning, we aim to build a comprehensive model of human language grammar.

508 Kazushige TERUI

Mathematical understanding of computational complexity

●A logical foundation of computational complexity theoryThe theory of computational complexity is usually developed on the basis of machine models (“computers”) such as Turing Machines. Although rather intuitive, such a theory cannot be considered mathematically clean. In this work, we develop the computational complexity theory on the

basis of logic and typed lambda calculus. This way we are able to logically explain various phenomena on computational costs, such as linear speed-up, memory compression and compositionality of logspace functions, on a suitable level of abstraction.

509 Ken HAYAMI Dr. Jun-Feng Yin

How do you solve a system of equations with more (less) equations than unknowns ?

●Iterative Solution of Least Squares ProblemsConsider solving a system of linear equations with more （less） equations than unknowns as a least squares problem. For large （sparse problems）, iterative solution methods become necessary. We developed a method of transforming the least squares problem to a system of linear equations using an appropriate

preconditioning, and then applying an iterative method called the GMRES（Generalized Minimal Residual） method. Here, we will give a mathematical explanation on the justification and convergence speed of the method.

22

510 Jun-Feng YIN

A Family of Numerical Iterative Methods for Solving the Large-scale Rectangular System of Linear Equations

●Preconditioned Krylov Subspace Methods for the Solution of Least-Squares ProblemsWe proposed the GMRES methods for the solution of large sparse least-squares problems by utilizing a mapping and preconditioning matrix B. Theoretical analyses give a sufficient and necessary condition concerning B for the proposed GMRES methods to give a least squares solution without breakdown for arbitrary right hand vector, and for over-determined, under-determined and possibly

rank-deficient problems. Further, we implement matrix B by robust incomplete factorization and incomplete QR factorization based on the Givens rotations. Numerical experiments show that the preconditioned GMRES method is the fastest method for ill-conditioned problem.

511 Kae NEMOTO

Secure communication using weird quantum properties

●Hybrid quantum repeater systemsQuantum information processing has attracted much attention over the last decade, partly because of its promise of superfast factoring and its ability to create unbreakable cryptography. Quantum information processing covers diverse areas such as quantum computation, quantum communication and quantum metrology. In

quantum communication quantum signals travel over long distances and hence a natural component of any such network is the quantum repeater. In this poster we present the design of hybrid quantum repeaters and discuss the performance of such hybrid quantum information processes.

512 Keiji MATSUMOTO Takeshi ITO

Computer scientific approach to foundation of quantum mechanics

●Entanglement and Nonlocality in quantum mechanics Entanglement, or non-classical correlation between systems, is not only a prominent feature of quantum mechanics, but also an essential ingredient of many of quantum information technologies. Hence, the study of entanglement is one of main topics in the field.

We shed light on this issue from the computer scientific viewpoint, focusing on Bell's inequalities and multi-prover quantum interactive proof systems.

513 Yoshihisa YAMAMOTO Tim BYRNES, Shoko UTSUNOMIYA, Kenichiro KUSUDO

Making artificial quantum crystals to understand quantum many body problems

●What is quantum simulation?●Using semiconductors to make quantum simulatorsIn the microscopic world ruled by quantum mechanics, the laws of physics are very different to what we experience every day. Electrons can be in two places at once, and behave more like waves in the ocean than the hard balls that we normally imagine. When there are a large number of particles, it gets very difficult to

understand their collective properties, even using the most powerful supercomputers today. In our research, we assemble a large number of particles in let them interact quantum mechanically. In this way we hope to understand their collective properties to a greater extent.

514 Youdai WATANABE

Efficient inference of probabilistic causality

●Inference algorithm taking into account geometrical structure of parameter spaceThis work examines probabilistic inference on Bayesian networks. A statistical manifold of posterior distributions is introduced, and the information metric on the manifold is used to construct a cost function F with the following properties: (i) F takes the minimum value at convergent points, (b) F asymptotically approaches the

relative entropy near convergent points, and (c) F can be evaluated at each iteration of the inference algorithm. The cost function is used to construct an inference algorithm with superlinear rate of convergence in the space of posterior distributions.

23


Project/Development and Operation

601 Center for Grid Research and Development

How will the Research Environment Change with Computational Science and Grid Technology?

●NAREGI Program: Science Grid Research and DevelopmentComputational science has become an important part of academic research and industrial R&D. The coming era requires a research environment that promotes R&D by allowing any researcher to make full use of computational science without being aware of using supercomputers and by enabling researchers to collaborate

with other researchers throughout the world. NII is committed to establishing a Cyber Science Infrastructure （CSI） as an academic research environment centered around the Science Grid technology of the NAREGI Program.

602 Infrastructure Planning Division, Cyber Science Infrestucture Development Department

The information resources in various universities are shared safely and securely

● UPKI (University Public Key Infrastructure) construction project for the inter-university authentication and authorization platform

The construction of UPKI is advanced to achieve inter-university collaboration that enables university members to use universities' educational computers, electronic contents, networks, and business systems safely, securely, and effectively. To promote the inter-

university collaboration in UPKI project, we are formulating “UPKI common specification” that realize the inter-university authentication and authorization, and developing applications that leverage UPKI platform.

603 Scholarly and Academic Information Divison, Cyber Science Infrestucture Development Department

Searching various academic information with databases produced by NII

●Demonstration of GeNii, NII Scholarly and Academic Information PortalGeNii is a service searching and displaying a wide range of academic information. Five databases are available on this site: ①CiNii （articles and citation information）, ②Webcat Plus （books and journals information）, ③KAKEN （grant-in-aid scientific research）, ④NII-DBR （academic research database repository）, ⑤JuNii+

（information for university education and research）. GeNii provide a meta-search interface that allows simultaneous searches across these databases. You can browse a lot of information on this site for free, so please try these services.

604 Scholarly and Academic Information Divison, Cyber Science Infrestucture Development Department

Promoting establishment of next-generation information infrastructure indispensable to the academic community

●Construction of the Next-Generation Academic Information InfrastructureNII, in close collaboration with university is attempting to generate and secure content that are indispensable to the academic community, and to build an information infrastructure that will give added value to and broadly transmit these content. Specifically, NII provide comprehensive academic content services, including GeNii

（NII Scholarly and Academic Information Portal） and NACSIS-CAT/ILL （Cataloging and Interlibrary Loan System）. NII also support for construction of institutional repositories collecting, preserving and disseminating research produced in universities.

605 Research and Development Center for Academic Networks/Academic Network Division, Cyber Science Infrastructure Development Department

To provide a greater variety of network services and to respond more flexibly to changes in user requirements

●Launched SINET 3 : New step of Science Information NetworkAs the new generation network, SINET3 was launched in April 2007, to integrate SINET and Super SINET. SINET3 serves as the core of the Cyber Science Infrastructure （CSI）, employs advanced

communication technology （hybrid optical/IP network architecture） and features a wide range of services. An overview of our network construction will be presented.

24

Others

701 Research and Education Promotion Division, General Affairs Department

Introduction of the Graduate School (SOKENDAI: Chiyoda Campus)

●Outline of Department of Informatics and entrance exam guide for 2007 fiscal yearNI I es tab l i shes Depar tment o f In fo rmat ics , Schoo l o f Multidisciplinary Science at　 Graduate University for Advanced Studies (SOKENDAI), and offers both 5 year and 3 year doctoral programs.These 2 courses make the best use of the specialty of NII that is pioneering and international research institutions of informatics, and aims at the promotion of the excellent talent who leads “Knowledge

society” of the 21st century.It is located in the center of Tokyo, this good location enable busy students with job come to NII easier to learn and research. It has been registered about 60 students, 30% of them are international students, and about half of them are working students.We guide the outline of Department of Informatics and entrance exam for October 2007 and April 2008.

702 Intellectual Property Office

Intellectual property support for researchers

●Supoort Activity of Intellectual Property OfficeLocated in the National Center of Science alongside NII, the Intellectual Property Office pursues various activities to support researchers in areas related to intellectual property issues, with the goal of maximizing the beneficial social impact of research results. In addition to educational activities, these efforts include assistance in concluding agreements on joint research and other projects; protecting rights to inventions that change the world in which

we live; support in finding applications for intellectual property; protecting product names using trademarks; and establishing rules for intellectual property administration. The Intellectual Property Office also serves as the organization representing the project intended to establish a University Intellectual Property Office, a base for the four inter-university research institutions in their cooperative activities.

Special Exhibition

801 Akihiko TAKANO, Chiyoda Library

“Association by Books Interface” for LibraryNew reference environment in refurbished Chiyoda Library associates 7000 new books in 1000 themes as an idea generation support tool with repository DB in Jimbocho, the world largest book town, and various information sources. Experience the futuristic

electronic reference environment, which real books and antique bookstores are naturally connected to the electronic information space.

802 Meiji University Library

Meiji University Library Exhibition: “Mokuhan Sashie iri Seiyo Shokiinsatsu hon Reiyo Collection” （Collection of Woodblock Prints in a leaf of Incunabula）

The “Mokuhan Sashie iri Seiyo Shokiinsatsu hon Reiyo Collection” (Collection of Woodblock Prints in a leaf of Incunabula) at Meiji University Library is a summarization of the wood engraving prints in incunabula mainly from the 15th century. The Meiji University

Library has been working on a project to digitize these collections since 2005, and is now presenting an electronic exhibit with a high quality digital image of these valuable incunabula.

25


803 Tokyo Denki University

Development of Scrub Nurse Robot for Endoscopic and Laparoscopic SurgeryAs past of Tokyo Denki University's 21st Century Center Of Excellence Program for Research and Education on Human Adaptive Mechatronics, this research project is working to develop a proposed scrub nurse robot （SNR） system in order to assist a surgeon in exchanging surgical instruments during endoscopic and laparoscopic surgery.

It will do so by adapting to factors such as the progress of surgical operations in the operating field and the skill level and experience of the operating surgeon, anticipating the surgical instruments that the operating surgeon will need next and switching between surgical instruments quickly.

804 Tokyo Aquarian Booksellers Cooperative

“Nihon-No-Furuhon-Ya” （Old Japanese Book Shop System）: Search site for antique books

Tokyo Aquarian Booksellers Cooperative launched an antiquarian database in 1998, and this database has been appreciated ever since by researchers and book lovers nationwide. Now, the burning issue I how antiquarian bookshops with rich philological knowledge

can cooperate with the young generation, which can make full use of computers. “Nihon-No-Furuhon-Ya” is now in the process of development.

805 National Archives of Japan

National Archives of Japan, Digital Archive: “Past is Prologue”National Archives of Japan　(NAJ) launched “Digital Archive” in The year before last year, providing catalogue database and some of its holdings in digital images. With the concept of “ubiquitous internet service,” the system is based on the next generation of

digital archival standards, such as JPEG2000 and EAD/XML. NAJ holds demonstrations and displays of “Digital Archives,” with its precursor, Japan Center for Asian Historical Records (JACAR).

806 Keizo OYAMANII Text Data Collection Group, Yohichi TOHKURA, Noriko KANDO, Shuichi ITAHASHI, Tomoko OHSUGA, Kimiko YAMAKAWA（NII）, Makoto OKAMORO, Fuyuko KIDO（Yahoo JAPAN）

Supporting research of new information technologies for Web 2.0

●New evolution of information access through research using ‘Yahoo! Chiebukuro’“Yahoo! Chiebukuro” is the largest knowledge retrieval service in Japan, connecting people who want to question and those who want to answer, and sharing wisdom and knowledge among the participants. NII and Yahoo Japan provide a part of the data

consisting of 3.11 million questions and 13.47 million answers submitted between April 2004 and October 2005. We expect this will accelerate research on new information access technologies for Web 2.0

http://www.nii.ac.jp/openhouse/

Co-organized by Chiyoda-kuSupport by National Archives of Japan, Tokyo Denki University, Tokyo Aquarian Booksellers

Cooperative, and Meiji University

Inter-University Research Institute Corporation / Research Organization of Information and Systems


Publicity and Dissemination Team, Planning and Promotion Strategy Department,National Institute of Informatics2-1-2 Hitotsubashi, Chiyoda-ku, Tokyo 101-8430TEL : 03-4212-2135　FAX : 03-4212-2150

e-mail

Documents

OPEN HOUSE 2007...Katsumi INOUE Yasuo YAMAMOTO（Sokendai），Andrei Doncescu（LAAS - CNRS）, Oliver Ray（University of Bristol） 502 Future of BBS, Blog and SNS 20 Hideaki TAKEDA