参考資料配布 PRESS RELEASE 2016 年 12 月 2 日理化学研究所千葉大学神戸大学京都大学富士通株式会社 式が書ければ 京 が使える - 高度なプログラムを自動生成できる新言語 Formura を開発 - 要旨理化学研究所 ( 理研 ) 計算科学研究機構コデザイン推進チームの村主崇

Automatic Generation of Efficient Codes from Mathematical Descriptions of Stencil Computation Takayuki Muranushi 1 Seiya Nishizawa 1 Hirofumi Tomita 1

Automatic Generation of Efficient Codes from Mathematical Descriptions of Stencil Computation Takayuki Muranushi 1 Seiya Nishizawa 1 Hirofumi Tomita 1 Keigo Nitadori 1 Masaki Iwasawa 1 Yutaka Maruyama

ポスト「京」でのコデザイン 活動報告

重点課題 9 でのポスト 京 に対す るコデザイン活動報告 広島大学理学研究科 石川健一 1 目次 1. コデザイン活動 2. ポスト京関連公開情報 3. 重点課題 9 に関するコデザイン活動 2 1. コデザイン活動 RIKEN,R-CCS と FUJITSU によるポスト京計算機開発 コデザイン活動 重点課題からのターゲットアプリケーションの開発とシステムやソフトウェア開発を連携して開発 9 個のターゲットアプリケーション

ニュースリリース 平成 27 年 5 月 1 日 国立大学法人千葉大学 自然科学研究機構国立天文台 スーパーコンピュータによる 宇宙初期から現在に いたる世界最大規模のダークマターシミュレーション 概要 千葉大学 東京経済大学 愛媛大学 東京大学 文教大学による研究グループは 理化学研究所計算科学研

ニュースリリース 平成 27 年 5 月 1 日 国立大学法人千葉大学 自然科学研究機構国立天文台 スーパーコンピュータによる 宇宙初期から現在に いたる世界最大規模のダークマターシミュレーション 概要 千葉大学 東京経済大学 愛媛大学 東京大学 文教大学による研究グループは 理化学研究所計算科学研究機構のスーパーコンピュータ 京 ( けい ) 1 と 国立天文台の アテルイ 2 を用いた世界最大規模の宇宙の構造形成シミュレーションを行い

機械学習により熱電変換性能を最大にするナノ構造の設計を実現

