大気モデルの計算にあたっては，
大気モデルにおける数値計算法(数値計算アルゴリズムの現状と展望)
... こ のように $semi-implicit$ 法を併用した場合には、 一般に変数係数の楕円型偏微分方程式を解く 必要があり、 それには FFT や multigrid solver が用いられる。 semi-Lagrange 法のいちばん大きな問題点は、 質量やエネルギーなどの保存則を満足させる ことが困難なことである。 図 1 に、 全球 ...
8
表情認知に関する計算論的モデル化研究の動向
... 各項目に対して与えられたラベル集合を集約せずにそ のまま得票率分布（確率分布）としてすべて保持し たものを項目変数とするモデルを提案している（Ku- mano, Ishii, & Otsuka, 2017）。DS法を参考に評価者 と項目の条件付き独立性を仮定することで，評価者の 周辺分布（項目が未知のときその評価者が与えるであ ...
7
チュートリアル: ブロックチェーンの計算モデル
... のために 不特定の者に対して使用することができ 、かつ、 不特定の者を相手方として購入及び 売却を行うことができる 財産的価値（電子機器その他の物に電子的方法により記録されている ものに限り、本邦通貨及び外国通貨並びに通貨建資産を除く。次号において同じ。）であって、 電子情報処理組織を用いて移転することができるもの ...
72
15 km ずつ平行移動した 2 経路の計 9 経路 ( 3 方向 3 平行移動, 中心気圧は経路と直交して平行移動 ) で手引きの想定台風による高潮計算を行った. なお, 最小計算格子は 90 m, 台風モデルは Myers の式, 波浪計算はスペクトル法, 潮位計算はウェイブセットアップを考慮し
... 積である．また，式 の n は空白域の面積にもよるが， 例えば図- 7 の19 時時点の図では最大 n = 50 である． 図-9 に，根室と広尾の観測所地点において単純線形 補間と切出し補間で作成した気圧データと観測値データ とを比較した結果を示す．根室では，単純線形補間に比 ...
6
線形プッシュダウン・木オートマトン (計算モデルとアルゴリズム)
... 法は, 文脈自由文法の生成規則の右辺を文字列から木に置き換えることにより得られる文法である . しかしながら , TAG は複雑な制限が加わった文脈自由木文法となっているため, そのままでは形式的性質を研究することは容易で はない. そこで , TAG をもう –度文脈自由木文法の立場から見直し, ...
6
ある制限されたチャイニーズ・ポストマン問題の計算量(計算モデルと計算の複雑さに関する研究)
... 計算量にも興味を持っている. 5 参考文献 1) Aho, A.V., Hopcroft, J.E., and Ullman, $\mathrm{J}.\mathrm{D}.$ : The Design and Analysis of Computer Algo- rithms, ...
7
Tutte多項式とJones多項式の計算(計算モデルと計算の複雑さに関する研究)
... つの絡み目が同値であるか否かを判定するのは容易ではない。こ のような観点からも、同値な絡み目に対して等しい値をもつ不変量は重要な意味をもっている といえる。結び目の分野において不変量を表わす多項式は数多く発見されたが、中でも Jones 多 項式は有名である。最初に Jones ...
7
単調論理関数と擬似補関数に対する近似モデル(計算モデルと計算の複雑さに関する研究)
... on(f)$ の下界とするという手順 をふむ . 本稿では , まずクリーク関数の単調複雑さの下界として, Alon や ...らの示した指数関数 のものと同様の結果がこの手法によっても導かれることを示す ...$\mathcal{F}_{f}^{+}$ の代わりに $F_{f}\subseteq ...
7
インパルスモデルに基づくパワー半導体デバイスの損失計算手法
... 2. 損失計算手法 〈2･1〉 概略構成 図１に，提案手法をブロック図で示す。図は，IGBT モジ ュールを対象とした一例であり，損失関数，サンプラ，サ ンプラ操作信号作成系，および加算器から成っており，加 算器の出力波形をフーリエ解析することにより損失を計算 することができる。損失関数は，スイッチング損失関数と ...
4
ポストGHCにむけて ― 21世紀の計算モデルと実装
... 第五世代核言語 (kernel language) 言語づくりはプロジェクトの核であった KL0: Sequential kernel language for startup KL1: Parallel kernel language for systems and apps (KL2: Knowledge representation language) ...
58
ハイパーキューブ上の安全な情報伝達 (計算モデルとアルゴリズム)
... $n$ のパスが $7\downarrow$ 本存在するようなネットワ一クがあるとき, $k$ 個のピースが盗聴されても , 盗聴者が , 送信され たメッセージに関する情報を得ることができないように , かっなるべく情報量を少なくするという問題を考える。 このと き, しきい万法を用いる場合には, $(k+1, k+1)-$ しきい筆法を用いればよい。 また , IDA ...
6
2次元可逆セル・オートマトンにおける一斉射撃問題(計算モデルと計算の複雑さに関する研究)
... このパスの起点と終点と はともに General セルであり , このパス上に 1 次元 の – 斉射撃問題の解をのせることで任意の 2 次元図形 に対する – 斉射撃解が得られる ...$M$ の射 撃時間は $2(2N-2)-2=4N-6$ になる ...
5
推論加群系と自動証明への応用(計算モデルと計算の複雑さに関する研究)
... A 付録: papend の実行例 ここでは代数的証明システム papend による本文の【例 2 】の実行例を示す. papend では非負条件を考慮するたあに補助述語 $N_{1}(X),$ $N_{2}(X)$ が導入されている ( この例では直ちに消去されてい る ). また射影を施した結果 $0$ となった文は除かれるため出力されていない . ...
7
正則パターン言語和の包含に関する強コンパクト性(計算モデルと計算の複雑さに関する研究)
... (1989) は , $|\Sigma|\geq k+1$ のと き , $k$ 個の 1 変数パターン言語の和のなす族 $P_{1}^{k}$ の包含に関する強コンパクト性を示した ...(1992) は, $|\Sigma|\geq k+1$ のとき , 1 階論理項によって定義される言語の $k$ ...
4
多段階木変換機について(計算モデルと計算の複雑さに関する研究)
... \mbox{\boldmath$\pi$}\mbox{\boldmath$\sigma$} の正当な元で状態が q\in Q である ものが複数あったとする . すると $T$ は既約であるので , $s,$ $u\in \mathrm{T}_{\Sigma}$ と $t^{J}\in T_{\Sigma}(Q\mathrm{x}\mathrm{T}_{\Sigma})$ が存在して , $(q_{0}, ...
7
2層プラナー(計画器)の提案:自然言語理解のために(計算モデルと計算の複雑さに関する研究)
... Goal の達成には既成の Prolog プログラム $\mathrm{b}\mathrm{e}\mathrm{s}\mathrm{t}_{-}\mathrm{f}\mathrm{i}\mathrm{r}\mathrm{S}\mathrm{t}_{-}\mathrm{S}\mathrm{e}\mathrm{a}\mathrm{r}\mathrm{c}\mathrm{h}$ ...
7
有限曖昧経営オートマトンの等価性判定問題の可解性(計算モデルと計算の複雑さに関する研究)
... ンエコノミクスオートマトンと決定性エコノミクスオートマトンの等価性判定問題, エコノミクス オートマトン不等式問題, 有限和エコノミクスオートマトン等価性判定問題 , 有限曖昧エコノミク スオートマトンの等価性判定問題について、 判定アルゴリズムを与え、 これらの問題がすべて可 解である事を示す。本論文は 4 章からなっている。 第 2 ...
7
近似解をも考慮に入れた多項式時間変換(計算モデルと計算の複雑さに関する研究)
... $\ovalbox{\tt\small REJECT}$ が充足解であるという条件から, グラフ $G$ の頂点集合 $cl_{1’ 2’ k}^{\prime\iota\prime}C\cdots,$ $cl$ ’ には同じ頂点が 2 つ以上は 含まれず, 仮想頂点も存在せず , どの 2 頂点間にも枝が存在することになる. 従ってグラフ $G$ には ...
6
全球域3次元拡散モデルを用いた大気中の微量粒子の発生地域特定のための研究
... （３）終点：東京 １月の計算結果を見ると、微量粒子は北西よりの季節風にのって大陸から移流している 様子が良く分かる。また、７月の計算結果を見ると太平洋高気圧の縁辺やその周辺を回っ てのながれにそって微量粒子が東京に移流されていることを示している。１月の場合は、 ...
9
ゼロ知識証明の定式化について (計算モデルとアルゴリズム)
... となることが数え上げによって示せる。そこで $T,$ $N,$ $Z$ を $\ell.\text{ ビット _{ の } 整数として、計算す }$ ると $1-2/\ell^{k}$ 以上の割合の $T$ に対して $R,b\mathrm{P}\mathrm{r}\{.K^{t}(T|N, Z)-K^{t}(\tau|N, z,x, b, ...
3