創域理工学部 情報計算科学科

［専攻］情報数学　［指導教員］明石 重男 教授　［キーワード］計算機数学,Hilbertの第13問題,データ圧縮理論
［テーマ例］❶Hilbertの第13問題とデータ圧縮問題 ❷ネットワーク犯罪とその対策 ❸計算機ネットワークブレイン

ネットワークが日常生活で重要な役割を占めている今日、サイバー犯罪の多様化、多発化が問題となっています。しかし、その対策に数学が重要な役割を果たしていることはあまり知られていません。本研究室では、ネットワーク構築技術及びサイバー犯罪に対する計算機科学と数学を組み合わせた研究を行っています。

［専攻］量子ネットワーク　［指導教員］入山 聖史 准教授　［キーワード］量子アルゴリズム,暗号理論
［テーマ例］❶現在知られている難しい問題に対する量子アルゴリズムを提案する ❷量子計算理論における計算の複雑さについて研究する ❸非可換代数を原理とした暗号理論の数学的性質や実装について研究する

近年、量子情報の数学的整備やそれを基にした実験が盛んに行われ、情報通信分野などでわれわれの生活にも大きな恩恵がもたらされるようになってきています。本研究室では、量子力学を原理とした計算の数理モデルである、量子アルゴリズムの数学的定式化や計算の複雑さについての研究を行っています。また、非可換代数を原理とした新しい暗号理論について、理論的研究と実験を行っています。

［専攻］認知科学,人工知能　［指導教員］大村 英史 講師　［キーワード］音楽情報科学,知的エージェント
［テーマ例］❶音楽生成システムの開発 ❷計算論的音楽理論 ❸社会適応エージェントの設計

本研究室では、人間の創造的な活動に焦点を当てた研究を、音楽を中心に行っています。音楽は作り手から聴き手への伝達される情報です。音楽は音の時間的な並びであって、具体的な情報の伝達はできません。しかし、私たち人間は音楽を創造し聴取し、生活の中で利用して楽しんできました。本研究室では、音楽をなぜ楽しめるのか、どのようにして作れるのかについて情報科学の視点から音楽研究を行っています。

［専攻］マルチモーダル情報処理、人工知能　［指導教員］桂田 浩一 准教授　［キーワード］音声情報処理,顔画像処理,対話システム
［テーマ例］❶音声合成・認識システムの構築 ❷顔画像処理システムの構築 ❸対話システムの構築

近年、人間と対話のできるロボットが実用化されつつあります。本研究室が取り組むマルチモーダル情報処理はこうしたロボットとの対話に必要不可欠な技術の一つです。マルチモーダルとは、音声や表情といった多様な知覚情報を用いることを指し、これを用いた対話を「マルチモーダル対話」と呼びます。人間同士の対話は、相手の表情を見ながら対話を進める「マルチモーダル対話」であることから、この技術をロボットに組み込むことによって、より自然な対話を実現できます。本研究室では音声の合成・認識技術、顔画像処理と読唇技術、対話システムの構築といった、マルチモーダル対話や人工知能に必要なさまざまな技術の開発を進めています。

［専攻］生命情報学　［指導教員］佐藤 圭子 准教授　［キーワード］生命現象への情報論的アプローチ
［テーマ例］❶配列間のアライメントアルゴリズム及び遺伝的差異の研究 ❷インフルエンザＡ型ウイルスヘマグルチニンの配列変化予測 ❸遺伝子の発現および変異パターンによる癌疾患の予後因子の特定

生命情報学とは、情報論的手法を使って生命現象を解明する研究分野です。本研究室では、生命現象解明の基礎となる遺伝子やDNAに刻まれた情報のありさまを、情報量や符号といった情報理論の基本概念を通して調べます。そして、現在観察できる生命の存在形態、生命（体）の情報の伝達と処理の仕方、生命の変化の力学などを表現する生命特有の数理を考えます。また、さまざまな癌での難治性癌を早期に見極め、分子標的治療の開発に向けての基盤を形成するため、大量な遺伝子の発現や変異パターンと疾患の転帰との関係を調査します。

［専攻］プログラミング科学　［指導教員］滝本 宗宏 教授　［キーワード］プログラミング言語,群知能,ユーザインタフェース
［テーマ例］❶GPU向けコード最適化 ❷ARを用いたユーザインタフェース ❸階層型移動エージェントを用いた群ロボット制御

本研究室では、いろいろなコンピュータシステムを、より分かりやすく効率的に記述できる言語や、その処理系、あるいは、プログラミングモデルを研究しています。例えば、新しいプログラミング法に基づくプログラミング言語を設計したり、翻訳の際に同時に実行できる部分や高速化できる部分を見つけて並列化や最適化を行う言語処理系を開発したりしています。また、移動エージェントという、ネットワークを自律的に移動するプログラムユニットを用いて、たくさんのロボットを効率的に制御する研究も行っています。その他にも、プロジェクタによってスクリーンに投影されたデスクトップを、影を使って操作する技術や、現実の世界にCGを融合させる技術を使った視覚的プログラミング法を開発したりしています。

