応用例 ： 数式を処理する
数式処理によるパラメトリック多項式最適化手法 (最適化手法の深化と広がり)
... 図 1: REDLOG 実行画面 Mathematica: 商用の数式処理システム Mathematica では CAD, VS による QE コマンド (Reduce, Resolve) が使用できる． QE コマンドでは InequalitySolvingOptions グループのシステムオプションを設定 することで VS ...
11
1E3-3 ハイブリッド制約言語HydLa処理系における数式処理と区間計算を組み合わせたシミュレーション実行
... の計算時に，数式処理の代わりに区間演算を用いて精度保証解 を導くことを目的としている．このため，区間演算を利用した 代数方程式に対する求解手法の一つである区間ニュートン法に よって解の候補を求める．さらに区間ニュートン法により得ら れる解のうち， HydLa のシミュレーションに必要なものだけ ...
4
数式処理システムMathematicaを用いた高校生による数学研究 II (数学ソフトウェアとその効果的教育利用に関する研究)
... Queen 問題のような本格的な数学研究だけではなく,生徒のアイディアを活かした研究 やミニ研究も行なっており,今回はその中の1つであるナイトツアーについて紹介する. ナイトツアーはチェスのナイトを動かしてボードの全てのマスを埋め尽くすことが出来 るかというゲームであり,今は全てのマスを埋め尽くすためにはどのような経路を辿れ ...
11
数式処理を用いた設計技術
... モデルベース設計によって，効率化・コスト削 減・高付加価値化を実現していく上でかぎとなるの が，数理制約問題処理技術や最適化技術である。現 在のところ，これらの技術は，数値的な計算を前提 とした各種アルゴリズムに支えられている。しかし， 計算機の飛躍的な性能向上に伴ってこれらの技術の 普及が進むとともに，多くの実用上重要な問題が， ...
8
Title KETpicによる曲面描画と教育利用 ( 数式処理と教育教育における数式処理システムの効果的利用に関する研究 ) : 数学 Author(s) 金子, 真隆 ; 阿部, 孝之 ; 関口, 昌由 ; 山下, 哲 ; 高遠, Citation 数理解析研究所講究録 (2009), 1624:
... 側で稜線を補って見ることができるが、 ここでの例のように複雑な形状になると、 曲面 上につけられた濃淡によってそれが邪魔されるわけである。 図 7CAS による曲面描画 図 8KETpic による曲面描画 実は稜線画法を用いる場合にも同様の問題がしばしば発生する。 たとえば、 図 6 に曲 ...
11
パラメトリック多項式最適化問題専用 Cylindrical Algebraic Decomposition と動的計画法への適用(数式処理 : その研究と目指すもの)
... $QE$ を用いて決定変数 $x_{1}$ を消去すると，以下のような論理式を得る． $\psi_{Feasible}(\theta, y)\equiv y^{2}+2\theta y+2\theta^{2}\leq 1\wedge y\leq\theta\wedge 0\leq\theta\leq 1$ 図 1 は $\psi_{Feasible}$ ...
15
USB 起動 KNOPPIX / Math / 2010 について (数式処理研究の新たな発展)
... KNOPPIX62 を元に作成されている．ここでオリジナル版とは，ドイツの Klaus Knopper 氏を中心として開発が進められている版を指す．KNOPPIX はバージョン 6 以降，標準デスクトッ プ環境が LXDE に変更された．この変更によりバージョン 5 系までのデスクトップ環境 KDE ...
7
不等式制約をもつ論理式に対する包括的グレブナー基底系を利用した限量記号消去の出力の簡単化 (数式処理の新たな発展 : その最新研究と基礎理論の再構成)
... リズムや実装方法によって大きく異なる.いくつかの QE ツールでの実行結果を付録 \mathrm{A} に掲載している) 以下では,定理1の手順で得られる特性多項式 $\chi$_{g}^{I}(x) を単に特性多項式と表記する.モニックであると 仮定しても一般性を失わないので,特性多項式を x^{d}+\displaystyle ...
19
Renesas Synergy アプリケーションノート NetXを使ったソケット通信の応用例：マルチクライアントサーバ
... 6. 当社製品をご使用の際は、最新の製品情報（データシート、ユーザーズマニュアル、アプリケーションノート、信頼性ハンドブックに記載の「半導体デバイスの使 用上の一般的な注意事項」等）をご確認の上、当社が指定する最大定格、動作電源電圧範囲、放熱特性、実装条件その他指定条件の範囲内でご使用ください。指 ...
23
RXファミリ 組み込み用TCP/IP M3S-T4-Tinyを使った応用例(DHCP/DNS/FTP/HTTP) Firmware Integration Technology
... ないよう、お客様の責任において、冗長設計、延焼対策設計、誤動作防止設計等の安全設計およびエージング処理等、お客様の機器・システムとしての出荷保証 を行ってください。特に、マイコンソフトウェアは、単独での検証は困難なため、お客様の機器・システムとしての安全検証をお客様の責任で行ってください。 ...
36
RXファミリ 組み込み用TCP/IP M3S-T4-Tinyを使った応用例(DHCP/DNS/FTP/HTTP) Firmware Integration Technology
... API をタイマ割り込みと Ethernet 割り込みの中で呼び出しています。_process_tcpip()は処理完 了通知のためコールバック関数を呼び出します。FTP コマンド解析処理、応答データ生成処理はこのコール バックルーチンの中にあります。_process_tcpip()の起動を含むこれらの割り込み処理は送受信ドライバの性 ...
43
コンピュータ応用・演習 情報処理システム
... 2. 各候補アイテム集合 C i について，ユーザの定めた基準であ る最小支持度以上の支持度をもつものをラージアイテム集合 L i と呼ぶ． 3. ラージアイテム集合 L i 同士を組み合わせたものを新しく候補 アイテム集合 C i+1 として出現回数をカウントし支持度を計算 する． ...
29
様式C-6記入例（電子申請対応用）
... 「費目別収支決算表」欄の物品費によって購入した、一品又は一組若しくは一式の価格が５０万円以上の物 品（図書を含む。消耗品、設備備品を問わない。）について入力すること。 また、図書については、１冊又は１組の価格が５０万円以上の場合は必ず書名、金額を入力することとし、 ...
10
Table of Contents 1. 概要 2. 物理 3. 応用例 3.1 加速器設計へ 応用 3.2 療 放射線防護へ 応用 3.3 宇 線挙動解析へ 応用 3.4 そ 他 応用 4. 2
... 26 医学物理計算用 補助 療画像DICOM形式 ／ ＝／ 全体 １D表示 PHITS 形式 入力情報 変換 DICOM形式 PHITS入力形式 変換 DICOM2PHITS PSFC4PHITS 加速器部分＆ 流＇ ン 省略 、 照射部分＆ 流＇ ン 可能 IAEA Nuclear Data Services* 入手可能. 加速器線源情報Phas[r] ...
43
1. 実施する試験区分 次の図に示すとおり, 情報処理技術者試験及び情報処理安全確保支援士試験を実施する 情報処理技術者試験は,IT パスポート試験, 情報セキュリティマネジメント試験, 基本情報技術者試験, 応用情報技術者試験及び高度試験 (IT ストラテジスト試験, システムアーキテクト試験,
... 共通キャリア・スキルフレームワーク 知識項目例 分野 大分類 中分類 小分類 16 システム監査 1 システム監査 システム監査の意義と目的，システム監査の対象業 務，システムの可監査性，システム監査人の要件，シ ステム監査計画，システム監査の実施（予備調査，本 調査，評価・結論），システム監査の報告，システム 監査の品質評価，システム監査基準，システム監査技 法，監査証拠，監査調書，情報セキュリティ監査，保 ...
17
様式C-6記入例・作成上の注意（電子申請対応用）
... ② 文章に番号を付す場合には、「１、２、３、・・・」の順に数字を付し、これを更に細分化する場合に は、「(1)、(2)、(3)・・・」の順に使用すること。 （２）キーワード ここでいう「キーワード」とは、大量の研究成果情報の中から特定の研究成果をコンピュータにより検索す ...
8
居宅サービスにおける栄養ケア・マネジメント等に関する事務処理手順例及び様式例の提示
... ウ 栄養ケア計画の作成 ① 管理栄養士は、上記の栄養アセスメントに基づいて、利用者のⅰ）栄養補給（補給方法、 エネルギー・たんぱく質・水分の補給量、慢性的な疾患に対する対応、食事の形態等食事の 提供に関する事項等）、ⅱ）栄養食事相談、ⅲ）課題解決のための関連職種の分担等につい て、関連職種と共同して、別紙３の様式例を参照の上栄養ケア計画を作成する。なお、指定 ...
3
2I1-3 数学理解を支援するWeb 上の数式画像の提示
... 画像を抽出し，キーワードに対応する概要説明，数式画像，及 び画像周辺情報を表示し，利用者の数学理解を助けることを目 的とする．数式画像が持つ他の画像とは異なる特徴量に着目し， 併せて画像の出現位置，周辺のテキスト情報などを手がかりとし ...
2
01画像処理の応用とシステムpdf 映像メディア工学2017 ヒューマンコンピュータインタラクション研究室 01画像処理の応用とシステム
... – CT 画像、 MR 画像：多数の投影画像から身体内部を再構成 – 画像のデータ蓄積・伝送・表示：高画質画像を、遠隔地（離島やへき 地）にリアルタイムで伝送する – 疾患の抽出：時系列差分画像による疾患候補部位の検出 ...
53
価格の実質硬直性：計測手法と応用例 ホーム Tsutomu Watanabe
... の商圏における代表的な店舗を選び，そこでの販売価 格を採取する。したがって競合する店舗の価格を CPI の原データから集めることは原理的に不可能である。 もうひとつの可能性はスキャナーデータであるが，筆 者たちの知る限り，競合する店舗間の価格を網羅的に 集めたデータセットは存在しない。そこで本稿では，競 ...
18