• 検索結果がありません。

A 数と計算

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

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

... 2. Property-based Testing というテスト手法により、アルゴリズムの実装の正当性を検証する機構を 導入している。これは、無作為な入力、あるいは増大順の入力を与え、システム内で組むプログラ ムが、指定した形式仕様を満たすかを検証する手法である。 本論文では、計算機代数のアルゴリズムの実装例として、多項式環のイデアルのグレブナー基底を計 ...

4

26 宇宙航空研究開発機構特別資料 JAXA-SP 表 1: LES 解析に必要な計算規模の予測 スケール Re 数 格子点数 時間刻み幅計算時間計算能力 [µ 秒 ] ステップ数 [ 時間 ] [FLOPS] 研究 万点 2 20 万 5 8 Tera 風試 10

26 宇宙航空研究開発機構特別資料 JAXA-SP 表 1: LES 解析に必要な計算規模の予測 スケール Re 数 格子点数 時間刻み幅計算時間計算能力 [µ 秒 ] ステップ数 [ 時間 ] [FLOPS] 研究 万点 2 20 万 5 8 Tera 風試 10

... 1333 1600 の違いを見る、メモリ性能が 低くなった場合に計算速度がどの程度悪化するかがわ かる。ループ B はメモリ性能が悪化してもほとんど計 算時間が悪化していないが、ループ A はメモリ性能の 悪化に対して計算時間が 7%程度 (6 スレッドの場合) 増 加している。この結果からもループ B はループ A に比 ...

6

オープンソース CFD による火災プルームの数値計算 FDS と OpenFOAM の比較 Numerical Simulations of a Fire Plume by Using Open Source CFD - Comparison of FDS and OpenFOAM - 第 26 回

オープンソース CFD による火災プルームの数値計算 FDS と OpenFOAM の比較 Numerical Simulations of a Fire Plume by Using Open Source CFD - Comparison of FDS and OpenFOAM - 第 26 回

... 本計算における FDS及び OpenFOAM の放射モデルに関する設 定条件を見てみる、 FDSではデフォルトで波長依存性が考慮さ れ、各化学種で特定の波長域にて放射への寄与が調整されるよう に RADCAL からパラメータを求めており、吸収係数の入力値は 妥当な値を用いている。一方、 OpenFOAM では入力パラメータの 簡略化によって波長依存性を考慮しておらず、また吸収係数に関 ...

7

(3) 指導観本単元は学習指導要領 A(3) 乗法についての理解を深め その計算が確実にできるようにし それを適切に用いる能力を伸ばす ア 2 位数や3 位数に1 位数や2 位数をかける乗法の計算のしかたを考え それらの計算が乗法九九などの基本的な計算を基にしてできることを理解すること またその筆算

(3) 指導観本単元は学習指導要領 A(3) 乗法についての理解を深め その計算が確実にできるようにし それを適切に用いる能力を伸ばす ア 2 位数や3 位数に1 位数や2 位数をかける乗法の計算のしかたを考え それらの計算が乗法九九などの基本的な計算を基にしてできることを理解すること またその筆算

... きの積の大きさの理解(例えば、23×35でも部分積23×3=69は、実は690であるこ )であり、もう一つは、1位をかける計算においては、被乗数を十の位一の位に分解した が、2位をかける計算では、乗数を十の位の一の位のに分解し、それを組み立てて筆 算形式をつくることである。 ...

9

Catalogue HY9-1/UK/JP 内容 全般 一般的特色... 4 最小回転数と最大回転数 圧力定格シングルポンプ 最小回転数と最大回転数 - 圧力定格ダブル. トリプルポンプ... 7 最小許容入口圧力 主な計算... 1 間欠圧力について... 1 記述..

Catalogue HY9-1/UK/JP 内容 全般 一般的特色... 4 最小回転数と最大回転数 圧力定格シングルポンプ 最小回転数と最大回転数 - 圧力定格ダブル. トリプルポンプ... 7 最小許容入口圧力 主な計算... 1 間欠圧力について... 1 記述..

