(精品)情报工学系.ppt

《(精品)情报工学系.ppt》由会员分享，可在线阅读，更多相关《(精品)情报工学系.ppt（18页珍藏版）》请在得力文库 - 分享文档赚钱的网站上搜索。

1、研究分野紹介数理情報工学知能計算機工学工学知能情報工学電子情報工学1電子情報工学系外部評価資料数理情報工学分野数理情報工学分野By D.複雑系複雑系複雑系複雑系 徳永隆治助教授徳永隆治助教授徳永隆治助教授徳永隆治助教授生命数理情報生命数理情報生命数理情報生命数理情報坂本直人教授坂本直人教授坂本直人教授坂本直人教授HPCHPCHPCHPC大規模線形系大規模線形系大規模線形系大規模線形系名取亮教授、伊藤祥司助手名取亮教授、伊藤祥司助手名取亮教授、伊藤祥司助手名取亮教授、伊藤祥司助手非線形方程式系非線形方程式系非線形方程式系非線形方程式系 櫻井鉄也助教授櫻井鉄也助教授櫻井鉄也助教授櫻井鉄也助教授情報

2、情報情報情報 北川高嗣教授北川高嗣教授北川高嗣教授北川高嗣教授蔡東生助教授蔡東生助教授蔡東生助教授蔡東生助教授助教授助教授助教授助教授最適化問題数理計画最適化問題数理計画最適化問題数理計画最適化問題数理計画久野誉人助教授久野誉人助教授久野誉人助教授久野誉人助教授制御理論制御理論制御理論制御理論 河辺徹講師河辺徹講師河辺徹講師河辺徹講師 2電子情報工学系外部評価資料数理情報工学方向性数理情報工学方向性 CONTINUOUS MEDIACONTINUOUS MEDIA北川北川(高高)教授（情報検索）、蔡助教授（）、教授（情報検索）、蔡助教授（）、徳永助教授（画像符号化）徳永助教授（画像符号化）非適

3、切問題非適切問題非適切問題非適切問題 逆問題、精度保証、複雑系逆問題、精度保証、複雑系逆問題、精度保証、複雑系逆問題、精度保証、複雑系北川北川(高高)教授（積分方程式、解安定性）、久野助教授（非線形非凸計画問題、解一意性）、教授（積分方程式、解安定性）、久野助教授（非線形非凸計画問題、解一意性）、徳永助教授（分岐問題、現象存在）、櫻井助教授（精度保証、解存在）、徳永助教授（分岐問題、現象存在）、櫻井助教授（精度保証、解存在）、河辺講師（制御系）河辺講師（制御系）大規模線形非線形系大規模線形非線形系大規模線形非線形系大規模線形非線形系、並列計算、並列計算、並列計算、並列計算名取教授、伊藤助手（大

4、規模線形系固有値問題）、櫻井助教授（大規模非線形系）名取教授、伊藤助手（大規模線形系固有値問題）、櫻井助教授（大規模非線形系）助教授（非線形系）、蔡助教授（並列計算）助教授（非線形系）、蔡助教授（並列計算）、応用、応用、応用、応用助教授（結晶光伝播）、助教授（結晶光伝播）、坂本直人教授（生体化学反応）坂本直人教授（生体化学反応）By D.3電子情報工学系外部評価資料知能分野基礎記号計算研究論理研究室計算知能研究研究室知能研究室計算言語検証GUID4電子情報工学系外部評価資料記号計算井田哲雄教授 AartMiddeldorp助教授南出靖彦講師 山田俊行助手宣言型言語計算停止性関数論理型言語関数型

5、言語項書換系計算変換計算系厳密厳密新計算新言語機能5電子情報工学系外部評価資料分野概要言語処理系工学（評価）：分散、並列、異種情報源統合、高次元検索6電子情報工学系外部評価資料研究室加藤和彦，松原克弥ObjectrepositoryUnloadLoadSiteAThreadObjectSafetypolicycheckerProtectiondomainObjectportnameSiteB基盤Planet7電子情報工学系外部評価資料、超並列、Grid応用、可視化可視化記述化記述化高性能数値計算高性能数値計算並列並列I/O言語処理系言語処理系 科学技術計算向科学技術計算向 並列用並列用 Jav

6、a 科学技術計算向科学技術計算向 駆動駆動 専用専用進化進化信号処理信号処理理論理論利用技術利用技術性能評価性能評価計算機工学分野8電子情報工学系外部評価資料並列環境並列環境分散共有分散共有並列応用並列応用並並列離散系列離散系並列画並列画像処理像処理向向開発開発TEACVRDS-50TEACVRDS-50LUXMANDU-10LUXMANDU-10音、画像圧縮、高品質再生音、画像圧縮、高品質再生情報処理情報処理和田耕一教授、米澤直記助手MaestroclusterMaestrocluster並列分散処理研究室9電子情報工学系外部評価資料工学分野10電子情報工学系外部評価資料映像研究室：齋藤恒雄

7、教授3D digital imaging and modeling次元次元形状符号化関数形状表現係数角形形状表現：多重解像度表現11電子情報工学系外部評価資料知実現知理解知計算原理推論知識(西原)知識，事例，分散AI，知的支援設計（CAD)，診断基礎理論(西原)推論，探索，制約充足，知識表現学習創発(狩野，平井)演繹帰納学習，統計的学習理論，人工生命，GA自然言語処理(山本（幹)自然言語理解，機械翻訳，言語人間情報処理(平井，酒井，菊池）視覚情報処理，認知科学，理解認識，画像認識理解知的，人知能知能情報工学分野12電子情報工学系外部評価資料PDM(平井)数：1000内部電位精度：12数：100

8、万(1000 x1000)結合係数精度：7入出力表現：密度方式回路，動作方程式：非線形1次微分方程式1000次元並列連続時間動作動作速度1万倍介利用可能http:/www.viplab.is.tsukuba.ac.jp平成7年度提案公募型重点分野研究開発事業（NEDO)平成9年度脳型研究開発（FED)1000Winner-take-all72秒6秒13電子情報工学系外部評価資料電子情報分野研究電子回路電波光波電子回路研究室（石橋研究室）石橋 幸男 教授波制御研究室平澤 一紘 教授工学研究室根本 承次郎 教授14電子情報工学系外部評価資料電子情報飛行機、自動車高速移動物体取付特性解析開発。特徴、

9、(1)裏側矩形付、形状大影響厳密考慮特性計算、(2)任意折曲形状特性計算2。現在、計算用、広帯域周波数特性持研究行(科研(基盤C)。板15電子情報工学系外部評価資料巨大様相論理理論，証拠理論確率論的解析認知，人間機械協調情報統合更新意思決定制御，監視信頼性暗号理論，認証理論情報処理都市機能工学的工学専攻16電子情報工学系外部評価資料人間機械共生系Task Interactive ComputersHuman Interactive ComputerControlled ProcessHuman OperatorEHLLTERRAINTERRAINWHOOP WHOOP PULL UP 状況認識支援衝突防止動的権限委譲機構状況適応安全制御CLIMB,CLIMB,CLIMBIntruder aircraftwithout TCASTCAS aircraft生態学的状況適応分権協調機構次世代人間中心自動化状況適応分権協調機構次世代人間中心自動化情報制御（情報制御（H8-13)C-SHELLC(Computer)S(Software)H(Hardware)E(Environment)L(Liveware)L(Liveware)S17電子情報工学系外部評価資料更多资源初二语文初二英语初二数学初二物理初二政治初二历史初二地理初二生物18電子情報工学系外部評価資料