機械学習により熱電変換性能を最大にするナノ構造の設計を実現 ~ 環境発電への貢献に期待 ~ 1. 発表者 : 山脇柾 ( 東京大学大学院工学系研究科機械工学専攻修士課程 2 年生 ) 大西正人 ( 東京大学大学院工学系研究科機械工学専攻特任研究員 ) 鞠生宏 ( 東京大学大学院工学系研究科機械工学専攻特任研究員 ) 塩見淳一郎 ( 東京大学大学院工学系研究科機械工学専攻教授 物質 材料研究機構情報統合型物質

NVIDIA Tesla K20/K20X GPU アクセラレータ アプリケーション パフォーマンス テクニカル ブリーフ

NVIDIA Tesla K20/K20X GPU アクセラレータ アプリケーション パフォーマンス テクニカル ブリーフ K20 GPU2 個に対するスピードアップ NVIDIA は Fermi アーキテクチャ GPU の発表により パフォーマンス エネルギー効率の両面で飛躍的な性能向上を実現し ハイパフォーマンスコンピューティング (HPC) の世界に変革をもたらしました また 実際に GPU

Microsoft Word - NumericalComputation.docx

数値計算入門 武尾英哉. 離散数学と数値計算 数学的解法の中には理論計算では求められないものもある. 例えば, 定積分は, まずは積分 ( 被積分関数の原始関数をみつけること できなければ値を得ることはできない. また, ある関数の所定の値における微分値を得るには, まずその関数の微分ができなければならない. さらに代数方程式の解を得るためには, 解析的に代数方程式を解く必要がある. ところが, これらは必ずしも解析的に導けるとは限らない.

画像類似度測定の初歩的な手法の検証

画像類似度測定の初歩的な手法の検証 島根大学総合理工学部数理 情報システム学科 計算機科学講座田中研究室 S539 森瀧昌志 1 目次 第 1 章序論第 章画像間類似度測定の初歩的な手法について.1 A. 画素値の平均を用いる手法.. 画素値のヒストグラムを用いる手法.3 C. 相関係数を用いる手法.4 D. 解像度を合わせる手法.5 E. 振れ幅のヒストグラムを用いる手法.6 F. 周波数ごとの振れ幅を比較する手法第

PowerPoint プレゼンテーション

スーパーコンピュータ 京 で シミュレーションする生命科学 ~SCLS 計算機システムへの期待 ~ 理化学研究所 HPCI 計算生命科学推進プログラム企画調整グループパブリックアウトリーチ担当神内衣里香 (HPCI 戦略プログラム分野 1) 内容 京 革新的ハイパフォーマンス コンピューティング インフラ (HPCI) の構築 HPCI 戦略プログラム 分野 1 HPCI システム利用研究課題公募

スキル領域 職種 : ソフトウェアデベロップメント スキル領域と SWD 経済産業省, 独立行政法人情報処理推進機構

スキル領域と (8) ソフトウェアデベロップメント スキル領域と SWD-1 2012 経済産業省, 独立行政法人情報処理推進機構 スキル領域 職種 : ソフトウェアデベロップメント スキル領域と SWD-2 2012 経済産業省, 独立行政法人情報処理推進機構 専門分野 ソフトウェアデベロップメントのスキル領域 スキル項目 職種共通スキル 項目 全専門分野 ソフトウェアエンジニアリング Web アプリケーション技術

2008 年度下期未踏 IT 人材発掘 育成事業採択案件評価書 1. 担当 PM 田中二郎 PM ( 筑波大学大学院システム情報工学研究科教授 ) 2. 採択者氏名チーフクリエータ : 矢口裕明 ( 東京大学大学院情報理工学系研究科創造情報学専攻博士課程三年次学生 ) コクリエータ : なし 3.

2008 年度下期未踏 IT 人材発掘 育成事業採択案件評価書 1. 担当 PM 田中二郎 PM ( 筑波大学大学院システム情報工学研究科教授 ) 2. 採択者氏名チーフクリエータ : 矢口裕明 ( 東京大学大学院情報理工学系研究科創造情報学専攻博士課程三年次学生 ) コクリエータ : なし 3. プロジェクト管理組織 株式会社オープンテクノロジーズ 4. 委託金支払額 3,000,000 円 5.

パソコンシミュレータの現状

第 2 章微分 偏微分, 写像 豊橋技術科学大学森謙一郎 2. 連続関数と微分 工学において物理現象を支配する方程式は微分方程式で表されていることが多く, 有限要素法も微分方程式を解く数値解析法であり, 定式化においては微分 積分が一般的に用いられており. 数学の基礎知識が必要になる. 図 2. に示すように, 微分は連続な関数 f() の傾きを求めることであり, 微小な に対して傾きを表し, を無限に

データ解析

データ解析 ( 前期 ) 最小二乗法 向井厚志 005 年度テキスト 0 データ解析 - 最小二乗法 - 目次 第 回 Σ の計算 第 回ヒストグラム 第 3 回平均と標準偏差 6 第 回誤差の伝播 8 第 5 回正規分布 0 第 6 回最尤性原理 第 7 回正規分布の 分布の幅 第 8 回最小二乗法 6 第 9 回最小二乗法の練習 8 第 0 回最小二乗法の推定誤差 0 第 回推定誤差の計算 第

PRESS RELEASE 2019 年 4 月 3 日理化学研究所金沢大学国立天文台 ガンマ線バーストのスペクトルと明るさの相関関係の起源 - 宇宙最大の爆発現象の理論的解明へ前進 - 理化学研究所 ( 理研 ) 開拓研究本部長瀧天体ビッグバン研究室の伊藤裕貴研究員 長瀧重博主任研究員 数理創造プ

PRESS RELEASE 2019 年 4 月 3 日理化学研究所金沢大学国立天文台 ガンマ線バーストのスペクトルと明るさの相関関係の起源 - 宇宙最大の爆発現象の理論的解明へ前進 - 理化学研究所 ( 理研 ) 開拓研究本部長瀧天体ビッグバン研究室の伊藤裕貴研究員 長瀧重博主任研究員 数理創造プログラムのドナルド ウォレン研究員 金沢大学理工研究域数物科学系の米德大輔教授らの国際共同研究グループ

日本機械学会 生産システム部門研究発表講演会 2015 資料

( 社 ) 日本機械学会生産システム部門研究発表講演会 2015 製造オペレーションマネジメント入門 ~ISA-95 が製造業を変える ~ 事例による説明 2015-3-16 Ver.1 IEC/SC65E/JWG5 国内委員アズビル株式会社村手恒夫 目次 事例によるケーススタディの目的 事例 : 果汁入り飲料水製造工場 情報システム構築の流れ 1. 対象問題のドメインと階層の確認 2. 生産現場での課題の調査と整理

1. 背景血小板上の受容体 CLEC-2 と ある種のがん細胞の表面に発現するタンパク質 ポドプラニン やマムシ毒 ロドサイチン が結合すると 血小板が活性化され 血液が凝固します ( 図 1) ポドプラニンは O- 結合型糖鎖が結合した糖タンパク質であり CLEC-2 受容体との結合にはその糖鎖が

参考資料配布 2014 年 11 月 10 日 独立行政法人理化学研究所 国立大学法人東北大学 血小板上の受容体 CLEC-2 は糖鎖とペプチド鎖の両方を認識 - マムシ毒は糖鎖に依存せず受容体と結合 - 本研究成果のポイント レクチンは糖鎖とのみ結合する というこれまでの考え方を覆す CLEC-2 受容体は同じ領域でマムシ毒とがんに関わる糖タンパク質に結合 糖鎖を模倣したペプチド性薬剤の設計への応用に期待

Microsoft Word - プレス原稿_0528【最終版】

報道関係各位 2014 年 5 月 28 日 二酸化チタン表面における陽電子消滅誘起イオン脱離の観測に成功 ~ 陽電子を用いた固体最表面の改質に道 ~ 東京理科大学研究戦略 産学連携センター立教大学リサーチ イニシアティブセンター 本研究成果のポイント 二酸化チタン表面での陽電子の対消滅に伴って脱離する酸素正イオンの観測に成功 陽電子を用いた固体最表面の改質に道を拓いた 本研究は 東京理科大学理学部第二部物理学科長嶋泰之教授

差分スキーム 物理 化学 生物現象には微分方程式でモデル化される例が多い モデルを使って現実の現象をコンピュータ上で再現することをシミュレーション ( 数値シミュレーション コンピュータシミュレーション ) と呼ぶ そのためには 微分方程式をコンピュータ上で計算できる数値スキームで近似することが必要

差分スキーム 物理 化学 生物現象には微分方程式でモデル化される例が多い モデルを使って現実の現象をコンピュータ上で再現することをシミュレーション ( 数値シミュレーション コンピュータシミュレーション ) と呼ぶ そのためには 微分方程式をコンピュータ上で計算できる数値スキームで近似することが必要になる その一つの方法が微分方程式を差分方程式におき直すことである 微分方程式の差分化 次の 1 次元境界値問題を考える

Microsoft PowerPoint - 04_01_text_UML_03-Sequence-Com.ppt

システム設計 (1) シーケンス図 コミュニケーション図等 1 今日の演習のねらい 2 今日の演習のねらい 情報システムを構成するオブジェクトの考え方を理解す る 業務プロセスでのオブジェクトの相互作用を考える シーケンス図 コミュニケーション図を作成する 前回までの講義システム開発の上流工程として 要求仕様を確定パソコンを注文するまでのユースケースユースケースから画面の検討イベントフロー アクティビティ図

TopSE並行システム はじめに

はじめに 平成 23 年 9 月 1 日 トップエスイープロジェクト 磯部祥尚 ( 産業技術総合研究所 ) 2 本講座の背景と目標 背景 : マルチコア CPU やクラウドコンピューティング等 並列 / 分散処理環境が身近なものになっている 複数のプロセス ( プログラム ) を同時に実行可能 通信等により複数のプロセスが協調可能 並行システムの構築 並行システム 通信 Proc2 プロセス ( プログラム

目次 1 はじめに 稼働環境 GUI の起動 画面構成 メニュー Google Map 検索データ一覧 データの検索 出典情報の確認 検索領域の指定と

操作手順書 i 目次 1 はじめに... 1 1.1 稼働環境... 1 2 GUI の起動... 2 3 画面構成... 2 3.1 メニュー... 3 3.2 Google Map... 3 3.3 検索データ一覧... 4 4 データの検索... 5 4.1 出典情報の確認... 5 4.2 検索領域の指定と検索... 5 4.2.1 Google Map 上で 2 点を指定してデータを検索する...

第 40 号 平成 30 年 10 月 1 日 博士学位論文 内容の要旨及び審査結果の要旨 ( 平成 30 年度前学期授与分 ) 金沢工業大学 目次 博士 ( 学位記番号 ) ( 学位の種類 ) ( 氏名 ) ( 論文題目 ) 博甲第 115 号博士 ( 工学 ) 清水駿矢自動車用衝撃吸収構造の設計効率化 1 はしがき 本誌は 学位規則 ( 昭和 28 年 4 月 1 日文部省令第 9 号 ) 第

NLMIXED プロシジャを用いた生存時間解析 伊藤要二アストラゼネカ株式会社臨床統計 プログラミング グループグルプ Survival analysis using PROC NLMIXED Yohji Itoh Clinical Statistics & Programming Group, A

NLMIXED プロシジャを用いた生存時間解析 伊藤要二アストラゼネカ株式会社臨床統計 プログラミング グループグルプ Survival analysis using PROC NLMIXED Yohji Itoh Clinical Statistics & Programming Group, AstraZeneca KK 要旨 : NLMIXEDプロシジャの最尤推定の機能を用いて 指数分布 Weibull

九州大学がスーパーコンピュータ｢高性能アプリケーションサーバシステム｣の本格稼働を開始

2014 年 1 月 31 日 国立大学法人九州大学 株式会社日立製作所 九州大学がスーパーコンピュータ 高性能アプリケーションサーバシステム の本格稼働を開始 日立のテクニカルサーバ HA8000-tc/HT210 などを採用 従来システム比で 約 28 倍の性能を実現し 1TFLOPS あたりの消費電力は約 17 分の 1 に低減 九州大学情報基盤研究開発センター ( センター長 : 青柳睦 /

Microsoft PowerPoint - 発表II-3原稿r02.ppt [互換モード]

地震時の原子力発電所燃料プールからの溢水量解析プログラム 地球工学研究所田中伸和豊田幸宏 Central Research Institute of Electric Power Industry 1 1. はじめに ( その 1) 2003 年十勝沖地震では 震源から離れた苫小牧地区の石油タンクに スロッシング ( 液面揺動 ) による火災被害が生じた 2007 年中越沖地震では 原子力発電所内の燃料プールからの溢水があり

初めてのプログラミング

Excel の使い方 2 ~ 数式の入力 グラフの作成 ~ 0. データ処理とグラフの作成 前回は エクセルを用いた表の作成方法について学びました 今回は エクセルを用いたデータ処理方法と グラフの作成方法について学ぶことにしましょう 1. 数式の入力 1 ここでは x, y の値を入力していきます まず 前回の講義を参考に 自動補間機能を用いて x の値を入力してみましょう 補間方法としては A2,

Microsoft PowerPoint - pr_12_template-bs.pptx

12 回パターン検出と画像特徴 テンプレートマッチング 領域分割 画像特徴 テンプレート マッチング 1 テンプレートマッチング ( 図形 画像などの ) 型照合 Template Matching テンプレートと呼ばれる小さな一部の画像領域と同じパターンが画像全体の中に存在するかどうかを調べる方法 画像内にある対象物体の位置検出 物体数のカウント 物体移動の検出などに使われる テンプレートマッチングの計算

モデリングとは

コンピュータグラフィックス基礎 第 5 回曲線 曲面の表現 ベジェ曲線 金森由博 学習の目標 滑らかな曲線を扱う方法を学習する パラメトリック曲線について理解する 広く一般的に使われているベジェ曲線を理解する 制御点を入力することで ベジェ曲線を描画するアプリケーションの開発を行えるようになる C++ 言語の便利な機能を使えるようになる 要素数が可変な配列としての std::vector の活用 計算機による曲線の表現

数学（東大２次模試）76.2、物理（入試センター試験模試）59.0

平成 28 年 (2016 年 )11 月 14 日 数学 ( 東大 2 次模試 )76.2 物理 ( 入試センター試験模試 )59.0 数学と物理の偏差値を大幅に向上! 人工知能プロジェクト ロボットは東大に入れるか ( NII 所長: 喜連川優 東京都千代田区 ) ( 富士通研究所 代表取締役社長 : 佐々木繁 神奈川県川崎市 ) ( サイバネット 代表取締役社長執行役員 : 田中邦明 東京都千代田区

Microsoft Word - koubo-H26.doc

平成 26 年度学際共同利用プログラム 計算基礎科学プロジェクト 公募要項 - 計算基礎科学連携拠点 ( 筑波大学 高エネルギー加速器研究機構 国立天文台 ) では スーパーコンピュータの学際共同利用プログラム 計算基礎科学プロジェクト を平成 22 年度から実施しております 平成 23 年度からは HPCI 戦略プログラム 分野 5 物質と宇宙の起源と構造 の協力機関である京都大学基礎物理学研究所

Microsoft PowerPoint ppt

仮想マシン () 仮想マシン 復習 仮想マシンの概要 hsm 仮想マシン プログラム言語の処理系 ( コンパイラ ) 原始プログラム (Source program) コンパイラ (Compiler) 目的プログラム (Object code) 原始言語 (Source language) 解析 合成 目的言語 (Object Language) コンパイルする / 翻訳する (to compile

PowerPoint プレゼンテーション

コンパイラとプログラミング言語 第 3 4 週 プログラミング言語の形式的な記述 2014 年 4 月 23 日 金岡晃 授業計画 第 1 週 (4/9) コンパイラの概要 第 8 週 (5/28) 下向き構文解析 / 構文解析プログラム 第 2 週 (4/16) コンパイラの構成 第 9 週 (6/4) 中間表現と意味解析 第 3 週 (4/23) プログラミング言語の形式的な記述 第 10 週

本文ＡＬＬ.indd

Intel Xeon プロセッサにおける Cache Coherency 時間の性能測定方法河辺峻田口成美古谷英祐 Intel Xeon プロセッサにおける Cache Coherency 時間の性能測定方法 Performance Measurement Method of Cache Coherency Effects on an Intel Xeon Processor System 河辺峻田口成美古谷英祐

する距離を一定に保ち温度を変化させた場合のセンサーのカウント ( センサーが計測した距離 ) の変化を調べた ( 図 4) 実験で得られたセンサーの温度変化とカウント変化の一例をグラフ 1 に載せる グラフにおいて赤いデータ点がセンサーのカウント値である 計測距離一定で実験を行ったので理想的にはカウ

岡山 3.8m 新望遠鏡制御系のための多点温度計開発 京都大学理学研究科宇宙物理学教室 M1 出口和弘 1. 岡山 3.8m 新望遠鏡に使われる分割鏡のメリットと技術的ハードル我々は現在 京都大学を中心として国立天文台 岡山天体物理観測所に新技術を用いた口径 3.8m の可視 近赤外望遠鏡の建設を計画している ( 図 1) 新技術の一つとして望遠鏡の主鏡に一枚鏡ではなく 扇型のセグメントを組み合わせて一枚の円形の鏡にする分割鏡を採用している

コンテンツセントリックネットワーク技術を用いた ストリームデータ配信システムの設計と実装

コンテンツセントリックネットワークにおけるストリームデータ配信機構の実装 川崎賢弥, 阿多信吾, 村田正幸 大阪大学大学院情報科学研究科 大阪市立大学大学院工学研究科 2 発表内容 研究背景 研究目的 ストリームデータ配信機構の設計 ストリームデータのモデル化 コンテンツの名前構造 ストリームデータの要求とフロー制御 ストリームデータ配信機構の実装 動作デモンストレーション 3 コンテンツセントリックネットワーク

平成 27 年度 ICT とくしま創造戦略 重点戦略の推進に向けた調査 研究事業 アクティブラーニングを支援する ユーザインターフェースシステムの開発 ( 報告書 ) 平成 28 年 1 月 国立高等専門学校機構阿南工業高等専門学校

平成 27 年度 ICT とくしま創造戦略 重点戦略の推進に向けた調査 研究事業 アクティブラーニングを支援する ユーザインターフェースシステムの開発 ( 報告書 ) 平成 28 年 1 月 国立高等専門学校機構阿南工業高等専門学校 1 はじめに ICTとくしま創造戦略の人材育成 教育分野の重点戦略のひとつに教育環境のICT 化があげられており, また平成 27 年に閣議決定された世界最先端 IT

TOPPERS活用アイデア・アプリケーション開発

TOPPERS 活用アイデア アプリケーション開発 コンテスト 部門 : がじぇるね IoT 部門 作品のタイトル : 初心者向け プログラムを同時に動かすとは 作成者 共同作業者 : 森脇秀樹 : 角田米弘 対象者 : GR-ガジェットを使用してプログラムを始めようとする 初心者の方々に TOPPERS(Web コンパイラ ) を使用すれば おまじないのような簡単な記述で 後で知ればよい難解な理論などを必要とせず

Microsoft PowerPoint - ca ppt [互換モード]

大阪電気通信大学情報通信工学部光システム工学科 2 年次配当科目 コンピュータアルゴリズム 良いアルゴリズムとは 第 2 講 : 平成 20 年 10 月 10 日 ( 金 ) 4 限 E252 教室 中村嘉隆 ( なかむらよしたか ) 奈良先端科学技術大学院大学助教 y-nakamr@is.naist.jp http://narayama.naist.jp/~y-nakamr/ 第 1 講の復習

大域照明計算手法開発のためのレンダリングフレームワーク Lightmetrica: 拡張 検証に特化した研究開発のためレンダラ 図 1: Lightmetrica を用いてレンダリングした画像例 シーンは拡散反射面 光沢面を含み 複数の面光 源を用いて ピンホールカメラを用いてレンダリングを行った

大域照明計算手法開発のためのレンダリングフレームワーク Lightmetrica: 拡張 検証に特化した研究開発のためレンダラ 図 1: Lightmetrica を用いてレンダリングした画像例 シーンは拡散反射面 光沢面を含み 複数の面光 源を用いて ピンホールカメラを用いてレンダリングを行った モデルとして外部から読み込んだ三角形メ ッシュを用いた このように Lightmetrica はレンダラとして写実的な画像を生成する十分な実力を有する

Microsoft PowerPoint - ARCICD07FukumotoSlides.pptx

チップマルチプロセッサにおける データ プリフェッチ効果の分析 福本尚人, 三原智伸九州大学大学院システム情報科学府情報理学専攻 井上弘士, 村上和彰九州大学大学院システム情報科学研究院情報理学部門 2007/6/1 1 発表手順 研究の背景 目的 効果に基づくプリフェッチの分類法 マルチプロセッサ チップマルチプロセッサ 性能モデル式による定性的評価 定量的評価 まとめ 2007/6/1 2 研究の背景

0 21 カラー反射率 slope aspect 図 2.9: 復元結果例 2.4 画像生成技術としての計算フォトグラフィ 3 次元情報を復元することにより, 画像生成 ( レンダリング ) に応用することが可能である. 近年, コンピュータにより, カメラで直接得られない画像を生成する技術分野が生

0 21 カラー反射率 slope aspect 図 2.9: 復元結果例 2.4 画像生成技術としての計算フォトグラフィ 3 次元情報を復元することにより, 画像生成 ( レンダリング ) に応用することが可能である. 近年, コンピュータにより, カメラで直接得られない画像を生成する技術分野が生まれ, コンピューテーショナルフォトグラフィ ( 計算フォトグラフィ ) と呼ばれている.3 次元画像認識技術の計算フォトグラフィへの応用として,

インテル(R) Visual Fortran コンパイラ 10.0

インテル (R) Visual Fortran コンパイラー 10.0 日本語版スペシャル エディション 入門ガイド 目次 概要インテル (R) Visual Fortran コンパイラーの設定はじめに検証用ソースファイル適切なインストールの確認コンパイラーの起動 ( コマンドライン ) コンパイル ( 最適化オプションなし ) 実行 / プログラムの検証コンパイル ( 最適化オプションあり ) 実行

PowerPoint プレゼンテーション

2. セルラ オートマトン (Cellular Automata) オートマトン (automata): 自動人形 自動機械, 順序機械 [John von Neuman] 自己複製オートマトン : 局所近傍則を備えた自己増殖プログラム, 離散系 セルラ オートマトン 2.1 セルラ オートマトン (CA) の一般事項 (1) セルラ オートマトンの定義 解析空間をセルと称する離散的領域に分割し,

PowerPoint プレゼンテーション

復習 ) 時系列のモデリング ~a. 離散時間モデル ~ y k + a 1 z 1 y k + + a na z n ay k = b 0 u k + b 1 z 1 u k + + b nb z n bu k y k = G z 1 u k = B(z 1 ) A(z 1 u k ) ARMA モデル A z 1 B z 1 = 1 + a 1 z 1 + + a na z n a = b 0

COMET II のプログラミング ここでは機械語レベルプログラミングを学びます 1

COMET II のプログラミング ここでは機械語レベルプログラミングを学びます 1 ここでは機械命令レベルプログラミングを学びます 機械命令の形式は学びましたね機械命令を並べたプログラムを作ります 2 その前に プログラミング言語について 4 プログラミング言語について 高級言語 (Java とか C とか ) と機械命令レベルの言語 ( アセンブリ言語 ) があります 5 プログラミング言語について

Autodesk Inventor Skill Builders Autodesk Inventor 2010 構造解析の精度改良 メッシュリファインメントによる収束計算 予想作業時間:15 分 対象のバージョン:Inventor 2010 もしくはそれ以降のバージョン シミュレーションを設定する際

Autodesk Inventor Skill Builders Autodesk Inventor 2010 構造解析の精度改良 メッシュリファインメントによる収束計算 予想作業時間:15 分 対象のバージョン:Inventor 2010 もしくはそれ以降のバージョン シミュレーションを設定する際に 収束判定に関するデフォルトの設定をそのまま使うか 修正をします 応力解析ソルバーでは計算の終了を判断するときにこの設定を使います

Microsoft PowerPoint - OS07.pptx

この資料は 情報工学レクチャーシリーズ松尾啓志著 ( 森北出版株式会社 ) を用いて授業を行うために 名古屋工業大学松尾啓志 津邑公暁が作成しました 主記憶管理 主記憶管理基礎 パワーポイント 27 で最終版として保存しているため 変更はできませんが 授業でお使いなる場合は松尾 (matsuo@nitech.ac.jp) まで連絡いただければ 編集可能なバージョンをお渡しする事も可能です 復習 OS

Microsoft Word - Chap17

第 7 章化学反応に対する磁場効果における三重項機構 その 7.. 節の訂正 年 7 月 日. 節 章の9ページ の赤枠に記載した説明は間違いであった事に気付いた 以下に訂正する しかし.. 式は 結果的には正しいので安心して下さい 磁場 の存在下でのT 状態のハミルトニアン は ゼーマン項 と時間に依存するスピン-スピン相互作用の項 との和となる..=7.. g S = g S z = S z g

目次 ペトリネットの概要 適用事例

ペトリネットを利用した状態遷移テスト 和田浩一 東京エレクトロン SDC FA グループ 目次 ペトリネットの概要 適用事例 ペトリネットの概要 - ペトリネットとは ペトリネット (Petri Net) とは カール アダム ペトリが 1962 年に発表した離散分散システムを数学的に表現する手法である 視覚的で 数学的な離散事象システムをモデル化するツールの一つである ペトリネットの概要 - ペトリネットの表記と挙動

Microsoft PowerPoint - 5.ppt [互換モード]

5. チューリングマシンと計算 1 5-1. チューリングマシンとその計算 これまでのモデルでは テープに直接書き込むことができなかった また 入力テープヘッドの操作は右方向だけしか移動できなかった これらの制限を取り除いた機械を考える このような機械をチューリングマシン (Turing Machine,TM) と呼ぶ ( 実は TMは 現実のコンピュータの能力を持つ ) TM の特徴 (DFA との比較

日本海溝海底地震津波観測網の整備と緊急津波速報 ( 仮称 ) システムの現状と将来像 < 日本海溝海底地震津波観測網の整備 > 地震情報 津波情報 その他 ( 研究活動に必要な情報等 ) 海底観測網の整備及び活用の現状 陸域と比べ海域の観測点 ( 地震計 ) は少ない ( 陸上 : 1378 点海域

資料 2 総合科学技術会議評価専門調査会 日本海溝海底地震津波観測網の整備及び緊急津波速報 ( 仮称 ) に係るシステム開発 評価検討会 ( 第 2 回 ) 資料 平成 23 年 11 月 10 日 文部科学省 研究開発局地震 防災研究課 日本海溝海底地震津波観測網の整備と緊急津波速報 ( 仮称 ) システムの現状と将来像 < 日本海溝海底地震津波観測網の整備 > 地震情報 津波情報 その他 ( 研究活動に必要な情報等

　　　　　　　　　　　　　論文の内容の要旨

論文の内容の要旨 論文題目 Superposition of macroscopically distinct states in quantum many-body systems ( 量子多体系におけるマクロに異なる状態の重ね合わせ ) 氏名森前智行 本論文では 量子多体系におけるマクロに異なる状態の重ねあわせを研究する 状態の重ね合わせ というのは古典論には無い量子論独特の概念であり 数学的には

Microsoft PowerPoint - os ppt [互換モード]

5. メモリ管理 (2) 概要ページ管理 式ページ置換アルゴリズム 28/5/23 メモリ管理 (2) 1 ページング ( 復習 ) 仮想アドレス空間, 主記憶 ( 実アドレス空間 ) を固定サイズのページに分割 仮想アドレス空間のページを主記憶 ( メモリ ) のページに対応させる ページテーブル ( 変換表 ) を実メモリ上に保持 ページを単位としたアドレス変換 ( 仮想ページ番号, オフセット

オートマトン 形式言語及び演習 3. 正規表現 酒井正彦 正規表現とは 正規表現 ( 正則表現, Regular Expression) オートマトン : 言語を定義する機械正規表現 : 言語

オートマトン 形式言語及び演習 3. 酒井正彦 www.trs.css.i.nagoya-u.ac.jp/~sakai/lecture/automata/ とは ( 正則表現, Regular Expression) オートマトン : 言語を定義する機械 : 言語を記号列で定義 - 記述しやすい ( ユーザフレンドリ ) 例 :01 + 10 - UNIX の grep コマンド - UNIX の

研究報告書レイアウト例（当該年度が最終年度ではない研究班の場合）

長寿医療研究開発費平成 29 年度総括研究報告 治験関連情報の一元管理を可能とする治験管理システムの開発 (29-44) 主任研究者平島学国立長寿医療研究センター 治験 臨床研究推進センター ( 治験 臨床研究主任薬剤師 ) 研究要旨治験には 症例実施時に発生する費用があり 治験薬の投与期間や治験の進捗状況に応じて依頼者毎で請求時期が異なっている 現状では 契約 進捗 請求の情報が 別々の情報として管理されているため

平成20年度成果報告書

ベンチマークレポート - データグリッド Caché 編 - 平成 22 年 9 月 グリッド協議会先端金融テクノロジー研究会ベンチマーク WG - i - 目次 1. CACHÉ (INTERSYSTEMS)... 1 1.1 Caché の機能概要... 1 1.2 Caché の評価結果... 2 1.2.1 ベンチマーク実行環境... 2 1.2.2 評価シナリオ: 事前テスト... 3 -

TOPPERS 活用アイデア アプリケーション開発 コンテスト 部門 : 活用アイデア部門アプリケーション開発部門 作品のタイトル : Toppers_JSP と Scicos_lab / (Scilab でも可 ) による 組込みメカトロニクス制御シミュレーション 作成者 : 塩出武 ( シオデタ

TOPPERS 活用アイデア アプリケーション開発 コンテスト 部門 : 活用アイデア部門アプリケーション開発部門 作品のタイトル : Toppers_JSP と Scicos_lab / (Scilab でも可 ) による 組込みメカトロニクス制御シミュレーション 作成者 : 塩出武 ( シオデタケシ ) 対象者 : 実機レス環境でモーター含むメカ制御プログラムの設計 および検証 学習をしてみたい方

独立行政法人産業技術総合研究所 PMID-Extractor ユーザ利用マニュアル バイオメディシナル情報研究センター 2009/03/09 第 1.0 版

独立行政法人産業技術総合研究所 PMID-Extractor ユーザ利用マニュアル バイオメディシナル情報研究センター 2009/03/09 第 1.0 版 目次 1. はじめに... 3 2. インストール方法... 4 3. プログラムの実行... 5 4. プログラムの終了... 5 5. 操作方法... 6 6. 画面の説明... 8 付録 A:Java のインストール方法について... 11

1/12 平成 29 年 3 月 24 日午後 1 時 1 分第 3 章測地線 第 3 章測地線 Ⅰ. 変分法と運動方程式最小作用の原理に基づくラグランジュの方法により 重力場中の粒子の運動方程式が求められる これは 力が未知の時に有効な方法であり 今のような 一般相対性理論における力を求めるのに使

/ 平成 9 年 3 月 4 日午後 時 分第 3 章測地線 第 3 章測地線 Ⅰ. 変分法と運動方程式最小作用の原理に基づくラグランジュの方法により 重力場中の粒子の運動方程式が求められる これは 力が未知の時に有効な方法であり 今のような 一般相対性理論における力を求めるのに使う事ができる 最小作用の原理 : 粒子が時刻 から の間に移動したとき 位置 と速度 v = するのが ラグランジュ関数

羽藤.pptx

11 / / @ hato0816@gmail.com A 1928 / 1958OD 1960 1967PT " /() 土木計画 ( 主に交通計画 ) のための観測と理論 1960s PT 調査 紙調査票回答, ゾーン単位, 集計モデル ( 四段階推定法 ) (1955 CATS, 1967 広島都市圏など ) 計算機性能の向上 1980s Activity based model 非集計モデル

GPUを用いたN体計算

単精度 190Tflops GPU クラスタ ( 長崎大 ) の紹介 長崎大学工学部超高速メニーコアコンピューティングセンターテニュアトラック助教濱田剛 1 概要 GPU (Graphics Processing Unit) について簡単に説明します. GPU クラスタが得意とする応用問題を議論し 長崎大学での GPU クラスタによる 取組方針 N 体計算の高速化に関する研究内容 を紹介します. まとめ

多次元レーザー分光で探る凝縮分子系の超高速動力学

波動方程式と量子力学 谷村吉隆 京都大学理学研究科化学専攻 http:theochem.kuchem.kyoto-u.ac.jp TA: 岩元佑樹 iwamoto.y@kuchem.kyoto-u.ac.jp ベクトルと行列の作法 A 列ベクトル c = c c 行ベクトル A = [ c c c ] 転置ベクトル T A = [ c c c ] AA 内積 c AA = [ c c c ] c =

オートマトン 形式言語及び演習 1. 有限オートマトンとは 酒井正彦 形式言語 言語とは : 文字列の集合例 : 偶数個の 1 の後に 0 を持つ列からなる集合 {0, 110, 11110,

オートマトン 形式言語及び演習 1 有限オートマトンとは 酒井正彦 wwwtrscssinagoya-uacjp/~sakai/lecture/automata/ 形式言語 言語とは : 文字列の集合例 : 偶数個の 1 の後に 0 を持つ列からなる集合 {0, 110, 11110, } 形式言語 : 数学モデルに基づいて定義された言語 認識機械 : 文字列が該当言語に属するか? 文字列 機械 受理

変更履歴 項番版数内容更新日 版新規作成 2013 年 11 月 18 日 1

Windows Server 2012 R2 評価レポート Windows Server 2012 R2 Hyper-V レプリカの改良点 第 1.0 版 2013 年 11 月 18 日 株式会社日立製作所 IT プラットフォーム事業本部 変更履歴 項番版数内容更新日 1 1.0 版新規作成 2013 年 11 月 18 日 1 用語および略号 Windows Server 2012 R2 マイクロソフトが2013

Chap2.key

. f( ) V (V V ) V e + V e V V V V ( ) V V ( ) E. - () V (0 ) () V (0 ) () V (0 ) (4) V ( ) E. - () V (0 ) () V (0 ) O r θ ( ) ( ) : (r θ) : { r cos θ r sn θ { r + () V (0 ) (4) V ( ) θ θ arg( ) : π π

2017 年 2 月 6 日 アルビノ個体を用いて菌に寄生して生きるランではたらく遺伝子を明らかに ~ 光合成をやめた菌従属栄養植物の成り立ちを解明するための重要な手がかり ~ 研究の概要 神戸大学大学院理学研究科の末次健司特命講師 鳥取大学農学部の上中弘典准教授 三浦千裕研究員 千葉大学教育学部の

2017 年 2 月 6 日 アルビノ個体を用いて菌に寄生して生きるランではたらく遺伝子を明らかに ~ 光合成をやめた菌従属栄養植物の成り立ちを解明するための重要な手がかり ~ 研究の概要 神戸大学大学院理学研究科の末次健司特命講師 鳥取大学農学部の上中弘典准教授 三浦千裕研究員 千葉大学教育学部の大和政秀准教授と基礎生物学研究所の重信秀治特任准教授らの共同研究グループは ラン科植物ハマカキランのアルビノ個体を用いたトランスクリプトーム解析

White Paper 高速部分画像検索キット（FPGA アクセラレーション）

White Paper 高速部分画像検索キット (FPGA アクセラレーション ) White Paper 高速部分画像検索キット (FPGA アクセラレーション ) Page 1 of 7 http://www.fujitsu.com/primergy Content はじめに 3 部分画像検索とは 4 高速部分画像検索システム 5 高速部分画像検索の適用時の改善効果 6 検索結果 ( 一例 )

招待論文 フルスペック 8K スーパーハイビジョン圧縮記録装置の開発 3.3 記録制御機能と記録媒体 144 Gbps の映像信号を 1/8 に圧縮した場合 18 Gbps 程度 の転送速度が要求される さらに音声データやその他のメ タデータを同時に記録すると 記録再生には 20 Gbps 程度 の転送性能が必要となる また 記録媒体は記録装置から 着脱して持ち運ぶため 不慮の落下などにも耐性のあるこ

コンピュータ応用・演習 情報処理システム

2010 年 12 月 15 日 データエンジニアリング 演習 情報処理システム データマイニング ~ データからの自動知識獲得手法 ~ 1. 演習の目的 (1) 多種多様な膨大な量のデータを解析し, 企業の経営活動などに活用することが望まれている. 大規模データベースを有効に活用する, データマイニング技術の研究が脚光を浴びている 1 1. 演習の目的 (2) POS データを用いて顧客の購買パターンを分析する.

Microsoft PowerPoint - LDW.ppt [互換モード]

グラフ系列マイニング 猪口明博大阪大学産業科学研究所科学技術振興機構さきがけ 研究の背景 データマイニング インフラ技術の高度化 多様で大規模な情報やデータへのアクセス, 蓄積が容易. 多様で大規模なデータから有用な知識を発掘することは重要な課題. 頻出アイテム集合マイニング [Arawal 9] 頻出アイテム集合列挙問題 一般に多くの事例を説明する知識は有用である. バスケット分析 Raw Data

Microsoft PowerPoint - 2_FrontISTRと利用可能なソフトウェア.pptx

東京大学本郷キャンパス 工学部8号館2階222中会議室 13:30-14:00 FrontISTRと利用可能なソフトウェア 2017年4月28日 第35回FrontISTR研究会 FrontISTRの並列計算ハンズオン 精度検証から並列性能評価まで 観測された物理現象 物理モデル ( 支配方程式 ) 連続体の運動を支配する偏微分方程式 離散化手法 ( 有限要素法, 差分法など ) 代数的な数理モデル

Microsoft Word - 博士論文概要.docx

[ 博士論文概要 ] 平成 25 年度 金多賢 筑波大学大学院人間総合科学研究科 感性認知脳科学専攻 1. 背景と目的映像メディアは, 情報伝達における効果的なメディアの一つでありながら, 容易に感情喚起が可能な媒体である. 誰でも簡単に映像を配信できるメディア社会への変化にともない, 見る人の状態が配慮されていない映像が氾濫することで見る人の不快な感情を生起させる問題が生じている. したがって,

Microsoft PowerPoint - 9.pptx

9/7/8( 水 9. 線形写像 ここでは 行列の積によって 写像を定義できることをみていく また 行列の積によって定義される写像の性質を調べていく 拡大とスカラー倍 行列演算と写像 ( 次変換 拡大後 k 倍 k 倍 k 倍拡大の関係は スカラー倍を用いて次のように表現できる p = (, ' = k ' 拡大前 p ' = ( ', ' = ( k, k 拡大 4 拡大と行列の積 拡大後 k 倍

Microsoft PowerPoint - 9.pptx

9. 線形写像 ここでは 行列の積によって 写像を定義できることをみていく また 行列の積によって定義される写像の性質を調べていく 行列演算と写像 ( 次変換 3 拡大とスカラー倍 p ' = ( ', ' = ( k, kk p = (, k 倍 k 倍 拡大後 k 倍拡大の関係は スカラー倍を用いて次のように表現できる ' = k ' 拡大前 拡大 4 拡大と行列の積 p ' = ( ', '

FEM原理講座　（サンプルテキスト）

サンプルテキスト FEM 原理講座 サイバネットシステム株式会社 8 年 月 9 日作成 サンプルテキストについて 各講師が 講義の内容が伝わりやすいページ を選びました テキストのページは必ずしも連続していません 一部を抜粋しています 幾何光学講座については 実物のテキストではなくガイダンスを掲載いたします 対象とする構造系 物理モデル 連続体 固体 弾性体 / 弾塑性体 / 粘弾性体 / 固体

Microsoft Word - thesis.doc

剛体の基礎理論 -. 剛体の基礎理論初めに本論文で大域的に使用する記号を定義する. 使用する記号トルク撃力力角運動量角速度姿勢対角化された慣性テンソル慣性テンソル運動量速度位置質量時間 J W f F P p .. 質点の並進運動 質点は位置 と速度 P を用いる. ニュートンの運動方程式 という状態を持つ. 但し ここでは速度ではなく運動量 F P F.... より質点の運動は既に明らかであり 質点の状態ベクトル

技術資料 JARI Research Journal OpenFOAM を用いた沿道大気質モデルの開発 Development of a Roadside Air Quality Model with OpenFOAM 木村真 *1 Shin KIMURA 伊藤晃佳 *2 Akiy

技術資料 176 OpenFOAM を用いた沿道大気質モデルの開発 Development of a Roadside Air Quality Model with OpenFOAM 木村真 *1 Shin KIMURA 伊藤晃佳 *2 Akiyoshi ITO 1. はじめに自動車排出ガスの環境影響は, 道路沿道で大きく, 建物など構造物が複雑な気流を形成するため, 沿道大気中の自動車排出ガス濃度分布も複雑になる.

はじめに コースの概要と目的 Oracle をより効率的に使用するための SQL のチューニング方法について説明します また 索引の有無 SQL の 記述方法がパフォーマンスにどのように影響するのかを実習を通して理解します 受講対象者 アプリケーション開発者 / データベース管理者の方 前提条件 S

はじめに コースの概要と目的 Oracle をより効率的に使用するための SQL のチューニング方法について説明します また 索引の有無 SQL の 記述方法がパフォーマンスにどのように影響するのかを実習を通して理解します 受講対象者 アプリケーション開発者 / データベース管理者の方 前提条件 SQL トレーニング データベース アーキテクチャ コースを受講された方 もしくは同等の知識をお持ちの

2 成果の内容本研究では 相関電子系において 非平衡性を利用した新たな超伝導増強の可能性を提示することを目指しました 本研究グループは 銅酸化物群に対する最も単純な理論模型での電子ダイナミクスについて 電子間相互作用の効果を精度よく取り込める数値計算手法を開発し それを用いた数値シミュレーションを実

4. 発表内容 : 1 研究の背景 1911 年 物質の温度を非常に低い温度 ( 典型的には-260 以下 ) まで下げていくと電気抵抗が突然ゼロになる現象が発見されました この現象のことを超伝導といいます 超伝導状態は抵抗を持たないため電気を流しても熱が発生しません そのため 超伝導になる温度 ( 転移温度 ) を室温領域まで高くすることができれば 超伝導物質によるエネルギー損失のない電力輸送やデバイスに基づいた超省エネルギー社会を形成することが可能となります

各学科 課程 専攻別開設授業科目 ( 教職関係 ) 総合情報学科 ( 昼間コース ) 中学校教諭 1 種免許状 ( 数学 ) 高等学校教諭 1 種免許状 ( 数学 ) 代数学 線形代数学第一 2 線形代数学第二 2 離散数学 2 応用代数学 2 オペレーションズ リサーチ基礎 2 数論アルゴリズム

免許状取得に必要な履修科目 教育職員免許法施行規則に 左に該当する本学の 履修 高等学校教諭 高等学校教諭 中学校教諭 定める修得を要する科目 開設科目及び単位数 年次 専修免許状 1 種免許状 1 種免許状 教職の意義等に関する科目教職論 2 1 年 2 単位 2 単位 2 単位 教 教育原理 2 1 年 職 に教育の基礎理論に関する科教育心理学 2 1 年 6 単位 6 単位 6 単位 関目 す

Microsoft PowerPoint Java基本技術PrintOut.ppt [互換モード]

第 3 回 Java 基本技術講義 クラス構造と生成 33 クラスの概念 前回の基本文法でも少し出てきたが, オブジェクト指向プログラミングは という概念をうまく活用した手法である. C 言語で言う関数に似ている オブジェクト指向プログラミングはこれら状態と振る舞いを持つオブジェクトの概念をソフトウェア開発の中に適用し 様々な機能を実現する クラス= = いろんなプログラムで使いまわせる 34 クラスの概念

Microsoft Word - CygwinでPython.docx

Cygwin でプログラミング 2018/4/9 千葉 数値計算は計算プログラムを書いて行うわけですが プログラムには様々な 言語 があるので そのうちどれかを選択する必要があります プログラム言語には 人間が書いたプログラムを一度計算機用に翻訳したのち計算を実行するものと 人間が書いたプログラムを計算機が読んでそのまま実行するものとがあります ( 若干不正確な説明ですが ) 前者を システム言語

Using VectorCAST/C++ with Test Driven Development

ホワイトペーパー V2.0 2018-01 目次 1 はじめに...3 2 従来型のソフトウェア開発...3 3 テスト主導型開発...4 4...5 5 TDD を可能にするテストオートメーションツールの主要機能...5 5.1 テストケースとソースコード間のトレーサビリティー...5 5.2 テストケースと要件間のトレーサビリティー...6 6 テスト主導型開発の例...7 2 1 はじめに 本書では

6. 発表内容 : 東京大学大学院情報理工学系研究科知能機械情報学専攻の原田達也教授 日髙雅俊大学院 生 木倉悠一郎大学院生 牛久祥孝講師は 市販のパソコンやスマートフォンに標準搭載されている Web ブラウザ上で ディープニューラルネットワーク (DNN) を高速に実行できるソフ トウェアフレーム

記者会見開催のお知らせ あなたのスマホへ最新の人工知能をお届けします ~ アプリ不要の高速ディープニューラルネットワーク実行システムを開発 1. 会見日時 : 2017 年 10 月 17 日 ( 火 )14:00~15:00 2. 会見場所 : 東京大学本郷キャンパス工学部 2 号館 8 階 81C1 号室 ( 別紙参照 ) 3. 出席者 : 原田達也 ( 東京大学大学院情報理工学系研究科知能機械情報学専攻教授

プロジェクトマネジメント知識体系ガイド (PMBOK ガイド ) 第 6 版 訂正表 - 第 3 刷り 注 : 次の正誤表は PMBOK ガイド第 6 版 の第 1 刷りと第 2 刷りに関するものです 本 ( または PDF) の印刷部数を確認するには 著作権ページ ( 通知ページおよび目次の前 )

プロジェクトマネジメント知識体系ガイド (PMBOK ガイド ) 第 6 版 訂正表 - 第 3 刷り 注 : 次の正誤表は PMBOK ガイド第 6 版 の第 1 刷りと第 2 刷りに関するものです 本 ( または PDF) の印刷部数を確認するには 著作権ページ ( 通知ページおよび目次の前 ) の一番下を参照してください 10 9 8 などで始まる文字列の 最後の 数字は その特定コピーの印刷を示します

木村の理論化学小ネタ 理想気体と実在気体 A. 標準状態における気体 1mol の体積 標準状態における気体 1mol の体積は気体の種類に関係なく 22.4L のはずである しかし, 実際には, その体積が 22.4L より明らかに小さい

理想気体と実在気体 A. 標準状態における気体 1mol の体積 標準状態における気体 1mol の体積は気体の種類に関係なく.4L のはずである しかし, 実際には, その体積が.4L より明らかに小さい気体も存在する このような気体には, 気体分子に, 分子量が大きい, 極性が大きいなどの特徴がある そのため, 分子間力が大きく, 体積が.4L より小さくなる.4L とみなせる実在気体 H :.449

<4D F736F F F696E74202D A B837D836C CA48F435F >

コンセプチュアルマネジメント講座 株式会社プロジェクトマネジメントオフィス コンセプチュアルマネジメント講座コンセプト 背景 マネジメントがうまく行かない原因にマネジャーのコンセプチュアルスキルの低さがある 組織や人材の生産性 創造性 多様性を高めるためにはコンセプチュアルなアプローチが不可欠である ( 図 1) 目的 コンセプチュアルなアプローチによってマネジメントを革新する ターゲット 管理者層

コンピュータ中級B ～Javaプログラミング～ 第3回 コンピュータと情報をやりとりするには?

Copyright (C) Junko Shirogane, Waseda University 2016, All rights reserved. 1 プログラミング初級 (Java) 第 10 回オブジェクト指向って? 白銀純子 Copyright (C) Junko Shirogane, Waseda University 2016, All rights reserved. 2 第 10

ISO9001：2015内部監査チェックリスト

ISO9001:2015 規格要求事項 チェックリスト ( 質問リスト ) ISO9001:2015 規格要求事項に準拠したチェックリスト ( 質問リスト ) です このチェックリストを参考に 貴社品質マニュアルをベースに貴社なりのチェックリストを作成してください ISO9001:2015 規格要求事項を詳細に分解し 212 個の質問リストをご用意いたしました ISO9001:2015 は Shall

平成 30 年 8 月 6 日 報道機関各位 東京工業大学 東北大学 日本工業大学 高出力な全固体電池で超高速充放電を実現全固体電池の実用化に向けて大きな一歩 要点 5V 程度の高電圧を発生する全固体電池で極めて低い界面抵抗を実現 14 ma/cm 2 の高い電流密度での超高速充放電が可能に 界面形

平成 30 年 8 月 6 日 報道機関各位 東京工業大学 東北大学 日本工業大学 高出力な全固体電池で超高速充放電を実現全固体電池の実用化に向けて大きな一歩 要点 5V 程度の高電圧を発生する全固体電池で極めて低い界面抵抗を実現 14 ma/cm 2 の高い電流密度での超高速充放電が可能に 界面形成直後に固体電解質から電極へのリチウムイオンが自発的に移動 概要 東京工業大学の一杉太郎教授らは 東北大学の河底秀幸助教

クラス図とシーケンス図の整合性確保 マニュアル

Consistency between Class and Sequence by SparxSystems Japan Enterprise Architect 日本語版 クラス図とシーケンス図の整合性確保マニュアル (2011/12/6 最終更新 ) 1 1. はじめに UML を利用したモデリングにおいて クラス図は最も利用される図の 1 つです クラス図は対象のシステムなどの構造をモデリングするために利用されます

<4D F736F F D F815B B E96914F92B28DB8955B>

1. 一般事項 記入者 : 記入日 : 1.1 御社担当者情報 会社名住所担当者部署電話番号 FAX 番号 1.2 システム情報 システム名システムバージョン対応 OS 動作環境システム概要 1 1.3 監査者情報 監査者 部署 電話番号 1.4 規制当局のレビュ 1) これまでに規制当局による査察を受けたことがありますか? Yes No Yes の場合 査察を受けた年月日と結果を記載してください

8. 自由曲線と曲面の概要 陽関数 陰関数 f x f x x y y y f f x y z g x y z パラメータ表現された 次元曲線 パラメータ表現は xyx 毎のパラメータによる陽関数表現 形状普遍性 座標独立性 曲線上の点を直接に計算可能 多価の曲線も表現可能 gx 低次の多項式は 計

8. 自由曲線 曲面. 概論. ベジエ曲線 曲面. ベジエ曲線 曲面の数学. OeGLによる実行. URS. スプライン関数. スプライン曲線 曲面. URS 曲線 曲面 4. OeGLによる実行 8. 自由曲線と曲面の概要 陽関数 陰関数 f x f x x y y y f f x y z g x y z パラメータ表現された 次元曲線 パラメータ表現は xyx 毎のパラメータによる陽関数表現 形状普遍性

Arduino をドリトルから 制御する教材の試行 鈴木裕貴 1

Arduino をドリトルから 制御する教材の試行 鈴木裕貴 1 目次 1. はじめに 1.1. 背景と目的 1.2. ScratchとViscuit 1.3. ドリトル 2. 準備 2.1. ArduinoとRaspberry Pi 3. 演習内容 3.1. ドリトル 3.2. 指導内容例 4. まとめ 2 1. はじめに ( 背景 ) 原理 理解 活用社会 3 1. はじめに ( 背景 ) 原理

Exploring the Art of Vocabulary Learning Strategies: A Closer Look at Japanese EFL University Students A Dissertation Submitted t

Exploring the Art of Vocabulary Learning Strategies: A Closer Look at Japanese EFL University Students MIZUMOTO, Atsushi Graduate School of Foreign Language Education and Research, Kansai University, Osaka,

目次 商標について.1 表記内容について.1 1 エディタ.2 1.1bluefish.2 1.2texi2html.2 2 科学.3 2.1chemtool.3 2.2Rasmol.3 2.3celestia.3 3 画像.4 3.1Blender.4 3.2tgif.4 4 数学.5 4.1ge

USB-KNOPPIX 追加可能 アプリケーション一覧 2009 年 07 月株式会社アルファシステムズ 目次 商標について.1 表記内容について.1 1 エディタ.2 1.1bluefish.2 1.2texi2html.2 2 科学.3 2.1chemtool.3 2.2Rasmol.3 2.3celestia.3 3 画像.4 3.1Blender.4 3.2tgif.4 4 数学.5 4.1geg.5

<4D F736F F D B B B835E895E97708A4A8E6E82C A98418C6782CC8E6E93AE2E646F63>

京都大学学術情報メディアセンター 新スーパーコンピュータ運用開始と T2K 連携の始動 アピールポイント 61.2 テラフロップスの京大版 T2K オープンスパコン運用開始 東大 筑波大との T2K 連携による計算科学 工学分野におけるネットワーク型研究推進 人材育成 アプリケーション高度化支援の活動を開始概要国立大学法人京都大学 ( 総長 尾池和夫 ) 学術情報メディアセンター ( センター長 美濃導彦

<4D F736F F D20332E322E332E819C97AC91CC89F090CD82A982E78CA982E9466F E393082CC8D5C91A291CC90AB945C955D89BF5F8D8296D85F F8D F5F E646F63>

3.2.3. 流体解析から見る Fortran90 の構造体性能評価 宇宙航空研究開発機構 高木亮治 1. はじめに Fortran90 では 構造体 動的配列 ポインターなど様々な便利な機能が追加され ユーザーがプログラムを作成する際に選択の幅が広がりより便利になった 一方で 実際のアプリケーションプログラムを開発する際には 解析対象となる物理現象を記述する数学モデルやそれらを解析するための計算手法が内包する階層構造を反映したプログラムを作成できるかどうかは一つの重要な観点であると考えられる

計算機シミュレーション

. 運動方程式の数値解法.. ニュートン方程式の近似速度は, 位置座標 の時間微分で, d と定義されます. これを成分で書くと, d d li li とかけます. 本来は が の極限をとらなければいけませんが, 有限の小さな値とすると 秒後の位置座標は速度を用いて, と近似できます. 同様にして, 加速度は, 速度 の時間微分で, d と定義されます. これを成分で書くと, d d li li とかけます.

アニメーションあり3 次元 CG アニメーションの CAVE への表示 藤本孝一 松本浩二 田島広太 高瀬祥平 井門俊治 埼玉工業大学工学部井門研究室 1, 目的 各種ツール プログラムで作成したモデル およびアニメーションの CAVE での表示を行う 2, 方法 AVE システムでの表示には今のと

アニメーションあり3 次元 CG アニメーションの CAVE への表示 藤本孝一 松本浩二 田島広太 高瀬祥平 井門俊治 埼玉工業大学工学部井門研究室 1, 目的 各種ツール プログラムで作成したモデル およびアニメーションの CAVE での表示を行う 2, 方法 AVE システムでの表示には今のところ AVS を使用している AVS での入力形式や それに対応した形式に 各種 3D ツールで作成したオブジェクトを変換することによって

カイ二乗フィット検定、パラメータの誤差

統計的データ解析 008 008.. 林田清 ( 大阪大学大学院理学研究科 ) 問題 C (, ) ( x xˆ) ( y yˆ) σ x πσ σ y y Pabx (, ;,,, ) ˆ y σx σ y = dx exp exp πσx ただし xy ˆ ˆ はyˆ = axˆ+ bであらわされる直線モデル上の点 ( ˆ) ( ˆ ) ( ) x x y ax b y ax b Pabx (,