Research Groups

Liu | Haeiwa | Kawahara | Hashimoto | Kayama | Saito/Tomida | Kobayashi | Abe | Asano | Izawa | Johguchi | Niimura/Kunimune |
Wasaki | Kawamoto | Shidama/Yamazaki/Okazaki | Okano/Ogata | Maruyama/Miyao/Shirai | Fujiwara | Yamamoto

Liu Lab

http://www.cs.shinshu-u.ac.jp/Lab/MAG/
magnetic recording, recording devices, thin-film engineering, electromagnetics, computer magnetics, microscopic analysis

Xiaoxi Liu
Our research is focused on developing ultra-fast, high-density, nonvolatile, low-power-consuming memory and logic devices based on direct manipulation of electron charge and spin. We are particularly interested in controlling the spins either pointed up or down by directly applying electrical current or voltage. Our laboratory has specialized facilities for film deposition. Lithography and other nano-size fabrication facilities in our laboratory have the ability to fabricate elements as small as one-thousandth the width of a human hair. We also have the facilities to characterize the electrical and magnetic properties of those elements.
Atomic force microscopy images of nanolithography carried out in our Lab. Typical memory circuit prepared in our Lab.

Haeiwa Lab

http://www.cs.shinshu-u.ac.jp/~haeiwa/
nano-devices, thin-film engineering, magnetic engineering

Tetsuji Haeiwa
Spintronics is an emerging technology as a new branch of electronics. We are studying and developing nano-sized magnetic materials for highsensitive sensor and high-density memory with spintronics technology. In order to realize such nano-sized magnetic materials, We study new composite materials made of mesoporous ordered thin films containing magnetic nano particles. Mesoporous thin films are inorganic materials synthesized in the presence of surfactants as templates, and have various porous structures.
Scanning transmission electron microscope(STEM). Stem photo image of mesoporous thin film.

Kawahara Lab

http://www.cs.shinshu-u.ac.jp/~kawahara/
remote optical sensing of Earth/planet atmospheres (system development, observation)

Takuya Kawahara
川原研究室では,レーザー光を用いて大気を観測する「ライダー」という観測の技術開発と,観測結果から大気物理の解明を研究テーマとしています.日本における南極や北極に設置する極域大気観測ライダーの開発に長年関わっています.観測は地球そのものをより良く知るための観測で,国際協力体制で行っています.極域では磁力線に沿って宇宙から荷電粒子が降り込み,高度100Km近辺の超高層大気に達してオーロラが光ります.このような宇宙からのエネルギー流入により,地球大気はどのような変動をするのか.それを研究しています.
ノルウェーに設置した高出力ナトリウムライダー用レーザーの一部.レーザ波長の超精密制御を行う 夜空に向けて射出される黄色のレーザー.オーロラ活動時の大気温度の空間変動を調べるため,5方向に射出

Hashimoto Lab

http://www.cs.shinshu-u.ac.jp/~hasimoto/
biological engineering, human aid engineering

橋本 准教授
Our group mainly focuses on the development of new human computer interfaces that support a severely disabled person. By way of example, we have developed a brain computer interface based on the event related potentials. The eye-gaze input system detects the direction of an user’s gaze and it is applied to the software keyboard as an input.
Eye-gaze input system. Block diagram of brain computer interface system.

Kayama Lab

http://hci.cs.shinshu-u.ac.jp/
biological engineering, human aid engineering, learning support engineering

Mizue Kayama
香山研究室では,人工知能技術を応用した学習支援工学に関して研究しています.ヒトが有する知識の中で,特に身体知:巧みな動作・行為を可能にしている能力に着目し,芸術(歌唱や美術)やスポーツの練習を対象としたスキル学習支援環境の構築,アルゴリズム的思考法やモデリング/抽象化能力育成環境の整備,情報科学の原理を学ぶためのハンズオンでタンジブルな教材の開発などに取り組んでいます.また,音響情報・生体情報に対するデータマイニング手法・最適化アルゴリズムの開発など,ヒトが発する多様な行為・信号に対する知的な処理の実現も目指しています.
デジタル・ドローイング(デジタルペンを用いたドローイング)を自動解析し,アドバイスを生成[美術専門学校との連携研究] スプーンを叩いて飛行船をコントロール.Magical Spoonsは,情報通信の原理や仕組みを理解するための教材.全国で約10,000人が利用

Saito / Tomida Group

http://kankyou.cs.shinshu-u.ac.jp/
Keywords: information sensing, optical information technology, computer application systems

