Internal Project Practice

(A01) コンピューティング・アーキテクチャ研究室，半導体理工学研究センター

(A01) Computing Architecture Lab. and STARC

担当者（研究室名またはグループ名）：
中島康彦教授（コンピューティング・アーキテクチャ）小池豊上級研究員（半導体理工学研究センター）
テーマ：
制御アルゴリズムから組込みソフトウェア実装までの体験（ロボット制御）
実習の概要：
企業が実施しているチーム運営やデザインレビューを模した実践的設計教育で、ロボットを無線制御する組込みソフトウェアの設計を行い、実際のロボットの走行距離を制御します。企業の設計現場の模擬体験。チーム力によってロボットの制御目標を達成。組込みソフトウェア設計とハードウェア実装を共に体験。
実施日程の概要：
7/7、7/8、7/12、7/14、7/15 13:00-17:50の5日間
使用する主な装置，ソフトウェアなど：
- 組込みソフトウェア検証：インターデザインテクノロジー社製検証ツール
- 組込みソフトウェア設計：ルネサス・エレクトロニクス社製H8コンパイラ
- 通信ハードウェア設計：ALTERA社製論理合成・配置配線ツール、T-Enginボード（リモコン機能の実装）、ZMP社製ロボット（リモコンからの情報に基づく走行制御）
教科書，参考書：
- 実習の進め方：実習の課題、制御アーキテクチャ仕様、設計フローの説明
- ツールの使い方：実習で使用するツールの操作方法説明。実習後に回収します。
- 実習Tips：SoC設計で必要となる技術のコツの解説書
受け入れ可能人数：
最大16名（4名/チーム×4チーム）
希望者が受け入れ可能人数を越えた場合の選択基準：
大学（中島先生）による選抜
その他の特記事項：
C言語でのプログラミング能力が必要です。

Instructor (Name of Lab. or group):
Computing Architecture Lab. and STARC
Project name:
Control algorithm and Embedded software
Overview of the project:
Development of Control algorithm and Embedded software using real robots.
Schedule:
7/7、7/8、7/12、7/14、7/15 13:00-17:50
Equipment or software to be used:
Many tools will be distributed.
Text, reference:
Handbook writtten in Japanese will be distributed.
Maximum number of acceptable students:
16
Criterion of choice in case of overflow:
Selected by Prof.Nakashima
Other notice:
C programming skill is required

(A02) 自然言語処理学研究室

(A02) Computational Linguistics Lab.

担当者（研究室名またはグループ名）：
松本裕治（自然言語処理学）
テーマ：
実世界の自然言語テキストの頑健な解析手法の研究と開発
実習の概要：
このプロジェクトの主な目的は、新しい自然言語処理の技術について議論し、近年登場した分野に適用することです。今年のプロジェクトは幅広いタスクを提供します。受講生は、機械学習や機械翻訳だけでなく、構文解析から意味解析まで触れることができます。タスクには以下のものがあります。
- 自然言語処理のための Deep learning
- 統計的機械翻訳のための分散最適化
- 離れた言語間の分野を限らない機械翻訳
- 誤り訂正のためのウェブからの知識獲得
- 非標準的なウェブテキストの正規化
- Twitter ストリームの構文解析
- ウェブテキストの意味関係解析
- ランキング学習を用いた述語項構造解析
実施日程の概要：
2-4期
使用する主な装置，ソフトウェアなど：
タスクによって指示する。
教科書，参考書：
Daniel Jurafsky and James H. Martin. Speech and Language Processing, Second Edition. Pearson Prentice Hall, 2008.
受け入れ可能人数：
10
希望者が受け入れ可能人数を越えた場合の選択基準：
タスクによって指示する。
その他の特記事項：

Instructor (Name of Lab. or group):
Computational Linguistics Lab
Project name:
Research and Development of Robust Processing of Real-World Natural-Language Texts
Overview of the project:
The primary purpose of the project is to discuss and apply new NLP technologies to emerging fields. This year's project offers a broad range of tasks, introducing students not only to machine learning and machine translation, but also syntactic and semantic analysis. The tasks include:
- Deep learning for NLP
- Distributed optimization for Statistical Machine Translation
- Open domain MT between distant languages
- Knowledge acquisition from the web for error correction
- Normalization of non-canonical web text
- Syntactic analysis of Twitter streams
- Annotating semantic relations to web text
- Learning to rank for predicate argument structure analysis
Schedule:
Quarter II, III, IV
Equipment or software to be used:
TBD
Text, reference:
Daniel Jurafsky and James H. Martin. Speech and Language Processing, Second Edition. Pearson Prentice Hall, 2008.
Maximum number of acceptable students:
10
Criterion of choice in case of overflow:
TBD
Other notice:

(A03) 知能コミュニケーション研究室，環境知能学研究室

(A03) Augmented Human Communication Lab. and Ambient Intelligence Lab.

