複雑系科学専攻複雑系計算論講座, 感性・触覚情報学, 触譜, 触覚学, ナチュラルコンピューティング, 自然計算, 教員紹介, 複雑系科学専攻, 自然情報学科, 複雑システム系

研究内容

感性・触覚情報学:これまでの情報技術・人工知能では論理やデータをもとにした論理的な知性,人間の脳にたとえるとしたら「左脳」,をつくってきました.わたしは感性をつかさどる「右脳」にあたる部分に興味をもっています.“文字や数字”は ...

複雑系科学専攻人工生命, 教員紹介, 著作物紹介, 複雑系科学専攻, 自然情報学科, 複雑システム系

研究内容

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

情報システム学専攻SATソルバー, 教員紹介, 情報システム学専攻, コンピュータ科学科, 情報システム系

高校生の君へ

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

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

複雑系科学専攻分子シミュレーション, 教員紹介, 複雑系科学専攻, 自然情報学科, 複雑システム系

研究内容

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

情報システム学専攻ソフトウェア検証, 数理論理学, 型理論, 分離論理, 教員紹介, 情報システム学専攻, コンピュータ科学科, 情報システム系

准教授

研究内容

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

複雑系科学専攻創発システム論講座, 人工生命, 進化, 仮想生物, 鳥の歌, 協力行動, 教員紹介, 複雑系科学専攻, 自然情報学科, 複雑システム系

研究内容

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

複雑系科学専攻生命情報論講座, バイオインフォマティクス, 教員紹介, 複雑系科学専攻, 自然情報学科

研究内容

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

未分類認知科学, 人工知能(AI), 教員紹介, 心理・認知科学専攻, 人間・社会情報学科

研究内容

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

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

複雑系科学専攻分子生物学, 生物リズム, ゲノム, 進化, 教員紹介, 複雑系科学専攻, 自然情報学科, 複雑システム系

研究内容

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

情報システム学専攻項書換え系, 計算モデル, プログラム検証, プログラム逆化, 可逆計算, 教員紹介, 情報システム学専攻, コンピュータ科学科, 情報システム系

研究内容

バグのない高信頼なソフトウェアを作成することは現代社会において非常に重要です。通常はプログラムが正しいことを検証することで高信頼なプログラムを開発します。私の研究では、関数型言語だけでなく命令型言語の計算モデルとも言える制約付 ...