九州大学マス・フォア・インダストリ研究所の研究室一覧｜配属の参考に

〈数値解析・数値流体力学〉

田上大助

先輩の声 0件

偏微分方程式の数値計算手法とその誤差を調べる研究室。

田上大助准教授の研究分野は応用数学と計算力学で、偏微分方程式の数値計算手法の開発、誤差評価、実問題への応用に関心をもって研究しています。対象は、粒子法の数値解析、電磁場問題に対する大規模な数値計算手法、粘弾性流れ問題、移動境界問題、ナビエ・ストークス方程式、熱対流問題などです。ナビエ・ストークス方程式では抗力・揚力の数値計算への応用、熱対流問題ではガラス溶融問題の数値計算への応用も研究しています。

#数値解析 #粒子法 #有限要素法

保存

〈圏論・形式手法〉

ガイナダニエル

先輩の声 0件

圏論を使ってさまざまな論理を統一的に扱い、ソフトウェアの検証を支える研究室。

この研究室は、さまざまな論理体系を共通の枠組みで扱う「ユニバーサル・ロジック」を研究しています。圏論という数学の言葉を使い、論理体系をシグネチャ（記号の集まり）、文、モデル、充足関係の組として形式化する「インスティテューション」の理論に取り組んでいます。ソフトウェアの仕様を書き、その検証を支える形式手法の論理的な基礎づけや、証明を助けるツールの設計に携わってきました。最近は、離散と連続の動きをあわせもつハイブリッドシステムや、量子計算にも理論を広げています。

#論理学 #形式手法 #圏論

保存

〈暗号数理・秘密計算〉

縫田光司

先輩の声 0件

暗号の数理と秘密計算を研究する研究室。

縫田光司教授は、暗号の数理と秘密計算を中心に研究しています。秘密計算技術のほか、耐量子計算機暗号をはじめとする暗号技術の数学的な安全性の評価や、擬似乱数の利用法をはじめとする暗号基礎理論にも取り組んでいます。数学の分野では、Coxeter群の構造論をはじめとする組合せ論的群論や、組合せ論・離散数学の研究を行っています。

#暗号数理 #秘密計算 #組合せ論的群論

保存

〈多変数多項式暗号・整数論〉

池松泰彦

先輩の声 0件

量子計算機でも解読困難とされる暗号を研究する研究室。

池松泰彦准教授は、量子計算機でも解読困難とされる耐量子計算機暗号の開発について研究しています。なかでも、多変数二次連立方程式を解く難しさに基づいて作る多変数多項式暗号に関心を持っています。この暗号は、有力な耐量子計算機暗号の候補とされています。ただ、公開鍵サイズが大きいことや、グレブナー基底を用いた解析が不十分なことが課題で、その解決をめざしています。

#耐量子計算機暗号 #多変数多項式暗号 #整数論

保存

〈応用トポロジー・産学連携〉

森山哲裕

先輩の声 0件

数理の力でものづくりの不確実性に挑む、産学連携の拠点。

次世代ものづくりイノベーション推進拠点は、九州大学と住友電装株式会社が2025年10月に設置した共同研究推進拠点です。ものづくりのエンジニアリングチェーンやサプライチェーンにある、人手に頼ることで生じる不確実性の解決を目指しています。ビッグデータ・AI・最適化などの数理情報技術を使い、全学術分野を横断した学際的な研究を進めています。森山哲裕准教授は、トポロジー、応用トポロジー、産学連携を専門としています。

#産学連携 #応用トポロジー #ものづくり

保存

科学機械学習・AI for Science（谷口隆晴）

谷口隆晴

先輩の声 0件

数値解析や機械学習などを研究する、応用数学の研究室。

谷口隆晴教授の研究室は、数値解析、機械学習、数理モデリング、幾何学的力学理論などを研究テーマに挙げています。研究者情報では、研究分野は応用数学、統計数学に分類されています。ニューラルネットワークを使い、エネルギーの保存や散逸といった物理法則に沿って現象を再現する研究が、論文に載っています。

