求められる高度な計算
確率的な枝重みをもつ有向非巡回グラフにおける最長路長さの分布関数の解析的な計算に関する考察 (理論計算機科学の深化 : 新たな計算世界観を求めて)
... 互いに独立な確率変数とし , 全ての路の列挙を行った上で最長路長さ分布を求めることを提案してい る . ただし, これら二つの手法はどちらもグラフ規模の指数に比例する計算時間を必要とする . 本稿では , 畳み込み積分の数を $n-1$ 回に抑えることにより , 枝重みの分布の形態によっては DAG の最長路長さの分布関数の解析的な表現が効率的に求まり得ることを示す . 次に , ...
6
70+.3rの法則 (理論計算機科学の深化 : 新たな計算世界観を求めて)
... $\overline{\frac{\alpha}{1-\alpha}}=.\tilde{\alpha}=.7/(.45\cross 10^{10}-.3)=1.5556\cross 10^{-10}[=1.540328\cdots\cross 10^{-10} 2^{x}=1+x\ln 2+O(x^{2})]$ . ちなみに, Google 検索の電卓機能で $2^{-}(1/4500000000)$ を求めると 1 が返る ( ...
3
多層型矩形分割に対する16分格子グラフ表現 (理論計算機科学の深化 : 新たな計算世界観を求めて)
... We propose in Section 4 two algorithms cell uniflcation algorithm and laycr deletion algorithm with a data structure called H8CODE corresponding Hexadeci-grids.. In Section 5, we explain[r] ...
6
ストップウォッチオートマトンによるプリエンプティブスケジューリングの仕様記述と有界モデル検査 (理論計算機科学の深化 : 新たな計算世界観を求めて)
... 認することが可能であることを示した . また , 有 界モデル検査を SAT として実装する手法を提案 し , その計算量を示すことで , この検証手法の実 用性を示した . 今現在我々は , 本研究の提案手法 を SMT(SAT modulo theory) を用いて実装し , 提案内容の有効性の確認を実証実験により進め ているところである. ...
8
DFAの極限学習における必要例数の解析 (理論計算機科学の深化 : 新たな計算世界観を求めて)
... がある特徽をもっているので . どのような $M\in$ の集合 $S_{M.L}$ , 十分例集合 $\epsilon_{M,L},\epsilon_{M,RBG_{n}},s_{e,RBG_{n}}$ を以 ALG に対しても $\mathcal{Y}$ の翼素に対する十分例集合が 下のように定義する. 満たさなくてはならない条件が存在する . ...
8
辺上を移動するロボット1台による最適な多角形探索 (理論計算機科学の深化 : 新たな計算世界観を求めて)
... $\langle m, m-1\rangle$ とする) にたどり着いたとすると , $\partial P(m-1,m)$ と線分 $\overline{(m-1)m}$ で囲まれる領域が クリア領域となるため全ての領域がクリア領域とな り, 探索が完了することがわかる . もし , 左不変を 維持したまま探索を行うスケジュールで侵入者発見 ...
7
しきい値回路のパターン数について (理論計算機科学の深化 : 新たな計算世界観を求めて)
... This lower bound is tight, since the PARITY function is computable by a threshold circuit. of size $O(\log n)[6]$[r] ...
6
4状態可逆チューリング機械の構成法 (理論計算機科学の深化 : 新たな計算世界観を求めて)
... 状態が存在する, つまり計算の過程を一意に逆 戻りすることができるという性質である . 可逆 コンピューティングは, 物質のミクロな可逆性 を反映した計算モデルであり , 計算機の低消費 ...
5
完全$k$分木のpath distance widthについて (理論計算機科学の深化 : 新たな計算世界観を求めて)
... Smithlinc showed that the $densi\psi$ lower bound dotennines the bandwidth ofthe complete k-ary $tr\epsilon es[6]$.. Thc deoity lower bocd is based on the pigeon.[r] ...
8
正直なオークションにおける談合の影響 (理論計算機科学の深化 : 新たな計算世界観を求めて)
... 本研究ではデジタル商品のように無限に複製可能な商品を扱うオークションを扱う . 入札者が支払える 最大額を正直に入札をする仕組みを持つオークションを正直なオークションと呼ぷ . 本研究では特に入札 者の談合について議論しており, 談合者も正直な入札をするような仕組みを持つオークションについて考察 する. 更にこのようなオークションにおける競合比を提案し , 競合比が ...
6
コーダルサンドイッチの列挙, ランダム生成, 数え上げについて (理論計算機科学の深化 : 新たな計算世界観を求めて)
... このアルゴリズム全体の計算量は, Rose, Tarjan, Lueker [21] もしくは Tarjan, Yannakakis [23] に よるグラフのコーダル判定に関する線形時間アルゴリズムを用いることで , $O(k(n+m)\cdot|\Omega_{C}(\overline{G},\underline{G})|)$ となる. ただし, $n=|V|,$ $m=|\overline{E}|,$ ...
6
局所探索法による熱力学的DNA配列設計の改良 (理論計算機科学の深化 : 新たな計算世界観を求めて)
... 52 節の近似 $MFE\Delta G_{\mathfrak{n}\epsilon}^{l}|9^{hbor}$ 適用は「 neighbor 」 と記述している . また , 各方法で計算した MFE もしくは近似 MFE の値の平均を「計算値平均」 $(kcal/mol)$ , 近似 MFE の値と厳密 DP の値の ...
8
グラフ上の線形Cover Timeランダムウォーク実現の必要条件 (理論計算機科学の深化 : 新たな計算世界観を求めて)
... グラフ $G=(V, E)$ 上のランダムウォークと は , 以下のようなプロセスである . 1. ある頂点 $v_{0}\in V$ から出発する . 2. $v_{0}$ の隣接点 $v_{1}\in N(v_{0})$ をランダムに選択 し , $v_{1}$ に移動する . これを 1 ステップとする . 3. $v_{1}$ に対しても 2 と同様に隣接する頂点に移 ...
6
自明でない法則を用いた形式言語における概念分化 (理論計算機科学の深化 : 新たな計算世界観を求めて)
... は和を用い, 前件もしくは後件に複数の言語が出現するような自明でない法則を用いた場合に どのような性質が立ち現れるかについては将来め課題としたい . 参考文献 [1] H. Arimura, T. Shinohara and S. Otsuki: Finding minimal generalizations for unions of pattem languages and its application ...
7
疎フーリエ表現アルゴリズムの一実装 (理論計算機科学の深化 : 新たな計算世界観を求めて)
... では, “Isolation” と “Group Testing” の二つのステップ を通じて, 周波数 $k$ のリストを出力する. まず, Isolation では, 原信号を分離し , 各々が主要な成分を高々一つし かもたない信号を構成する . また , 各メジャー周波数 $k_{b}$ ...
8
局所的な次数情報を用いた無向グラフの探索 (理論計算機科学の深化 : 新たな計算世界観を求めて)
... 実際にレイヤ数が $\lceil\log n\rceil$ になるグラフは例えば図 2 ような進化グラフのモデルで構成できる. 構成した いグラフはサイクルグラフだが , 説明ではそのグラ フに forest seart での親選びを適用した森をべース ...
6
IT ビギナーズセミナー ( 公開セミナー ) スキルアップ 情報処理技術者試験 共通キャリア フレームワーク技術者向け試験 レベル 4 レベル 3 レベル 2 高度な知識 技能 応用的知識 技能 基本的知識 技能 職業人に共通にレベル1 求められる基礎知識 1.IT パスポート試験について 高度試
... （1）IT パスポート試験の対策↓ ①ストラテジ系、マネジメント系、テクノロジ系でバランスよく得点できるよう、苦手分 野を克服するようにしましょう。 ②計算問題が 5∼10 問程度出題されると思われます。電卓は使用できませんので、 筆算の練習をしておきましょう。計算式と途中結果は、試験当日は試験会場の机 上に用意されたメモ用紙に、なるべくきれいに書いておくと、計算ミスの防止になり ...
7
外国人材の活用が求められる背景 1
... 新輸出大国コンソーシアム【ジェトロ】 海外展開のためのブリッジ役となる高度外国人材の採用・定着を検討、導入している中堅・中小企業を、ワークショップ・個別相談で サポート。URL：https://www.jetro.go.jp/consortium/expert/h_resources.html 親日人材コミュニティ事業【経済産業省】 ...
27
私募REITに求められる流動性とは
... 図表 3 は東証 REIT 指数を時系列で示したグラフである。東証 REIT 指数は日経平均との相関が高く金融市場 の影響を多分に受けているものと思われる。そこで、日経平均の動きによって東証 REIT 指数の水準を説明する単 純なモデルにより東証 REIT 指数を推計し、実績値との比較を行った。当該推計値は東証 REIT 指数の株式市場 ...
5
情報セキュリティ人材に 求められるもの
... • 一定レベルの人材は実案件に参加、更なる スキル習得を図った上で、2020オリパラ 等ナショナルセキュリティ案件対応を行う • 研究開発成果や社内教育コンテンツ等を活 用した高度セキュリティ人材育成のための 教育・研修サービスを提供する ...
22