情報システム学専攻

研究内容

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

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

研究内容

科学技術計算のための数値シミュレーションを実行する際、最先端のスーパーコンピュータで高性能を引き出すためには、計算機アーキテクチャと数値計算アルゴリズムの双方について熟知する必要があります。そのため、誰でも容易に高性能計算がで ...

研究内容

近年，組込みシステムのソフトウェアは大規模になり，複雑化が著しいです．例えば，自動車の電子制御システムは利便性や快適性を追求するために多くの機能が搭載され，今後も自動走行システムや様々な機器との連携が想定されており，ますます発 ...

研究内容

プログラムが仕様どおりに動作することを示すことは非常に重要であり、その検証法に関する研究を行っている。コンピュータシステムのトラブルの多くは例外的な事象発生時の異常な動作や異常な出力によるものである。ソフトウェアの設計やプログ ...

研究内容

任意の異方性と分散性のある不均質媒質中の波動場を計算することは地震予知研究、物理探査、地震防災、構造物健全性評価などさまざまな方面で重要です。本研究では、 分散性波動を正確に扱うために、媒質の物性の周波数依存性を正確に反映する ...

研究内容

ネットワーク技術の発展とコンピュータの普遍化に伴って、計算が同時進行する並行性（Concurrency）は ソフトウェアシステムに必ず現れる特徴です。並行性を持つソフトウェアは、入力を与えて停止させて結果を得る従来の計算とは異 ...

研究内容

今日の情報化社会では、全てを内包する一つの大 き な ネ ット ワ ー ク を 、多 く の ヒト や モ ノ が 共 有 して利用しています。ネットワークの中には悪意を持った第三者も存在し、自然発生する障害や事故が情報を破壊 ...

研究内容

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

研究内容

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

研究内容Domain Specific Processor Architecture

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