情報システム学専攻項書換え系, 難解言語, 自動採譜, 教員紹介, 情報システム学専攻, コンピュータ科学科, 情報システム系, 組合せ最適化

研究内容

「虫のいないプログラムはない」といわれるほど、誤りのないプログラムを作るのが大変な作業であることはよく知られています。プログラムの正しさの定式化には、まず最初にプログラムが持つ意味を数学的に定める必要があります。現在、プログラ ...

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

研究内容

私は,企業でカーエレクトロニクスの研究開発や事業運営をしてきました.現在は,附属組込みシステム研究センター(NCES)で,主に組込み技術者の人材育成と評価に取り組んでいます.
enPiTという文部科学省の「成長分野を支 ...

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

研究内容Domain Specific Processor Architecture

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

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

研究内容

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

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

研究紹介

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

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

高校生の君へ

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

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

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

准教授

研究内容

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

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

研究内容

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

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

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

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

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

研究内容集積回路の潜在能力を引き出す設計技術

 私たちが日々利用する情報技術は、全て集積回路を利用しています。集積回路には、数10億個などの膨大な数のトランジスタ (回路を構成する基本パーツ) が搭載されていますが、実はこれらのトランジ ...