情报工学系.ppt

書式設定,書式設定,第 2,第 3,第 4,第 5,電子情報工学系外部評価資料,*,研究分野紹介,数理情報工学,知能,計算機工学,工学,知能情報工学,電子情報,工学,1,電子情報工学系外部評価資料,数理情報工学分野,By D.,複雑系,徳永隆治助教授,生命数理情報,坂本直人教授,HPC,大規模線形系,名取亮教授、伊藤祥司助手,非線形方程式系,櫻井鉄也助教授,情報,北川高嗣教授,蔡東生助教授,助教授,最適化問題数理計画,久野誉人助教授,制御理論,河辺徹講師,2,電子情報工学系外部評価資料,数理情報工学方向性,CONTINUOUS MEDIA,北川,(,高,),教授（情報検索）、蔡助教授（）、,徳永助教授（画像符号化）,非適切問題 ,逆問題、精度保証、複雑系,北川,(,高,),教授（積分方程式、解安定性）、久野助教授（非線形非凸計画問題、解一意性）、,徳永助教授（分岐問題、現象存在）、櫻井助教授（精度保証、解存在）、,河辺講師（制御系）,大規模線形非線形系,、並列計算,名取教授、伊藤助手（大規模線形系固有値問題）、櫻井助教授（大規模非線形系）,助教授（非線形系）、蔡助教授（並列計算）,、応用,助教授（結晶光伝播）、,坂本直人教授（生体化学反応）,By D.,3,電子情報工学系外部評価資料,知能分野,基礎,記号計算,研究,論理研究室,計算知能,研究,研究室,知能,研究室,計算,言語,検証,GUI,D,4,電子情報工学系外部評価資料,記号計算,井田哲雄教授,Aart,Middeldorp,助教授南出靖彦講師 山田俊行助手,宣言型言語,計算,停止性,関数論理型言語,関数型言語,項書換系,計算,変換,計算系,厳密,新計算,新言語機能,5,電子情報工学系外部評価資料,分野概要,言語処理系,工学,（評価）,：分散、並列、異種情報源統合、高次元検索,6,電子情報工学系外部評価資料,研究室加藤和彦，松原克弥,Object repository,Unload,Load,Site A,Thread,Object,Safetypolicy checker,Protection domain,Object port,name,Site B,基盤,Planet,7,電子情報工学系外部評価資料,、超並列、Grid,応用、,可視化,記述化,高性能数値計算,並列I/O,言語処理系,科学技術計算向,並列用,Java,科学技術計算向,駆動,専用,進化,信号処理,理論,利用技術,性能評価,計算機工学分野,8,電子情報工学系外部評価資料,並列環境,分散共有,並列応用,並,列離散系,並列画,像処理,向開発,TEAC VRDS-50,LUXMAN DU-10,音、画像圧縮、高品質再生,情報処理,和田耕一教授、米澤直記助手,Maestro cluster,並列分散処理研究室,9,電子情報工学系外部評価資料,工学分野,10,電子情報工学系外部評価資料,映像研究室：,齋藤恒雄教授,3D digital imaging and modeling,次元,次元形状,符号化,関数形状表現,係数,角形形状表現：多重解像度表現,11,電子情報工学系外部評価資料,知実現,知理解,知計算原理,推論知識(西原),知識，事例，,分散AI,，,知的支援,設計（CAD)，診断,基礎理論(西原),推論，探索，制約充足，知識表現,学習創発(狩野，平井),演繹帰納学習，統計的学習理論，人工生命，GA,自然言語処理(山本（幹),自然言語理解，機械翻訳，言語,人間情報処理(平井，酒井，菊池）,視覚情報処理，認知科学，,理解,認識，画像認識理解,知的，,，,人知能,知能情報工学分野,12,電子情報工学系外部評価資料,PDM(平井),数：,1000,内部電位精度：,12,数：,100,万,(1000 x1000),結合係数精度：,7,入出力表現：密度方式,回路，,動作方程式：非線形,1,次微分方程式,1000,次元並列連続時間動作,動作速度,1,万倍,介利用可能,www.,viplab,.is.,tsukuba,.ac.,jp,平成7年度提案公募型,重点分野研究開発事業,（NEDO),平成9年度脳型,研究開発,（FED),1000,Winner-take-all,72秒,6秒,13,電子情報工学系外部評価資料,電子情報分野,研究,電子回路電波光波,電子回路研究室（石橋研究室）,石橋 幸男 教授,波制御研究室,平澤 一紘 教授,工学研究室,根本 承次郎 教授,14,電子情報工学系外部評価資料,電子情報,飛行機、自動車高速移動物体取付特性解析開発。,特徴、,(1),裏側矩形付、形状大影響厳密考慮特性計算、,(2),任意折曲形状特性計算,2,。,現在、計算用、広帯域周波数特性持研究行,(,科研,(,基盤,C),。,板,15,電子情報工学系外部評価資料,巨大,様相論理,理論，証拠理論,確率論的解析,認知，人間機械協調,情報統合更新,意思決定,制御，監視,信頼性,暗号理論，認証理論,情報処理,都市機能,工学的,工学専攻,16,電子情報工学系外部評価資料,人間機械共生系,Task Interactive,Computers,Human Interactive,Computer,Controlled,Process,Human Operator,E,H,L,L,TERRAIN,TERRAIN,WHOOP WHOOP,PULL UP,状況認識支援,衝突防止,動的権限委譲機構,状況適応安全制御,CLIMB,CLIMB,CLIMB,Intruder aircraft,without TCAS,TCAS aircraft,生態学的,状況適応分権協調機構次世代人間中心自動化,情報制御（,H8-13),C-SHELL,C(Computer),S(Software),H(Hardware),E(Environment),L(,Liveware,),L(,Liveware,),S,17,電子情報工学系外部評価資料,更多资源,初二语文,初二英语,初二数学,初二物理,初二政治,初二历史,初二地理,初二生物,18,電子情報工学系外部評価資料,