線形計算研究会(NLA) 日時： ２０１２年９月１４日（金）１６：００～１８：００ 講演者： 木村 拓馬　（早稲田大学 理工学術院　） タイトル：放物型初期値境界値問題に対する計算機援用証明について 概要： 熱方程式に対する時間方向に補間を用いた近似の誤差評価，線形放物型問題に解を与える作用素のノルム評価，及びこれらの応用による非線形問題の解の存在に対する計算機援用証明など，放物型初期値境界値問題に関連する研究成果を紹介する．なお本研究は，中尾充宏校長（佐世保工業高等専門学校），木下武彦研究員（京都大学RIMS）との共同研...

International Symposium on Computics: Quantum Simulation and Design (ISC-QSD) DATE: 11-13 Oct. 2012 PLACE: Osaka University Hall SCOPE OF SYMPOSIUM:      This symposium is to provide a forum for discussing all the important issues in computational...

2012年度スーパーコンピュータ共同研究制度(若手研究者奨励枠)の追加公募京都大学学術情報メディアセンターでは，2012年4月1日において，40歳未満の若手研究者（学生を含む）を対象とした利用者向けの奨励研究制度の追加公募を行います．応募された課題はセンターの「スーパーコンピュータシステム共同研究企画委員会」で審査の上，10件程度の優れた研究提案を採択し，採択された課題の利用負担金の全部または一部をセンターが負担します．申込締切8月31日(金曜日) 17時必着詳細http://web.kudpc.kyoto-u.ac.jp/iim...

　　　　筑波大学計算科学研究センター設立20周年記念シンポジウム 主催      筑波大学 計算科学研究センター 日程      平成24年9月7日（金） 10:00～18:00 会場      つくば国際会議場（エポカルつくば） 中ホール300 懇親会     18:30～20:30（つくば国際会議場内レストラン エスポワール） 参加費     シンポジウム無料、懇親会4000円 詳細 h...

Preconditioning of Iterative Methods Theory and Applications A Conference in Honor of Ivo Marek Faculty of Civil Engineering, Czech Technical University in Prague July 1-5, 2013 Further information ...