電気通信大学 情報理工学域 Ⅰ類（情報系）の研究室

先輩の声 0件

プログラミング言語とその処理系を研究する研究室。

小宮 常康研究室は、プログラミング言語とプログラミング言語処理系を研究しています。小宮 常康教授は、大学院情報理工学研究科 情報・ネットワーク工学専攻の教授です。研究室のHPでは、TUTScheme の処理系（ソースやバイナリ）とマニュアルが公開されています。HPには、研究室紹介の配布資料が置かれています。

#プログラミング言語 #プログラミング言語処理系

先輩の声 0件

数理のことばで自然現象を理解する、数値解析の研究室。

小山大介研究室は、有限要素法を基礎とした数値解法を研究しています。自然現象を数理のことばで理解することに関心を持ち、主な研究課題は偏微分方程式の数値解析です。今後は「理論から応用まで」をモットーに研究を進めていきたいと考えています。研究室のサイトの記載は2013年ごろのものです。

#有限要素法 #偏微分方程式 #数値解析

先輩の声 0件

行列計算と高性能計算でシミュレーションを速く大きくする研究室。

山本 有作研究室は、行列計算を中心とする数値計算アルゴリズムと、ハイパフォーマンスコンピューティング技術を用いたその実装を研究しています。疎行列を係数とする連立一次方程式の求解や固有値計算などの行列計算は、科学技術計算で最も基本的な部品の一つです。応用分野の研究者と連携し、開発したアルゴリズムや高性能計算技術を実際の問題に応用して、大規模なシミュレーションを行っています。

#行列計算 #高性能計算 #大規模シミュレーション

先輩の声 0件

脳神経回路をスパコンでシミュレーションする研究室。

山﨑研究室は、数値計算と高性能計算（HPC）を基盤技術として、脳神経回路を研究しています。研究目標は、脳神経回路の生物学的に詳細なモデル、いわば脳のデジタルコピーを構築することです。そのために、詳細なモデルを動かすシミュレータ Neulite の開発を進めています。HPCの分野から脳研究に足を踏み入れたい学生を、特に歓迎しています。

#神経回路シミュレーション #高性能計算（HPC） #脳のデジタルコピー

先輩の声 0件

図形や集合、グラフを計算の視点で研究する研究室。

岡本吉央研究室は、これまでに計算幾何・離散幾何、集合族、グラフ描画、ゲーム理論、数え上げアルゴリズムなどの研究に取り組んできました。研究テーマのページは、いままでに行った研究の紹介で、これからやりたい研究とは異なる可能性があると断っています。学生の研究は、パズル、施設配置、ポートフォリオ最適化、配送経路の最適化などの題目で、卒業論文・修士論文として公開されています。ただし、これらは学生の研究内容で、教員が個別のテーマに専門性を持っているものではないと注記されています。

#計算幾何 #グラフ描画 #協力ゲーム理論

先輩の声 0件

工藤 周平　研究室（紹介文を準備中）

スパコン / 高性能計算 / 並列計算

先輩の声 0件

並列処理やネットワークなど、高性能計算機の基盤技術を探る研究室。

本多・三輪・八巻研究室は、高性能コンピューティングのための最先端のコンピュータシステム基盤技術を研究しています。研究室のサイトは、本多研、三輪研、八巻研のページに分かれています。三輪研はスーパーコンピュータの電力管理や次世代半導体を使ったプロセッサなどを、八巻研はネットワーク機器による通信内容の解析などを研究しています。本多研は、ハイパフォーマンスコンピューティングのためのコンピュータとネットワークのアーキテクチャやソフトウェアを研究課題に挙げています。

#高性能コンピューティング #電力管理 #ネットワーク機器

先輩の声 0件

ベイジアンネットワークやeテスティングを研究する研究室。

植野真臣研究室は、人工知能・統計学・ベイズ理論・機械学習・自然言語処理などを研究しています。ベイジアンネットワークの理論研究とソフトウェア開発・応用研究のほか、eテスティングやeラーニングのシステム開発にも取り組んでいます。理論研究と実践の繰り返しによる「真に社会貢献できる研究」を目指しています。

#ベイジアンネットワーク #eテスティング #eラーニング

先輩の声 0件

アルゴリズムと計算量の基礎を研究する、情報数理の研究室。

武永研究室は、情報科学のあらゆる分野で不可欠な、アルゴリズムや計算量に関する研究を行っています。アルゴリズムとは、問題を処理するための手順のことです。同じ処理でも、良いアルゴリズムを使うか効率の悪いものを使うかで、かかる時間が時として比べ物にならないくらい変わります。研究室では、二分決定グラフを使った手法、グラフ上の問題、ゲームやパズルの計算量などを研究しています。

#アルゴリズム #計算量 #二分決定グラフ

先輩の声 0件

石田 晴久　研究室（紹介文を準備中）

微分方程式 / 双曲型偏微分方程式 / 初期値問題 / 適切性 / 生物数学 / 感染症流行モデル / 漸近解析