［専攻］応用確率統計学　［指導教員］田畑 耕治 准教授　［キーワード］カテゴリカルデータ解析
［テーマ例］❶確率モデルのパラメータ推定法に関する研究 ❷カテゴリカルデータ解析とその応用 ❸確率構造のモデリングとその分解

これからの社会で活躍するために、今や確率・統計の知識は必要不可欠といっても過言ではないと思います。なぜならテレビ、書籍、インターネットなどから入ってくる非常に多くの情報（要約されたデータ）が、信用するに足るかどうかを自分の力で判断しなければならないからです。本研究室では確率・統計の数学的理論の研究を通じて、正しくデータと付き合うための力（応用力）を養います。

［専攻］数理統計学　［指導教員］富澤 貞男 教授　［キーワード］分割表解析,多変量解析
［テーマ例］❶分割表統計解析とその応用（例えば血液型と職業の関連性） ❷多変量統計解析とその応用（例えば飲食店における売り上げ分析） ❸スポーツの統計解析（例えばプロ野球、サッカー、相撲など）

「39度の高熱のある幼稚園児50人に薬Aを飲ませたら翌日全員が平熱になった」。薬Aは効果があると言えるでしょうか。われわれは毎日のように、数字を新聞TV等で目にしていますが、表面的な数字から間違った判断をする場合がかなりあります。本研究室では、世の中に潜んでいる数字のトリックを見抜くためにも重要な数理統計学を研究しています。なお、研究室の特色として、医薬統計学に関心のある大学院生が多く、新薬開発における臨床試験統計家を目指し、製薬系に就職する者が毎年います。

［専攻］数学　［指導教員］野口 健太 講師　［キーワード］グラフ理論
［テーマ例］❶地図の彩色問題 ❷ハミルトン閉路とアルゴリズム ❸グラフの閉曲面への埋め込み

グラフ理論とは、点と線からなるネットワーク構造を考える理論です。与えられた図形が一筆書きできるか、チェス盤の各マスをちょうど一回ずつ通るようなナイトの動きは存在するか、アメリカのすべての州を巡るのに最短の時間はどのくらいか、などの問題を理論的な側面から考える研究を行っています。

［専攻］ネットワーク工学　［指導教員］松澤 智史 講師　［キーワード］インターネットアーキテクチャ及びその応用
［テーマ例］❶インターネットルーティングや各種通信プロトコルの開発 ❷モバイルアドホックネットワークとその応用 ❸ニューラルネットワークとその応用

当研究室では社会インフラであるインターネットの基盤・応用技術をはじめ、ネットワークに接続している計算機などを利用した技術・サービス、及びそのセキュリティ技術などの研究を行っています。また、複雑ネットワークや脳神経ネットワークを模したニューラルネットワークを用いた研究なども行っています。

［専攻］離散数学（組合せ論）　［指導教員］宮本 暢子 教授　［キーワード］組合せデザイン,符号・暗号の数理
［テーマ例］❶組合せデザインの構成とその応用 ❷光直交符号の構成 ❸有限幾何の組合せ構造の研究

「6人で3コートを使ってテニスを行い、5日間でどの2人も対戦できるように組み合わせを考えなさい」というような問題は、離散数学の分野で組合せデザインと呼ばれます。このような離散数理構造を数学的道具を用いて構成し、少ない実験回数で隔たりのない情報を得るという統計的実験計画法に用いています。最近では、携帯電話に使われているCDMAなどの情報通信における符号理論や暗号の理論などへのさまざまな新しい応用に取り組んでいます。

［専攻］応用情報理論　［指導教員］渡邉 昇 教授　［キーワード］量子情報通信理論,量子コンピュータ
［テーマ例］❶量子情報通信理論の研究 ❷量子コンピュータの量子論理ゲートの研究 ❸量子系の力学的エントロピーの研究

古典系における通信理論は1948年ごろシャノンによってエントロピー論として始められ、その後コロモゴロフ等によって数学的体系として完成されています。これらの通信理論では電流や電波を信号に用いますが、近年、レーザー光を信号に用いる技術が開発され、さまざまな通信系で使用されています。光が最も基本的な素粒子であるので、量子光信号は量子系で取り扱うことが本来必要であり、量子テレポーテーションを含む量子通信過程の厳密な記述には、量子情報通信理論の定式化が必要です。本研究室では、函数解析学を用いた量子系のエントロピー理論をベースとした量子情報通信理論の定式化を目指す研究を行い、量子コンピュータの量子論理ゲートの数理的定式の研究にも取り組んでいます。