高安研究室（Reliable Computing Lab.）
研究室紹介 - 年版 -
### 研究室配属って？
- 学類の最後の一年、場合によっては大学院の二年の計**三年間の学生生活を決める**大事な選択
- 自分のやりたい研究とは何なのか？を探す
- 実はそれ以上に教員との相性が大事（会いたくもない教員に毎週顔を合わせるのは苦痛…）
色々な**教員に直に話を聞く**ことをオススメします。
研究室について
高安研究室はリスク工学専攻の遠藤研（工シス）、佐藤（イリチュ）研（社工）との3研究室の合同研究室で、「S-コンピューティング基礎グループ」が正式名称です。
卒業研究では数値計算の技術習得を目標に、数値計算を理解します。また、教員が得意な精度保証付き数値計算についても基礎から学びます。
教員の研究内容
研究対象の例
- 常微分方程式：$u_t=f(u(t),t)$
- 遅延微分方程式：$u_t=f(u(t),u_{\tau}(t),t)$
- 時間発展偏微分方程式：$u_t=\Delta u+f(u)$
- 無限次元力学系：$u_t = \lambda u - (1+\Delta)^2 u -u^3$
キーワード：不動点定理、半群理論、Fourier級数、Chebyshev多項式、無限次元力学系、計算機援用証明
精度保証付き数値計算の最先端を体験できます。
### 研究室の実績 (過去5年間)
| 年 | ジャーナル論文 | 国際会議発表 | 国内会議発表 |
|:--:|:-----------:|:----------:|:------------:|
|2023| 0 | 3 | 2 |
|2022| 0 | 0 | 6 |
|2021| 0 | 0 | 7 |
|2020| 0 | 0 | 4 |
|2019| 1 | 0 | 4 |
|||||
2016年からの研究室です。そろそろ軌道に乗ってきた？
### 教員の実績 (過去5年間)
| 年 | ジャーナル論文 | 招待講演 | 学会発表 |
|:--:|:-----------:|:----------:|:------------:|
|2023| 1 | 2 | 8 |
|2022| 4 | 2 | 12 |
|2021| 1 | 3 | 14 |
|2020| 4 | 3 | 9 |
|2019| 1 | 3 | 9 |
|||||
参考までに教員の研究活動のペース。
### 研究室ゼミ
* 春学期：自分の卒論・修論ネタを他のメンバー相手に講義する（講義形式、一回1時間、何回使って講義してもOK、丁寧なほど良し）
* 秋学期：研究の進捗発表（一週間の進捗をみんなの前で発表、一人10分から最長2時間）
その他、各自発表練習、研究打ち合わせや自主ゼミ（学生が主体の勉強ゼミ）を想定
### 研究室の環境
* 研究室は総合研究棟B725室。遠藤研、佐藤研の学生さん達と合同の部屋でわいわい楽しく研究できます
* 研究室に配属された学生さんには計算環境（ワークステーションやクラウド計算環境等）と必要ならばラップトップを準備します
* [GitHub](https://github.com/tak-lab)上で歴代の先輩方のコード・論文のファイルを共有しています
* その他、福利厚生（オンライン飲み会）等は要相談
### メンバー
* 近藤 慎佑 (M2)
* 高橋 和暉 (M2)
* 瀬戸翔太（M1）
* 二平泰知（M1）
* 阪田智也（B4）
* 瀧田雄大（B4）
### 就職・進学先一覧（内定含む）
* Aka Intelligence(Musio) /AIエンジニア
* ヤフー株式会社/エンジニア
* NTTドコモ
* 株式会社セプテーニ
* 本田技研工業株式会社
* ソフトバンク株式会社
* 三菱電機インフォメーションネットワーク株式会社
* 株式会社TBSテレビ
---
* 東京大学 大学院工学系研究科原子力国際専攻
* 筑波大学 サービス工学学位P
### 研究に対する教員のスタンス
- 楽しいことを研究する（楽しさは自分で探す！）
- 分からなければ質問する（遠慮しない）
- できる事はすぐやる、兎に角手を動かす
- アウトプット（論文・コード・進捗）で話をする
- 学生は共同研究者、下請けではない（特に研究議論のときは対等な関係）
学生さんは教員に遠慮しない、忖度しない。
裏表無しの関係で研究します。