数式処理，数値計算用ソフトウェア
ウェブハンドリング計算用ソフト
... Ⅰ ソフトウェア使用マニュアル Ⅱ ウェブハンドリング用計算ソフト“WEBMASTER(ウェブマスター)”の内容と解説 の 2 部構成となっている。ソフトウェアを実行するにあたっては、是非ともこれらのマニ ュアルを熟読し、かつ活用して欲しい。なお、本マニュアルのみでウェブハンドリングの 概略は十分理解できるようになっているが、拙書「ウェブハンドリングの基礎理論と応用」 、 「入門ウェブハンドリング」 ...
32
情報技術 Java の特徴 Java は現在 事務処理計算用プログラミング言語として開発された COBOL に取って代わり C 言語や C++ と並んで 現在最も使われているプログラミング言語の一つである Java は Write Once, Run Anywhere( プログラムを一度作成したらど
... 通常、コンピュータでは CPU やメモリなどのハードウェアを管理する OS が動作しており、その OS の 環境上でアプリケーションプログラムが実行される。Java では OS 上で JavaVM を動作させ、その仮想マ シン上で OS の違いを吸収して Java プログラムを実行するため、プラットフォームを選ばない。そのため、 Java は携帯電話、 コンピュータ、 ブルーレイディスクプレイヤ、 自動車など、 ...
6
地方公会計標準ソフトウェア ソフトウェア機能概要説明書 平成 28 年 7 月 地方公共団体情報システム機構 F
... 開始貸借対照表を取り込み、開始時残高として登録す る。※初年度のみ実行する。 2 日々仕訳用連携機能 日々仕訳を行う場合、歳入歳出伝票等の起票時に財務会 計システムから連携される予算科目等を基に該当する 仕訳を財務会計システムへ返す。ただし、仕訳候補が複 数存在する場合は、その仕訳候補を財務会計システムへ 返す。また、財務会計システムで仕訳候補から選択・決 定された情報を受け取り、仕訳帳に登録する。 ...
23
1. センタ環境 ( 本番用 ) サーバ等 50 APサーバソフトウェア Java EEに準拠したアプリケーションの実行基盤を構築できるこ 51 オンライン業務 ( オンライン処理 ) を行えるこ 52 バッチ業務 ( バッチ処理 ) を行えるこ 53 DBMSソフトウェア ( コネクタ ) APサ
... 56 オフィスソフトウェア ・文書作成，表計算機能を有すること。 57 性能・負荷テストツール ・シナリオによるWEB負荷テストを行えること。 58 情報漏えい対策ソフトウェア ・情報持ち出しの制御を行えること。 59 その2 1台 OS/WEBブラウザソフトウェア ・契約時点で、社会保険診療報酬支払基金ホームページに掲載されている「オンライン請求 ...
36
1 研究実施の概要 さまざまな ものづくり において シミュレーション技術は設計 製造の効率化 高品質化 高付加価値化実現に不可欠な技術です 本研究では 計算機パワーをフルに活用して効率的に高品質な処理を実現しうる技術の確立を目的として 数値数式ハイブリッド計算に基づくロバスト最適化プラットフォーム
... 用を行い、その有効性を検証しました。特に具体的な数値・数式ハイブリッド最適化アルゴ リズムへの適用には、富士通グループ及び立教大グループと定期的に交流し情報共有し つつ効果的に行いました。 記号・代数計算に基づく計算技法の一般的適用方法論の確立と適用規模の拡大という 目的で、主として、ベースとなる代数的技法（有理数体の拡大体上での基本演算の高速化 および Dynamic evaluation ...
59
ソフトウェア取引の収益の会計処理に関する実務上の取扱い
... 「2（1）ソフトウェア取引における収益認識の考え方」にあるとおり、収益認識には、 取引の実在性を前提として、一定の機能を有する成果物の提供が完了し、その見返りと しての対価が成立することが必要である。そのため、契約が分割された場合においても、 一般的には、最終的なプログラムが完成し、その機能が確認されることにより収益認識 されることになるが、最終的なプログラムの完成前であっても、例えば、顧客（ユーザ ...
7
最適成長型動学CGEモデルの数値解法－GAMSソフトウェアを用いて－
... GAMSは世界銀行によって開発されたソフトウェアで，線形・非線形計 画問題や非線形相補性計画問題などの代数問題を数値的に解くことができ る。GAMSは数理計画問題を解くためのソルバーと呼ばれる複数 ２） のソフ トウェアを制御し，統一された仕様で複雑な非線形問題を解く機能を有し １） 本研究は2009年度長崎県立大学学長裁量研究，2007－2009年度文部科学省学術振 ...
18
スキル領域 職種 : ソフトウェアデベロップメント スキル領域と SWD 経済産業省, 独立行政法人情報処理推進機構
... レベル４ プロジェクトに参画する要員数がピーク時５名以上１５名未満で構成されるミドルソ フト開発プロジェクトの開発チームリーダとして、ソフトウェアエンジニアリング技 術を活用し、プログラム実装設計、運用、障害対策設計や、プログラム製造、評 価、性能チューニングを行い、ソフトウェア開発を実施することができる ...
36
SENAC Vol. 52, No. 2( ) 37 [ 大規模科学計算システム ] アプリケーションサービスの紹介 情報部情報基盤課共同利用支援係 はじめに 本センター大規模科学計算システムでは 分子軌道計算 数式処理 データ処理等の各アプリケーションソフトウェアをサービスしています
... 【 12 および 24 並列実行の指定】 本センターでサービスしている Gaussian では、12 および 24 並列での並列処理が可能です。大きな分子の 解析にぜひご活用ください。 12 または 24 並列で実行するには、ルートセクションに Link 0 コマンドの%NProc=並列数を追加します。手入力 の場合は、テキストエディタで先頭行に追加、 GaussView 等ではインプットファイル作成画面の Link 0 ...
15
ビ Ⅱ5-2 (1-3) セル内容の連結 数式を書く際に +, -, *, / を使うと数値を使った通常の四則計算をしますが & を使うと複数の値の連結をすることができます ( 例 ) A1 に 10 A2 に 20 B1 に あいう B2 に かきく と入っているとき 数式表示結果 1 = A1
... 手順⑪： 余白の「初期設定」とは、［ページレイアウト］タブ＞［余白］で「標準」にしていることである。 また、［印刷範囲］を A1:H21 と設定する。 《テキストに追加》 Lesson24 手順⑧： ヘッダーに指定する「現在の日付」とは、ヘッダー/フッター編集での［日付の挿入］ボ タンや「現在の日付」ボタンを使って入れるもののことである。ファイルを開いたり、印 ...
9
製品案内 ( 測量 写真計測 ) モバイル 3D スキャナーハンディ 3D スキャナー 3D レーザースキャナー 3D 点群処理用ソフトウェア 写真計測用ソフトウェア 写真計測用ソフトウェア NO 7
... “市販の測量用 3D 点群処理ソフトではオーバーハングメッシュができないので困っている”そうした 声を多くの測量関係者の方からお聞きしています。OPT クラウドサーベイは一回のマウスクリックで、 オーバーハングのメッシュを作成できます。ご使用中のソフトにこの機能が無い場合、OPT クラウドサ ーベイを“メッシュ作成の専用ソフト”として、ご利用いただけます。 ...
9
数式表示に特化した動的ウェブサイトの構築
... 6-5 最後に ウェブ上で数式を扱うサイトでは，数式の入力サ ポート，数式の検索機能，数式を使って計算する数 式処理機能などが独立している場合が多い。そこで， 再利用可能な形式の数式の入力サポートを実装し て，数式に特化した動的なウェブサイトとして掲示 板を開発した。入力した数式の保存が可能で，数式 ...
20
情報処理学会研究報告 IPSJ SIG Technical Report Vol.2012-HPC-134 No /6/1 収束障害 (Fault Convergence): 数値計算ソフトウェアにおける新しい安全性の概念 片桐孝洋 櫻井隆雄 伊藤祥司 猪貝光祥 大島聡史 黒田久泰, 直
... ォールトトレランスに拡張し，内部ループ（ディペンダブ ルでない計算）と外部ループ（ディペンダブルな計算）に 分けている．この，内部ループと外部ループの構成は本提 案における構成方式と類似している．本提案との違いは， 異常検知の方法である． FT-GMRES では GMRES 内部の直 交化処理の情報を利用するのに対し，我々のものは残差情 報を利用する．したがって，我々の方式のほうが数値解法 ...
8
SEM・SAM用画像処理システムⅡ－ソフトウェア－
... プログラム開発環境 2.1 0S9/68000オ ペ レーテ ィングシステム とそのモジュール構造 2.1.10S9/68000オ ペ レーティングシステム 画像処理を行 うコンピユータを選択する場合にはプロ グラム開発環境と実行環境及びプログラムのメンテナシ スが問題と となる。開発ソフ ト (言 語など )が 多数有ると いう事ではパソコン上の MS― DOSが 有[r] ...
10
USB 起動 KNOPPIX / Math / 2010 について (数式処理研究の新たな発展)
... を元に再構成したものであり， KNOPPIX $/Math$ ICMS2010 と呼ばれる版である．この DVD は 9 月に神 戸大学で開催された国際数学ソフトウェア会議 ICMS2010 に備えて開発されたものである． ICMS2010 で は，世界中の数学ソフトウェア開発者が一同に会し，プロジェクトの方向性を定める上でも，大変有意義な ...
7
数式を省略して表示する方法の提案と検討 (数学ソフトウェアと教育 : 数学ソフトウェアの効果的利用に関する研究)
... xml 要素は semantics 要素の中に置くが， semantics 要素の中では先ず MathML の式 を書き，その後に annotation/annotation-xml 要素を任意個書き並べる．キーは，代替 表現， semantics の指定や解説，型の情報，レンダリングのヒント，特定の処理系向け のデータ等，式と annotation の様々な関係を指定するのに用いられる．キーそのもの ...
11
Software Engineering Center 今こそ求められる ソフトウェア品質説明力 2013 年 5 月 23 日 独立行政法人情報処理推進機構技術本部ソフトウェア エンジニアリング センター所長松本隆明 Copyright 2013 IPA, All Rights Reserved
... しかしながら、グローバル市場においては当事者企業の主 張だけでは不十分で、NASAが行ったような 第三者による 客観的な評価の裏付けがないと通用しない z 会計処理における会計士による会計監査の必要性と同等 ...
24
1E3-3 ハイブリッド制約言語HydLa処理系における数式処理と区間計算を組み合わせたシミュレーション実行
... の解が複数存在している可能性がある．したがって，最小解の 計算アルゴリズムによって得られた数値区間中に真の解が唯一 存在することを示す手法が必要となる． ある区間 X 中に方程式の真の解が唯一存在することを保証 するためには， X に対して区間ニュートン法を 1 ステップ進 めた時に， X が計算結果の区間を強く包含していることが確 認できれば良い [1] ．本研究では，最小解の計算で得られた区 間 X ...
4
数式処理を用いた設計技術
... 普及が進むとともに，多くの実用上重要な問題が， 数値的な計算を前提とする技術だけでは本質的な解 決が難しいことが明らかになってきている。このよ うな状況を打開する有効な手段として注目され始め たのが，計算機パワーのもう一つの活用技術である 記号・代数計算技術，すなわち数式処理技術である。 本稿では，数式処理による最適化 (1),(2) ...
8
数式処理システムMathematicaを用いた高校生による数学研究 II (数学ソフトウェアとその効果的教育利用に関する研究)
... [15] 情報処理学会ゲーム情報学研究会公式 URL(若手奨励賞受賞者一覧), http: //\mathrm{w}\mathrm{w}\mathrm{w}. ipsj. or. \mathrm{j}\mathrm{p}/\mathrm{s}\mathrm{i}\mathrm{g}/\mathrm{g}\mathrm{i}/ wakate ichiran.pdf [16] ...
11