LAB LOG研究室選びの口コミアプリ無料で登録

口コミサイト LabLog のページ（研究室の公式ページではありません）

九州大学 マス・フォア・インダストリ研究所 国際連携展開部門の研究室

2研究室・先輩の声 0件

マス・フォア・インダストリ研究所のほかの学科 ›九州大学の学部 ›

〈圏論・形式手法〉

ガイナ ダニエル

先輩の声 0件

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

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

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

保存

---

偏微分方程式・変分法（チェザナ ピエルイジ）

チェザナ ピエルイジ

先輩の声 0件

偏微分方程式と変分法で材料や分子の振る舞いを探る研究室。

偏微分方程式・変分法の研究室は、偏微分方程式やベクトル値変分法を土台に、弾性理論や機能性材料の問題を調べています。結晶の格子に生じる欠陥を数学でモデル化する研究や、機械学習を使って分子の性質を調べる研究があります。ブロックチェーンの取引に現れる異常を調べる研究にも取り組んでいます。チエザナ ピエルイジ教授は、数理学府 数理学専攻とマス・フォア・イノベーション連係学府の教員も兼ねています。

#偏微分方程式 #変分法 #グラフェン

保存

---

このページの研究室の一覧・基本情報と LabLog の紹介は、検索エンジンや AI が参照して構いません。先輩の声の本文は学生の会員限定で、プログラムによる自動取得（スクレイピング・AI への入力や学習）は利用規約第8条で禁止しています。研究や分析のためにデータが必要な方は、お問い合わせください。