新計算機システム導入
SHシステムと拡張オートマトン (計算機科学基礎理論の新展開)
... $\mathrm{S}\mathrm{H}$ システムで生或される言語は , ある特別な性質を有する正規言語 てある. 本稿ては , $\mathrm{S}\mathrm{H}$ システムと等価な言語生或能力を有する Word 上のオートマトンを提示し , その等価性を示す , また , $\mathrm{S}\mathrm{H}$ システムて生或される言語の包含関係及ひ等価性の問題が , ...
8
教育用計算機システム使用の手引き 2017年度版
... 質問や問い合わせ 教育用計算機システムは，情報科学類計算機運用委員会が方針を決め，運用・管理していま す．また，有志の学生らによる学生管理者（coins-admin）も保守・運用に貢献しています． 運用・管理上の方針などについて質問があるときは，計算機運用委員会の教員に問い合わせ ...
261
量子計算機シミュレーションシステム (新しいパラダイムとしてのアルゴリズム工学)
... $2^{4}\cross(2+\alpha)\cross 2^{25}<2^{31}$ また $32\mathrm{b}\mathrm{i}\mathrm{t}$ 計算機上で実行するとメモリのアドレ ス空間を $2^{32}\mathrm{B}=4\mathrm{G}\mathrm{B}$ までしか認識できない. よっ て CPU の性能による使用可能メモリ最大数は $4\mathrm{G}\mathrm{B}$ ...
10
教育用計算機システム使用の手引き 2015年度版
... MATLAB とは MathWorks 社が開発している数値解析ソフトウェアです．C や C++，Java と いったプログラミング言語では実装が困難な行列計算やベクトル演算，グラフ化等を簡単に行うこ とができ，数値計算やネットワーク 4 から，制御工学や電気工学といった分野にも非常に有用な機 能を多数備えています．また，MATLAB Engine というライブラリを導入して，C ...
254
社会システムとしてのビジネス・ゲームの導入（市川 新）
... 演練ということは，（中略）お金はどっちみち銀行の預金になる，それが公債に化けてお金 は日本銀行に還流します．（中略）実験室式にパイプとタンクとポンプを使って金の流通の代 わりに黄色い水を流してみて，どこの流通がよくないとか，又，どこに淀みが出来たかを眺 め公債の代りに緑色の水を用いてその経路になぞらへ交互の運行を見定めそれを調整するに はどういう工夫をすればよいかといふことを実際に試探してみたらよかろうと思ふのです． ...
13
分散計算機環境における ジョブ実行支援システムに関する研究
... • 稲葉真純, 藤生英昭, 北向亮治, 早勢欣和, 菊池崇志, 川田重夫 : 分散型問題解決環境“D-NCAS”の開発, 計算 工学会講演会論文集 第9巻 第2号, pp.689-692, 2004 • 藤生英昭, 稲葉真純, 北向亮治, 早勢欣和, 宇佐見仁英, 菊池崇志, 川田重夫 : 分散コンピュータ環境におけるジョ ブ実行支援PSEの構築, 計算工学会講演会論文集 第9巻 第2号, ...
27
教育用計算機システム使用の手引き 2012 年度版
... 各ファイル・ディレクトリには，ファイルのアクセス権を設定するための「パーミッショ ン (permission) 」というものが付けられています．パーミッションについては，「 ls コマ ンド」 「 chmod コマンド」の所でもう少し詳しく述べます．ファイルのパーミッションの 設定には気をつけてください．設定を間違えると，自分のメールを他人に読まれたり，大 ...
233
サイバーメディアセンター 大規模計算機システムの利用
... 利用申請方法 大規模計算機システムの利用申請は 随時受け付け中 です！ 申請は年度単位(4月から翌年3月まで)です 申請はWEBフォームから受け付けています 詳細は下記のページをご覧ください！ ...
58
Domosiの問題について(半群・形式言語と計算機システム)
... さらに $\mathrm{J}$ .Selfri. dge によると , いままでの数論のどんな手法をつかっても , この問題 は解決できまいと . そこで, 今度は C.Caldwell さんにかれの考えを求めたところ, 早 速 , インターネッ トを通して , 検索された. 200 までの計算として結果 , $?_{\angle}.95$ が怪しい ...
7
再帰型をもつオブジェクト指向計算モデルにおける例外処理の型付 (計算機科学基礎理論の新展開)
... て健全であることを証明する. この型システムにより , $\mathrm{O}\mathrm{b}_{1<:\mu}$ のプログラムの各部分で発生する例外の 型を静的に検査できる . キーワード object calculus, オブジエクト指向言語 , 例外処理, 型システム 1 はじめに オブジェクト指向計算を形式化した object calcu- lus [1] には , ...
6
線形符号の延長定理について (言語,代数系および計算機システム)
... Hirschfeld, Projective Geometries over Finite Fields, Clarendon Press, Ox-. ford, 1979[r] ...
4
線形符号の復号法について (言語,代数系および計算機システム)
... のなかで示した (Feng-Rao 復号法は BCH 符号の復号 における Berlekamp-Massey 復号法を含む–般化である》ことを検証する. BCH 符号における Vandermonde 行列を用いた Feng-Rao 復号法について , 成分 $\langle$ $\mathrm{e},\mathrm{b}_{\delta-1})$ を推定する 過程は, Berlekamp-Massey ...
11
間接結合ルールによるデータマイニング (計算機科学基礎理論の新展開)
... れる概念を導入した。 一般に、 品目集合 $Z\subseteq I$ の サポートとは、 $Z$ を含むトランザクションのデータ ベースでの割合、すなわち、出現頻度のことであり、 $\sup(Z)$ で表す。結合ルール $X\Rightarrow \mathrm{Y}$ のサポートは、 ...
6
可逆的・保存的なセル・オートマンの計算能力 (言語,代数系および計算機システム)
... $\mathrm{R}\mathrm{e}\mathrm{a}\mathrm{d}\mathrm{i}\mathrm{F}\mathrm{e}\mathrm{y}\mathrm{n}\mathrm{m}\mathrm{a}\mathrm{n}\mathrm{g},$ $\mathrm{a}\mathrm{S}\mathrm{n}_{\mathrm{M}}\mathrm{R}\mathrm{P}\mathrm{s}$ ” ’ ...
12
ネットワーク機器およびメール・計算機ユーザの登録・管理システム構築
... ２．２． RIAMネットワークの運用ポリシー MACアドレス登録制導入後のRIAMネットワークの運用ポリシーにおいて、所内LANに接続するネットワーク機器に付 与される IPアドレスは４種類に分類される。表１に、各種IPアドレスの種類とそれに対応するFireWall設定と機器の代表 的な用途・特徴を示す。この内、「グローバル＋固定ローカル」、「固定ローカル」、「 DHCPによる自動割当（MAC ...
5
交差数の数値計算と応用(力学系の研究 : トポロジーと計算機による新展開)
... が , 本研究では Aberth の方法を改良することを試みる Aberth の方法を採用する理由 は, アルゴリズムが比較的シンプルであるから , 特に導関数や行列式を求める必要がな く , $B$ の境界 $\partial B$ 上の $f$ の符号だけを求めればよいからである. 本研究ではさらにいく つかの工夫を加えることにより , 次元の大きい問題に対しても実用的な計算時間で写像度 ...
10
ユーザの嗜好に合わせた楽曲再生時間調整システム (理論計算機科学の新展開)
... る．試作システムでは上記の一般的な楽曲の区切 り方を適用している． 次に，優先度から時間を調整する方法を紹介す る．前述したアルゴリズムによって，求めた優先度 を順位付けする．順位付けしたデータを 3 等分し， ...
4
類推機能をもった対話型シークェント計算証明システムの開発 (計算機科学基礎理論の新展開)
... 直観的に証明過程を理解することのできる , 古典論理 の体系である $\mathrm{L}\mathrm{K}$ シークエント計算の自動化を行った . $\mathrm{L}\mathrm{K}$ シークエント計算には用いる規則が多数あり , 規 則の適用の仕方が複雑になるため証明の自動化が 困難 ...
5
計算機システム概論
... PC/AT互換機では，MBRは512バイト分（ディスクの1セクタ） 0～445バイトにブートローダのプログラム 446～509バイトにパーティション情報 510, 511バイトに固定シグネチャ（0x55, 0xAA） MBRが壊れると，ディスクが読めなくなる ...
26
海洋科学研究用電子計算機システム
... 3.5 LoadLeveler 並列計算サーバに導入されているLoad Leveler v4.1は、単一あるいは複数のマシンに投入された ジョブのスケジューリングと管理を行います。投入されたジョブを受け取り、ジョブを実行するため の用件を確認し、そのシステムがジョブの実行に最適かを決定しジョブの実行とチェックポイントの サポートに十分なリソースを持ったシステムで実行します。 ...
19