|
|
研究分野・研究室紹介
劉研 / 榮岩研 / 川原研 / 橋本研 / 香山研 / 齊藤・冨田研 / 小林研 / 阿部研 / アサノ研 / 上口研 / 新村研 /和崎研 / カワモト研 / 師玉・山崎・岡崎研 / 岡野・小形研 / 丸山・宮尾・白井研 / 藤原研 / 山本研
劉 研究室
http://www.cs.shinshu-u.ac.jp/Lab/MAG/磁気記録，記憶装置，薄膜工学，電磁気学，コンピュータマグネティクス，ミクロスコピック解析
 劉 教授 |
劉研究室では，電子の電荷とスピンを制御することによって，より高密度，高速，低消費電力の不揮発性メモリ及び不揮発性ロジック素子の創成を目指します．注力しているのは，電流，電圧によるスピンの方向の直接かつ自由に制御に向かってチャンレンジしています．同研究室では，髪の毛の直径の千分の一以下の厚さを持つ薄膜の作製技術とフォトリソグラフィーを用いたマイクロスケールの微細加工技術を組み合わせて，新規なメモリ素子の形成とその電気伝導特性，磁気特性，微細構造等様々な評価を行っています．
|
榮岩 研究室
http://www.cs.shinshu-u.ac.jp/~haeiwa/ナノデバイス，薄膜工学，磁気工学
 榮岩 准教授 |
現在の情報化社会を支えているのは半導体を中心とする電子の流れ（電流）を制御する電子デバイスです．更なる省エネルギー・高速化の切り札として電子のスピン情報を活用するスピントロニクスデバイスが期待されています．榮岩研究室では，スピントロニクスデバイス材料として，磁気ナノワイヤー或いはドットが絶縁体を介して規則配列したナノ構造体に注目し，その材料開発研究を行っています．規則的なナノ構造を作るために，界面活性剤（石鹸）の自己組織化によって生み出されるハニカム構造の活用も進めています．
|
川原 研究室
http://www.cs.shinshu-u.ac.jp/~kawahara/地球・惑星大気の光学リモートセンシング（システム開発，観測）
 川原 准教授 |
川原研究室では，レーザー光を用いて大気を観測する「ライダー」という観測の技術開発と，観測結果から大気物理の解明を研究テーマとしています．日本における南極や北極に設置する極域大気観測ライダーの開発に長年関わっています．観測は地球そのものをより良く知るための観測で，国際協力体制で行っています．極域では磁力線に沿って宇宙から荷電粒子が降り込み，高度100Km近辺の超高層大気に達してオーロラが光ります．このような宇宙からのエネルギー流入により，地球大気はどのような変動をするのか．それを研究しています．
|
橋本 研究室
http://www.cs.shinshu-u.ac.jp/~hasimoto/生体情報工学，福祉情報工学
 橋本 准教授 |
橋本研究室では，身体の様々な情報を取り出し，医療やコミュニケーションに利用することに取り組んでいます．通常の機器ではコミュニケーションをとりにくい障がい者の支援方法にも取り組んでおり，最近では視線を利用した入力装置や視覚や聴覚による刺激に対応する脳波を解析した入力手法を研究しています．医療に役立つ分野の計測として，加速度センサによる身体のバランス評価やいびき音の解析など，体にまつわる広い分野を手掛けています．
|
香山研究室
http://hci.cs.shinshu-u.ac.jp/生体情報工学，福祉情報工学，学習支援工学
 香山 教授 |
香山研究室では，人工知能技術を応用した学習支援工学に関して研究しています．ヒトが有する知識の中で，特に身体知：巧みな動作・行為を可能にしている能力に着目し，芸術（歌唱や美術）やスポーツの練習を対象としたスキル学習支援環境の構築，アルゴリズム的思考法やモデリング／抽象化能力育成環境の整備，情報科学の原理を学ぶためのハンズオンでタンジブルな教材の開発などに取り組んでいます．また，音響情報・生体情報に対するデータマイニング手法・最適化アルゴリズムの開発など，ヒトが発する多様な行為・信号に対する知的な処理の実現も目指しています．
|
齊藤・冨田 研究室
http://www.cs.shinshu-u.ac.jp/~tomida/pukiwiki/情報センシング，光情報技術，コンピュータ応用システム
 齊藤 教授  冨田 助教 |
安全で安心な生活が保障されるには，どのような情報が必要でしょうか？私達は，身近な生活に係る自然環境を注意深く見つめ，その情報をきちんと知らせる技術－センシング技術－の開発を行っています．空・水・植物・都市等，私達の生活周辺環境が今どうなっているのかを正しく理解することが，安全・安心を確保する第一歩です．それを実現するキーワードが“光”“画像”“IT”です．レーザーや特殊カメラといった，最新の光・画像機器を駆使した，オリジナルなセンシングシステムを開発して，安全・安心な社会をサポートするための情報をお届けします．
|
||||
小林 研究室
http://www.cs.shinshu-u.ac.jp/~kby/インタラクションデザイン，スマートアグリガジェット
 小林 准教授 |