Yasunori Saito
What’s going on in our daily environment? What information is needed to keep our living environment secure and safe? The first step is being able to watch situations carefully and know the facts about what is going on in real-time. We have been developing IT (information technology)–based optical sensing systems which can offer lots of information about the environment in which we live. The fusion of optics & imaging with IT is quite powerful in realizing this idea and developing these kinds of systems. Our research is open to the world, but can also be found in the Shinshu-area in such fields as agriculture.
LIFS (laser-induced fluorescence spectrum) lidar field work: Remote sensing of living environments such as air-borne pollen, bio-aerosol, water quality, plant growth status, and others.

Takayuki Tomida
We live in a world full of light. We can see the things around us by light. Light gives us information, such as colors, shapes. Light is electromagnetic radiation that is visible to the eye. Electromagnetic wave which is not seen in our eyes are the Infrared, the Ultraviolet, the X-ray and etc.. If you were able to see also electromagnetic waves other than light, then the world around you change greatly. We are not possible to see the electromagnetic waves other than light, but by making use of a special detector can see them, we are able to know the information that can not be obtained by eyes.
Design of remote sensing device using an ultraviolet laser: Observe the fluorescence from suspended matter in the air by irradiation of ultraviolet laser. Photos of observation and observation system.

Kobayashi Lab

http://www.cs.shinshu-u.ac.jp/~kby/
Interaction Design, and Smart Agri-Gadgets

Kazuki Kobayashi
Our laboratory is interested in interaction design for artifacts in the field of artificial intelligence and agriculture using information and communication technology (ICT Agriculture). Interaction design is about designing processes and exchanging information between users and artifacts such as robots and software agents, and thus we develop novel devices based on our user interface theory. We also apply our study to develop novel gadgets that increases the efficiency of agricultural tasks.
Pet-like remote control agent (left) and High definition Image Monitoring System (right). Agricultural Information Website “Know-Live.”

Abe Lab

医用モニタリングシステム,生体情報解析,医療診断支援

Makoto Abe
本研究室では,医療と工学の融合分野において,超高齢化社会における予防医療や先端的な医療を支えるための研究を行っています.日常生活において,心拍数や自律神経指標といった健康管理に有効な情報を簡便に計測するために,緑色光電容積脈波を用いた「動き」によるノイズに強いウェアラブルセンサシステムの開発に取り組んでいます.さらには,心電図の中から死に至らしめる危険な不整脈を高精度で早期に検出する方法の開発や,映像が生体に与える影響の評価に関する研究等も行っています.
緑色光電容積脈波センサを用いた多点脈波計側システム.心拍数および自律神経活動を表す指標を推定する. 従来法(近赤外光)による上腕部の脈波信号(上)と提案法(緑色光)による上腕部の脈波信号(下).ノイズ成分が抑えられているのが分かる.

Asano Lab

http://www-comm.cs.shinshu-u.ac.jp/index.html
Modulation theory, communication systems, computer systems

David Asano
In this lab, research is being done on a wide variety of information systems.. With a policy of creating “useful” and “easy to use” technology, the goal is to enrich human life by making mundane tasks easier and more fun. For example, in the “Mentore-kun” system shown in the top left photo, driver's licence exam questions and answers are explained using animation as shown in screen shot on the top right. The location display system shown in the two bottom photos is mainly for someone's office. Their location can be checked remotely through the Internet to make it easier for visitors before they come.
(Left) Driver's licence exam training system: “Mentore-kun”. (Right) Questions and answer animation samples. (Left) Location display system using an LCD touch panel. (Right) Location displayed with a return date and time.

Izawa Lab

http://laputa.cs.shinshu-u.ac.jp/index.html
Image communication, coding techniques

Yuji Izawa
In this lab, we study about "Reconfigurable system" using "FPGA": an LSI whose circuit information is rewritable. Since the life cycle of recent digital devices is short, some of them become unburnable garbages in a few years. Therefore, if we use the FPGAs and update their circuit information by the latest ones through network, the "Recycle of LSI" becomes a reality. The FPGA has high potential power, by updating its circuit depending on applications, it can perform operations equal to high performance CPUs with less power consumption.
A prototype of wearable conversational support system for helping speech-impaired person (motions of fingers move the cursor, and replay voice sounds.). The outer appearance of our simplified motion capture system available in a narrow space such as driver seat of a car (Drivers actions are analyzed in real time).

Johguchi Lab


Integrated circuit design, Computer architecture

Koh Johguchi
Progresses of electronics and information technologies have produced new industries and services like the Internet, a mobile phone, etc. Espcially, the scaling technology of VLSI realizes a wide variety of functions with low cost. By the commoditization, the matured VLSI technology has been used in many areas. But, Japanese electronics industry is struggling with cost competitiveness. To overcome this, we have to differentiate products from others and customize our VLSI chip with a circuit design technology. Our laboratory will develop a new computer architecture and systems by co-designing hardware, software and application.
VLSI chip and measurement board. Students design and verify a VLSI chip to work as required. Students define the specification and design a circuit. To fabricate a chip, a circuit designer draws a layout with nm-order scale by CAD software.

