ナノ集積デバイス研究分野（佐藤教授）Nano-Integration Devices(Prof. Sato)量子デバイス研究分野（大塚准教授）Quantum Devices(Assoc. Prof. Otsuka)量子ヘテロ構造高集積化プロセス研究分野（櫻庭准教授）Group IV Quantum Heterointegration(Assoc. Prof. Sakuraba)革新的スピントロニクスデバイス研究分野（オカーマン教授）Innovative Spintronic Device(Prof. Åkerman)ナノ集積神経情報システム研究分野（山本准教授）Nano-Integration Neurocomputing Systems(Assoc. Prof. Yamamoto)コンピューティング情報理論研究分野（中野教授）Computing Information Theory (Prof. Nakano)ナノ集積デバイス・システム研究室 Nano-Integration Devices and Systems○脳型計算ハードウェアに関する研究○量子知能ハードウェアに関する研究○エッジコンピューティングに関する研究• Brain computing hardware• Intelligent quantum hardware• Edge computing量子デバイス研究室 Quantum Devices○固体ナノ構造中の電子物性解明と固体ナノ構造デバイスの研究○固体ナノ構造を用いた量子デバイスの研究○材料、デバイス科学とデータ科学手法の融合による効率的材料、デバイス開発基盤技術の研究• Electronic properties of nanostructures and nanodevices• Quantum devices utilizing nanostructures• Informatics approaches in material and device science○高度歪 IV 族半導体エピタキシャル成長のための低損傷基板非加熱プラズマ CVD プロセスに関する研究○ IV 族半導体高度歪量子へテロ構造の高集積化プロセスに関する研究○ IV 族半導体量子へテロナノデバイスの製作と高性能化に関する研究• Low-damage plasma CVD process without substrate heating for epitaxial growth of highly strained group IV semiconductors• Large-scale integration process of group IV semiconductor quantum heterostructures• Fabrication of high-performance nanodevices utilizing group IV semiconductor quantum het-erostructures革新的スピントロニクスデバイス研究室Innovative Spintronic Device〇高周波スピントロニクス素子の電流誘起磁化ダイナミクス〇スピントロニクス振動子の新原理コンピュータ応用〇ブリルアン光散乱顕微鏡を用いたマグノン・フォノンの時間・空間分解観察〇ナノスケールトポロジカル磁気構造の機能性素子応用• Current-induced magnetization dynamics in high-frequency spintronics devices• Application of spintronics oscillator to uncon-ventional computers• Time- and spatial-resolved observation of magnon and phonon using Brillouin light scat-tering microscopy• Nanoscale topological magnetic textures and its application to functional devices○微細加工表面を用いた培養神経回路の機能制御に関する研究○神経細胞ネットワークの数理モデルに関する研究○神経細胞ネットワーク上の情報処理に関する研究• Bioengineering technologies for manipulating neuronal network functions• Computational modeling of neuronal networks• Information processing in biological neuronal networksコンピューティング情報理論研究室Computing Information Theory○木変換および木オートマトンの基礎理論 ○プログラム変換およびプログラム検証 ○定理証明支援系による各種理論の定式化○結合子論理に潜む計算の仕組みや現象の解明• Theory of tree automata and tree transducers • Program transformation and program verifica-tion• Formalization in proof assistants• Elucidation of computational behavior over combinatory logic
元のページ ../index.html#26