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

私の研究をひとことで言えば人工生命ですが，わかりやすく言うと「びっくり＝創発」の探求です．生命のダイナミックな本質である創発性を「創って理解する」という構成的手法で解き明かします．創発、つまり「単純なモノの相互作用による複雑で ...

コンピュータ科学は楽しく，魅力的で，社会に役立つ学問です．

私は「賢いソフトウェア」を開発するための理論と実装技術に興味をもっています．今日は，その中の一つである「SAT」について紹介します．名古屋大学で皆さん ...

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

デバイスやシステムあるいはその構成要素について、サイズを目で見えるマクロケールから顕微鏡などでしか見えないマイクロ・ナノスケールまでに小さくすと、省エネだけでなく、“不可能”な機能・性能を“可能”にすることもできるのです。それ ...

准教授

「計算」と「論理」という一見独立しているように見える二つの概念の間には実は密接な関係があり、この関係は古くから計算機科学と数理論理学の両面から研究されています。この関係を通して、プログラムの意味の

　バーチャルな物理空間で生物の形と動きを進化させる，スマートスピーカの技術を活用して鳥の歌に潜む相互作用を解明する，何万もの仮想エージェントを動かしてSNS社会での人付き合いの変化を明らかにする．一見すると互いに関係なさそうな ...

DNAに刻み込まれた生命情報は、タンパク質の配列、タンパク質の立体構造、分子機能、細胞機能と形態を変えながら伝播し、最終的には個体という表現型を実現させます。生命情報が個々のステージでどのように発現しているのか 、また形態変換 ...

認知科学の領域で，人間の高次思考過程を研究しています。特に，科学的発見，より一般的には創造的思考過程に興味があります。

さらに，学習科学や情報システム学との橋渡しを意識しながら，発見や創造の領域における学習支援や発 ...

私たちのラボでは、生き物が環境に適応するための仕組みを研究しています。例えば生物時計。この時計は、細胞内にある約24時間周期の振動装置で、ヒトの睡眠・覚醒から植物の光合成や開花まで、様々な生命プロセスのタイミングを支配していま ...