現在、インターネットが日常生活に必要不可欠なものとなっている一方で、マルウェア感染や組織への標的型攻撃など金銭取得を目的とした組織的な活動による問題も発生している。そこで我々は、安全にインターネットが利用できる環境の実現を目的 ...

スーパーコンピュータなどの高性能な計算ハードウェアの活用なくして、現代の便利な生活もさらなる科学の発展もありえません。計算ハードウェアの性能を最大限に発揮するためにはそれに見合うソフトウェアが必要ですが、ハードウェアの特徴・特 ...

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

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

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

l流体の流れや、人、物の流れについて、適切なモデルを作り、コンピュータを用いて予測した上で、分かりやすく可視化するための研究を行っています。気象に代表される流動現象は、蝶々が飛んだだけでも明日の天気が変わるといわれるほど複雑な ...

量子化学の計算を行えば、コンピュータ上で分子の構造を調べることができる。また同時にえられる分子の中の電子の振る舞いから、その分子の性質を知ることもできる。このような計算手法を使って、実験だけでは知ることが難しい反応途中の分子の ...