Top PDF 汎用計算機代数システム

数学と計算機科学の相互作用：計算代数とHaskellにおける安全性と拡張性

... 各テーマの内容および著者による研究成果は以下の通りである。 1) の研究テーマでは、純粋関数型言語における「副作用」を伴う機能の合成を取り上げている。一般の手続き型プログラム言語が、入力されたデータを操作する命令の列を主体にしてプログラムを組むのに対し、関数型プログラミング言語では、入力されたデータに対し、関数の適用を組み合わせることによってプ ...

4

工学部教育用計算機システムの更新について-香川大学学術情報リポジトリ

... これまで工学部教育用電子計算機システム（旧 システム）は， 10 台の物理サーバと 50 台の教室用クライアント PC で構成されていた．昨年度の更新では，リソースの有効活用，教室用クライアント PC のメンテナンスにかかる工数の削減を目的に，サーバ，クライアント共に仮想化技術を用いることで，上記で述べたリソースの余剰に関する ...

2

東京大学宇宙線研究所宇宙線研究所電子計算機システム利用の手引版

... ファイルシステム名容量（TB）備考 /ashra/data1 59TB データの再構築が終了するまでは利用できません。 /ta/data 58 TB データの再構築が終了するまでは利用できません。 /tibet/data_new 12 TB ※データの再構築後に二重化 /tibet/work_new 15 TB ※データの再構築後に二重化 ...

26

ネットワーク機器およびメール・計算機ユーザの登録・管理システム構築

... いるメール／ Web／外部 DNS サーバ上で稼動している。但し、後述の DHCP サーバ・内部 DNS サーバ設定を変更するためのスクリプトは、 DHCP／内部 DNS サーバ上で動作する。Web サーバソフトとして Apache、データベースシステムとして MySQL を使用している。本システムは主に研究室単位での利用を想定している。研究室内でネットワーク機器の責 ...

5

計算機システムの環境整備へのパーソナルコンピュータの応用-香川大学学術情報リポジトリ