担当者（研究室名またはグループ名）：
戸田智基（知能コミュニケーション），浮田宗伯（環境知能学）
テーマ：
ミラーロボット〜動きとしゃべりを真似るロボットを作ろう〜
実習の概要：
下記３種類の課題を行う．
- ミラーロボットの耳と口の構築
  統計的手法に基づく声質変換技術について理解を深めるとともに，真似される対象の人が話した声を収録し，即座にロボットの声でオウム返しを行う技術の構築に取り組む．
- ミラーロボットの目の構築
  距離画像センサに原理を理解しつつ，そこから人体領域を抽出し，さらに人体の動きを実時間で推定する手法を実装する．
- ミラーロボットの動作の実現
  実在する人間の鏡像のようにロボットを動かす．上記視覚センサからの人体動作情報の獲得，およびその動きをロボットの関節可動範囲内で追従するための関節制御が目的．
実施日程の概要：
夏期休暇，および３期を中心に実施
使用する主な装置，ソフトウェアなど：
C++, Matlab
教科書，参考書：
別途指示
受け入れ可能人数：
３名
希望者が受け入れ可能人数を越えた場合の選択基準：
面接を実施
その他の特記事項：
特になし

Instructor (Name of Lab. or group):
Tomoki Toda (Augmented Human Communication Lab), Norimichi Ukita (Ambient Intelligence Lab)
Project name:
Mirror robot -Developing a robot emulating human motion and speech-
Overview of the project:
The following three topics are covered:
- Developing the audio and speech functions:
  Parrot-fashion speaking is achieved by real-time voice recording and voice conversion based on statistical approaches.
- Developing the visual perception:
  With depth-measurement sensors, the 3D motions of joints in a human body is measured in real time.
- Developing the physical body emulation:
  The joints of the robot are controlled so that its body moves as the mirror image. The joints must be controlled within their limits in accordance with a human motion captured by the visual sensors.
Schedule:
During the summer vacation and 3rd semester
Equipment or software to be used:
C++, Matlab
Text, reference:
N/A
Maximum number of acceptable students:
3 persons
Criterion of choice in case of overflow:
Candidates would be interviewed.
Other notice:
N/A

(A04) 知能コミュニケーション研究室

(A04) Augmented Human Communication Lab.

担当者（研究室名またはグループ名）：
知能コミュニケーション研究室
テーマ：
コミュニケーション支援技術の開発
実習の概要：
人対人，人対機械のコミュニケーションを支援する技術の構築に向けて、以下のような各種タスクに取り組む。
- 音声翻訳システムの構築
  音声認識技術、機械翻訳技術、音声合成技術といった音声翻訳システムの要素技術に関する理解を深めるとともに、システムの構築に取り組む。
- 対話システムの構築
  言語理解技術、対話制御技術、言語生成技術といった対話システムの要素技術に関する理解を深めるとともに、ユーザの嗜好を推定しながら適切な対話を行うシステムの構築に取り組む。
- コミュニケーション分析技術の構築
  脳波、音声、その他様々な信号を用いて、コミュニケーション時における意思疎通度を測る技術の構築に取り組む。
- バリアフリーコミュニケーションメディア技術の構築
  発声障害者補助やサイレント音声に有用なメディア情報・信号処理に関する技術について理解を深めるとともに、最先端の技術を活用したシステム構築及び評価実験を行う。
- 個人性モデリング技術の構築
  言語・非言語情報の生成、各種メディア情報の生成、各種メディア情報の認識、意図理解といったコミュニケーションにおける各処理に関して、個人性を重視したモデリング技術の構築に取り組む。
実施日程の概要：
夏休み（8、9月）あるいはIII、IV期
使用する主な装置，ソフトウェアなど：
こちらで準備します。
教科書，参考書：
特になし
受け入れ可能人数：
8名程度
希望者が受け入れ可能人数を越えた場合の選択基準：
自講座優先
その他の特記事項：
特になし

Instructor (Name of Lab. or group):
Augmented Human Communication Lab
Project name:
Development of Techniques for Supporting Human-to-Human/Human-to-Computer Communication
Overview of the project:
The following topics are covered:
- Development of Speech-to-Speech Translation System:
  The goal is to study core technologies, such as speech recognition, machine translation, and speech synthesis, and to develop a speech-to-speech translation system
- Development of Dialog System:
  The goal is to study core technologies, such as semantic decoding, dialog management, and natural language generation, and develop a dialog system capable of generating proper response by estimating the user's preference.
- Development of Communication Analysis Techniques:
  The goal is to develop a technique for evaluating communication skills using various signals, such as EEG, speech, and so on.
- Development of Barrier-Free Communication Techniques:
  The goal is to develop techniques for breaking down various communication barriers using the state-of-the-art speech signal processing methods, such as statistical voice conversion for speaking-aid and silent speech signal processing.
