各部分グラフに対する処理
実閉体上の非冠頭標準形論理式に対する限量記号消去における部分論理式の処理順序と計算効率 (数式処理研究の新たな発展)
... 本講究録では実閉体における非冠頭標準形の論理式の限量記号消去 (quantifier elimination, QE) ア ルゴリズムの効率化について議論する．非冠頭標準形の一階述語論理式の QE 問題を部分論理式の QE 問 題に帰着させる際にその処理順を最適化することに注目した．部分論理式を処理する適切な順序を決定す るためにヒューリスティクス及び機械学習の 2 ...
14
21世紀の数式処理に対する三つの新機軸 : ディペンダビリティ・ユーザビリティ・分散処理 (数式処理研究の新たな発展)
... ユーザビリティ分散処理について述べる。 ディペンダビリティ [3] とは、 システムに対して 「依存できる (dependable) 」 性質を分類した、 ソフトウ エア工学における学術用語である。 現在、 数式処理ソフトウエアは本来の数式を処理するという目的だけ でなく、 機械の設計や情報処理などにまで用いられるようになった。 したがって、 数式処理にバグがあった ...
3
DGS 環境における CAS ならびに関数グラフ機能の利用の可能性の検討 : GeoGebra を用いた関数の積に対する一考察 (数式処理と教育)
... 本稿では，数学教育用ソフトウエアの一つの形態としての統合的数学教育環境を提供 するソフトウエアに注目し，その可能性を検討する．大学の数学教育においては， Math- ematica や Maple などの数式処理ソフトウエアを中心にして，数学教育用ソフトウエア の使用が工学部や理学部等で徐々に増加しつつある．それに対して，中学校高等学校 の数学教育では，様々な数学教育用ソフトウエアが開発され，試行的な実践が数多くな ...
8
複数個の1変数多項式に対する部分終結式行列の構成に向けて (数式処理研究の新たな発展)
... 終結式行列，もしくはそれに類似する行列で，次元がより小さな行列を用いることができれば，入力多項式 の GCD の次数を見積もるための rank の計算もより効率的に行えるようになることが期待される． 本稿では，3 個以上の入力多項式のある例題に対し，筆者が知る範囲において，部分終結式行列と同等な 行列として，既知のものよりも次元がより小さな行列で， GCD の次数の見積もりが可能な行列を構成し， ...
9
残差最小性に基づくKrylov部分空間解法に対する可変的前処理 (微分方程式の離散化手法と数値計算アルゴリズム)
... 法, 内部反復に SOR 法を用いたとき , 従来の不完全 $\mathrm{L}\mathrm{U}$ 分解 (Incomplete $\mathrm{L}\mathrm{U}$ factorization, ILU)[6] による前処理よりも有効であることが報告されてぃる [1]. さらに, 方程式 $Az=v_{k}$ を解く際, 様々な反復解法を適用したときの効果の違いにつぃても報告がある . すなゎち , SOR ...
11
アカマツ, リュウキュウマツに対する低温処理効果(予報)
... 別言語のタイトル Preliminary Report on the Effect of Vernalisation on the Seedlings of Pinus densiflora and Pinus luchuensis. URL http://hdl.handle.net/10232/2094.[r] ...
4
UML パッケージ図に対するグラフ文法(計算機科学とアルゴリズムの数理的基礎とその応用)
... 大規模なシステムを対象にパッケ ー $\backslash \nearrow^{\backslash }\backslash \backslash$ 図を描画す ることを考慮した場合，扱う図式の規模が大きくな り，図式の視認性に問題が生じることが考えられる． そのため，図式の情報の要約・隠蔽処理が必要であ ...
4
メモリ階層構造を考慮した大規模グラフ処理の高速化
... 9th DIMACS の参照実装 MLB は同時実行時の性能低下が大きく, 並列実行の効果が得られにくい. 全米道路ネットワークに対する singlepathSSSP 交差点を 点 , 交差点間の道路を 枝 で表現 点数 n = 23.95M 枝数 m = 58.33M 2-way Xeon X5460 3.16GHz (4 cores × 2) における SSSP あたりの実行時間 [ms] ...
23
グラフ電卓上の数式処理システムの数学教育への活用について(数式処理における理論と応用の研究)
... Abstract 中学校や高等学校の数学教育における数式処理システムの活用について、 近年、 実践研究が進められている。 しかし、 生徒め 「計算能力の向上」 を妨げるとし て、その利用を反対する意見も少なくない。今回の発表では、グラフ電卓の数式処理機 能と統計処理機能の連携という観点から、 数学教育に有効な数式処理システムについ ...
5
データグラフ ( 外部記憶 ) 主記憶 S 1 S 2 読み込んだ部分グラフ 部分解を格納 解と成り得る 部分解 集合 A さん C さん c 近況 Bさん u 動画 u s D さん E さん s c 写真 u c s (b) 出力 完全解集合 (a) Facebook 3: データグラフ ( 外
... 3. 提 案 手 法 本研究のアルゴリズムでは，サイズが大きく全体を主記憶上 で処理できないグラフデータに対応した，部分グラフ同型問題 を解くためのアルゴリズムを提案する．提案アルゴリズムでは， ファイルとして外部記憶に格納されたグラフデータを一部ずつ 主記憶に読み込み，解を発見するための処理を行う．提案アル ...
8
グラフ探索アルゴリズムの形式的検証とモデル検査への応用について (プログラム変換と記号・数式処理)
... 適化アルゴリズムが提案されている。 これらの最適化アルゴリズムは高度な工夫や複雑な前提条件 のためにその正当性が必ずしも自明ではなく、 形式的検証の対象として相応しいと言える。証明検 証系による形式的検証の効果を最大限に発揮するには、 問題領域の適切な抽象化が不可欠である。 本講演では、 グラフ探索アルゴリズムのあるクラスの抽象化と実際の検証、 最適化アルゴリズムの ...
13
Risa/Asirによる曲線と関数グラフの描画 (数式処理とその周辺分野の研究)
... などを用いるように指定する $( 詳しくはャ j ュアル } [O2, os_{\sim}$ muldif. $pdf] を参照)$ . サイズの小さな良質の PDF ファイルが，短い時間で作成できる．また，この指定では複雑な画像でも処理が可能． 描画のカラー化やパターンでの指定領域の塗りつぶしなどは， $\backslash usepackage\{TikZ\}$ などと指定して TikZ を用いることで対応できる ...
12
階層グラフ書換え言語LMNtal処理系における非同期実行の実現
... LMNtal では，ルールを膜に入れることができる． この機能によって，計算の局所化を実現している． ルールがグローバルではないので，本処理系では ルールの適用処理をルールが所属する膜毎に行うこ とにした．この処理を行うため，各タスクは実行膜 スタックを持っている．実行膜スタックには，その タスクが管理する膜のうち，適用可能なルールが存 ...
9
ラベル選択付最小連結全域部分グラフ問題と化学構造式OCRへの応用 (アルゴリズムと計算理論の新展開)
... 一部の辺の処理を後回しにし， tree-width が 2 以下の部分グラフに対してアルゴリズムを適 応すれば，化学構造式 OCR への応用には十分であると考える．医薬品及び医薬品候補化合 物に限定すれば，それらグラフ表現の tree-width は十分に小さいことが知られている．表 1 に， ChEMBL[6] に登録されている 635,933 個の医薬品及び医薬品候補化合物の ...
7
ポリグラフ検査に対する正しい理解の促進に向けて
... た割合 （感度） と犯罪事実を記憶していない場合にそれを正しく判定できた割合 （特異度） を算出し ている。その結果、感度は 87.8%、特異度は 64.8% であったという。この報告に対して、小川・松 田・常岡 （2013） は、横井他 （2001） では記憶の有無が不明と判定した事例を記憶無しとして処理し ていること、判断の根拠となった生理的変化のデータが示されていないこと、新たに導入された生 ...
12
部分グラフ 与えられたグラフの一部分からなるグラフ 与えられたグラフ 経路 ( パス ) や全域木などは部分グラフ 部分グラフの例 部分グラフ列挙 与えられた条件を満たす部分グラフをすべて求める 例 : から までの 同じ頂点を通らない経路は? - 経路 (- パス ) 全域木 5 6 部分グラフ列
... 書籍の著者 湊 真一 先生，斎藤 寿樹 先生，安田 宜仁さん，井上 武 さん， 羽室 行信 先生，前川 浩基 さん，丸橋 弘明 さん，堀山 貴史 先生，その他の著者の皆様， JST ERATO 湊離散構造処理系プロジェクトメンバーの皆様に感謝いたします。 今日の内容 ...
18
森および連結全域部分グラフの乱択近似数え上げ (理論計算機科学の新展開)
... は $H$ に対して $A$ の辺を縮約してできるグラフであ り， $H_{A}$ でも $X\backslash Y$ と $Y\backslash X$ は排反な森である．実 際に $X\cup A$ と $Y\cup A$ が共に森であるような任意の $A\subset E\backslash (X\cup Y)$ に対して $f_{XY}^{A}$ を定義する際は，ま ...
4
単位円交差グラフの線形構造を持つ部分クラスについて (アルゴリズムと計算理論の新展開)
... 直径 1 の ( 閉じた ) 円に対応し，二つの円が重なりを 持つ場合のみ，対応する 2 頂点間に辺を持つグラフ のことである．連結な単位円グラフ全体からなる集 合を UDG で表す．あるグラフが単位区間グラフと は，各頂点が長さ 1 の閉区間に対応し，二つの区間が ...
4
JAIST Repository: 幾何的特徴をもつグラフ構造に対する効率のよいアルゴリズムの研究と開発
... ２．研究の目的 本研究の目的は「幾何的な構造をもつグラ フに対象を絞り，従来は手におえないとされ てきた問題を実用的な時間で解くアルゴリ ズムを開発すること」であった．さらに言え ばこれまでアドホックにしか扱えなかった 幾何的な構造をもつ対象を，一般的なグラフ としてモデル化し，計算機で容易に扱えるよ うにすることが長期的な目標である．上記の 背景に即していえば、グラフ理論における確 ...
6
一般部分計算法(GPC)によるプログラム自動生成 (プログラム変換と記号・数式処理)
... [8] 二村良彦 ,Song Litong, 小西善二郎 : 一般部分計 算 (GPC) における制御構造と停止条件, 日本ソフ トウ $:\mathrm{r}7$ 科学会大会論文集 D5-1,1998 年 9 月 . $[9]\mathrm{F}\mathrm{u}\iota \mathrm{a}\mathrm{m}\mathrm{u}\mathrm{r}\mathrm{a}$ , Y.: Partial ...
6