Top PDF 数理科学と計算機科学を学修し

電子計算機室分子研リポート2001 | 分子科学研究所

... d) 生体膜とそれを横切る物質透過の分子動力学シミュレーション e) タンパク質の機械的一分子操作の計算機シミュレーション A -3) 研究活動の概略と主な成果 a) 分子振動緩和など，溶液中における溶質の状態間遷移を含む量子動力学を取り扱うことのできる計算機シミュレー ...

6

電子計算機室分子研リポート2002 | 分子科学研究所

... A -2) 研究課題： a) 溶液中における溶質分子振動量子動力学の計算機シミュレーション b) 量子液体とその中での溶媒和に関する理論的研究 c) 生体膜とそれを横切る物質透過の分子動力学シミュレーション d) タンパク質の機械的一分子操作の計算機シミュレーション e) 水溶液中における溶質分子の平均力とメモリー解析 f) ...

3

電子計算機センター分子研リポート1998 | 分子科学研究所

... 研究系および研究施設の現状 173 激減させることを示した。 c) C84は C76についで大量に得られている高次フラーレンであり， 24 個の構造異性体が存在するが，実験的に全ての異性体の構造を予測することは困難である。本研究では非経験的分子軌道法による大規模な理論計算を行い， C84 (C2, D2, D2d)異性体の赤外スペクトル及び R ...

2

電子計算機センター分子研リポート1999 | 分子科学研究所

... A -3) 研究活動の概略と主な成果 a) 高振動励起状態の理論的研究： OC S の紫外光解離に関与する 3重項励起状態のポテンシャルエネルギー曲面を，状態平均多参照配置 S C F 軌道を基底とした配置間相互作用法（MR -C I）により決定した。HC P 分子の電子基底状態及び励起状態（1 ...

2

電子計算機室分子研リポート2000 | 分子科学研究所

... A -3) 研究活動の概略と主な成果 a) 高振動励起状態の理論的研究： OC S の紫外光解離に関与する 3 重項励起状態のポテンシャルエネルギー曲面を，状態平均多参照配置SC F 軌道を基底とした配置間相互作用法（MR -C I）により決定した。 HC P分子の電子基底状態及び励起状態（1 ...

2

計算科学研究センターの現状と今後分子研リポート2003 | 分子科学研究所

... PP5000 と S GI 製 Origin から構成されている。V PP5000 は 1 C PU 当たりの最高演算性能が ...利用者プログラムから大容量のメモリを容易に利用することができるので，大規模な並列ジョブの実行が可能となる。高速シミュレーションシステムの日立製 S R 8000 ...

4

教務資料アーカイブ名古屋大学大学院多元数理科学研究科・理学部数理学科

... ∗[1] 藤田岳彦,「ランダムウォークと確率解析」, 日本評論社, 2008 年. 説明：初等的な確率論の知識と組み合わせ的な計算を通じ，確率過程論の考え方を学ぶ． ∗[2] 吉田伸生,「確率の基礎から統計へ」, 遊星社, 2012 年. 説明：前半（５章以前）では多くの具体例を通じ，確率論の基本的知識・考え方を学ぶ．後半（６ ...

26

教務資料アーカイブ名古屋大学大学院多元数理科学研究科・理学部数理学科

... あとで使うので、体とガロア理論の講義を受講していると良いかもしれません。 4) 到達目標：これまで習ってきた代数の諸概念を使いこなせるようになるというのが最初の目標です。それらを使い、ヤコビ記号、判別式、整数基、素イデアル分解、類数などの具体的な計算を ...

12

教務資料アーカイブ名古屋大学大学院多元数理科学研究科・理学部数理学科

... 4. 目的・内容・到達目標：微分方程式の数値解析をはじめとすると種々の数学的な問題のコンピュータシミュレーションは , 今日では多くの実用的な場面で利用されている . たとえば , 大気の動きをモデル化した微分方程式を数値的に解くことによる数値予報と呼ばれる天気予測 , 量子力学にあらわれるシュレ ...

47

電子計算機室分子研リポート2003 | 分子科学研究所

... A -2) 研究課題： a) 溶液中における溶質分子振動量子動力学の計算機シミュレーション b) 量子液体とその中での溶媒和に関する理論的研究 c) タンパク質の機械的一分子操作の計算機シミュレーション d) 水溶液中における溶質分子の平均力とメモリー解析 f) 超臨界流体の構造と動力学 ...

