教員紹介

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

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

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

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

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

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

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

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

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

　ヒトやそれ以外の動物の行動、そしてそれに変化をもたらす学習の原理の理解を目指して研究しています。特に、行動の背後にあるプロセスを表現した数理モデルに基づく，計算論モデリングと呼ばれる手法を用いた研究を中心に行っています。計算 ...

日常のコミュニケーションを始めとしたさまざまな文化的慣習に参加しながら人は生きています。同時に文化的慣習への参加は、その慣習や文化の中で優勢な価値を維持し、時には変えていくことにもなります。このように文化と人は切っても切れない関係なの ...