#数値解析 #機械学習 #数理モデリング

保存

マグニチュード理論・代数トポロジー（浅尾泰彦）

浅尾泰彦

先輩の声 0件

代数トポロジーとマグニチュード理論を研究する数学の研究室。

浅尾泰彦准教授の研究室は、代数トポロジーとマグニチュード理論、そしてその応用に関心を持つ数学の研究室です。マス・フォア・インダストリ研究所の数学テクノロジー先端研究部門に所属しています。数理学府数理学専攻と理学部数学科も併任しています。

#代数トポロジー #マグニチュード理論

保存

計算代数・数式処理（深作亮也）

深作亮也

先輩の声 0件

計算機で数式を扱う計算代数を研究する研究室。

深作亮也准教授の研究室は、代数計算手法の開発と応用を研究しています。主な研究領域は計算機代数で、限量子消去法を効率化し、計算機代数システムMapleに実装してきました。限量子消去法は、与えられた一階述語論理式と実数体上で等価な、限量子のない論理式を計算する手法です。最近は、実数領域での計算機代数手法を数理科学分野へ応用する研究にも取り組み始めています。

#計算機代数 #実代数幾何 #限量子消去法

保存

数理モデリング・適応ネットワーク（手老篤史）

手老篤史

先輩の声 0件

生き物の行動や知性を数理モデルで調べる研究室。

数理モデリング・適応ネットワーク研究室は、生き物の行動や知性を数理モデルで調べる研究をしています。真正粘菌のような単細胞生物が見せる行動を方程式で表し、コンピューター上で再現して、知性の起源を探ります。歩くなどの周期的な動作と体の内部状態との関わりから、行動がどう制御されるのかも研究テーマです。研究室は、マス・フォア・インダストリ研究所の応用理論研究部門にあります。

#数理モデル #適応ネットワーク #行動制御

保存

代数解析学・表現論（落合啓之）

落合啓之

先輩の声 0件

代数解析学の手法で表現論と特殊関数を調べる研究室。

代数解析学・表現論研究室は、代数解析学を専門とし、表現論に現れる特殊関数を中心に研究しています。数学や数理科学を中心とした研究を行っています。産学共同研究も行っており、その成果の一部で、共同研究者とともに2014年度に文部科学大臣表彰の科学技術賞を受賞しました。落合教授のサイトには、ABC予想を小学生にも分かるように書いた説明のページもあります。

#代数解析学 #表現論 #特殊関数

保存

九州大学 マス・フォア・インダストリ研究所の研究室

〈数値解析・数値流体力学〉

偏微分方程式の数値計算手法とその誤差を調べる研究室。

〈圏論・形式手法〉

圏論を使ってさまざまな論理を統一的に扱い、ソフトウェアの検証を支える研究室。

〈暗号数理・秘密計算〉

暗号の数理と秘密計算を研究する研究室。

〈多変数多項式暗号・整数論〉

量子計算機でも解読困難とされる暗号を研究する研究室。

〈応用トポロジー・産学連携〉

数理の力でものづくりの不確実性に挑む、産学連携の拠点。

科学機械学習・AI for Science（谷口 隆晴）

数値解析や機械学習などを研究する、応用数学の研究室。

マグニチュード理論・代数トポロジー（浅尾 泰彦）

代数トポロジーとマグニチュード理論を研究する数学の研究室。

計算代数・数式処理（深作 亮也）

計算機で数式を扱う計算代数を研究する研究室。

数理モデリング・適応ネットワーク（手老 篤史）

生き物の行動や知性を数理モデルで調べる研究室。

代数解析学・表現論（落合 啓之）

代数解析学の手法で表現論と特殊関数を調べる研究室。

LabLog について

九州大学マス・フォア・インダストリ研究所の研究室

科学機械学習・AI for Science（谷口隆晴）

マグニチュード理論・代数トポロジー（浅尾泰彦）

計算代数・数式処理（深作亮也）

数理モデリング・適応ネットワーク（手老篤史）

代数解析学・表現論（落合啓之）