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

研究内容

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

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

研究内容

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

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

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

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

数理情報学専攻量子情報, 量子基礎論, 教員紹介, 数理情報学専攻, 自然情報学科, 数理情報系

研究内容

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

数理情報学専攻量子計算, 計算量理論, 量子情報, 教員紹介, 数理情報学専攻, 自然情報学科, 数理情報系

研究内容

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

数理情報学専攻教員紹介, 数理情報学専攻, 自然情報学科, 数理情報系

研究内容

公理的集合論を専門にしています。19世紀の終わり頃、ドイツの数学者カントルは「個数」概念の拡張として、集合の「濃度」の概念を導入しました。二つの集合は、その間に1対1の対応があるとき、等しい「濃度」を持つ、と定義したのです。彼 ...

数理情報学専攻教員紹介, 数理情報学専攻, 自然情報学科, 数理情報系, 組合せ最適化, アルゴリズム

研究内容

グラフアルゴリズムの研究を専門としており,その中でも木幅などの指標を用いた手法を主に扱っています.グラフは,頂点と呼ばれるものの集合と,頂点同士の関係を表す辺の集合で表されます.多くの応用上の問題がグラフでモデル化できることが ...

数理情報学専攻教員紹介, 数理情報学専攻, 自然情報学科, 数理情報系

研究内容

数論、特に類数に関心を持っています。『類数とは?』を簡単に説明する事は難しいですが、日常生活においても、数を素因数分解してから考えると非常にエレガンな答えが得られる場合があります。そして、その答えを良く考えてみると、分解の一意 ...

数理情報学専攻教員紹介, 数理情報学専攻, 自然情報学科, 数理情報系, 組合せ最適化, アルゴリズム

研究内容

「今いる所から目的地までの最も短いルートはどれだろう」ということを考える機会がときどきあると思います.このように最も良い方策を見つける問題を一般に最適化問題と呼びます.このような最適化問題の中でもとくに組合せ的な構造を持つ組合 ...

知能システム学専攻研究アクティビティ, 教員紹介, 知能システム学専攻, コンピュータ科学科, 知能システム系

研究内容

コンピュータビジョンとは,コンピュータ上で人間の視覚に相当する機能を実現することを目的とした研究分野です.この研究分野の中で,私は人が暮らしている日常的な環境をセンシングしたデータから,人が何をしているのか,怪しい人はいないか ...