数式処理・科学技術計算システム『Maple 10』リリース
![SENAC Vol. 52, No. 2( ) 37 [ 大規模科学計算システム ] アプリケーションサービスの紹介 情報部情報基盤課共同利用支援係 はじめに 本センター大規模科学計算システムでは 分子軌道計算 数式処理 データ処理等の各アプリケーションソフトウェアをサービスしています](data:image/gif;base64,R0lGODlhAQABAIAAAP///wAAACH5BAEAAAAALAAAAAABAAEAAAICRAEAOw==)
SENAC Vol. 52, No. 2( ) 37 [ 大規模科学計算システム ] アプリケーションサービスの紹介 情報部情報基盤課共同利用支援係 はじめに 本センター大規模科学計算システムでは 分子軌道計算 数式処理 データ処理等の各アプリケーションソフトウェアをサービスしています
... 並列コンピュータへの初回ログイン時には公開鍵と秘密鍵のペアを作成する必要があります。鍵ペアの作成 方法については本誌 30 ページの「SSH アクセス認証鍵生成サーバの利用方法」をご参照ください。 なお、他人名義の利用者番号でのシステム利用は禁止します。パスワード、秘密鍵およびパスフレーズの使い 回しは、不正アクセスのリスク（不正ログイン、クライアントのなりすまし、暗号化された通信の暴露、他サーバへ ...
15
IoT/AI 時代の サービスプラットフォームを支える 新計算原理 2017 年 3 月 7 日 システム 情報科学技術ユニット 木村康則
... ※ Googleが2016年3月にサービスを開始した 機械学習の クラウドサービス 「 Google Cloud Machine Learning」に使用 Approximate Computing （積極的な近似計算） AI では厳密な計算が必ずしも必要ない ...
16
強震モニタリングシステム －－防災科学技術研究所の例－－
... ○ 強震モニタ：http://www.kyoshin.bosai.go.jp/kyoshin 防災科学技術研究所（以下，防災科研）は，地震調査研究推進本部が推進する基盤的調査観測の 一環として全国に約 2000点の地震観測点を設置・運用しており，そのほとんどに強震計が配備され ている．大地震はごく稀にしか起こらないため，強震観測は従来その多くが強い揺れが発生したと ...
5
Title KETpicによる曲面描画と教育利用 ( 数式処理と教育教育における数式処理システムの効果的利用に関する研究 ) : 数学 Author(s) 金子, 真隆 ; 阿部, 孝之 ; 関口, 昌由 ; 山下, 哲 ; 高遠, Citation 数理解析研究所講究録 (2009), 1624:
... 曲面を正確に分かりやすく描画するとなれば、 CAS の 3 次元グラフィックスを利用す るのが最善であろう。画面要素ごとに、視点から曲面までの「深さ」 と法線ベクトルを 計算するので、 KETpic による描画などと比べて計算量はそれなりに大きくなるが、 ディ スプレイ上で色や明るさを活用し、 曲面の正確な形を非常に見易くかつ美しく表現可能 ...
11
CMSI教育計算科学技術特論A_中田真秀
... • 2000年までは、だいたいSUN/IBM/DEC/Intel/Fujitsu/Hitachi/NECなどCPU、 OS,システムごとにベンダーの実装があり、高価で販売されていた、またはマシンを買 うとついてきたりした。 • ATLAS:R. Clint Whaley氏による, オートチューニング機構で高速化したBLAS。そ れまでの2001年より多くのコンピュータのBLAS環境を劇的に改善した, パイオニア ...
75
自動残差修正機能付き GBiCGSTAB$(s,L)$法 (科学技術計算アルゴリズムの数理的基盤と展開)
... GBiCGSTAB $(s, L)$ 法においても， $IDR(s)$ の場合と同様に， $\triangle r_{k}$ と $A\triangle x_{k}$ の inconsistency $\frac{\Vert\triangle r_{k}+A\triangle x_{k}\Vert}{\Vert b\Vert}$ が偽収束のよい指標となるが，上記の $\triangle r_{k}$ および近似解 $\triangle ...
11
数式処理によるパラメトリック多項式最適化手法 (最適化手法の深化と広がり)
... 数式処理は，計算機上で代数的な記号演算を行い入力された式を式のまま変形し，計算機代数とも呼ばれ る．多くの計算では浮動小数ではなく任意多倍長の整数または有理数を用い，誤差のない結果を返す．例え ...
11
北京交通大学 : システム科学 北京工業大学 : 土木エンジニアリング ( 自定 ) 北京航空航天大学 : 力学 計器科学 技術 材料科学 エンジニアリング 制御科 学 エンジニアリング コンピューター科学 技術 航空 宇宙飛行科学 技術 ソフト ウェアエンジニアリング 北京理工大学 : 材料科学
... 南京師範大学： 地理学 浙江大学： 化学、生物学、生態学、機械エンジニアリング、光学エンジニアリング、 材料科学・エンジニアリング、電気エンジニアリング、制御科学・エンジニアリング、コ ンピューター科学・技術、農業エンジニアリング、環境科学・エンジニアリング、ソフト ウェアエンジニアリング、園芸学、植物保護、基礎医学、薬学、管理科学・エンジニア ...
12
発枝醸定法 マルチプロセッサ スケジューリング問題 に対する分枝限定法の適用 笠原博徳 まえがきマルチプロセッサ方式の並列処理システムは科学技術計算用超大型計算機 ( スーパーコンピュータ ), 等の論理型言語を処理する高速推論マシン, あるいは低価格高性能のロボットコントローラの開発等を始め, 幅
... むすび 本解説では，実行時間最小マルチプロセッサ・スケジ ューリング問題に対する， DF/IHS 法と呼ぶ一種の分 校限定法の適用について述べた.分校限定法は，対象問 題の特徴を適切に押さえたヒューリスティックをうまく 取り入れ，計算時間および記憶領域を低く押さえるよう なインプリメントを行なえば， NP 困難な最適化問題に 対しても実用的な意味で最適解を求めることがで[r] ...
5
USB 起動 KNOPPIX / Math / 2010 について (数式処理研究の新たな発展)
... は日本語版 KNOPPIX を原型に，汎用数式処理システムや専門的な計算機代数システム，可視化システム や動的数学ソフトウェア，フリードキュメント等を収録している．専門家のための研究支援ツールとして， 大学，高専，高校等での数学教育の題材として活用されている．しかし， DVD から起動して利用すると， ...
7
日本原子力学会計算科学技術部会ニュースレター第 29 号 2018 年 3 月 1. 巻頭言 2. 原子力理解活動 について 2017 年度副部会長伊藤啓 1 運営小委員会 年秋の大会計算科学技術部会全体会議開催報告 年秋の大会計算科学技術部会セッション開催開
... 国際会議「原子力分野におけるスーパーコンピューティングとモンテカルロ・シミュレーション （ SNA ＋ MC ） 」 は、 1990 年に国際会議 「原子力分野におけるスーパーコンピューティング （ SNA ） 」 が開催されてから、概ね３年に一度の頻度で国内外で開催してきました。 2010 年以降は、 1980 年 に米国オークリッジ国立研究所が中心となって始めたワークショップに起源を持ち、 SNA 同様に国 ...
30
FIT2013( 第 12 回情報科学技術フォーラム ) D-024 アプリケーション開発における要素技術としての利用に着目した数式検索手法の提案 A Search Method for Mathematical Expressions as a Component of Application S
... 次に，問い合わせ言語の一貫性を重視する．そもそも， 一般的な数式の記法は，一貫性に欠ける場合がある．例え ば， と の加算を，加算演算子を用いた 2 項演算として記 述する場合は となり，2 引数をそれらの和へと写す 2 変数関数として記述する場合は となる．これら 2 つ の表現を見ると，演算とその適用対象の記述の順序が一貫 していない．このため，本研究では，数式の記法にしたが うのではなく，S ...
8
1 研究実施の概要 さまざまな ものづくり において シミュレーション技術は設計 製造の効率化 高品質化 高付加価値化実現に不可欠な技術です 本研究では 計算機パワーをフルに活用して効率的に高品質な処理を実現しうる技術の確立を目的として 数値数式ハイブリッド計算に基づくロバスト最適化プラットフォーム
... 用を行い、その有効性を検証しました。特に具体的な数値・数式ハイブリッド最適化アルゴ リズムへの適用には、富士通グループ及び立教大グループと定期的に交流し情報共有し つつ効果的に行いました。 記号・代数計算に基づく計算技法の一般的適用方法論の確立と適用規模の拡大という 目的で、主として、ベースとなる代数的技法（有理数体の拡大体上での基本演算の高速化 および Dynamic evaluation ...
59
海洋科学研究用電子計算機システム
... 3.4 ESSL ESSL(Engineering and Scientific Subroutine Library V5.1)は IBMにて提供している数値演算用のサブ ルーチンライブラリです。高速なアルゴリズムを用い、かつ CPUである POWER アーキテクチャの性能を 引き出すようチューニングがされていますで、このサブルーチンを利用するだけでプログラムが高速化で ...
19
KEK 技術研究会 2010/3/ /03/19 JPARC 実験データの共通計算機システムへの転送 高エネルギー加速器研究機構技術研究会 2010 年 3 月 19 日 KEK 共通基盤研究施設計算科学センター八代茂夫 2010/3/19 1/27 KEK 技術研究会 報告集の修正が入
... 2010/3/19 KEK 技術研究会 6/27 HPSS (High Performance Storage System) HPSSとは – アメリカエネルギー省研究所とIBM Houstonとで開発され、IBM Houston がサポートを行なっている階層型ストレージシステム – データの保管先として磁気テープを利用 ...
14
数式処理を用いた設計技術
... とした各種アルゴリズムに支えられている。しかし， 計算機の飛躍的な性能向上に伴ってこれらの技術の 普及が進むとともに，多くの実用上重要な問題が， 数値的な計算を前提とする技術だけでは本質的な解 決が難しいことが明らかになってきている。このよ うな状況を打開する有効な手段として注目され始め たのが，計算機パワーのもう一つの活用技術である ...
8
1E3-3 ハイブリッド制約言語HydLa処理系における数式処理と区間計算を組み合わせたシミュレーション実行
... の解が複数存在している可能性がある．したがって，最小解の 計算アルゴリズムによって得られた数値区間中に真の解が唯一 存在することを示す手法が必要となる． ある区間 X 中に方程式の真の解が唯一存在することを保証 するためには， X に対して区間ニュートン法を 1 ステップ進 めた時に， X が計算結果の区間を強く包含していることが確 認できれば良い [1] ．本研究では，最小解の計算で得られた区 ...
4
数式処理システムMathematicaを用いた高校生による数学研究 II (数学ソフトウェアとその効果的教育利用に関する研究)
... \displaystyle \mathcal{G}(x, y)=mod(x+y, 3)+3(\lfloor\frac{x}{3}\rfloor\oplus \mathrm{L}\frac{y}{3}\rfloor) (5) mod (x+y,3) は x+y を3で割つた余りのことである. 他に何か駒がないか調べていたところ,変形チェスの駒でQueenとKnightの動きを ...
11
エンジニアと科学者が 科学技術計算に MATLAB を 選ぶ理由 飛躍的な進化を遂げた MATLAB が提供する価値とは?
... データの集約とクリーニングが容易にできます。 • 信号データ: 平滑化、リサンプリング、ノイズ除去、ウェーブレット変換等 • 画像データ: レジストレーション、モルフォロジー フィルター処理、ブレ除去等 特定分野の熟練者がデータサイエンスを行うことができます。 ...
10
別紙 L03 蔵置料計算処理について 1. 蔵置料計算処理システムにより蔵置料計算を行う保税蔵置場の場合は 以下の蔵置料計算処理を行う (1) 計算対象項目 (A) 一般貨物保管料記号説明 A B C D V 基本料金 (A) 基本料金 (B) 経過料金 (C) 割増料金 (D) 従価保管料金 (V
... ５．保管料の計算対象期間についての説明（有料期間） （１） 「ＡＷＢ情報登録（輸入） （ＡＣＨ） 」業務または「ＡＷＢ情報訂正（ＣＡＷ） 」業務（以下、 「ＡＷＢ情 報登録業務」とする。 ）及び「貨物確認情報登録（ＰＫＧ） 」業務で登録された貨物の場合 （Ａ）空港に到着した貨物の保管料の料金計算起算日は、ＡＷＢ情報登録業務で入力された空港到着年月日 を基点として算出する有料期間開始年月日とする。 ...
28