計算機に実行させる処理の記述
講義の流れ 並列プログラムの概要 通常のプログラムと並列プログラムの違い 並列プログラム作成手段と並列計算機の構造 OpenMP による並列プログラム作成 処理を複数コアに分割して並列実行する方法 MPI による並列プログラム作成 ( 午後 ) プロセス間通信による並列処理 処理の分割 + データの
... 現在利用されているほとんどの並列計算機には、MPIのライブラリが実装されている。 MPIの規格に準拠していれば、基本的に互換性は確保されている。 欠点１．並列プログラムの作成が複雑 ...
68
ストップウォッチオートマトンによるプリエンプティブスケジューリングの仕様記述と有界モデル検査 (理論計算機科学の深化 : 新たな計算世界観を求めて)
... れると , 該当するタスクの ARRIVED ロケーショ ンヘ遷移する. その後. EXECUTE ロケーション へ遷移すると同時に , 該当するタスクに CPU を 割り当て , 実行状態にする. 無事処理が完了さす れば FINISH, IDLE と遷移してゆくが, もし処理 ...
8
科学技術計算におけるソフトウェア自動チューニング:<ソフトウェア自動チューニングを支える基盤>4.ソフトウェア自動チューニング記述のための計算機言語
... の改編も含む）を対象とした．ターゲットマシンは Intel Pentium 4 2.0GHz, コンパイラは PGI Fortran コンパイラ とする．コンパイラオプションを 2O0（最適化なし）に 固定する．開発者の最適化能力に実行性能が直接影響す る状況下での性能評価を行うためである．最高性能を求 ...
5
確率時間ゲーム理論による組込みシステムのモデル化, 仕様記述及び検証 (理論計算機科学の深化と応用)
... 行動の選び方を次のように定義する . プレイヤー 1 が行動 $\langle\triangle_{1},$ $a_{1}\rangle\in\Gamma_{1}(s)$ を起こし, 同時に, プレイヤー 2 が行動 $\langle\Delta,$ . $a_{2}\rangle\in\Gamma_{2}(s)$ を起 こした時 , $\Delta_{1}<\Delta_{2}$ ...
8
工学設計における計算機代数の応用 (数式処理研究の新たな発展)
... を把握することが可能となる。 本研究では、 対象とする条件を連立代数方程式及び不等式で表現可能なものに限定し、 Gr\"obner Base 及 び Quantifier Elimination を応用することにより、 これらの情報を提供する計算手法を考案し、 代数制約評 価システムとして実装した [11] 。ここでは、 Gr\"obner Base および Quatifier ...
11
(2) 電子計算機処理の制限に係る規定ア電子計算機処理に係る個人情報の提供の制限の改正 ( 条例第 10 条第 2 項関係 ) 電子計算機処理に係る個人情報を国等に提供しようとする際の千葉市情報公開 個人情報保護審議会 ( 以下 審議会 といいます ) への諮問を不要とし 審議会には事後に報告するも
... 要配慮個人情報とする対象については、条例のほか施行規則で定めるものとし、現時点では行 政機関個人情報保護法等の規定によるものと同一とします。 【趣旨】 取扱いに配慮をすべき個人情報を明らかにして、そのような情報がいかなる事務において 使用されているかを公表することにより、個人情報の取扱いに対する安心や信頼の確保を図 ります。 ...
6
1E3-3 ハイブリッド制約言語HydLa処理系における数式処理と区間計算を組み合わせたシミュレーション実行
... 提案手法により，離散変化時刻を求める方程式が複雑になっ てしまうモデルに対して， HyLaGI でシミュレーション可能と なることが確かめられた．計算時間が膨大になる理由は，離散 変化時刻が数値区間として表すことになるため，離散変化時刻 を求めるための方程式を導く微分方程式が複雑化してしまい， ...
4
情報散布方式の一般的記述と自己同型写像(理論計算機科学とその周辺)
... あらまし プロセッサネットワーク上の情報散布方式を一般的に記述する。 ネットワーク上の情報散布過程 に対応した自己同型写豫を紹介する。 自己同型写像が存在する条件とスキームの耐故障性へのス タートラウンドの影響について議論する。 ...
7
モバイルエージェント実行計画問題について (計算機科学基礎理論とその応用)
... ある. $G$ の部分グラフに $H$ と同型のものが存在するか どうかを考える . 例えば, 部分集合 $V\underline{\subseteq}V_{1}$ と $E\subseteq E_{1}$ がそれぞれ $|V|=|V_{2}|,$ $|E|=|E_{2}|$ であり , 次のような 一対一関数 $f$ : $V_{2}arrow V$ が存在: もし ...
6
再帰型をもつオブジェクト指向計算モデルにおける例外処理の型付 (計算機科学基礎理論の新展開)
... try oetch をネストすることで表現することができる が , try-catch-finmlly は , 残念ながら $\mathrm{O}\mathrm{b}_{1<:\mu(\rangle}$ では 表現することはできない . ただし, $\mathrm{O}\mathrm{b}_{1<:\mu(\rangle}$ に逐次 実行の機能を追加すれば表現可能である . ...
6
電子化診療記録の計算機処理における特徴と課題に関する研究 : e-phenotyping技術確立に向けて
... こ の フ レ ー ム ワ ー ク に annotation 結 果 の 症 例 数 を 適 用 し た 計 算 結 果 か ら 、 e- phenotyping 研究において、目標精度が感度または特異度 95%以下、または陽性的中率 80% 以下の場合には病名記載と検体検査値の診断基準を正しく識別するための技術開発を行う ...
2
OS処理の分散実行を効果的に利用できる一括処理依頼機能の実現と評価
... サーバを分散配置することで，OS 処理を分散できる．しかし，AP プロセスから OS サーバへの処理依頼は，OS サーバ間の通信を複数回行うことで実行されるため，応答時間の向上は望 めない．また， AP プロセスから OS サーバへの処理依頼は，プログラム記述が簡明で利便性が高いことや ...
10
VBA 給与計算 年末調整 の年度更新処理とデータの移行について VBA 給与計算 年末調整 の年度更新処理は 開始 メニューの 前年データ読込 ボタンで前年分のファイルから直接データの移行ができます 前年分と本年分のシステムファイルが同じフォルダにないと この処理は実行できません この処理前に フ
... さらに「給与所得の源泉徴収票」や年末調整の各申告書について、平成 31 年で表記するのかまたは新元号で表記 するかは国税庁からの新様式の公開までは不明です。 そこで平成 31 年版では、「開始」メニューの「給与の支払者データの登録」フォームから「源泉徴収票の年度」 ...
7
計算機アーキテクチャ特論 後半第２回 アウトオブオーダー実行 Out-of-Order Execution
... 命令が結果の書き込みを行う時 値を物理レジスタに書き込む 命令がデータを読み込む必要がある時 同じアーキテクチャ上のレジスタに書き込みを行った最後の命令に割当 ...
51
1.1. Word VBA の準備 セキュリティーレベル Word の文書を処理するためのプログラム言語 VBA (Visual Basic for Application) は マクロ というコードを記述することによってコンピュータにさまざまな動作をさせる機能をもちます マクロの機能
... 単に出力文字列を追加文字列をつなげてていけば簡単な操作になるのですが、そうす ると文字列追加の度にメモリーの確保が必要になるので時間がかかります。それより も、追加文字列が出力文字列の余裕分（スペース）を超えたときにだけ、追加したほ うが時間が節約できるのです。そして、そのスペースをかなり大きくとってあるので ...
95
計算機アーキテクチャ特論 後半第２回 アウトオブオーダー実行 Out-of-Order Execution
... Network-on-Chips の応用 小規模 System-on-Chip 組込マルチメディア処理 ハイパフォーマンス系 オンチップバスの置換え コア数を増やして電圧低減 科学技術演算向け 高スループット化,低遅延化 消費電力の削減 ...
44
交互方向乗数法のベクトル並列計算機VPP500における実行 (数理最適化の理論と応用)
... $x_{i}^{(k+1)}j$ の値を その供給節点 $i\in N_{1}$ に対応するプロセヅサで計算する際には , 需要節点ごとに各プロセヅサが分割して保持する $q_{j}^{(k)}/\xi_{j}+v_{j}^{(k)}$ の値を , また , $x_{i}^{(k+1)}j$ の値をその需要節点 $j\in N_{2}$ ...
13
LOTOSによる分散システムの全体記述と各ノードの動作記述 : 等価性と変換アルゴリズムについて(理論計算機科学とその周辺)
... to derive the protocol specifications, we make the syntax tree of a given service specification and give some attributes.. for each node in the tree.[r] ...
7
日経記事の計算機処理における日本語WordNetの有効性
... データベースをアクセスするためのフロントエンド（API）が提供 されている。本研究では、プログラミング言語 Perl を用いたが、この提供 されているフロントエンドを一部修正したものを使った。 Cabocha による構文解析の結果として得られた語幹（原語ではない）に 対して、日本語 WordNet 辞書を引いて、意味情報 synset を付与した。なお、 ...
10
SPRAT:実行時自動チューニング機能を備えるストリーム処理記述用言語
... 多様なシステムに適応 するためには様々なコード変換が必要 → 既存の変換の組み合わせだけでは表現不可 ………………. ………………. ………………. ………………. ………………. ………………. ...
24