- Development of Personal Modeling Techniques:
  The goal is to develop personal modeling techniques in various processes in communication, such as information generation, recognition, and understanding.
Schedule:
During summer vacation (Aug. and Sept.) and 3rd semester
Equipment or software to be used:
To be prepared in AHC lab
Text, reference:
Nothing in particular
Maximum number of acceptable students:
Around 8 students
Criterion of choice in case of overflow:
Students in AHC lab will be given preference.
Other notice:
Nothing in particular

(A05) 数理情報学研究室

(A05) Mathematical Informatics Lab.

担当者（研究室名またはグループ名）：
久保　孝富　助教（数理情報学研究室）
テーマ：
生体信号からの動作・知覚内容推定
実習の概要：
表面筋電図・脳波等の生体信号を利用したユーザ･インターフェースは障害者のアクセシビリティ向上に繋がりうるとされ、期待されている。本実習では、表面筋電図・脳波等の計測データから計測対象者（あるいは対象動物）の動作、あるいは知覚内容を推定する技術の構築を行うことで、生体信号処理に必要な知識・技術の獲得、理解の深化を図る。
実施日程の概要：
II期〜III期
使用する主な装置，ソフトウェアなど：
- ソフトウェア：matlab等（matlabの使用経験がなくても可。指導します。）
- ハードウェア：筋電計・脳波計等（課題による。）
教科書，参考書：
必要に応じて資料を配布
受け入れ可能人数：
3名程度
希望者が受け入れ可能人数を越えた場合の選択基準：
生体信号に対する信号処理、あるいはパターン認識の経験・知識がある者を優先
その他の特記事項：
特になし

Instructor (Name of Lab. or group):
Takatomi Kubo, Assistant Professor (Mathematical Informatics Laboratory)
Project name:
Classification of motion and sensory stimulus from biological signals
Overview of the project:
User interfaces which are based on biological signals such as electromyography (EMG), electroencephalography (EEG), and etc. are expected to improve the accessibility of people with disability. The purpose of this project practice is to deepen the understanding of biological signal processing. In this project practice, students are required to develop a method for classification of motion and sensory stimulus from EMG or EEG data.
Schedule:
2nd and 3rd quarters
Equipment or software to be used:
- Software: matlab etc.
- Hardware: electromyograph, electroencephalograph, etc. (dependent on task)
Text, reference:
Will be distributed when needed.
Maximum number of acceptable students:
Around 3 students
Criterion of choice in case of overflow:
Students who have experience in biological signal processing will be put on high priority.
Other notice:
Nothing

(A06) コンピューティング・アーキテクチャ研究室

(A06) Computing Architecture Lab.

担当者（研究室名またはグループ名）：
嶋田創(コンピューティング・アーキテクチャ研究室)
テーマ：
LSI(プロセッサ)の設計と実装
実習の概要：
情報処理技術が社会の至る所で利用されている現代では、高度な情報処理を実現するハードウェアである LSI (Large Scale Integration: 大規模集積回路)は社会の至る所に存在している。 LSIを用いて何らかの情報処理システムを構成する場合において、 LSI内部の動作の詳細を理解していることは、より良い情報処理システムを構成できることにつながる。そして、LSI内部の理解を深めるためには、 LSIを一度設計してみるのが好ましいと考える。そこで、本テーマでは、LSI設計の基礎として、 Verilog-HDLというハードウェア記述言語を用い、パイプライン化されたプロセッサの設計をゴールとする実習を行う。実習では、簡単な物の設計から複雑な物の設計へ順を追って実習を行い (組み合わせ論理回路→順序回路→プロセッサ)、初心者でも3ヵ月程度の比較的短期間でVerilog-HDLによる設計手法と設計ツールの使い方の習得ができるコースとしている。設計した回路は、FPGAと呼ばれる論理回路を書き換え可能なLSIを用いて実装する。
実施日程の概要：
I、II期〜8月上旬
使用する主な装置，ソフトウェアなど：
Xilinx社 ISE、Synopsis社 Design Compiler
教科書，参考書：
こちらで準備したテキストを配布
受け入れ可能人数：
10人
希望者が受け入れ可能人数を越えた場合の選択基準：
自講座優先
その他の特記事項：
特になし

Instructor (Name of Lab. or group):
Hajime Shimada (Computing Architecture Lab.)
Project name:
Design and implementation of LSI (or processor)
Overview of the project:
In recent years, LSI (Large Scale Integration) widely exists in public because it is necessary hardware to realize advanced information processing which is widely used in public as advanced information systems. Thus, to construct some information systems, if you understand detail of internal LSI operation, it helps to construct good information systems. Furthermore, to understand the internal LSI operation, designing and implementing LSI is a one of the preferred route to understand it. So, in this theme, we prepared a course which designs pipelined processor with hardware design language called Verilog-HDL to learn basic of LSI design. Practical training in the course flows from simple design to complicated design (combinational logic -> sequential logic -> processor) so that even a beginner can learn design method with Verilog-HDL and usage of design tools around three months. Designed circuits are implemented with LSI called FPGA which can rewrite arbitrary logical circuit.
Schedule:
From Semester II to beginning of August
Equipment or software to be used:
Xilinx ISE, Synopsis Design Compiler
Text, reference:
I distribute textbook which I prepared.
Maximum number of acceptable students:
10
Criterion of choice in case of overflow:
Prefer students who belongs our laboratory
Other notice:
Nothing.