Niimura / Kunimune Group

http://security.cs.shinshu-u.ac.jp/Contents/
Educational / learning technology, ICT based education, education/learning support, learning environments, system development

Masaaki NIimura
蛇口をひねると水が出たり,スイッチを入れると灯りがついたりするのは,あたりまえのようですが,社会生活を行う上では必要不可欠なものです.このようなサービスは社会基盤(インフラ)と呼ばれています.いまや,インターネットにつないでいろいろなサービスをうけることも,社会生活を行う上で必用不可欠なものになりつつあります.私たちの研究室は,主に教育分野において,数千人を対象をするネットワークサービスを実際に提供することで,IT社会で必須となるインフラシステムの構築と運用に関する研究を進めています.
For providing services, we construct systems from basics such as locating server, power and network cabling, and OS installation. Development of a network service for education. Students develop user-friendly systems by themselves.

Hisayoshi Kunimune
Why do you study at the school? How do you study? Do you have any clear answers to these questions? If you have not considered these things, university would be a good place to consider and practice “how to learn” and “how to transfer a learning method to other subject” in addition to acquire highly specialized knowledge and skill. The members of the lab. are developing some systems to support educators and learners in the viewpoints of knowledge acquisition, learning “learning methods”, and transferring learning methods.
“Writable Web” system enables it’s users to write memos and communicate with other users directly on web pages. “AT” system offers an environment to learn programming for novice learners without knowledge of programming languages.

Wasaki Lab

http://ysserve.wakasato.jp/~wasaki/research/
Parallel system modeling, Petri-nets, up-stream design, hardware compilers, formal verification, model verification

Katsumi Wasaki
For “Dependability” of information system, it is very important to ensure the system’s "Reliability" and “Safety” represented by QoS or encrypted communications network. We must design without any error (bug) within our ability in order to achieve high reliability required in information system. For "100% bug-free designs,“ we develop the design verification methods and/or tools, for instance by targeting the parallel systems, to inspect all exhaustive state-space.
--> More detailed research themes !
More detailed research themes ! More detailed research themes !
HiPS tool : Hierarchical Petri net Simulator http://sourceforge.net/projects/hips-tools/ SPIN Model Checking Tool & iSPIN IDE

Kawamoto Lab

http://sakura.cs.shinshu-u.ac.jp/
Design automation and formalization, E-learning, Professional communication skill development

Pauline N. Kawamoto
The students in the Kawamoto Laboratory work on developing important professional communication skills by constructively evaluating the successes and failures of their research work as much as possible during the school year with their colleagues. Their topics of study range from IT applications to support English education inside and outside of the classroom to investigations of the design/development challenges of cyberphysical systems for improving the condition of life in the communities and society around them.
Studying the successes and failures of research in groups, with men and women from various countries helps students develop strong professional communication skills. Learning what it takes to actually “show” an audience that an engineering solution works.

Shidama / Yamazaki / Okazaki Group

http://www.sw-lab.com/xoops/
Nonlinear system analysis, formal verification, encryption, e-learning

Yasunari Shidama
The humans make mistakes, so it is important to verify the correctness of mathematical theorems with a computer. In Shidama Laboratory, students work on formalization of mathematics and computer aided verification. To verify a mathematical theorem with a computer, we write a proof of the theorem by the formalization language. Then we can verify the correctness with a computer logically and mathematically. This method can be applied to the inspection of the development of the engineering system and its movement. A computer program is a description with logical operations that makes output data from input data by a formal language, thus we can express the operations as a mathematical proposition. It is an incomplete method for humans to inspect results using data and to analyze all operations, as we make mistakes. We should verify the mathematical correctness of a computer program with a computer. Then we can make a computer program in which normal operations are mathematically guaranteed.

Hiroshi Yamazaki
In the Yamazaki Laboratory, we study about understand and analize a image by computer. To understand and analize digital image mathematically, we study mathematical morphology based on set theory, lattice theory, topology and probability theory. Image processing is used for flaw detection and recognition processing in the manufacturing process. The precision instrument is very complicated then human being still inspects the product in many process. As for the human being, understanding a complex image is earlier than a computer, especially it is difficult to understand a image by a computer when the sample image does not exists. In many case, it is important that computer image processing for flaw detection and control the quality of a product.We verify image processing mathematically and to make a computer understand a image like a human being.

Hiroyuki Okazaki
We conduct research in cryptology. The cryptology is one of the essential infrastructures that supports the ICT society. However, it is hard to understand the cryptology because the it is based on various technical fields such as the information theory, the computation theory and mathematics, etc. Our aim is to prove the security of the cryptosystems using the computer-aidedformal verification system.

