知能システム学専攻基盤知能情報学講座, 知能システム学, 情報基盤センター, 人工知能(AI), 教員紹介, 知能システム学専攻, コンピュータ科学科, 知能システム系

研究内容

様々な音信号を対象とした音メディア情報処理に関する研究を行っています。音声コミュニケーション支援、学習支援、創作支援、障害者支援などを対象として、1)音声情報処理(例えば、音声分析、音声認識、音声変換、音声合成、意図理解、対話 ...

知能システム学専攻知能システム学, 行動信号処理, 自動運転, 未来社会創造機構, 教員紹介, コンピュータ科学科

研究内容

人間の行動やそれを取り巻く環境から得られるデータを、数理的な手法を活用して「モデル化」する研究を行っています。研究の成果は、人間の意図・個性・状態の理解や行動の支援などに応用できます。数理・データ科学から物理まで広い範囲の基礎 ...

情報システム学専攻教員紹介, 情報システム学専攻, コンピュータ科学科, 情報システム系

研究内容Domain Specific Processor Architecture

2016年以降、Google、Apple、Facebook、Amazon(いわゆるGAFA)やMicrosoftなどのICTサービス企業(コンピュータ ...

情報システム学専攻組込みシステム, 並列処理, 教員紹介, 情報システム学専攻, コンピュータ科学科, 情報システム系, 組合せ最適化

研究内容

私たちは「組込み並列処理」について研究しています。並列処理といえば、スーパーコンピュータが有名ですが、もっと身近なところにもたくさんあります。例えば、スマートフォンにも並列プロセッサが搭載されており、並列に動作していますし、テ ...

情報システム学専攻, 組込みシステム研究センター教員紹介, 情報システム学専攻, コンピュータ科学科, 情報システム系

研究紹介

組込みシステムは、単に自動車や家電に組み込まれる制御用コンピュータという位置付けから、製品に付加価値を生む計算プラットフォームや、互いに連携して大規模な分散システムを形成するノードといった、社 会を支える役割を担うようになって ...

情報システム学専攻SATソルバー, 教員紹介, 情報システム学専攻, コンピュータ科学科, 情報システム系

高校生の君へ

コンピュータ科学は楽しく,魅力的で,社会に役立つ学問です.

私は「賢いソフトウェア」を開発するための理論と実装技術に興味をもっています.今日は,その中の一つである「SAT」について紹介します.名古屋大学で皆さん ...

情報システム学専攻ソフトウェア検証, 数理論理学, 型理論, 分離論理, 教員紹介, 情報システム学専攻, コンピュータ科学科, 情報システム系

准教授

研究内容

「計算」と「論理」という一見独立しているように見える二つの概念の間には実は密接な関係があり、この関係は古くから計算機科学と数理論理学の両面から研究されています。この関係を通して、プログラムの意味の

情報システム学専攻項書換え系, 計算モデル, プログラム検証, プログラム逆化, 可逆計算, 教員紹介, 情報システム学専攻, コンピュータ科学科, 情報システム系

研究内容

バグのない高信頼なソフトウェアを作成することは現代社会において非常に重要です。通常はプログラムが正しいことを検証することで高信頼なプログラムを開発します。私の研究では、関数型言語だけでなく命令型言語の計算モデルとも言える制約付 ...

情報システム学専攻教員紹介, 情報システム学専攻, コンピュータ科学科

情報システム学専攻 准教授
研究分野: ソフトウェアエンジニアリング分野

ソフトウエアの高品質化やソフトウエア開発活動の効率化のための技術やしくみを実証的に議論するエンピリカルソフトウエア工学を専門としています。 ...

知能システム学専攻コロナ特集, 仮想現実(VR), オンライン講義, 人工知能(AI), 知能システム学専攻, コンピュータ科学科

はじめに

今さら言うまでもなく2020年は激動の年となった。技術が発展したからではなく、疫病の蔓延という形で世界は変化を余儀なくされた。中国に端を発する新型コロナウイルス感染症は瞬く間に世界を席巻した。今やさまざまな社会的機能を変革しな ...