(A07) インタラクティブメディア設計学研究室

(A07) Interactive Media Design Lab.

担当者（研究室名またはグループ名）：
武富貴史（インタラクティブメディア設計学研究室）
テーマ：
画像からの三次元形状復元
実習の概要：
カメラで撮影された画像から三次元形状を推定するために必要な各種基礎的事項について学び，最終的に三次元形状復元手法の一つである Structure-from-motion法を実装する．本実習では，デジタル画像の撮像プロセスの中でも，特に幾何学的な変換に関する事項について学ぶ．また，各種特徴抽出手法やカメラ位置・姿勢推定手法に関するプログラミング演習を行うことで理解を深める．
実施日程の概要：
第II期〜第III期
使用する主な装置，ソフトウェアなど：
C/C++
教科書，参考書：
特になし．適宜，資料を配布．
受け入れ可能人数：
2名
希望者が受け入れ可能人数を越えた場合の選択基準：
プログラミング技術および熱意
その他の特記事項：
C/C++でのプログラミング経験があること

Instructor (Name of Lab. or group):
Takafumi Taketomi (Interactive Media Design Lab.)
Project name:
3-D shape recovery from images
Overview of the project:
The goal of this project is implementation of the Structure-from-motion (SfM) method. In order to implement the SfM method, we learn several computer vision techniques such as feature extraction, camera parameter estimation.
Schedule:
Period II-III
Equipment or software to be used:
C/C++
Text, reference:
None
Maximum number of acceptable students:
2
Criterion of choice in case of overflow:
Programming skill and passion
Other notice:
Experience of C/C++ programming

(A08) ディペンダブルシステム学研究室

(A08) Dependable System Lab.

担当者（研究室名またはグループ名）：
米田友和（ディペンダブルシステム学研究室）
テーマ：
CADツールを用いたLSIの設計とテスト
実習の概要：
本実習では、CAD（Computer-Aided-Design、計算機援用設計）ツールを用いたLSIの設計フローを学習し、テスト容易化設計・テスト生成アルゴリズムを設計してワークステーション上に実装します。
実施日程の概要：
第II期、第III期
使用する主な装置，ソフトウェアなど：
ワークステーション：SunBlade X6270、Sun SPARC Enterprise M5000、CADツール：DesignCompiler(Synopsys)、VCS(Synopsys)、TetraMax(Synopsys)、Cコンパイラ、など
教科書，参考書：
Miron Abramovici, Melvin A. Breuer, Arthur D. Friedman: Digital Systems Testing and Testable Design, Wiley-IEEE Press; Revised Version, 1990.
受け入れ可能人数：
4人程度
希望者が受け入れ可能人数を越えた場合の選択基準：
自研究室優先
その他の特記事項：
C/C++言語でのプログラミング能力が必要です。LSIのテスト・テスト容易化設計の知識を有することが望ましい。

Instructor (Name of Lab. or group):
Tomokazu Yoneda (Dependable System Lab.)
Project name:
LSI design and test using CAD tools
Overview of the project:
You will study a flow of LSI design and test using CAD (Computer-Aided-Design) tools, and implement DFT (design-for-testability) and test generation algorithms on a linux workstation.
Schedule:
Quarter II, Quarter III
Equipment or software to be used:
Workstations: SunBlade X6270, Sun SPARC Enterprise M5000 CAD tools: DesignCompiler(Synopsys), VCS(Synopsys), TetraMax(Synopsys), C compiler etc
Text, reference:
Miron Abramovici, Melvin A. Breuer, Arthur D. Friedman: Digital Systems Testing and Testable Design, Wiley-IEEE Press; Revised Version, 1990.
Maximum number of acceptable students:
4
Criterion of choice in case of overflow:
Priority is given to the students in Depedable System Lab.
Other notice:
Students are desired to have C/C++ programming skills and the background knowledge on LSI test and DFT.

(A09) インターネット工学研究室

(A09) Internet Engineering Lab.