Okano / Ogata Group

http://softeng-www.cs.shinshu-u.ac.jp/
programming language theory, compilers, software engineering, education engineering

Kozo Okano
We focus on researches on software development techniques such as design methods, verification techniques, and analysis on software intermediate products in several stages of product activities, which are related with each other. Such techniques include not only application tools but also theoretical researches. Those techniques are important to increase quality of software. Some of the researches are collaborate works with researchers of companies, universities and public organizations.
Safety validation of line-tracing robots. Information visualization of the accuracy of software.

Shinpei Ogata
Our researches focus on how to enhance software usability systematically and efficiently at an early stage of software development. The Validation and Verification (V&V) of software requirements are very important. However, their cost is expensive because of frequent manual inspections and/or prototype creation, etc. Therefore, V&V activity support at the early stage is needed. We have challenged to realize tools such as “model-based usability evaluation tool” and “prototype generation tool ” , etc. so that usability can be evaluated efficiently.
Prototype generation tool: the Web app. model in Unified Modeling Language is transformed into User Interface prototype

Maruyama / Miyao / Shirai Group

http://www.cs.shinshu-u.ac.jp/~maruyama/lab-www/
machine learning, computer vision, computer graphics, human/computer interaction, musical information processing, signal/image processing

Minoru Maruyama
In Maruyama Lab., our research focuses on image understanding, content based image search, pattern recognition, 3D recovery from images, and computer graphics. Especially we are very interested in techniques to improve image understanding and pattern recognition performance by learning from examples. We can easily recognize and understand the contents included in the image. This ability is improved through learning from our everyday experience. Our research goal is to providing such significant ability of learning to recognize various kinds of information to computer.
We also study on computer graphics techniques such as photo-realistic rendering algorithms, semi-automatic character animation synthesis via reinforcement learning etc. Our work on the application of topic models to pattern classification received best paper award honorable mention at the International Workshop on Document Analysis Systems 2009 (DAS2009).

Hidetoshi Miyao
Nowadays, tablet PCs and smartphones are used everywhere and are equipped with touch screen and pen devices. In my laboratory, we have developed application software which functions by using these interfaces. For example, in their applications, objects handwritten with a pen device can be sequentially recognized, arranged, and outputted by a computer automatically. We collaborate closely with Prof. Maruyama’s group, so please refer to the description of his laboratory.
Handwritten flowchart recognition system and handwritten music score recognition system with a pen device Similar image search system by using a touch interface on a smartphone

Keiichiro Shirai
Do you have a regrettable experience that your best shot is actually not so good? In particular, dark place photographing or backlight photographing are difficult for us. However, the difficulty of hardware can be addressed by software. For example, If you take another image and make a pair of flash and no-flash images, you can obtain a noise-less and blur-less clear image using a recent computation method. Our laboratory develops methods to obtain more natural and high resolution images like we are feeling.
Denoising by synthesizing textures of a flash image (left) and colors (also shadows) of a no-flash image (middle), and its output clear image (right). Creation of images based on human perceptual feeling. In an original image (left), the regions of photographic subjects (middle) are enhanced while other background regions are blurred.

Fujiwara Lab

http://www.cs.shinshu-u.ac.jp/~fujiwara/index-j.html
Algorithmic information, Optimization theory

Hiroshi Fujiwara
We sometimes have to make a decision immediately, with no information about the future. For example, “which is the better, to rent or to buy a ski gear?" Or, “how to pack loads that are arriving one after another into trucks?" If you knew about the future, you could make a good choice exploiting that information. But, it is often the case that "no one knows what may happen tomorrow." In our laboratory, we reveal the nature underlying such situations and study strategies and algorithms that run without future information.
The "ski-rental problem" is equivalent to the choice of a strategy of automatically turning off the backlight on a mobile phone. The "bin-packing problem" has application in several areas such as logistics or distributed systems.

Yamamoto Lab

http://syorserv.cs.shinshu-u.ac.jp/
computation theory, algorithm theory

Hiroaki Yamamoto
Yamamoto Lab. is studying on developing algorithms for secure and efficient search and XML data. A secure search technique is one of the most important technologies in cloud computing because it can preserve a privacy and sensitive data. Also a search technique for XML (eXtensible Markup Language) data is a critical issue because XML is becoming a standard languages over the Internet. Therefore we aim at developing efficient search algorithms for these issues.
GPU (Graphical Processing Unit): A GPU has many cores, and plays an important role in developing efficient algorithms. Searchable encryption system: A user sends an encrypted query to a server. The server searches for documents using the encrypted query.