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

ソフトウェアエンジニアリングの研究に取り組んでいます。ソフトウェアエンジニアリングは、ソフトウェア開発の効率化やソフトウェアの高品質化に取り組む研究分野です。そこでの研究成果をITエンジニア向けに紹介した記事を寄稿したものがあるので、 ...

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

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

情報学の多くの分野と同じく、自然言語処理分野においても近年ニューラルネットに基づく様々な手法が開発され、既存のタスクの精度が大幅に向上したり、従来の技術では難しいとされていたシステムが実現したりしています。その中でも、単語の埋 ...

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

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

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

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

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