担当者（研究室名またはグループ名）：
門林雄基（インターネット工学講座）
テーマ：
マルチレベル・エミュレーション環境による分散システムの理解
実習の概要：
ネットワークエミュレーション技術、プロセッサエミュレーション技術、ならびに仮想マシンモニタを組み合わせたマルチレベル・エミュレーション環境を構築し、外部からの入力に対する分散システムのふるまいを多層的に解析し可視化する。実習を通して、ネットワークとシステムに対する実践的理解を深めることが狙いである。
実施日程の概要：
II期〜III期
使用する主な装置，ソフトウェアなど：
テストベッド、仮想マシンモニタ、プロセッサエミュレータ等
教科書，参考書：
適宜資料を指示します
受け入れ可能人数：
８名程度
希望者が受け入れ可能人数を越えた場合の選択基準：
大幅に超える場合は自講座優先
その他の特記事項：
C, C++ 相当の言語でのプログラミング能力が必要です

Instructor (Name of Lab. or group):
Youki Kadobayashi (Internet Engineering Lab)
Project name:
Holistic understanding of distributed systems through multi-level emulation
Overview of the project:
Network emulation, processor emulation and virtual machine monitors will be used to implement multi-level emulation environment, which in turn can be used to analyze and visualize behavior of distributed systems at multiple levels. Participants of this project will gain pragmatic insight into networks and systems.
Schedule:
2nd and 3rd semester
Equipment or software to be used:
Testbeds, virtual machine monitors, processor emulators
Text, reference:
will be presented as necessary
Maximum number of acceptable students:
8
Criterion of choice in case of overflow:
enrollment from Internet Engineering Lab will be prioritized in case of overbooking.
Other notice:
programming skills are needed in C, C++, or its equivalents.

(A10) インタラクティブメディア設計学研究室

(A10) Interactive Media Design Lab.

担当者（研究室名またはグループ名）：
浦西友樹助教（インタラクティブメディア設計学研究室）
テーマ：
超高精細大型タッチパネルディスプレイとのインタラクション
実習の概要：
情報科学研究科1Fロビーに設置されている200型タッチパネルディスプレイシステムは，超高精細プロジェクタおよびタッチセンサに加え，人位置計測システム，カメラや指向性スピーカなどの各種装置を有する．本実習においてはこれらの装置を活用し，効果的な広告提示や案内など，街頭での応用を想定したインタラクティブなアプリケーションの開発を目指す．
実施日程の概要：
III期〜IV期
使用する主な装置，ソフトウェアなど：
- （装置）200型タッチパネルディスプレイ（情報科学研究科1F），人位置計測システム，カメラ，指向性スピーカ
- （ソフトウェア）C/C++，OpenCV
教科書，参考書：
なし．必要な資料を適宜配布．
受け入れ可能人数：
2名
希望者が受け入れ可能人数を越えた場合の選択基準：
面白いアプリケーションを提案した者を優先
その他の特記事項：
C/C++プログラミング経験があることが必要条件．

Instructor (Name of Lab. or group):
Yuki Uranishi (Assistant Professor of Interactive Media Design Laboratory)
Project name:
Interaction with Large-scale Wall Display
Overview of the project:
This project is intended to implement an application for interactive digital signage on a large-scale wall display with various sensors including cameras, speakers and a human tracking system.
Schedule:
Period III-IV
Equipment or software to be used:
- (H/W) large-scale wall display (at an entrance of our building), HumanTracker, cameras, directional speakers
- (S/W) C/C++, OpenCV
Text, reference:
None
Maximum number of acceptable students:
2
Criterion of choice in case of overflow:
Proposal of the application
Other notice:
required to have the skill of C/C++ programming.

(A11) ソフトウェア基礎学研究室

(A11) Foundations of Software Lab.

担当者（研究室名またはグループ名）：
孫為華助教（ソフトウェア基礎学）
テーマ：
スマートフォン通信アプリの作成
実習の概要：
サーバ・クライアント式通信アプリケーションをチームで開発する．最終的にスマートフォン（iPod）に実装し動作確認を行う．
実施日程の概要：
10月〜1月
使用する主な装置，ソフトウェアなど：
MACノートPC,Xcode開発環境
教科書，参考書：
参考書等ソフトウエア基礎学研究室から貸し出す
受け入れ可能人数：
4
希望者が受け入れ可能人数を越えた場合の選択基準：
プログラミング経験者が優先
その他の特記事項：
オブジェクト指向プログラミング経験必要

Instructor (Name of Lab. or group):
Weihua Sun(Software fundation Lab. Assitant Professor)
Project name:
The Development of Communication Application on Smart-Phone
Overview of the project:
Consider, design and develop server-client communication applications on smart-phone platform by group work
Schedule:
Oct~(Next)Jan
Equipment or software to be used:
MAC Laptop PC, Xcode IDE
Text, reference:
Programming manual books will be provided by software foundation Lab.
Maximum number of acceptable students:
4
Criterion of choice in case of overflow:
Programming experience preferred
Other notice:
Object oriented programming experience necessary

(A12) 数理情報学研究室

(A12) Mathematical Informatics Lab.

