教員紹介

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

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

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

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

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

生命のもつ大量の情報を計算機で解析する「バイオインフォマティクス」と 呼 ば れ る 研 究 を 行っています．その中でも，遺伝情報の産物であるタンパク質の構造情報を主な対象にしています．具体的には，情報の整理・分類のために不 ...

　私の研究室では、有機化学を基本として、ヌクレオシドやヌクレオチドなどの合成を行い、その生理活性探索と構造化学に関する研究を進めています。「有機化学」というと難しい印象を持たれるかもしれませんが、私たちの体の中でも有機化学の原 ...

研究内容

研究室の研究内容は，いろいろあります．それらは，手法と対象によって分けることができると思います．手法としては，応用数学に基づく計算力学，画像判別などの機械学習・AI，確率推定，シミュレーション，進化的計算を含む最 ...

個々のものは単純な働きしかしなくて単純な式で記述できるのに、数が増えるとその全体は非常に複雑な振る舞いをする、そういうものがこの世界にはたくさんあります。複雑系科学の創始者のひとりである，ノーベル物理学賞受賞者のP. W. ア ...

量子化学計算や分子動力学法を用いたコンピュータシミュレーションによって、溶液や界面での物質の構造や電子状態とそれらのダイナミクスを分子レベルで理解することを目指しています。現在は、特に金属錯体や有機色素の励起状態に興味を持って ...