コンピュータ科学科

研究内容

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

研究内容

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

研究内容

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

はじめに

オープンサイエンスは、あらゆる研究分野に関わる学際的活動であり、その推進において情報学の技術や技法の活用が求められてます。本稿では、我々、名古屋大学大学院情報学研究科松原研究室にて取り組む、オープンサイエンス推進の現状とその深 ...

はじめに

情報学で研究される技術を現実社会に適用し，今までにない新たな価値や仕組みを作ることをX-Tech（クロステック）呼びます．その中でも，法律に情報学の技術を適用することをLegalTech（リーガルテック）と呼びます．我々，名古 ...

自然言語処理

CやPythonなどのプログラミング言語を「人工言語」と呼ぶのに対して、我々が日常で使用する日本語や英語のことを「自然言語」と呼びます。そうした「自然言語」をコンピュータで処理することを「自然言語処理」と呼びます。我々、名 ...

はじめに

スマートフォン上の音声インタフェースやAIスピーカー，ペッパーなどのコミュニケーションロボットなどが身の周りに出現してきています．これらのシステムは言葉でやり取りが可能です．そのようなシステムのことを対話システムと呼びます ． ...

研究内容

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

研究内容

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

研究内容

私の（というか長尾研究室の）研究テーマは以下の３つに大きく分かれています。

VR（仮想現実）関連研究

VR関連研究の一つとして、ビルディングスケールVRという現実の屋内全域を仮想空間に変換し、日常環境を拡張して、さま ...