担当者（研究室名またはグループ名）：
数理情報学
テーマ：
ヒトの購買過程を継続的に観察する小規模店舗システムの開発
実習の概要：
実店舗でヒトの購買行動（位置、眼球運動、商品情報など）を継続的に観察することができれば、実店舗ならではの購買予測やそれに基づいたマーケティング方法の開発につながる。本プロジェクト実習では、小規模実店舗システムの開発を行う。
実施日程の概要：
1-3 期各 10 コマ
使用する主な装置，ソフトウェアなど：
Kinect, web camera, Robovie mk2, OpenCV, Intel Media SDK
教科書，参考書：
受け入れ可能人数：
2名程度
希望者が受け入れ可能人数を越えた場合の選択基準：
話し合いで決定
その他の特記事項：
C言語でプログラムを書けること

Instructor (Name of Lab. or group):
Mathematical Informatics Laboratory
Project name:
Development of a small retail-shop system for continuous recording of customers' behaviors
Overview of the project:
We develop a small retail-shop system that continuously records the purchasing process of customers (position, eye movement, products taken or attended, etc.) , which leads to prediction of the purchase behavior and further to development of novel marketing strategies and methods.
Schedule:
From the 1st to the 3rd quarters. 10 units for each. Certainly there's a room to discuss.
Equipment or software to be used:
Kinect, web camera, Robovie mR2, OpenCV, Intel Media SDK, etc.
Text, reference:
Non specific.
Maximum number of acceptable students:
2
Criterion of choice in case of overflow:
Agreement through consultations
Other notice:
C-programming ability is required.

(A13) インターネット工学研究室

(A13) Internet Engineering Lab.

担当者（研究室名またはグループ名）：
櫨山寛章（インターネット工学）
テーマ：
Intel ATOM + FPGA 開発ボードによる組み込み開発環境を用いたIPv6ネットワークアプリケーションの開発
実習の概要：
Intel社の組み込み開発向けIntel ATOM + FPGA 開発ボードを用い、組み込み端末向けのIPv6ネットワークアプリケーションまたはIPv6 ネットワークプロトコルスタックの開発を行う。
実施日程の概要：
2-3 期 60コマ
使用する主な装置，ソフトウェアなど：
Intel ATOM + FPGA 開発ボードおよびSDK
教科書，参考書：
- Developer's Guide to IntelR Atom Processor
  http://software.intel.com/en-us/articles/developers-guide-to-atom-part-1-of-4/
- Break Away with Intel Atom Processors
  http://www.intel.com/intelpress/sum_ms2a.htm
- Intel Atom Processors Overview
  http://www.intel.com/p/en_US/embedded/hwsw/hardware/atom?iid=4648
など
受け入れ可能人数：
4名程度
希望者が受け入れ可能人数を越えた場合の選択基準：
本人のやる気次第で受け入れるか否かを判断する。
その他の特記事項：
実習の難易度は高い。ただし、Intel 社から学部生向け自主学習環境が提供されているので、初心者でも本人のやる気次第で学習できる。
実習を通してC プログラミング、ハードウェアアーキテクチャの理解、組み込みデバイスの開発、ネットワークプログラミング（プロトコルスタックやアプリケーション）に関する能力、およびプロジェクト実習としての作業分担とプロジェクトマネジメント能力が履修者に身につくことを期待する。

Instructor (Name of Lab. or group):
Hiroaki Hazeyama (Internet Engineering Lab.)
Project name:
Development of an IPv6 network application on Intel ATOM + FPGA development board for embedded devices
Overview of the project:
In this project practice, students will develop IPv6 network application or IPv6 network protocol stack for embedded devices using an Intel ATOM Processor and FPGA development board.
Schedule:
term 2 and 3, 60 hours
Equipment or software to be used:
An Intel ATOM Processor and FPGA development board, and its SDK.
Text, reference:
- Developer's Guide to IntelR Atom Processor
  http://software.intel.com/en-us/articles/developers-guide-to-atom-part-1-of-4/
- Break Away with Intel Atom Processors
  http://www.intel.com/intelpress/sum_ms2a.htm
- Intel Atom Processors Overview
  http://www.intel.com/p/en_US/embedded/hwsw/hardware/atom?iid=4648
Maximum number of acceptable students:
Four students
Criterion of choice in case of overflow:
We will accept students if they are willing to join this project practice.
Other notice:
This project practice will be very hard. However, Intel corp. provides self practice materials for bachelor / master course students. If you are beginner on the development of embedded system, you can learn by yourself.
Through this project practice, we would like students to learn C language / assembler programming, to understand hardware architecture, to equip skills on network programming and embedded system development, and to learn responsibility on cooperated works and project management.

(A14) ユビキタスコンピューティングシステム研究室

(A14) Ubiquitous Computing Systems Lab.

