技術相談

研究・技術カタログ



バイオインフォマティクス(Bioinformatics)
丸山 修 (准教授)
Keyword: 統計的機械学習、バイオインフォマティクス
参考資料 [PDF]
数理暗号の安全性評価と実用化
安田 雅哉 (准教授)
Keyword: 楕円曲線暗号,準同型暗号,代数幾何
参考資料 [PDF]
最適化・ソフトウェア開発を通じた社会貢献
脇 隼人 (准教授)
Keyword: 最適化, 数理計画, 連続最適化, 半正定値計画問題, 最適化ソフトウェア
参考資料 [PDF]
Algebraic specification
ガイナ ダニエル (助教)
Keyword: Logic, Formal Methods, Category Theory
参考資料 [PDF]
Applied Math for Energy Systems
グエン ディン ホア (助教)
Keyword: Control Systems, Smart Grid, Distributed Optimization, Multi-Agent System, Consensus Control, Synchronization, Learning Systems, Optimal and Robust Control
参考資料 [PDF]
Lattices and Applications in Cryptography
ヅォン ホアン ズン (助教)
Keyword: Zeta Functions, Representation Theory, Lattices, Cryptography, Computational Number Theory
参考資料 [PDF]
Random Matrix Theory and Applications
トゥリン カーン デュイ (助教)
Keyword: 確率論、解析数論、一般ディリクレ級数、ベシコビッチ概周期関数、ランダム行列理論
参考資料 [PDF]
Analytical Approaches to Physically Relevant Partial Differential Equations
トリアディス ディミトリ (助教)
Keyword: Continuum Mechanics, Asymptotic Analysis, Integrable Systems, Integral Equations
参考資料 [PDF]
「厳密な数値計算」による新しい数学の視点
松江 要 (助教)
Keyword: 力学系,数値解析,精度保証付き数値計算,特異摂動論,微分方程式(爆発解,衝撃波),特異点,トポロジー(計算機援用を含む),量子ウォーク,トポロジー最適化
参考資料 [PDF]