小林研究室では，インタラクションデザインに関する研究と情報通信技術(ICT)を用いた農業に関する研究に取り組んでいます．インタラクションデザインとは人間とロボットやソフトウェアとの間でやりとりされる情報とその処理過程をデザインすることです．一方的にロボットやソフトウェアなどに仕事を任せるのではなく，人間とのやり取りを通して，人間が得意なことと機械が得意なことを考慮して，協調的な問題解決を目指します．また，その応用として農業に情報通信技術を導入することで，データに基づく科学的で効率的な農園管理方法についても研究しています．
|
阿部 研究室
医用モニタリングシステム，生体情報解析，医療診断支援
 阿部 准教授 |
本研究室では，医療と工学の融合分野において，超高齢化社会における予防医療や先端的な医療を支えるための研究を行っています．日常生活において，心拍数や自律神経指標といった健康管理に有効な情報を簡便に計測するために，緑色光電容積脈波を用いた「動き」によるノイズに強いウェアラブルセンサシステムの開発に取り組んでいます．さらには，心電図の中から死に至らしめる危険な不整脈を高精度で早期に検出する方法の開発や，映像が生体に与える影響の評価に関する研究等も行っています．
|
アサノ 研究室
http://www-comm.cs.shinshu-u.ac.jp/index.html変復調理論，通信工学，符号理論
 アサノ 教授 |
アサノ研究室では，幅広い範囲で情報機器の研究開発を行っています．『役に立つ』『使いやすい』を基本方針にし，人間の仕事や生活が『楽になる』『楽しくなる』機器を目指しています．例えば，右図上の『免トレ君』は，運転免許の学科試験問題をわかりやすくするために動画を付けたものです．正解・不正解の判定も動画を使い，試験勉強をゲーム感覚でできるようにしています．また，右図下の『在室表示器』はインターネット経由でも確認できるので，部屋まで行かなくても在室しているかどうがわかります．これにより，行き違いが避けられます．
|
上口 研究室
半導体集積回路設計，計算機アーキテクチャ
 上口 准教授 |
エレクトロニクス，情報技術の進歩は，インターネット，携帯電話など，新しい産業・サービスを創出しております．特に，集積回路の微細化は様々な機能を低コストで実現し，コモディティ化により，医療，農業といった様々な分野に応用されるようになってきました．しかしながら，今，日本のエレクトロニクス業界はコスト競争の点で大変苦しい状況にあります．このような状況を打開し，商品を差別化するためには，集積回路を自らカスタマイズ（設計）し，使いこなす必要があります．研究室では，集積回路設計技術を用いて，新しい計算機アーキテクチャを開発し，ソフトウェア，アプリケーションと協調した新たなシステム・サービスの構築を目指します．
|
新村・國宗 研究室
http://security.cs.shinshu-u.ac.jp/Contents/教育工学，ICT活用教育，教育・学習支援，学習環境，システム開発
 新村 准教授 |
蛇口をひねると水が出たり，スイッチを入れると灯りがついたりするのは，あたりまえのようですが，社会生活を行う上では必要不可欠なものです．このようなサービスは社会基盤（インフラ）と呼ばれています．いまや，インターネットにつないでいろいろなサービスをうけることも，社会生活を行う上で必用不可欠なものになりつつあります．私たちの研究室は，主に教育分野において，数千人を対象をするネットワークサービスを実際に提供することで，IT社会で必須となるインフラシステムの構築と運用に関する研究を進めています．
|
和崎 研究室
http://ysserve.wakasato.jp/~wasaki/research/並列システムモデル，ペトリネット，上流設計，ハードウェアコンパイラ，形式検証系，モデル検査
 和崎 教授 |
情報システムの「信頼性(Dependability)」に関して，ネットワークのQoS・暗号化通信に代表される「安全性(Safety)」とともに，システムの堅牢性(Reliability)を確保することが大変重要です．高い信頼性が要求される情報システムのために，可能な限り誤り（バグ）を排除した設計に仕上げていくことが重要な課題です．私たちの研究室では，「100%バグフリー設計」を目指し，ソフトウェア分野で(1)特に並列システムを対象とした，設計の全網羅的な検査システムと検証ツールの開発と(2)上流工程からの一貫設計検証環境，などを研究しています．
→研究テーマもっと詳しく！
|
カワモト 研究室
http://sakura.cs.shinshu-u.ac.jp/Design automation and formalization, E-learning, Professional communication skill development
 カワモト 准教授 |
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.
|
師玉・山崎・岡崎 研究室
http://www.sw-lab.com/xoops/非線形系の解析，形式検証系，暗号理論，遠隔教育
 師玉 教授 |
 数学以外への形式化数学の応用例 |
 山崎 助教 |
 画像からの情報の取り出し |
 岡崎 助教 |