... パーカーは.T7シリーズポンプキーシャフトを高強度熱処理したキー 付きで供給しています。 したがって.これらのポンプを据付.または取 り替えるとき.装置で最長寿命を確実にするため熱処理されたキーを 使用しなければならない。 キーを取り替える時は.2734RCの間の高 度熱処理されたキーでなければならない。キーの角はキー溝のRを 避けるためC 0.76から1.02mm 面取りをしてください。 ...

82

国語 B 柏原 埼玉県 全国 話すこと 聞くこと 書くこと 読むこと 算数 A 柏原 埼玉県 全国 数と計算 量と測定 図形 数量関係 算数 B 柏原 埼玉県 全国

国語 B 柏原 埼玉県 全国 話すこと 聞くこと 書くこと 読むこと 算数 A 柏原 埼玉県 全国 数と計算 量と測定 図形 数量関係 算数 B 柏原 埼玉県 全国

... ・自己肯定感の設問においては、ほぼ県同様の結果である。調査対象学年だけではな くどの学年においても、すべての教育活動を通して、児童の良いところを称賛し、さ らに伸ばし伸びたところを実感させ、自信を持たせ、学校生活を送らせたい。そのた めに、学級での係や当番活動、委員会活動や通学班の班長・副班長などの活躍場面を 全ての児童に与えるとともに、家庭とも連携し、結果のみならず結果を得るために努 ...

9

1 次の (1) から (4) までの各問いに答えなさい (1) ' を計算しなさい (2)2#(-5 2 ) を計算しなさい 中数 A 1

1 次の (1) から (4) までの各問いに答えなさい (1) ' を計算しなさい (2)2#(-5 2 ) を計算しなさい 中数 A 1

... における外角a' + ∠ b' の大きさ の関係はどうなりますか。下のアからエまでの中から正しいものを 1つ選びなさい。 ア 頂点C' における外角の大きさは,∠ a' + ∠ b' より小さい。 イ 頂点C' における外角の大きさは,∠ a' + ∠ b' 等しい。 ウ 頂点C' における外角の大きさは,∠ a' + ∠ b' より大きい。 エ  ...

32

0530cmsi教育計算科学技術特論a_中田真秀 (nakata maho's conflicted copy) (6)

0530cmsi教育計算科学技術特論a_中田真秀 (nakata maho's conflicted copy) (6)

... GPUはどうして高速か? Part I • CPU比べる1コ1コの処理能力は低いが、ものすごいのコアが あって、似たような処理を同時に沢山行えるので高速。 • 画像処理だ沢山独立した点に対して似たような処理をする ...

81

毎回紙と電卓で計算するより パソコンの表計算ソフトを利用して計算されることをすすめます パソコンは計算と記録が同時にできますから 経営だけでなく飼養管理や繁殖の記録にも利用できます 2) 飼料設計項目ア.DMI TDN CP NFC a.dmi( 乾物摂取量 ) 水分を除いた飼料摂取量のことです 飼

毎回紙と電卓で計算するより パソコンの表計算ソフトを利用して計算されることをすすめます パソコンは計算と記録が同時にできますから 経営だけでなく飼養管理や繁殖の記録にも利用できます 2) 飼料設計項目ア.DMI TDN CP NFC a.dmi( 乾物摂取量 ) 水分を除いた飼料摂取量のことです 飼

... ・CP も同様の計算になります。端数なる頭数については実際の重量を量る必要 がありますが、端数なった頭数の給与量を同じ充足率になるよう給与量をはか って設定することで、この牛たちが最も精度の高い代表なるため、これら牛を 特に注意深く観察することで、現在の充足率が農場にあっているかをみることが できる考えられます。 ...

12

