広報活動

　　　　　　　　　　　　金沢大学・北陸先端科学技術大学院大学
　　　　　　　　　　　　第５回研究交流会


日　時　　平成１７年１２月１２日（月）１４時００分〜１６時４５分
場　所　　金沢大学　理学部大講義室


14：00　　開会挨拶　金沢大学副学長　　　大村　明雄

　　　　　　　　　　　　　　　　　　　　　（進行：副学長　大村　明雄）
14：10　　金　沢　大　学
　　　　　　〜　21世紀ＣＯＥプログラム　発達・学習・記憶と障害の革新脳科学の創成
15：15　　Innovative Brain Science for Development, Learning and Memory


(14：10)　プログラム紹介　拠点リーダー　医学系研究科　教授　東田　陽博

(14：15)　発表者　学際科学実験センター　教授　浅野　雅秀
　　　　　　テーマ　遺伝子改変マウスを用いた脳科学研究

(14：45)　発表者　医学系研究科　教授　小川　智
　　　　　　テーマ　小胞体ストレス蛋白欠損マウスを用いた神経変性モデルの作成


　　　　◇◇◇◇　　休　憩（15分間）　　◇◇◇◇


（進行：副学長　牧島　亮男）
15：30　　北陸先端科学技術大学院大学
　　　　　　〜　21世紀ＣＯＥプログラム　検証進化可能電子社会
16：35　　Vｅｒｉｆｉａｂｌｅ　ａｎｄ　Eｖｏｌｖａｂｌｅ　ｅ-Sｏｃｉｅｔｙ


(15：30)　プログラム紹介　拠点リーダー　情報科学研究科　教授　片山　卓也
　　　　　　　　　　
(15：35)　発表者　情報科学研究科　教授　東条　敏
　　　　　　テーマ 法律知識の矛盾の発見・解消を行う論理システム

(16：05)　発表者　情報科学研究科　教授　二木　厚吉
　　　　　　テーマ CafeOBJを用いた形式手法


16：35 　　閉会挨拶　北陸先端科学技術大学院大学副学長　牧島　亮男