担当者（研究室名またはグループ名）：
安本慶一教授（ユビキタスコンピューティングシステム）
テーマ：
コンテキストアウェアシステムの構築実験
実習の概要：
コンテキスト（ユーザの位置や周りの状況、ユーザの嗜好）に応じて、デバイスを自動制御するシステム（スマート環境）をArduinoなどの組み込みセンサ、家電デバイスを用いて構築する実験を行う。実験を通して、コンテキストアウェアシステム、UPnP、情報家電ネットワークについての理解を深めることを目的とする。
実施日程の概要：
II期〜III期
使用する主な装置，ソフトウェアなど：
Java言語処理系が動作するPC。
教科書，参考書：
特になし。
受け入れ可能人数：
5名
希望者が受け入れ可能人数を越えた場合の選択基準：
自講座を優先するが、プログラミング技術、熱意がある学生についても優先的に選択する。
その他の特記事項：
Java言語、C言語でプログラムを書けること。

Instructor (Name of Lab. or group):
Keiichi Yasumoto (Ubiquitous Computing Systems Lab.)
Project name:
Constructing a context-aware system
Overview of the project:
Aiming to understand smart environment, context-aware systems, UPnP (universal plug and play), and home network, students are asked to assemble an embedded system with sensors and wireless device and implement a context-aware system with the assembled sensor device and other appliances.
Schedule:
2nd and 3rd terms
Equipment or software to be used:
PC with Java and Arduino SDK
Text, reference:
Some documents are provided in the project.
Maximum number of acceptable students:
5
Criterion of choice in case of overflow:
Students of Ubiquitous Computing Systems Lab. are prioritized. Students with strong motivation and good programming skills are also prioritized.
Other notice:
Students who want to participate in this project need programming skills of Java and C.

(A15) インターネット工学研究室

(A15) Internet Engineering Lab.

担当者（研究室名またはグループ名）：
樫原茂（インターネット工学研究室）
テーマ：
スマートフォンを用いたウェザーモニタリング
実習の概要：
スマートフォンを用いたウェザーモニタリングシステムの設計・構築を行う。実習では、プログラミングスキルだけではなく、文章書き及び発表のスキルも向上させるため、国内研究会での成果発表を行う。
実施日程の概要：
2期から3期
使用する主な装置，ソフトウェアなど：
アンドロイドフォン、Linuxサーバ
教科書，参考書：
Android Developpers, http://developer.android.com/index.html
受け入れ可能人数：
4人
希望者が受け入れ可能人数を越えた場合の選択基準：
熱意
その他の特記事項：
特になし

Instructor (Name of Lab. or group):
Shigeru Kashihara (Internet Engineering Lab.)
Project name:
Weather monitoring system by smartphones
Overview of the project:
The project goal is a design and implementation of weather monitoring system by using smartphones. In the project, in addition to programing skills, to improve writing and presentation skills, students should have a presentation at a domestic or an international conference, as a result of the project.
Schedule:
2nd and 3rd terms
Equipment or software to be used:
Android phone, Linux server
Text, reference:
Android Developpers, http://developer.android.com/index.html
Maximum number of acceptable students:
four students
Criterion of choice in case of overflow:
Ardor
Other notice:
N/A

(A16) ネットワークシステム学研究室

(A16) Network Systems Lab.

担当者（研究室名またはグループ名）：
岡田　実　教授、東野武史　准教授（ネットワークシステム学）
テーマ：
ブロードバンドワイヤレス通信システムの計算機シミュレーション
実習の概要：
本実習では、ブロードバンドディジタル無線通信の変復調方式の計算機シミュレータの実装を行う。多値変調方式、加法性白色雑音チャネル、フェージングチャネル、フェージング補償、OFDMなどを実装し、無線信号処理技術とそのシミュレーション技術を習得する。
実施日程の概要：
II期〜III期
使用する主な装置，ソフトウェアなど：
MATLAB, IT++ ライブラリ
教科書，参考書：
適宜資料を指示します
受け入れ可能人数：
5名程度
希望者が受け入れ可能人数を越えた場合の選択基準：
自講座優先
その他の特記事項：
C++ でのプログラム作成能力が必要です。

Instructor (Name of Lab. or group):
Minoru Okada, Takeshi Higashino(Network Systems Lab.)
Project name:
Computer Simulation on Broadband Wireless Communication Systems
Overview of the project:
This course gives a computer simulation method for modulation and demodulation of broadband wireless communication systems. The aim of this course in to learn wireless signal processing technologies and simulation methods through the development of simulation models including multi-level modulation, additive white Gaussian noise channel, multipath fading channel, equalizer, and OFDM (Orthogonal Frequency Division Multiplex).
Schedule:
The second and Third Semester
Equipment or software to be used:
MATLAB, IT++ library
Text, reference:
We will provides materials
Maximum number of acceptable students:
About 5 persons
Criterion of choice in case of overflow:
Students in Network Systems Lab. are given priority in enrollment
Other notice:
C++ or MATLAB programming skills is required.

(A17) 音情報処理学研究室

(A17) Speech And Acoustics Processing Lab.

