端末・ソフトウェア技術
（事業団端末機（マッキントッシュ）に必要なソフトウェア調達）
... ・ブラウザのバージョンアップにより表示が崩れた場合は機構の指示に より改修すること。 ・ Flash Player を必要とするコンテンツはサポート終了 2020 年末まで にすべて HTML5 またはその他の標準技術を使ったコンテンツへ置き換 える。 ...
6
科学技術計算におけるソフトウェア自動チューニング:0.編集にあたって
... 情報処理 Vol.50 No.6 June 2009 477 GPU （ Graphics Processing Unit ）， Cell ，および 1 ソケ ット上に複数 CPU を搭載したマルチコア型の計算機が 浸透している．このように多様化・複雑化された計算機 環境のもとで，アルゴリズム再構築を含むプログラムの 性能チューニングが問題となっている．たとえば，コア へのプロセス割り当て方式や，深く階層化されたキャッ ...
2
分子シミュレーション結果を観察するVRソフトウェア技術の紹介
... これらのソフトウェアでは，分子構造ファイルと して PDB 等を読み込むことができ，XTC 等のトラ ジェクトリデータの再生もできる．また，様々な可 視化表現手法が実装されている．さらに， MolCollabo や Nanome では，ネットワーク通信を介し，複数人 で同じ表示内容の共有観察などの機能が実装されて いる．なお， UnityMol は，NAMD と VMD 間での通 信を規定する IMD ...
4
政府情報システムにおいてサービス提供の 対象とすべき端末環境及び Web ブラウザの 選定に関する技術レポート 2019 年 ( 平成 31 年 )3 月 28 日 内閣官房情報通信技術 (IT) 総合戦略室 標準ガイドライン群 ID 1013 キーワード ト ブラウザ IC カード ソフトウェア
... ３ システム調達時の留意点 一般の利用者の端末環境は政府情報システムと比べて更新サイクルが早く、 定期的にＯＳの大規模バージョンアップが行われます。頻繁な環境の変化に対 応するため、システムの調達段階から計画的に対応する必要があります。 ３.１ 環境の変化を前提とした保守計画の策定 ...
10
IT好き放題：法律の作成にソフトウェア開発技術を
... 法文は複雑な入れ子や込み入った場合分けなどによ り表層の構造は大変複雑ですが，その内容は思ったよ り単純で論理的深度が浅く，自動定理証明技術が利 用可能であると感じています．法文の論理式への自動 変換はまだちょっと難しそうですが，新規の法令の作 成では，まず論理式表現を作り，その後，法文の生 成をすることも考えられます． ...
1
ソフトウェアストレージStoreVirtual VSAを試すための技術資料
... StoreVirtual CMCのネットワーク接続 CMC(集中管理コンソール)は各VSAをアクセスできるiSCSIネットワーク上の物理PC/サーバーまたは、ハイパーバイザー上に 構築された(WindowsまたはLinux)仮想マシン上にインストールし、StoreVirtual ストレージの管理をまとめて行います。 また ...
57
ソフトウェアテスト技術（関西テスト設計コンテスト予選基調講演）
... – 技術があまり提案されておらず勘と経験でゴニョゴニョしている領域である – 工程を分割して剥離することで、重要な考慮事項が露わになりやすい • テストケース群（テストスイート）を開発するという考え方をする – ソフトウェアや建築物のような人工物と捉える ...
29
科学技術計算におけるソフトウェア自動チューニング:<ソフトウェア自動チューニング技術の応用>8.並列反復法と自動チューニング-マルチコア時代の並列プログラミングモデル-
... Control を適用すれば，Flat MPI に十分匹敵する性能で ある． First Touch Data Placement，データ再配置等により，.. Hybrid 832，1631 の性能もさらに向上することも明ら かとなった．このことは，数億コア規模を有するエクサ CASE-3：データ再配置.[r] ...
6
科学技術計算におけるソフトウェア自動チューニング:<ソフトウェア自動チューニングを支える基盤>4.ソフトウェア自動チューニング記述のための計算機言語
... なぜ自動チューニング記述言語か？ 本特集でも解説を行っているが，自動チューニング機 能付き数値計算ライブラリが近年多数開発されている． ところが残念なことに，応用ソフトウェアの中には数値 計算ライブラリを利用していないか，利用することがで きない場合がある．理由はさまざまである．独自開発コ ードしか利用できないという組織的制約もある．しかし， ...
5
地上デジタル放送端末制御ソフトウェアの構造に関する考察
... pointcut atPicture_To_MPEG2Timer: callvoid PictureAction.do_it && withinPictureAction; pointcut atSound_To_MPEG2Timer: callvoid SoundAction.do_it && withinSoundAction;... void before:atP[r] ...
2
技術レポート 1)QuiX 端末認証と HP IceWall SSO の連携 2)QuiX 端末認証と XenApp の連携 3)QuiX 端末認証 RADIUS オプションと APRESIA の連携 Ver 1.1 Copyright (C) 2012 Base Technology, Inc.
... ・QuiX 端末認証について QuiX 端末認証は、端末の固有情報を秘密分散法により分割したトークンを端末とサーバそれぞれに 配置します。認証の際は端末に配置したトークンをサーバに送り、サーバで固有情報を復元することで、 端末を特定する仕組みです。このトークンは、認証のたびに更新されるワンタイムトークンとなってい ...
11
システムとソフトウェアの品質：3．システムおよびソフトウェア品質向上のための品質測定技術
... 実装段階からテスト段階では，②外部品質特性の 測定法を用い検証・妥当性確認を行う．実行可能な プロトタイプも含め，システム・ソフトウェアをシ ミュレーションやテスト，または利用の環境で実際 にテスト実行動作をさせて測定を行う．単体テスト， 結合テスト，システムテスト，運用操作テストと段 階的に測定できる．測定結果を目標値・許容範囲と 比較して評価し，品質要求仕様を満たすかを検証し， ...
7
自己紹介 経歴 入社当時は 金融端末のソフトウェア開発に従事 2000 年頃より Linux/OSS のビジネス開発を担当 2012 年より オープンソース技術開発センタセンタ長 現在の業務 OSS を活用するビジネスのための支援 新しい技術 /OSS の発掘 評価検証 ビジネス ソリューションの立
... ■ OSI（※1）が定めるオープンソースの定義 ※1・・Open Source Intiative(オープンソース文化の啓蒙を目的に設立された国際NPO法人） ポイント ・ オープンソース ≠ 著作権を放棄されたソフトウェア ・ ソースコードがインターネット等で公開されている ...
50
ソフトウェア再利用の新しい波-広がりを見せるプロダクトライン型ソフトウェア開発-：0.巻頭言：プロダクトライン開発と再利用技術
... 情報処理 Vol.50 No.4 Apr. 2009 267 巻頭言：プロダクトライン開発と再利用技術 のである． 運用上の問題を考えると，再利用資産を開発する側と 再利用資産を利用する側との活動がうまくかみ合う必要 がある．再利用資産を作る側は，利用する側の情報が必 要であるし開発したものを活用してもらわなければ活動 そのものが成り立たない．再利用資産を使う側は，必要 な再利用資産を適切なタイミングでリリースしてもらわ ...
3
ノーマリーオフコンピューティング：3. 携帯情報端末におけるノーマリーオフコンピューティング -STT-MRAMで実現するノーマリーオフメモリ技術-
... N ormally-Off Computing rmally-Off Computing 3. 携帯情報端末におけるノーマリーオフコンピューティング STT-MRAM で実現するノーマリーオフメモリ技術 にその結果を示す．性能劣化が最小限に抑えられ て，電力が大幅に改善することを示した．この D-MRAM メモリは，動作時以外はメモリセルのリ ーク電力が発生しないので，PG は不要である．よ ...
9
学と産の連携による基盤ソフトウェアの先進的開発:1.高信頼組込みシステムのための先進ソフトウェア技術
... 従来，組込みソフトウェアの多くは規模が小さく，属 人性の高い開発を行っていたが，近年の大規模化，複雑 化の中で，これまでのソフトウェア開発方法論が十分に 機能しなくなりつつある．最新のソフトウェア開発技術 を組込みソフトウェアの開発に投入し，組込みソフト ウェア開発を前進させることが強く求められている． ...
7
自己紹介 経歴 入社当時は 金融端末のソフトウェア開発に従事 2000 年頃より Linux/OSS のビジネス開発を担当 2012 年より オープンソース技術開発センタセンタ長 現在の業務 OSS を活用するビジネスのための支援 新しい技術 /OSS の発掘 評価検証 ビジネス ソリューションの立
... １-５ コミュニティとは？ 「オープンソース・コミュニティ」 – 一般的な「コミュニティ」は、「共同体、集団、地域社会」 – 特定のオープンソース・ソフトウェアの開発や普及活動を行うことを目的と した、人々の集まり ...
49
JAIST Repository: 組込みソフトウェアにおける生産技術の戦略的ロードマッピング
... ２） レイヤ・マトリクスの議論を上位レイヤからのみの一方通行ではなく、焦点となるレイヤから 上位レイヤに向けたプッシュ型の関連性を求めることで、焦点となるレイヤと上位レイヤとの 対等性を維持することができた。 ３） ワークショップでの技術抽出の方法としてブレイン・ストーミングではなくブレイン・ライテ ィングを採用することで、決められた時間の中で、全員が平等に、創造性の高い意見を抽出す ることができた。 ...
6
自動運転システムにおける情報処理技術の最新動向：5. 自動運転ソフトウェア -オープンソースソフトウェアの利活用-
... 458 情報処理 Vol.57 No.5 May 2016 特集 自動運転システムにおける情報処理技術の最新動向 いる．公道で車線のある場所を自動運転する場合に は車線中心線を基本経路としているが，駐車場のよ うなフリースペースが多い場所では A* 探索によっ て目的地までの経路を算出できる．いずれの場合も 基本経路を生成したあとに別途，障害物回避を目的 とした複数経路候補を State Lattice アルゴリズムに ...
4
科学技術計算におけるソフトウェア自動チューニング:<ソフトウェア自動チューニングを支える基盤>3.ソフトウェア自動チューニングの数理
... フィッティングは，自動チューニング以前から長らく 行われている性能評価・性能予測における基本的問題で あり，多くの知見がある．古典的なフィッティングでは モデルと実験データとの乖離（モデル誤差）を最小にする ように未知パラメタを選択するという最適化問題となる が，この最適化問題における目的関数を何に設定するか は意外と難しい．安易に最小二乗法などを用いると，期 待したようなフィッティング結果にならないことがある． ...
7