目次 1. はじめに a.evについて b.eevについて c.mcevについて d. 第三者機関によるレビューについての意見書 2. 計算結果 a. 住友生命グループのEEV (1)EEVの計算結果 (2) 修正純資産 (3) 連結純資産と修正純資産の関係 (4) 保有契約価値 (5) 新契約価値

目次 1. はじめに a.evについて b.eevについて c.mcevについて d. 第三者機関によるレビューについての意見書 2. 計算結果 a. 住友生命グループのEEV (1)EEVの計算結果 (2) 修正純資産 (3) 連結純資産と修正純資産の関係 (4) 保有契約価値 (5) 新契約価値

... 35 b.主な動的前提 (1)金利モデル 金利モデルとして、日本円、米ドル、ユーロ、英ポンド、豪ドルを通貨する各金利に対 する1ファクターHull-White モデルを構築しました。各金利変動の相関を考慮するも に、日本円を基準通貨するリスク中立アプローチに基づきモデルを調整しております。金 ...

49

x の値などから決める 本節の最後に, 後の計算で使用する二つの積分について, その一般解を示しておく f x 2 =- x + C... (2.8) f (a - x)(b - x) = b - a[f a - x - f b - x] = b - a( ln a - x - ln b - x)

x の値などから決める 本節の最後に, 後の計算で使用する二つの積分について, その一般解を示しておく f x 2 =- x + C... (2.8) f (a - x)(b - x) = b - a[f a - x - f b - x] = b - a( ln a - x - ln b - x)

... に関する反応次数 a である。 3・3 積分形速度式の求め方 微分方程式の形で書かれた速度式は,任意の時刻での 反応速度を与える。そして,ここから導かれる積分形速 度式は,ある化学種の濃度を時間の関数として与える式 である。反応速度論の研究では,主に積分形速度式を扱 う。その大きな利点は,速度式が濃度時間という,実 験的に測定可能な量で表されていることである。本節で ...

7

(人工衛星の管理に係るガイドライン 別紙)傷害予測数計算条件及び方法(人工衛星)

(人工衛星の管理に係るガイドライン 別紙)傷害予測数計算条件及び方法(人工衛星)

...  ORSAT-J(Object Re-entry Survival Analysis Tool - Japan): 再突入溶融解析ツール。付属する Excel にて傷害予測計算も可能。人工衛星等の 打上げ及び人工衛星の管理に関する法律の申請が必要な日本国内の事業者等(大学、 企業、国の機関等)のうち、総質量 100kg 以上の宇宙機又はロケットを開発する者向 けに JAXA ...

11

2014 年ハイパフォーマンスコンピューティングと計算科学シンポジウム High Performance Computing Symposium 2014 HPCS /1/8 GPU GPU 1,a) 1,b) 1,c) GPU GPU GPU GPU C++ GPU CPU MPI

2014 年ハイパフォーマンスコンピューティングと計算科学シンポジウム High Performance Computing Symposium 2014 HPCS /1/8 GPU GPU 1,a) 1,b) 1,c) GPU GPU GPU GPU C++ GPU CPU MPI

... のみを記述し、フレームワークはこれを基に GPU 実行コードおよび CPU 実行コードを生成する.さ らに、フレームワークはユーザコードを MPI OpenMP で並列化し複数 GPU で実行し、 GPU 間通信 を簡単に記述するクラスを提供する.これらを用い、通常の C++ コードを記述することで、性能を出す には制約の多い GPU アーキテクチャや GPU 間通信の実装を意識することなく、 GPU ...

9

数の計算と関数

数の計算と関数

... 練習 1. 平面上の 2 点 (x, y)  (u, v) の距離を求める distance(x,y,u,v). 2. f フィートi インチをセンチメートルに変換する feet_to_cm(f,i). ただし、1 フィート = 12 イン チ = 30.48 cm である。 ...

49

目次 1. 概要 概要 特徴 動作環境 外皮計算システムのセットアップ セットアップのアウトライン a. ダウンロード rdeyeCAD をセットアップ... 8