担当者（研究室名またはグループ名）：
猿渡洋准教授、川波弘道助教、原直助教（音情報処理学講座）
テーマ：
- (1) マイクロホンアレーを用いたハンズフリー音声認識
- (2) 音声対話システム
実習の概要：
- (1) 人同士のコミュニケーションと同様に、ヘッドセットマイクを用いずに、離れた場所からでも機械と対話できる事が望まれる。実習では、離れたユーザーの声を複数のマイクロホンを用いて高精度に収録するマイクロホンアレー技術に関する理解を深め、最先端の技術を活用したハンズフリー音声認識実験を行う。
- (2) 構内案内、地域案内、路線案内など音声対話システムは実際に実環境で用いられている。エージェントがインターネット上の情報から選んできて案内をする研究も進められ，音声検索との融合も期待されている。実習では、音声対話システムや音声検索の要素技術に関する理解を深め、実際にシステム改善に取り組む。
実施日程の概要：
夏休み（8、9月）あるいはIII、IV期
使用する主な装置，ソフトウェアなど：
こちらで準備します
教科書，参考書：
こちらで準備します
受け入れ可能人数：
5名程度
希望者が受け入れ可能人数を越えた場合の選択基準：
自講座優先
その他の特記事項：
特になし

Instructor (Name of Lab. or group):
Hiroshi Saruwatari (Associate Professor), Hiromichi Kawanami (Assistant Professor), Sunao Hara (Assistant Professor) (Speech And Acoustics Processing Laboratory)
Project name:
- (1) Hands-free speech recognition using a microphone array
- (2) Speech-oriented information guidance system
Overview of the project:
- (1) This project addresses a hands-free interface technology, which realizes speech input to a distant information system without using a headset microphone. In this project, fundamentals of microphone-array technology that can obtain speech from a distant user precisely using multiple microphone will be acquired. Then speech recognition experiments employing cutting-edge hands-free technology will be conducted.
- (2) A spoken dialog system has realized as a practical application, for example, information guidance on local area, railway transfer, and facilities. Such systems also are expected to combine with Voice Search technology. In this project, fundamentals of spoken dialog systems and their component technologies will be acquired and students address with the improvement of the real-environment information guidance system, "Takemaru-kun."
Schedule:
During summer holidays (Aug. and Sep.), III periods or IV periods.
Equipment or software to be used:
To be distributed from the instructors
Text, reference:
To be distributed from the instructors
Maximum number of acceptable students:
5
Criterion of choice in case of overflow:
Students in Shikano lab will be given preference.
Other notice:
N/A

(A18) プログラミング科学研究室

(A18) Programming Science Lab.

担当者（研究室名またはグループ名）：
木下佳樹教授（プログラミング科学講座、産業技術総合研究所）
テーマ：
Agdaシステム実習（依存型プログラミングと定理証明の初歩）
実習の概要：
Agdaシステムを用いて依存型つき函数型プログラミング、定理証明支援系利用の初歩を実習します。
実施日程の概要：
9/18、9/19、9/20、9/21 10:00-16:00の4日間
実施場所：
〒661-0974兵庫県尼崎市若王寺3-11-46産業技術総合研究所にて実施します。
http://www.aist.go.jp/aist_j/guidemap/kansai/kansai_map_main.html
使用する主な装置，ソフトウェアなど：
Agda システム（Free, open source software. Windows, MacOS, Linuxなどで動作します）
http://wiki.portal.chalmers.se/agda/
教科書，参考書：
教科書を配布します。参考書は実習時に説明します。
実習の進め方
毎日1.5時間程度の座学と3時間程度の演習
受け入れ可能人数：
最大10名
希望者が受け入れ可能人数を越えた場合の選択基準：
大学による選抜
その他の特記事項：
受講者はプログラミング経験を持っていることが望ましい。

Instructor (Name of Lab. or group):
Prof. Yoshiki Kinoshita (Programming Science Lab., AIST)
Project name:
Agda System Training Course (A First Step toward Dependent Type Programming and Theorem Proving)
Overview of the project:
This is a training course for DependentlyTyped Programming and Theorem Proving.
Schedule:
18, 19, 20, 21 Sep, 10:00-16:00 (4 days)
Place:
To be held in AIST, 3-11-46 Nakoji, Amagasaki-shi, Hyogo-ken 〒661-0974
http://www.aist.go.jp/aist_j/guidemap/kansai/kansai_map_main.html
Equipment or software to be used:
Agda system（This is a free, open source software. Runs under Windows, MacOS and Linux）
http://wiki.portal.chalmers.se/agda/
Text, reference:
An instruction material will be distributed.
How to proceed
1.5 hour lecture and 3 hour practice per day
Maximum number of acceptable students:
10
Criterion of choice in case of overflow:
Selection by the Professor
Other notice:
Students has preferably some experience of programming.

教務WGプロジェクト実習担当
(projectpractice12 at is.naist.jp)