コンピュータ科学科

研究内容

私は、スマート社会実現のための安全安心快適ネットワークの構築技術を研究しています。安全安心はもとより、快適なコミュニケーションのために必要になる、「過度な負荷がネットワークにかからないようにする輻輳制御技術」、「攻撃に対してプ ...

　本ミニ特集では、名古屋大学情報基盤センターが導入しているスーパーコンピュータ「不老（フロー）」を紹介します。不老は、スパコン「富岳（フガク）」の技術をベースとする富士通のPRIMEHPC FX1000からなるType Iサブシステム ...

名古屋大学情報基盤センター　センター長
名古屋大学大学院情報学研究科知能システム学専攻　教授
森　健策

１．はじめに

　名古屋大学情報基盤センターでは、2020年7月１日から、新しいスーパーコンピュータシステ ...

プロフィール

名古屋大学 大学院情報学研究科 附属組込みシステム研究センター 准教授
（情報システム学専攻 情報プラットフォーム論講座 所属）

個人ウェブサイト:
E-Mail: yoshida AT ert ...

近年、いわゆるAIと呼ばれる、機械学習(ML: Machine Learning)や深層ニューラルネットワーク(DNN: Deep Neural Network)の世の中の情報システムへの応用が非常に盛んとなっております。そのため、情 ...

　スーパーコンピュータ「不老」（以下、「不老」）は主に4つの主要な計算サブシステムと2種類のストレージによって構成されています。本記事ではその中でも特にType IIサブシステムについて紹介したいと思います。

スーパーコンピュー ...

はじめに

名古屋大学情報基盤センターは、２０２０年７月１日より、スーパーコンピュータ「不老」（以降、「不老」と明記します。）を設置し、サービスを開始しました。ここでは、情報学の観点から「不老」のシステムの説明をしていこうと思います。

研究内容

機器に組み込まれてそれを制御するコンピュータシステムである組込みシステムの構築技術について幅広く研究しています。具体的には，組込みシステム向けリアルタイムOS，リアルタイム性保証技術，機能安全技術，組込みシステムのサイバーセキ ...

研究内容

研究キーワード: サイバーセキュリティ、ネットワークセキュリティ、ネットワーク運用

サイバー攻撃の被害は今や広くニュースに取り上げられる時代であり、なおかつ、その被害は減る様子を見せないという残念が現状にあります。 ...

研究内容

形式言語理論に関する研究と、それらの知見を利用してシステムの安全性などの検証法に関する研究に興味をもって取り組んでいる。具体的には、木変換器などの形式モデルなどの基礎研究や、それらを利用してXML文書などの構造化データに対する ...