適用事例のまと
先進的な設計 検証技術の適用事例報告書 2015 年度版 2015 年 11 月
... 本書には、ソフトウェアの信頼性確保を実現するために「先進的な技術・手法」に着目 し、それらを実際に実践した成功事例（ベストプラクティス）を収集・取りまとめて掲載 している。製造業や流通業、商社、情報通信業など多岐にわたる業種・分野の事例を 34 件 収録しており、様々な業種・分野において実践できる内容となっている。また、効果測定 ...
6
実験レポート課題へのルーブリック適用事例 : 理工系科目とルーブリックの関係性について
... 2 実践を行う理由 本講義は、筆者が 2017 年度より本学情報理工学部情報システム学科から情報コミュニケー ション学科に転属になると同時に担当することになった科目である。具体的な内容は、前任の教 員が作成したものを踏襲している。2017 年度に初めて本講義を担当し、レポートの採点を行っ たところ、文章的誤りから技術的誤りまでを多く含んだレポートが続出し、採点に苦労した。ま た、15 ...
9
JAIST Repository: NEDO知財マネジメント基本方針適用事例についての報告
... プロジェクトＸは、ＮＥＤＯで行ってきた基礎研究プロジェクトの成果を実用化に繋げるための後継 プロジェクトである。基礎研究プロジェクトは、ＮＥＤＯ知財方針の適用前であったが、産官学の英知 を結集しプロジェクトの拠点機関に集まり新技術を開発する特性から、知的財産等の取り扱いを定める ...
5
先進的な設計 検証技術の適用事例報告書 2105 年度版 PART Ⅱ 設計事例 SEC-2015-A A-9 ソニーの電子お薬手帳システム harmo に適用した セキュリティ設計分析手法 1 1. 概要 本編では ソフトウェアの仕様 設計に対するセキュリティ分析技術 ( セキュリ
... 4.2.1 の分解パターンとの違いは「できる」という語尾にある。攻撃者の視 点において「できる」と表現しているのであるから、この命題が TRUE になるときは攻撃が 成功している、つまり被害が発生しているという状況を表す命題となっている。 攻撃者にとっては、情報が存在し得るすべての場所のどこか一か所だけでも、情報を READ ...
21
目次 取組み概要 取組みの背景 取組みの成果物 適用事例の特徴 適用分析の特徴 適用事例の分析結果から見えたこと JISAによる調査結果 どうやって 実践のヒント をみつけるか 書籍発行について紹介 今後に向けて 2
... 取組みの成果物 ①IPAでは、ソフトウェアの信頼性確保を実現するための 「先進的な技術・手法」 に着目して、それらを実践した成功事例（ベストプラクティス）を 収集・取りまとめ、IPA SECのWebサイトに公開 ...
31
JAIST Repository: スラリーアイス生成技術の開発プロセスと地域活性化への適用事例
... る。 の対策として 国の 方でなされているような 発的な観 イベントの り しで は 的な人 増はあるものの定 には らない。第 産業における 業者増に なが るような 本的な り みがまたれている。本報では 科大学 域連 機構の 本 らが 心となって開発したスラ ーアイス 成技術の開発プロ スと ...
6
車体フレームの軽量化に向けた要素技術と適用事例 (広瀬智史)（3.5 MB）
... 両で採用されている。ただし，衝突によりセンターピラー の中央域でモーメントの発生，成長が速く，中央域で折れ が生じるモーメント（以降，崩壊モーメント（ collapse mo- ment ）と略称）に最初に到達し折れ曲がり易い。したがっ て，下部で折るためには，中央域では崩壊モーメントを高 め，逆に下部では崩壊モーメントを低くさせる構造，また は材料配置が必要となる。ただし，部材の形状や材料によ ...
8
画像処理回路のASIC実装へ向けたHDL Coder適用事例
... 顧客の最終画像評価をアルゴリズムへフィードバックできない。 アルゴリズムから動画評価までの開発期間が非常に長い。 (数ヶ月) チューニング or 特定条件へのパッチ当て による改善が精一杯。 画像コア開発の課題 ...
30
＜論説＞日本の農産品を保護するための貿易救済措置の適用事例と今後の課題
... に「加盟国の領域内で活動する同種 の若しくは直接に競合する産品の生産者の全体又はこれらの生産者のうち当該 産品の生産高の合計が当該産品の国内総生産高の相当な部分を占めている生産 者をいう」としている。以下、当該要件の充足度と問題点を検討する。 ...
25
いじめられ登校拒否傾向に陥った女子中学生への感情表出トレーニング適用事例の検討
... れた感情を有 していた こと,② 自我葛藤の中で周囲に対 し常 に偽 りの仮面 をかぶ り,本当 の自分の感情を押 し殺す とい う偽 ( 仮性)適応を していたこと,③ トレーナーに対 して も, あるがままの自分 をさ らけ出せないでいた こと, を示唆 している｡それに対 し, トレーナー が岸田 ( 1 9 7 6 ) の提唱す る受容 ･共感を前提 とした ｢[r] ...
17
先進的な設計 検証技術の適用事例報告書 2013 年度版 2014 年 5 月
... 解しにくい事項が含まれているかもしれないが、逆に今まで接してこなかった情報として の新鮮味があると考えている。また、その底流に存在するソフトウェア開発手法は、必ず しもその業界特有の課題を対象としたものではなく、あらゆる分野に共通する課題を対象 にしていると考える。従って、異分野であっても、その開発手法の本質は、大いに参考に ...
21
目次 ペトリネットの概要 適用事例
... て報告しています。 2. イベントは半導体製造装置から報告され、各部位毎に状態モデルを用意して お客様システムに報告しています。 3. 状態モデル内の遷移は 半導体製造装置で発生したイベント 以外にも 状態モ ...
31
遺族年金における生計維持要件の養子及び孫への適用事例
... A の死亡当時、B とも生計を同 一にしていた。B は健在で、3 年前に退職した後の年間所得は 130 万円程度で あったものの、自宅土地建物を所有し、株式、預貯金を併せて 3,000 万円程の 資産を有するなどしていた。また亡 A は、年額 125 万円程度の年金収入以外 に収入がなく、亡 A 名義の普通預金口座から、X ...
12
先進的な設計 検証技術の適用事例報告書 2016 年度版 SEC ドメインスペシフィックモデリング (DSM) 言語によるシステムモデリング事例 1 1. はじめに Domain-Specific Modeling Enables Full Code Generation 本末転倒
... 図 63-4 Sample of UI specification using domain concepts like panel, navigation path, menu, display Polar 社の DSM 言語は実用性で評価された。研究・調査段階では、6 人のエンジニアがスポーツ コンピュータの代表的な機能を個々に開発して、平均 ...
16
OKIのAl技術と適用事例
... それら の判定結果を総合的に監視する統合AIの二段構成として 誤検知によるアラートの数を削減している。また未知の攻 撃やシステムが出力した誤検知をフィードバックして再学 習することで検知精度を向上させている。これにより、 サー ビス品質を落とすことなくオペレーターの負担を軽減する ...
4
本日の内容 つながる世界のイメージと適用事例 つながる世界の課題認識とリスク事例 つながる世界の安全安心に向けた取組みと利用時の品質の概説 つながる世界の開発指針の展開 2
... 障害事例：利用時の品質を考慮しない大変なことに！ 【事例】 複合機のパスワード設定が分かりにくいので、初期値のままで使っていたら 複合機内部に蓄積されていたデータが外部から参照可能に！ コピーなんてこのままで も問題ないんじゃない？ ...
26
言語変化のS字カーブ : 解析手法の比較とその適用事例
... Altmann学派のモデルはもともと言語変化 のダイナミズムを発想の基本においているの で、単なる手法の適用だけでなく言語変化の 解釈の一部としてモデルを組み込むことがで きるという点で、言語学との親和性が高い。 ロジスティック回帰分析は医学、心理学、生 物学などの分野で分析ツールとして広く用い ...
12
JAIST Repository: 英国の科学的助言に基づく政策決定 : 新型コロナ対応における数理モデルの適用を事例に
... デルの限界や特性をふまえて政策判断していくことに難しさが存在することは否めない。COVID-19 の 数理モデルでは特に感染メカニズムも理解が不十分であり、疫学的な情報は不完全にしか利用するこ とができていない。ロックダウン導入は多大な経済的なダメージを受けること、更に COVID-19 拡大 の中で、英政権にとって現在の最優先事項である Brexit ...
5
非合法薬物使用を経験したADHD思春期男子の事例における一考察 : Multidimensional Family Therapy適用の試み
... Th の気持ちを伝えてみると，妙に神妙な表情を示した。そのようなことを大人から 言われたことがないというのである。その喧嘩の件について Th が母親に確かめると「ああ， 教員が悪いんだ。公平に扱わないから A が悪者にされた。」と A と全く同じような見方，価 値観を持ってしまっていることがわかった。そこで Th は今度は A の学校の担任教諭とコン ...
16
Microsoft Word - 【長国１】_難波_相続税納税猶予の適用を受けた農地所有者との交渉事例
... (3) Ａ氏の主張（第２回～） Ａ氏に対し、税務署で確認した内容を説明したと ころ、以下のような主張を繰り返すだけであった。 「国から補償金が支払われる前に税務署に支払う 金はどうするのか。金融機関から金を借りたことが ないので、借り方もわからない。」、 「そのような煩わ しいことをするくらいなら、このまま耕作を続けて いたい。 」、 「１０年後に納税猶予が満了し、納税が免 ...
5