岡崎研究室では暗号の研究をおこなっています．暗号はICT社会をささえるインフラの要素として重要となっています．しかし，暗号は情報理論，計算理論，あるいは数学など情報工学のさまざまな技術分野の上に成り立つ総合的な学問分野であるため，専門家以外には理解しがたい世界になっています．これからの暗号は「安全であることを誰もが納得して使える」ことを目指さないといけません．同研究室では，数理的技法を用いてコンピュータを使って暗号システムの安全性を証明するための仕組み作りを進めています．
|
岡野・小形 研究室
http://softeng-www.cs.shinshu-u.ac.jp/プログラム言語論，コンパイラ，ソフトウェア工学，教育工学
 岡野 准教授 |
岡野研究室では小形研究室と協力しソフトウェア開発をサポートする諸技術の研究を行っています．ソフトウェアの普及，大規模化に伴い，ソフトウェア開発の種々の側面を計算機によってサポートする必要が高まっています．ソフトウェアは要求文書に始まり，どのように作るかという設計文書，そしてプログラムコードなどからなっています．これらが相互に関連付けられていることが高信頼ソフトウェアの設計や保守において極めて重要です．また，ソフトウェアを定量的に測定し， あるいは静的に解析を行って，種々の性質を検証したり，工数などを予測することも重要です．これらの技術について企業，他大学とも連携して研究を行っています．
|
 小形 助教 |
良いソフトウェアを効率的に開発する方法を研究しています．建築では最初に模型と言った「概略」を作り，その良し悪しをお客さんに確認してもらいます．お 客さんの欲しないモノには多量の手直しが生じ，膨大な費用と時間がかかるため，この確認は非常に重要です．ソフトウェア開発においても「概略」を下図の 「モデル」として記述することが普及してきましたが，モデルの有益な活用方法の研究は未だ不十分です．小形先生は「使い勝手の良い」ソフトウェアの開発を 促進するためのモデリング方法やソフトウェアへの変換方法に関する研究を行っています．
|
丸山・宮尾・白井 研究室
http://wwell.cs.shinshu-u.ac.jp/index_j.html機械学習，コンピュータビジョン, コンピュータグラフィックス， ヒューマンコンピュータインタラクション，音楽情報処理
 丸山 教授 |
丸山研究室では，宮尾研究室と共同で研究室を運営し，画像理解・認識・検索，3次元復元，コンピュータグラフィックスなどを中心と
した研究を行っています．我々人間は，目に映った画像から，どのような色，形状，特徴を持つ物が存在しているのかを理解する高度で柔軟な能力を有しています．また，このような能力は日々の経験の中で学習によって培われてきたものであると考えられます．当研究室では，人間の持つこのような学習・認識能力をコンピュータ上で，コンピュータの特長を生かして大量のデータを対象として，実現するための手法に関する研究を行っています．
|
 宮尾 准教授 |
タブレットPCやスマートフォンなどで使われているペン入力やタッチ入力の情報を活用した研究を中心に行っています．例えば，ペンで手書き入力された文字・記号・図形をコンピュータで逐次に認識・整形したり，以前に入力した情報を検索する手法について研究しています．また，タッチ入力された情報を用いた研究では，そのジェスチャ（タッチした複数の指の動き）の登録・認識を行ったり，それらの技術を用いたプログラム開発を行なったりしています．なお，当研究室は丸山研究室と合同で研究活動を行っていますので，興味のある方はそちらもご覧ください．
|
 白井 准教授 |
 色ムラを抑えつつノイズ除去．画像空間（２D）の連続性に加え，RGB色空間（３D）の色分布の連続性を考慮している |
藤原 研究室
http://www.cs.shinshu-u.ac.jp/~fujiwara/index-j.htmlアルゴリズム理論，最適化理論
 藤原 准教授 |
先のことは分からないが，今，行動を決めなければならないことがよくあります．日常生活のみならず，経済活動，ひいてはコンピュータの管理や設計においてもです．「スキー板はレンタル？買ってしまう？」「次々と荷物がやってくるが，配送トラックにどのように詰めるべき？」 先のことの情報があれば，それを基づいてうまい行動がとれます．しかしながら，「一寸先は闇」といっていいほど予測がつかない事例も少なくありません．藤原研究室ではそのような事例の本質を突き止めたうえで，それに対する「戦略」や「アルゴリズム」を研究します．
|
山本 研究室
http://syorserv.cs.shinshu-u.ac.jp/計算量の理論，アルゴリズム論，静止画・動画像処理，多次元信号処理
 山本 教授 |
山本研究室では，より安全で効率的な検索を行うための基本技術の開発を行っています．社会の情報化が進むにつれ，大量のデータが電子化され，コンピュータに保存されるようになってきています．このような大量のデータから目的のデータを探すためには，効率的な検索技術が必要です．また最近では，個人情報など他人に知られたくない情報を扱うことが多くなってきているため，このような情報を保護しながら検索する技術も重要になってきています．研究室では，効率的な検索を行うための技術，安全性に配慮した検索を行うための技術に関する研究を行っています．
|
© Department of Computer Science & Engineering, Shinshu University. Wakasato 4-17-1, Nagano city, Japan.