目次 1. 概要 概要 特徴 動作環境 外皮計算システムのセットアップ セットアップのアウトライン a. ダウンロード rdeyeCAD をセットアップ... 8

... 以上で、試用版として利用できるようになります。 2.7. 正規版ライセンスのご購入 ユーザー登録確認メールには、正規版ライセンスの購入方法振込先も記述されています。 メールに記載された指定口座へ代金をお振込み下ださい。なお、振込手数料はご負担ください。 お振込みの際には、 振込人に受付 ID を必ず記入してください。 記入がない、 入金確認が出来ま せん! ...

97

数値計算による瀬戸内海の潮汐・潮流計算と海水交換について

数値計算による瀬戸内海の潮汐・潮流計算と海水交換について

... 潮汐残差流の計算結果についてもう少し詳細に見 るために,大阪湾の Case - 1 とCase-2 の潮汐残差流 の結果を拡大して Fig.8 に示す.時計回りの循環流 が卓越するという傾向はどちらのケースの計算結果 にも見られるが,合成潮による Case - 2 の潮汐残差 流の方が幾分大きな値となっている.この傾向は, 他の海域(例えば健灘)の潮汐残差流の結果でも同[r] ...

11

5. アルゴリズムと計算量

5. アルゴリズムと計算量

... 4 歴史: プログラミング言語の誕生と発展 年代 代表的な言語 特徴 '50s FORTRAN, COBOL, LISP (現存する)最も初期のプログラミン グ言語が作られる '60s- '70s Simula, BASIC, Pascal, Smalltalk, C, Prolog, ML オブジェクト指向・論理型・関数型 など新しい考え方をとり入れた言 語が作られ[r] ...

26

HOKUGA: 品質原価計算と時間

HOKUGA: 品質原価計算と時間

... ①の財務は〝我々は財務的目標を達成して いるか"する視点であり,その内訳項目に は投資利益率,営業利益率, 利益率,新製 品の収益性などがある。②の顧客は〝我々は 顧客に満足のいくサービスを提供している か"する視点であり,その内訳項目には新 規顧客,市場シェアー率,製品返品率,顧 客満足度などがある。③の内部ビジネスプロ セスは〝我々は中核的なビジネスプロセスを ...

16

目 次 1. はじめに 動作システム 起動方法 本ツールの機能 計算方法 使用方法 緯度 経度への換算 平面直角座標への変換 一度に計算可能なデータ数と追加方法

目 次 1. はじめに 動作システム 起動方法 本ツールの機能 計算方法 使用方法 緯度 経度への換算 平面直角座標への変換 一度に計算可能なデータ数と追加方法

... 7.VBA ソースコードの無償提供について ユーザー定義関数(VBA)のソースコードを無償で提供することが可能 です。ご希望の方は、弊社 ホームページからメールにてご連絡下さい。 ソースコードがあれば、様々なツールや Excel ファイルに組み込んで利用できるようになり、大 変便利か思います。 ...

15

211 年ハイパフォーマンスコンピューティングと計算科学シンポジウム Computing Symposium 211 HPCS /1/18 a a 1 a 2 a 3 a a GPU Graphics Processing Unit GPU CPU GPU GPGPU G

211 年ハイパフォーマンスコンピューティングと計算科学シンポジウム Computing Symposium 211 HPCS /1/18 a a 1 a 2 a 3 a a GPU Graphics Processing Unit GPU CPU GPU GPGPU G

... QD ライブラリ同一の処理を行っており, BLAS の 演算であるベクトル・行列の各要素を計算するスレッ ド内で,それぞれ逐次的に処理される.関数は GPU 用のデバイス関数として実装しているが,コンパイル 時にインライン展開されるため,関数呼び出しのオー バーヘッドは存在しない. ...

9

Show all 10000 documents...

関連した話題