教員紹介

准教授

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

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

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

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

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

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

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

情報システム学専攻 准教授
研究分野: ソフトウェアエンジニアリング分野

ソフトウエアの高品質化やソフトウエア開発活動の効率化のための技術やしくみを実証的に議論するエンピリカルソフトウエア工学を専門としています。 ...

研究内容専門は「量子情報理論」です。これは、物理(とくに量子論)が情報処理に課す究極の限界を明らかにする理論です。1970年代の研究に端を発して、量子情報理論は1990年代から今日にかけて着実に発展した結果、情報理論から実際の ...

専門は公理的集合論です。公理的集合論は、無限集合のいろいろな性質について研究する数学の分野です。例を１つあげてみます。有限集合における要素の「個数」という概念は、無限集合に適用するために「濃度」という概念へ一般化されます。有限 ...

専門は量子計算です．量子計算とは原子などミクロな物理系が従う力学である量子力学を基にコンピュータ（量子コンピュータ）を構成し，それによって計算しようという斬新な発想です．量子コンピュータを使うと従来のコンピュータでは現実的な時 ...