3

教務資料アーカイブ名古屋大学大学院多元数理科学研究科・理学部数理学科

... 《到達目標》まずは超関数とは何であるかを理解し , 超関数に対する微分・フーリエ変換などの演算が計算出来るようになることを最初の目標とします . その際 , そこで用いられるルベーグ積分における諸定理を自由に使いこなせるようになることも , 同時に目指します . 引き続き , 超関数論を用 ...

18

電子計算機センター将来計画分子研リポート1998 | 分子科学研究所

... PU とメモリの構成の違いからは，全ての C PU がシステム全体のメモリを共有する「共有メモリ型」と各 C PU がそれぞれ局所メモリを持つ「分散メモリ型」，そして分散メモリのハードウエア構成を持ちながら基本ソフトウエアにより論理的に共有メ ...

6

教務資料アーカイブ名古屋大学大学院多元数理科学研究科・理学部数理学科

... という性質が保存され，時間無限大で指数関数的速さで正定曲率計量に収束することを示した. これ以降, ハミルトンは, サーストンの幾何化予想を, 「３次元閉リーマン多様体をリッチフローで時間発展させると, 最終的に８種類の幾何に “分解” していく」というプログラムをたてて，幾何化予 ...

47

海洋科学研究用電子計算機システム

... 3.4 ESSL ESSL(Engineering and Scientific Subroutine Library V5.1)は IBMにて提供している数値演算用のサブルーチンライブラリです。高速なアルゴリズムを用い、かつ CPUである POWER アーキテクチャの性能を引き出すようチューニングがされていますで、このサブルーチンを利用するだけでプログラムが高速化で ...

19

計算機生命科学の基礎II_

... cell innovator そもそも GO とは？ • Gene Ontology（ジーンオントロジー） • もともと、オントロジーとは、用語（ターム）を構造化して整理する手法。 • 遺伝子用のオントロジーなので、 Gene Ontology (GO)。 ...

42

教務資料アーカイブ名古屋大学大学院多元数理科学研究科・理学部数理学科

... 1. 教員名： Hesselholt, Lars ( へっせるほるとらーす ) 2. テーマ： de Rham cohomology and characteristic classes 3. 目的・内容・到達目標：このコースでは、 de Rham コホモロジーと特性類の勉強を通して、代数トポロジーを紹介す ...

17

数学と計算機科学の相互作用：計算代数とHaskellにおける安全性と拡張性

... 手続き型プログラム言語が、入力されたデータを操作する命令の列を主体にしてプログラムを組むのに対し、関数型プログラミング言語では、入力されたデータに対し、関数の適用を組み合わせることによってプログラムを組む特徴を持つが、特に「純粋関数型言語」では、プログラムの合成可能性や一貫性を向上さ ...

4

Microsoft PowerPoint - 計算機科学入門2014.pptx

... • 制約の集合，制約は変数を引数とする述語として記述される – 例: p 12 (x 1 , x 2 ) : x 1 ≠x 2 and |x 1 ー x 2 | ≠1 目標： • すべての制約を満足する変数の値の組合せを求める (NP完全) ...

7

自動残差修正機能付き GBiCGSTAB$(s,L)$法 (科学技術計算アルゴリズムの数理的基盤と展開)

... [3] G. L. G. Sleijpen and D. R. Fokkema: BiCGSTAB(L) for linear equations involving unsymmetric matrices with complex spectrum, Electronic Transactions on Numencal Analysis, Vol. 1 (1993), pp. 11-32. [4] ...

11

電子計算機センター現状と将来構想分子研リポート1999 | 分子科学研究所

... 5-1-3 将来構想検討会議２０００年１月２５日に「分子科学研究所電子計算機センター将来構想検討会議」を開催した。所外からは，相田美砂子（広島大）教授，大峰巌（名古屋大）教授，片岡洋右（法政大）教授，柏木浩（九州工大）教授，斎藤晋（東工大）教授，斎藤稔（弘前大）教授，榊茂好（熊本大）教授，橋本健朗（都立大）助教授，中島徹（東大）助手，中野雅由（大 ...

8

数理科学と計算機科学を学修し

関連した話題