... また，このようなソフトウエアは，ホスト側(というよりはノミソコンに対する相手側〉が，ワンボード・マイクロプロセッサシステム等の場合にも，そのソフトウエア開発において非常に威力を発揮することが確認されている ACTIVE の総ての機能についての使用法については， rACTIVE (計算機システムの環境整備のためのターミナル・ソフトウエア〉の使用法」として，別の[r] ...

16

具体的な取組図表 5-2 基本方針 2 具体的な取組及び情報化事業一覧情報化事業 ( : 継続事業 ) 掲載頁総合計画施策番号基幹系システムの最適化汎用電子計算機等開発管理運用滞納整理システムの更新収納課インターネット公売収納課

... 事業の概要平成１６年度に本格導入した「事務事業評価」、平成１９年度に試行導入した「施策評価」の改良を行うとともに、行政評価を「第五次富士市総合計画」の進行管理、予算・決算、監査などに活用していく。事業の最終目標総合計画、予算・決算等のマネジメントシステムに組み込まれ、有効に ...

18

教育用計算機システム使用の手引き　2015年度版

... 5.6 ホームディレクトリの利用 5.6.1 ホームディレクトリへのアクセス方法 COINS では iMac で使用する自分のディレクトリ（ホームディレクトリ）に，Windows からアクセスすることができます．これにあたって COINS の Windows マシンでは，5.7.2 項で説明したドライブの 1 つである H ドライブに，このディレクトリを仮想的なドライブ（ネットワークドラ ...

254

電子計算機のユーザインターフェイス

... 第５−２図 W I M P 部品に関する流れ３． W eb デザインと W eb ブラウザこの分野の特許や研究は、インターネットユーザの急拡大に伴う投資の増加により 1996 年以降徐々に増加している。特許の傾向としては、1995 年頃まではマルチメディアコンテンツを表示する技術やコンテンツサーバデータへのアクセス制御システムに関する技術など、ブラウザや W W ...

38

統合汎用スーパーコンピュータシステムの設計状況と施設整備状況

... 計算ノード及びノード間ネットワーク障害ノード，及び障害リンクの検出と迂回ルートへの自動切り替え機能障害発生時にも 3次元トーラスのプログラムビューを維持し運用継続ストレージ・システム ...

35

仮想デスクトップ基盤が実現する低いコストと高い柔軟性を両立させた教育用電子計算機システム

... • Core数の多いCPUを選択 – 仮想計算機をスムーズに動作させるためCPU数，コア数は多い方が良い – 本システム： 6core Xeon X5670 2.93GHz 2個 /台 – 負荷の高い回路合成ソフトが旧システムと同等 ...

55

において特定電子計算機が客体としておかれている特定電子計算機については法 2 条 1 項の中で電気通信回線に接続している電子計算機とされている電気通信回線とはインターネット等のネットワーク回線であり電子計算機はコンピュータをいうしたがって特定電子計算機はネットワーク回線に

... ウ. この点、先述の法 3 条の趣旨から、不正アクセス罪の保護法益は、特定電子計算機に対する管理権者の管理権といえる。インターネットに接続しているコンピュータは、多種多様にあり、「特定電子計算機」は、サーバーに代表するような典型的なコンピュータシステムに限られていない。そ ...

15

汎用的生産技術革新と新たな経済システム

... 同様の結果を生むためには，新たな法人税あるいは資本所得課税制度を設ける方法もありえるが，人間の労働を代替する資本設備投資を有効に機能させるためにベーシックインカムのシステムが存在するこという理由を恒久的に示し続けるという意味で，株式方式の方が優れている．ベーシックインカムの存在理由がどこにあるのかを制度そのものから明らかに理解できるようになってい ...

22

21 経済産業省汎用電子申請システム【eGov関連】

... 間運用経費算出考え方 e Gov連携システム た e Gov分経費当省汎用付システム あ汎用電子申請システム 付必要部分係経費を費用し計上すす汎用電子申請システム 経費うち部審査係部分経費を除き整備経費及び運用経費そ部分を除いた割合％算出す ...

61

計算機概論

...  パーティション（あるいはドライブ）を複数用意して、OS用のひとつのパーティション以外をアプリケーション等に割り当てるのが望ましい。  計算機にマルチOSをインストールする際、HDのパーティションが必 ...

16

サイバーメディアセンター大規模計算機システムの利用

... 「OCTOPUS」ポイントとは「OCTOPUS」への申請で全てのノードを自由に使用可能とすることを目的に導入された制度です。汎用CPU ノード GPU ノード Xeon Phi ノード大容量主記憶搭載ノード ...

58

海洋科学研究用電子計算機システム

... 3.5 LoadLeveler 並列計算サーバに導入されているLoad Leveler v4.1は、単一あるいは複数のマシンに投入されたジョブのスケジューリングと管理を行います。投入されたジョブを受け取り、ジョブを実行するための用件を確認し、そのシステムがジョブの実行に最適かを決定しジョブの実行とチェックポイントのサポートに十分なリソースを持ったシステムで実行します。 ...

19

2007年度計算機システム演習第3回

... MPI_Type_vector(count, blocklen, stride, oldtype, &newtype) 等間隔で飛び飛びとなるデータ領域を表す派生データ型を作る。 count: ブロックの個数 blocklen: 一ブロックの要素数 stride: ブロック間の幅 oldtype: 元となるデータ型 newtype: 新たにつくられる派生デー[r] ...

24

計算機システム概論システム構成技術 2011/5/11 門林雄基

... データベースの作成・接続  データベースの作成 $createdb dbname  データベースへの接続 $psql –d dbname ※ dbname は自由に決めてよい。既に computersystem という DB が用意してあるのでこれを利用しても可。 36.. サンプルコード (3)[r] ...

49

教育用計算機システム使用の手引き　2017年度版

... 計算機室の利用について情報科学類生が使える計算機室は，3C113，3C205，3C206 の 3 部屋があります．各部屋の入り口は，オートロック式になっています．入室の際には，ロックを解除するために入り口のカードリーダに学生証をかざす必要があります．非接触式の Felica 規格の IC カードなので，財布などに入れたままかざすことができますが，Suica，Pasmo ...

261

サイバーメディアセンター大規模計算機システムの利用

... リソース、環境設定の指定 NQSIIオプション(以下)でリソースや環境の設定を行うオプション説明 #PBS -q ジョブクラスを指定し、計算に使用する計算機やリソースを指定する使用する資源値 ...

56

汎用計算機代数システム

関連した話題