1 1 DEOS D-Case [7, 17, 12, 10] [9, 2] D-Case D-Case 1 DEOS D-Script 1 DEOS D-Case (Safety Case) [3] (assure) D-Case 3 D-Script [14] D-Script D-RE 1

第 10 回 WOCS2 アシュアランスケースにおける品質到達性と トレーサビリティを考慮した記述ルール提案と 超小型衛星開発への適用評価 田中康平 1, 松野裕 2, 中坊嘉宏 3, 白坂成功 1, 中須賀真一 4 1 慶應義塾大学大学院システムデザイン マネジメント研究科 2 名古屋大学情報連携

アシュアランスケースにおける品質到達性と トレーサビリティを考慮した記述ルール提案と 超小型衛星開発への適用評価 田中康平 1, 松野裕 2, 中坊嘉宏 3, 白坂成功 1, 中須賀真一 4 1 慶應義塾大学大学院システムデザイン マネジメント研究科 2 名古屋大学情報連携統括本部情報戦略室 3 独立行政法人産業技術総合研究所知能システム研究部門ディペンダブルシステム研究グループ 4 東京大学工学系研究科航空宇宙工学専攻

RAMS の認証とセーフティケース 1) 独立行政法人産業技術総合研究所, 2) 西日本旅客鉄道株式会社 相馬大輔 1) 田口研治 1), 西原秀明 1), 大岩寛 1), 矢田部俊介 2), 森崇 2) 1

RAMS の認証とセーフティケース 1) 独立行政法人産業技術総合研究所, 2) 西日本旅客鉄道株式会社 相馬大輔 1) 田口研治 1), 西原秀明 1), 大岩寛 1), 矢田部俊介 2), 森崇 2) 1 産総研における機能安全規格への取り組み 様々な ( 機能 ) 安全規格 ガイドラインに対する企業の取り組みを支援 電気 電子機器 IEC 61508 車載組み込みシステム ISO 26262

1 ET 2014 IPA ブースプレゼン GSN (Goal Structuring Notation) を用いたアシュアランスケース セーフティーケース作成支援 ~ 認証支援のための方法論 ~ 2014 年 11 月 20 日 ( 独 ) 産業技術総合研究所 セキュアシステム研究部門システムライ

1 ET 2014 IPA ブースプレゼン GSN (Goal Structuring Notation) を用いたアシュアランスケース セーフティーケース作成支援 ~ 認証支援のための方法論 ~ 2014 年 11 月 20 日 ( 独 ) 産業技術総合研究所 セキュアシステム研究部門システムライフサイクル研究グループ 田口研治 相馬大輔 2 自己紹介 経歴 産業技術総合研究所招聘研究員 ( 併任

(Informative) D-Case D-Case [1] D-Case ( DEOS: 2014) D-Case GSN (Goal Structuring Notation)[2] D-Case GSN [2] [2] D-Case D-Case [2] [3] D-Case GSN D-C

!"#$%&&'()*+)',$'-$.#/#,0*1)2)+3$4,5),##6),5$-'6$7/#,$83&+#9& D-Case * 1 DEOS D-Case * 2 2015 4 20 *1 version 1.0 *2 : ( matsuno.yutaka@nihon-u.ac.jp) ( takai@is.naist.ac.jp) c Yutaka Matsuno, Toshinori

[2] ISO26262 [1] ISO26262 IEC61508 ISO26262 ( ) SG(Safety Goal) SG ISO26262 (EPS, Electronic Power Steering system) EPS ( ) KAOS[3] EPS 2 KAOS Tim Kel

ISO26262 1 1 1 2 2 2 ISO26262 Safety Goal KAOS Modeling Safety Requirements of ISO26262 using Goal Trees and Patterns Toshiaki Aoki 1 Kriangkrai Traichaiyaporn 1 Yuki Chiba 1 Masahiro Matsubara 2 Masataka

Vol.56 No (Mar. 2015) Canvas SVG HTML Web Viewport Library UML Canvas SVG 1,000 HTML SVG Viewport Library Viewport Library HTML HTML Web H

Vol.56 No.3 1039 1048 (Mar. 2015) Web 1,a) 1,b) 2014 6 30, 2014 10 8 HTML5 Web HTML5 HTML Canvas SVG HTML Canvas SVG Web Viewport Library Viewport Library HTML SVG Viewport Library Viewport Library AssureNote

コンシューマデバイス安全規格の概要と規格策定の方法論 ( 独 ) 産業技術総合研究所 セキュアシステム研究部門 (RISEC) システムライフサイクル研究グループ (IPA/SEC コンシューマデバイス安全標準化 WG 副主査 ) 田口研治 産業技術総合研究所

コンシューマデバイス安全規格の概要と規格策定の方法論 ( 独 ) 産業技術総合研究所 セキュアシステム研究部門 (RISEC) システムライフサイクル研究グループ (IPA/SEC コンシューマデバイス安全標準化 WG 副主査 ) 田口研治 自己紹介 経歴 産業技術総合研究所招聘研究員 ( 併任 ) 2010 年 4 月 ~ ( 株 ) シーエーブイテクノロジーズ代表取締役社長 2011 年 4 月

Microsoft Word - _DEIM2014_Shida.docx

DEIM Forum 2014 E3-6 AssureNote: Wiki 記 法 ベースの GSN オーサリングツール 松 村 哲 郎 志 田 駿 介 倉 光 君 郎 横 浜 国 立 大 学 大 学 院 240-8501 神 奈 川 県 横 浜 市 保 土 ヶ 谷 区 常 盤 台 79-1 横 浜 国 立 大 学 240-8501 神 奈 川 県 横 浜 市 保 土 ヶ 谷 区 常 盤 台 79-1

日立評論2007年3月号 : ソフトウェア開発への

Vol.89 No.3 298-299 Application of Statistical Process Control to Software Development Mutsumi Komuro 1 23 1985 ACM IEEE 1 195QC Quality Control 1 2 CMM Capability Maturity Model CMMI Capability Maturity

2 コンシューマデバイス規格 (Safety Sensitive Consumer Devices(SSCD)) の概要 コンシューマデバイス規格自動車介護ロボットスマートハウス 目的 : コンシューマデバイスという製品カテゴリーに対するディペンダビリティの保証 特徴 : 日本主導型の製品の開発方法

1 ET-WEST 2014 IPA ブースプレゼン資料 コンシューマデバイス規格における規格策定方法論 2014 年 07 月 29 日 ( 独 ) 産業技術総合研究所セキュアシステム研究部門 システムライフサイクル研究グループ田口研治 2 コンシューマデバイス規格 (Safety Sensitive Consumer Devices(SSCD)) の概要 コンシューマデバイス規格自動車介護ロボットスマートハウス

B HNS 7)8) HNS ( ( ) 7)8) (SOA) HNS HNS 4) HNS ( ) ( ) 1 TV power, channel, volume power true( ON) false( OFF) boolean channel volume int

SOA 1 1 1 1 (HNS) HNS SOA SOA 3 3 A Service-Oriented Platform for Feature Interaction Detection and Resolution in Home Network System Yuhei Yoshimura, 1 Takuya Inada Hiroshi Igaki 1, 1 and Masahide Nakamura

2016 10 31 1. 1.1 20 1 1993 20 2 2 1 industrial society 2 2 169 2014 3 1.2 4 5 6 3 1.3 4 5 1973 6 170 7 8 9 7 ISO/IEC 9126 11 8 1 9 ABS ABS ABS ABS 171 2. 2.1 1960 10 11 12 13 10 1964 IBM S/360 11 16 FORTRAN

36 581/2 2012

4 Development of Optical Ground Station System 4-1 Overview of Optical Ground Station with 1.5 m Diameter KUNIMORI Hiroo, TOYOSHMA Morio, and TAKAYAMA Yoshihisa The OICETS experiment, LEO Satellite-Ground

2006 No.110

しろうさぎ43号_cs5.indd

untitled

IT E- IT http://www.ipa.go.jp/security/ CERT/CC http://www.cert.org/stats/#alerts IPA IPA 2004 52,151 IT 2003 12 Yahoo 451 40 2002 4 18 IT 1/14 2.1 DoS(Denial of Access) IDS(Intrusion Detection System)

SysML SysML Requirement Diagram Block Definition Diagram Internal Block Diagram Parametric Diagram Activity Diagram Package Diagram Use Case Diagram S

SysML SysML SysML Requirement Diagram Block Definition Diagram Internal Block Diagram Parametric Diagram Activity Diagram Package Diagram Use Case Diagram Sequence Diagram State Machine Diagram SysML SysML

高信頼RTミドルウエアの開発

P04 RT,,,,,,,,,,,, Development of Dependable RT-Middleware Noriaki Ando, Geoffrey Biggs, Yoshihiro Nakabo, Daichi Mizuguchi, Kiyoshi Fujiwara, Isao Hara, Tetsuo Kotoku, AIST, Masayoshi Kondo, Mitsuhiro

MDD PBL ET 9) 2) ET ET 2.2 2), 1 2 5) MDD PBL PBL MDD MDD MDD 10) MDD Executable UML 11) Executable UML MDD Executable UML

PBL 1 2 3 4 (MDD) PBL Project Based Learning MDD PBL PBL PBL MDD PBL A Software Development PBL for Beginners using Project Facilitation Tools Seiko Akayama, 1 Shin Kuboaki, 2 Kenji Hisazumi 3 and Takao

2

Copyright 2008 Nara Institute of Science and Technology / Osaka University 2 Copyright 2008 Nara Institute of Science and Technology / Osaka University CHAOS Report in US 1994 http://www.standishgroup.com/sample_research/

IPSJ SIG Technical Report Vol.2009-DPS-141 No.20 Vol.2009-GN-73 No.20 Vol.2009-EIP-46 No /11/27 1. MIERUKEN 1 2 MIERUKEN MIERUKEN MIERUKEN: Spe

1. MIERUKEN 1 2 MIERUKEN MIERUKEN MIERUKEN: Speech Visualization System Based on Augmented Reality Yuichiro Nagano 1 and Takashi Yoshino 2 As the spread of the Augmented Reality(AR) technology and service,

核融合…予稿集

9:30 9:45 9:45 10:00 10:05 10:10 10:10 10:40 2 3 10:40 11:10 11:10 11:40 11:40 12:00 6 7 8 9 10 11 13:10 13:20 13:20 14:00 14:00 14:20 14:20 14:40 14:50 15:20 15:20 15:50 15:50 15:55 14 15 16 17 18 19

Research Question Unacceptable Files:FS GQM 1 2 GQM s r 2.1 GQM Goal-Question-Metric GQM [2] GQM 3 Qustions GQM 3 GQM 2.2 UFs AFs Acceptable Fi

1,a) 1 1,b) 1,c) 2 2 2 Unacceptable Files:FS (Acceptable Files:Fs) UFs UFs GQM GQM C++ 0.7 1. 1 [1] Goal-Question-Metric GQM [2] GQM 1 2 a) 821821@toki.waseda.jp b) washizaki@waseda.jp c) fukazawa@waseda.jp

Shonan Institute of Technology MEMOIRS OF SHONAN INSTITUTE OF TECHNOLOGY Vol. 41, No. 1, 2007 Ships1 * ** ** ** Development of a Small-Mid Range Paral

MEMOIRS OF SHONAN INSTITUTE OF TECHNOLOGY Vol. 41, No. 1, 2007 Ships1 * ** ** ** Development of a Small-Mid Range Parallel Computer Ships1 Makoto OYA*, Hiroto MATSUBARA**, Kazuyoshi SAKURAI** and Yu KATO**

untitled

pr. 2006 No. 010 CONTENTS s s s s s s Business Plan 1 2 Forum 3 4 Forum 5 Patent consultation case 6 Forum 7 8 For production public study 9 10 Equipment 11 12 Collabo 13 Facility 14 Service Scheme 15

SDS099-B1603OB_QuantStudio-3-and-5_PB_12.indd

QuantStudio 3 / QuantStudio 5 PCR PCR Applied Biosystems QuantStudio 3 QuantStudio 5 PCR Thermo Fisher Cloud 1 QuantStudio 3 and 5 Real-Time PCR Systems QuantStudio 3 and 5 Real-Time PCR Systems 2 Applied

2 2. 13 2 1 1 PBS: Post-Boost Stage 1.2 2 30 JAXA 49 2 108 4 205

252 5210 3 1 1 e-mail: morita.yasuhiro@jaxa.jp 9 1. 1 F1 1 204 2015 4 2 2. 13 2 1 1 PBS: Post-Boost Stage 1.2 2 30 JAXA 49 2 108 4 205 IT IT 3 2 JAXA 2 3 1 2 2 2 3 2 206 2015 4 C/C 2 3. 3.1 1 SRB-A H2A

一部の論文は web 非掲載です Journal of International Student Advisors and Educators Volume 18 / 2015 3 7 13 19 31 45 57 71 85 111 115 101 123 124 126 135 131 132 146 Vol.18 pp.3 Vol.18 3 4 Vol.18 Vol.18 5 6 Vol.18

特集_03-07.Q3C

3-7 Error Detection and Authentication in Quantum Key Distribution YAMAMURA Akihiro and ISHIZUKA Hirokazu Detecting errors in a raw key and authenticating a private key are crucial for quantum key distribution

1 1 CodeDrummer CodeMusician CodeDrummer Fig. 1 Overview of proposal system c

CodeDrummer: 1 2 3 1 CodeDrummer: Sonification Methods of Function Calls in Program Execution Kazuya Sato, 1 Shigeyuki Hirai, 2 Kazutaka Maruyama 3 and Minoru Terada 1 We propose a program sonification

fiš„v8.dvi

(2001) 49 2 333 343 Java Jasp 1 2 3 4 2001 4 13 2001 9 17 Java Jasp (JAva based Statistical Processor) Jasp Jasp. Java. 1. Jasp CPU 1 106 8569 4 6 7; fuji@ism.ac.jp 2 106 8569 4 6 7; nakanoj@ism.ac.jp

第５章　処分事業の概要

2003 12 17 (NUMO) 1 - - 2 - - 3 (1/7) 10 4 2020 40000 4 (2/7) 5 (3/7) 6 (4/7) IAEA 1995 The Principles of Radioactive Waste Management, Safety Series No. 111-F, International Atomic Energy Agency, Vienna,

Run-Based Trieから構成される 決定木の枝刈り法

Run-Based Trie 2 2 25 6 Run-Based Trie Simple Search Run-Based Trie Network A Network B Packet Router Packet Filtering Policy Rule Network A, K Network B Network C, D Action Permit Deny Permit Network

PG1501-PJ7816-CO36363-QuantStudio-3-and-5-brochure-Global-J.indd

Applied Biosystems QuantStudio 3 / QuantStudio 5 PCR PCR Applied Biosystems QuantStudio 3 QuantStudio 5 PCR Thermo Fisher Cloud 1 QuantStudio 3 and 5 Real-Time PCR Systems QuantStudio 3 and 5 Real-Time

PowerPoint

2011 12 6PTC Live TechForum TOKYO manji@rd.denso.co.jp 1/ 52 1949 12 16 1,874 ( ) 1 9,457 3 1,315 ( ) 38,318 123,165 ( ) 2011 3 31 Gr. Gr. Gr. Gr. Gr. PF 2/ 52 1 2 3 4PMT 5 Integrity 6 7 8 1/2 3/ 52 OEM

ソフトウェアの受け入れテストに対するゴール構造化表記法を用いた効率化の取り組み 高井利憲 Towards an effective framework for software acceptance testing by applying goal structuring notation TAKA

ソフトウェアの受け入れテストに対するゴール構造化表記法を用いた効率化の取り組み 高井利憲 Towards an effective framework for software acceptance testing by applying goal structuring notation TAKAI Toshinori ねらい介護ロボットなど あまり前例がなく かつ リスクも存在すると予想される新しいシステムに対しては

untitled

(SPLE) 2009/10/23 SRA yosikazu@sra.co.jp First, a Message from My Employers 2 SRA CMMI ] SPICE 3 And Now, Today s Feature Presentation 4 Engineering SPLE SPLE SPLE SPLE SPLE 5 6 SPL Engineering Engineeringi

"CAS を利用した Single Sign On 環境の構築"

CAS 2 SSO Authorization 1,3, 2,3, 2, 2,3 1 2 3 Central Authentication and Authorization Service (CAS 2 ) Web Application Single Sign On Authorization CAS 2 SSO/AuthZ Jan. 30 2007, p. 1/40 Plan of Talk

2013 科学技術振興機構研究成果集 DEOS プロジェクト この文書について 2013 年 11 月 15 日 2006 年に DEOS プロジェクトが開始され 7 年が経過した この間 多くの議論と研究がなされ オープンシステムディペンダビリティ (OSD) の概念ならびにその実現手法としての

DEOS-FY2013-SS-01J 2013 科学技術振興機構 DEOS プロジェクト研究成果集 Dependability Engineering for Open Systems 2013/11/15 研究総括所眞理雄 ( 株式会社ソニーコンピュータサイエンス研究所 ) JST-CREST 研究領域 実用化を目指した組込みシステム用ディペンダブル オペレーティングシステム 2013 科学技術振興機構研究成果集

Fig. 2 Signal plane divided into cell of DWT Fig. 1 Schematic diagram for the monitoring system

Study of Health Monitoring of Vehicle Structure by Using Feature Extraction based on Discrete Wavelet Transform Akihisa TABATA *4, Yoshio AOKI, Kazutaka ANDO and Masataka KATO Department of Precision Machinery

三石貴志.indd

流通科学大学論集 - 経済 情報 政策編 - 第 21 巻第 1 号,23-33(2012) SIRMs SIRMs Fuzzy fuzzyapproximate approximatereasoning reasoningusing using Lukasiewicz Łukasiewicz logical Logical operations Operations Takashi Mitsuishi

JIS Z 9001:1998JIS Z 9002:1998 ISO/IEC 17025ISO/IEC Guide 25

JIS Q 17025 IDT, ISO/IEC 17025 IT JIS Z 9001:1998JIS Z 9002:1998 ISO/IEC 17025ISO/IEC Guide 25 JIS Q 17025 IDT, ISO/IEC 17025 IT IT JIS Q 17025ISO/IEC 17025 (2) JIS Z 9358 ISO/IEC Guide 58 (3) testing

A Study on Throw Simulation for Baseball Pitching Machine with Rollers and Its Optimization Shinobu SAKAI*5, Yuichiro KITAGAWA, Ryo KANAI and Juhachi

A Study on Throw Simulation for Baseball Pitching Machine with Rollers and Its Optimization Shinobu SAKAI*5, Yuichiro KITAGAWA, Ryo KANAI and Juhachi ODA Department of Human and Mechanical Systems Engineering,

"CAS を利用した Single Sign On 環境の構築"

CAS 2 Single Sign On 1,3, 2,3, 2, 2,3 1 2 3 May 31, 2007 ITRC p. 1/29 Plan of Talk Brief survey of Single Sign On using CAS Brief survey of Authorization Environment using CAS 2 Summary May 31, 2007 ITRC

VHDL-AMS Department of Electrical Engineering, Doshisha University, Tatara, Kyotanabe, Kyoto, Japan TOYOTA Motor Corporation, Susono, Shizuok

VHDL-AMS 1-3 1200 Department of Electrical Engineering, Doshisha University, Tatara, Kyotanabe, Kyoto, Japan TOYOTA Motor Corporation, Susono, Shizuoka, Japan E-mail: tkato@mail.doshisha.ac.jp E-mail:

Corporate Principle

S o f t w a r e R e l i a b i l i t y E n h an c e m e n t C e n t er Information-technology Promotion Agency, Japan つながる世界のセーフティ & セキュリティ設計の見える化 つながる

S o f t w a r e R e l i a b i l i t y E n h an c e m e n t C e n t er Information-technology Promotion Agency, Japan つながる世界のセーフティ & セキュリティ設計の見える化 つながる世界 での安心 安全の仕組み環境の整備に向けて 2014 年 11 月 19 日 独立行政法人情報処理推進機構技術本部ソフトウェア高信頼化センター

Vol.55 No (Jan. 2014) saccess 6 saccess 7 saccess 2. [3] p.33 * B (A) (B) (C) (D) (E) (F) *1 [3], [4] Web PDF a m

Vol.55 No.1 2 15 (Jan. 2014) 1,a) 2,3,b) 4,3,c) 3,d) 2013 3 18, 2013 10 9 saccess 1 1 saccess saccess Design and Implementation of an Online Tool for Database Education Hiroyuki Nagataki 1,a) Yoshiaki

1 1 2 2 2.1 4 2.2 4 2.3 5 3 MFP 3.1 MFP 7 3.2 MFP 9 3.3 MFP 10 3.4 11 3.5 13 4 4.1 16 4.2 17 5 5.1 20 5.2 20 5.3 22 6 6.1 35 6.2 35 6.3 35

1 1 2 2 2.1 4 2.2 4 2.3 5 3 MFP 3.1 MFP 7 3.2 MFP 9 3.3 MFP 10 3.4 11 3.5 13 4 4.1 16 4.2 17 5 5.1 20 5.2 20 5.3 22 6 6.1 35 6.2 35 6.3 35 () () () () () () () () () () () () () () () () () () () () ()

66-1 田中健吾・松浦紗織.pwd

Abstract The aim of this study was to investigate the characteristics of a psychological stress reaction scale for home caregivers, using Item Response Theory IRT. Participants consisted of 337 home caregivers

2015 3

JAIST Reposi https://dspace.j Title ターン制ストラテジーゲームにおける候補手の抽象化 によるゲーム木探索の効率化 Author(s) 村山, 公志朗 Citation Issue Date 2015-03 Type Thesis or Dissertation Text version author URL http://hdl.handle.net/10119/12652

1 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15. 1. 2. 3. 16 17 18 ( ) ( 19 ( ) CG PC 20 ) I want some rice. I want some lice. 21 22 23 24 2001 9 18 3 2000 4 21 3,. 13,. Science/Technology, Design, Experiments,

2 ( 3 2 ) DoE 2) ) (D ) y (x 1, x 2, xj,, x D ) 3 N Q i i l j X i, j 1 4 (x y ) 4 DoE 4 1σ ( 4 ) 3 4 ( ) ( )

HiL Thomas KRUSE Holger ULMER Tobias KREUZINGER Tobias LANG 2-3-5 C 17F ETAS K.K., Queen s Tower C-17F 2-3-5, Minatomirai, Nishi-ku, Yokohama, Kanagawa, Japan Robert Bosch GmbH, Diesel Gasoline Systems

Lyra 2 2 2 X Y X Y ivis Designer Lyra ivisdesigner Lyra ivisdesigner 2 ( 1 ) ( 2 ) ( 3 ) ( 4 ) ( 5 ) (1) (2) (3) (4) (5) Iv Studio [8] 3 (5) (4) (1) (

1,a) 2,b) 2,c) 1. Web [1][2][3][4] [5] 1 2 a) ito@iplab.cs.tsukuba.ac.jp b) misue@cs.tsukuba.ac.jp c) jiro@cs.tsukuba.ac.jp [6] Lyra[5] ivisdesigner[6] [7] 2 Lyra ivisdesigner c 2012 Information Processing

12

1 2 3 2.1 3 2 US Department of Commerce, The advanced technology program: Reform with a purpose, 2002. 3 H. Osada, J. Kaneko, Strategic Management of Technology Innovation, The 18th Asia Quality Symposium

,4) 1 P% P%P=2.5 5%!%! (1) = (2) l l Figure 1 A compilation flow of the proposing sampling based architecture simulation

1 1 1 1 SPEC CPU 2000 EQUAKE 1.6 50 500 A Parallelizing Compiler Cooperative Multicore Architecture Simulator with Changeover Mechanism of Simulation Modes GAKUHO TAGUCHI 1 YOUICHI ABE 1 KEIJI KIMURA 1

guideline_1_0.dvi

Version 1.0 ( 22 5 ) cflkanta Matsuura Laboratory 2010, all rights reserved. I 3 1 3 2 3 3 4 II 8 4 8 5 9 5.1......................... 9 5.2......................... 10 5.3......................... 10

アジェンダ アシュアランスケースとは アシュアランスケースの必要性 論理の基礎 アシュアランスケースの表記法 GSN を例とした記法の説明 アシュアランスケースの利用 つながる世界での応用 3

アシュアランスケースの概要 2016年1月19日 独立行政法人 情報処理推進機構 技術本部 ソフトウェア高信頼化センター ソフトウェアグループ 研究員 鈴木基史 ソフトウェアグループ 研究員 佐々木方規 1 アジェンダ アシュアランスケースとは アシュアランスケースの必要性 論理の基礎 アシュアランスケースの表記法 GSN を例とした記法の説明 アシュアランスケースの利用 つながる世界での応用 3

修士論文

27 Mobile Ad Hoc Networks An Ant-based Routing Algorithm with Multi-phase Pheromone and Power-saving in Mobile Ad Hoc Networks 14T0013 Shohei Miyashita E-mail: shohei.miyashita.4j@stu.hosei.ac.jp : Abstract

SICE東北支部研究集会資料(2012年)

77 (..3) 77- A study on disturbance compensation control of a wheeled inverted pendulum robot during arm manipulation using Extended State Observer Luis Canete Takuma Sato, Kenta Nagano,Luis Canete,Takayuki

独立行政法人情報通信研究機構 Development of the Information Analysis System WISDOM KIDAWARA Yutaka NICT Knowledge Clustered Group researched and developed the infor

独立行政法人情報通信研究機構 KIDAWARA Yutaka NICT Knowledge Clustered Group researched and developed the information analysis system WISDOM as a research result of the second medium-term plan. WISDOM has functions that

fiš„v5.dvi

(2001) 49 2 293 303 VRML 1 2 3 2001 4 12 2001 10 16 Web Java VRML (Virtual Reality Modeling Language) VRML Web VRML VRML VRML VRML Web VRML VRML, 3D 1. WWW (World Wide Web) WWW Mittag (2000) Web CGI Java

DEIM Forum 2017 E Netflix (Video on Demand) IP 4K [1] Video on D

DEIM Forum 2017 E1-1 700-8530 3-1-1 E-mail: inoue-y@mis.cs.okayama-u.ac.jp, gotoh@cs.okayama-u.ac.jp 1. Netflix (Video on Demand) IP 4K [1] Video on Demand ( VoD) () 2. 2. 1 VoD VoD 2. 2 AbemaTV VoD VoD

DEIM Forum 2009 C8-4 QA NTT QA QA QA 2 QA Abstract Questions Recomme

DEIM Forum 2009 C8-4 QA NTT 239 0847 1 1 E-mail: {kabutoya.yutaka,kawashima.harumi,fujimura.ko}@lab.ntt.co.jp QA QA QA 2 QA Abstract Questions Recommendation Based on Evolution Patterns of a QA Community

20mm 63.92% ConstantZoom U 5

29 30 2 13 16350926 20mm 63.92% ConstantZoom U 5 1 3 1.1...................................... 3 1.2................................. 4 2 8 2.1............... 8 2.2............................ 8 2.3..

IPSJ SIG Technical Report Vol.2017-MUS-116 No /8/24 MachineDancing: 1,a) 1,b) 3 MachineDancing MachineDancing MachineDancing 1 MachineDan

MachineDancing: 1,a) 1,b) 3 MachineDancing 2 1. 3 MachineDancing MachineDancing 1 MachineDancing MachineDancing [1] 1 305 0058 1-1-1 a) s.fukayama@aist.go.jp b) m.goto@aist.go.jp 1 MachineDancing 3 CG

manu_fi„‰ž½À°_‚““⁄ÊßÝÌ_‘oŠÍ

EURAMET EURAMET/cg-15/v.01 "Guidelines on the Calibration of Digital Multimeters" EURAMET e.v. "General Conditions for the translation of EURAMET publ

JAB RL508-2010 20100405 2010-04-05-1/22-0 2010-04-05 EURAMET EURAMET/cg-15/v.01 "Guidelines on the Calibration of Digital Multimeters" EURAMET e.v. "General Conditions for the translation of EURAMET publications"

xx/xx Vol. Jxx A No. xx 1 Fig. 1 PAL(Panoramic Annular Lens) PAL(Panoramic Annular Lens) PAL (2) PAL PAL 2 PAL 3 2 PAL 1 PAL 3 PAL PAL 2. 1 PAL

PAL On the Precision of 3D Measurement by Stereo PAL Images Hiroyuki HASE,HirofumiKAWAI,FrankEKPAR, Masaaki YONEDA,andJien KATO PAL 3 PAL Panoramic Annular Lens 1985 Greguss PAL 1 PAL PAL 2 3 2 PAL DP

IP Management Within Universities: Experiences in the US

yuko.harayama@most.tohoku.ac.jp 17/3/2004 1 Ref. Sandelin TLO expertise Ref. AUTM 17/3/2004 2 Ref. Heller & Eisenberg, 1998 The scientific commons is becoming privatized! (Ref. Nelson, 2003) 17/3/2004

[http://www.measuredhs.com/aboutsurveys/dhs/ start.cfm] Black, T. R., Namwadda, R., Mugambe, J., Walugembe, E. & Esanu, C. (1999). Education growth in Uganda. International Journal of Educational Development,

Gaze Head Eye (a) deg (b) 45 deg (c) 9 deg 1: - 1(b) - [5], [6] [7] Stahl [8], [9] Fang [1], [11] Itti [12] Itti [13] [7] Fang [1],

1 1 1 Structure from Motion - 1 Ville [1] NAC EMR-9 [2] 1 Osaka University [3], [4] 1 1(a) 1(c) 9 9 9 c 216 Information Processing Society of Japan 1 Gaze Head Eye (a) deg (b) 45 deg (c) 9 deg 1: - 1(b)

IPSJ SIG Technical Report * Wi-Fi Survey of the Internet connectivity using geolocation of smartphones Yoshiaki Kitaguchi * Kenichi Nagami and Yutaka

* Wi-Fi Survey of the Internet connectivity using geolocation of smartphones Yoshiaki Kitaguchi * Kenichi Nagami and Yutaka Kikuchi With the rapid growth in demand of smartphone use, the development of

140 NDPG Defense of Japan 2010, pp. 2-3.

9 9/11 1 NDPG 10 NDPG 1976 1995 2004 2004 NDPG 2 NDPG 2010 12 2009 8 3 2011 3 11 1 Yasuaki Chijiwa, Japan s Security Outlook: Its Implications for the Defense Policy, in Asia Pacific Countries Security

IFIPWG10.4-takai-takamura0122.ppt

IFIP WG10.4 Dependability Standards and our Challenge to Establish a New Standard for Open Systems Toshinori Takai, Hiroki Takamura AIST, JAPAN 1 Contents Dependability Standards Related Organizations

,,, 2 ( ), $[2, 4]$, $[21, 25]$, $V$,, 31, 2, $V$, $V$ $V$, 2, (b) $-$,,, (1) : (2) : (3) : $r$ $R$ $r/r$, (4) : 3

1084 1999 124-134 124 3 1 (SUGIHARA Kokichi),,,,, 1, [5, 11, 12, 13], (2, 3 ), -,,,, 2 [5], 3,, 3, 2 2, -, 3,, 1,, 3 2,,, 3 $R$ ( ), $R$ $R$ $V$, $V$ $R$,,,, 3 2 125 1 3,,, 2 ( ), $[2, 4]$, $[21, 25]$,

ø ø Lessons Learned from the Worldwide Spread of Evidence-Based Medicine (EBM) Abstract Keywords Evidence-based Policies in Education: New Directions and Issues Abstract Keywords Contribution

「hoge」

ICS-06M-404 255 1 7 1.1................................... 7 1.1.1........................... 7 1.1.2........................ 8 1.1.3............................ 9 1.2..................................

WISS 2018 [2 4] [5,6] Query-by-Dancing Query-by- Dancing Cao [1] OpenPose 2 Ghias [7] Query by humming Chen [8] Query by rhythm Jang [9] Query-by-tapp

Query-by-Dancing: WISS 2018. Query-by-Dancing Query-by-Dancing 1 OpenPose [1] Copyright is held by the author(s). DJ DJ DJ WISS 2018 [2 4] [5,6] Query-by-Dancing Query-by- Dancing Cao [1] OpenPose 2 Ghias

FIT2014( 第 13 回情報科学技術フォーラム ) RD-002 Web SNS Yuanyuan Wang Gouki Yasui Yuji Hosokawa Yukiko Kawai Toyokazu Akiyama Kazutoshi Sumiya 1. Twitter 1 Facebo

RD-002 Web SNS Yuanyuan Wang Gouki Yasui Yuji Hosokawa Yukiko Kawai Toyokazu Akiyama Kazutoshi Sumiya 1. Twitter 1 Facebook 2 SNS SNS SNS Twitter SNS [1] SNS [2] Twitter Web Web Web Web SNS Web Web 2 Web

CSIS 4 the Asia-Pacific, or the Indo-Pacific region Asia s Democratic Security Diamond 7 11 sea-faring democracies Lake Beijing

1 nifty 2010 2012 3 4 2011 6 20 9 24 1 2 2. 2013 1 3 5 3 2-25- 1 2 23 CSIS 4 the Asia-Pacific, or the Indo-Pacific region 5 2 28 6 12 27 Asia s Democratic Security Diamond 7 11 sea-faring democracies Lake

PowerPoint プレゼンテーション

IEC 62853 Open systems dependability 要点と今後の展開 2018-06-05 ディペンダビリティ技術推進協会 神奈川大学理学部情報科学科 オープンシンポジウム IEC TC 56 Dependability WG 4 Information systems Convenor ディペンダビリティ技術推進協会 標準化部会 主査 木下佳樹 IEC 62853 Open

dews2004-final.dvi

DEWS2004 I-10-04 606 8501 E-mail: {akahoshi,hirotanaka,tanaka}@dl.kuis.kyoto-u.ac.jp A Basic Study on Ubiquitous Hypermedia Model Yuhei AKAHOSHI, Hiroya TANAKA, and Katsumi TANAKA Graduate School of Informatics,

Bulletin of JSSAC(2014) Vol. 20, No. 2, pp (Received 2013/11/27 Revised 2014/3/27 Accepted 2014/5/26) It is known that some of number puzzles ca

Bulletin of JSSAC(2014) Vol. 20, No. 2, pp. 3-22 (Received 2013/11/27 Revised 2014/3/27 Accepted 2014/5/26) It is known that some of number puzzles can be solved by using Gröbner bases. In this paper,

火災危険１.PDF

1994 22 NFPA(National Fire Protection Association ) USFA(United States Fire Administration ) NFPA USFA NFPA 64 NFPA J.Hall ( ) 1),2),3),4) 20.7 15 1994 33 18 GDP 5),6) 50 72.1 19851989 94.6 89.4 89.3 19881997

Haiku Generation Based on Motif Images Using Deep Learning Koki Yoneda 1 Soichiro Yokoyama 2 Tomohisa Yamashita 2 Hidenori Kawamura Scho

Haiku Generation Based on Motif Images Using Deep Learning 1 2 2 2 Koki Yoneda 1 Soichiro Yokoyama 2 Tomohisa Yamashita 2 Hidenori Kawamura 2 1 1 School of Engineering Hokkaido University 2 2 Graduate

EQUIVALENT TRANSFORMATION TECHNIQUE FOR ISLANDING DETECTION METHODS OF SYNCHRONOUS GENERATOR -REACTIVE POWER PERTURBATION METHODS USING AVR OR SVC- Ju

EQUIVALENT TRANSFORMATION TECHNIQUE FOR ISLANDING DETECTION METHODS OF SYNCHRONOUS GENERATOR -REACTIVE POWER PERTURBATION METHODS USING AVR OR SVC- Jun Motohashi, Member, Takashi Ichinose, Member (Tokyo

IPSJ SIG Technical Report iphone iphone,,., OpenGl ES 2.0 GLSL(OpenGL Shading Language), iphone GPGPU(General-Purpose Computing on Graphics Proc

iphone 1 1 1 iphone,,., OpenGl ES 2.0 GLSL(OpenGL Shading Language), iphone GPGPU(General-Purpose Computing on Graphics Processing Unit)., AR Realtime Natural Feature Tracking Library for iphone Makoto

BB 報告書完成版_修正版）040415.doc

3 4 5 8 KW Q = AK α W β q = a + α k + βw q = log Q, k = log K, w = logw i P ij v ij P ij = exp( vij ), J exp( v ) k= 1 ik v i j = X β αp + γnu j j j j X j j p j j NU j j NU j (

untitled

IT IT IT IT 1 IT 2 Software as a Service (SaaS 3 ) IT SaaS 4 SaaS SaaS PC SaaS SaaS Web SaaS ID IT SaaS IT 1 2 3 Software as a Service ASP(Application Service Provider) SaaS 4 ASPIC SaaS SaaS SaaS SaaS

2reN-A14.dvi

340 30 1 SP2-N 2015 Onomatoperori : Ranking Cooking Recipes by using Onomatopoeias which Express their Tastes and Textures Chiemi Watanabe Satoshi Nakamura Graduate School of Systems and Information Engineering,

情報処理学会研究報告 IPSJ SIG Technical Report Vol.2015-SE-187 No /3/12 Java 1,a) 1,b) 1,c) 1,d) Known Unknown Unknown Unknown 2 Known Unknown Archface-U

Java 1,a) 1,b) 1,c) 1,d) Known Unknown Unknown Unknown 2 Known Unknown Archface-U iarch-u iarch-u Partial Model 1. Known Unknown Unknown Unknown Known Unknown 1 Kyushu University a) fukamachi@posl.ait.kyushu-u.ac.jp

SEM44-西堀ゆり.indd

1.はじめに: 激 変 する 英 語 と 情 報 コミュニケーション ICT Information & Communications Technology: 1 2008 EFL: English as a Foreign Language 2001 2 199 3 200 2. 協 調 場 と NBLT(Network-based Language Teaching) 201 e- e- 1990

LED a) A New LED Array Acquisition Method Focusing on Time-Gradient and Space- Gradient Values for Road to Vehicle Visible Light Communication Syunsuk

VOL. J97-B NO. 7 JULY 2014 本 PDF の扱いは 電子情報通信学会著作権規定に従うこと なお 本 PDF は研究教育目的 ( 非営利 ) に限り 著者が第三者に直接配布することができる 著者以外からの配布は禁じられている LED a) A New LED Array Acquisition Method Focusing on Time-Gradient and Space-

1(a) (b),(c) - [5], [6] Itti [12] [13] gaze eyeball head 2: [time] [7] Stahl [8], [9] Fang [1], [11] 3 -

Vol216-CVIM-22 No18 216/5/12 1 1 1 Structure from Motion - 1 8% Tobii Pro TX3 NAC EMR ACTUS Eye Tribe Tobii Pro Glass NAC EMR-9 Pupil Headset Ville [1] EMR-9 [2] 1 Osaka University Gaze Head Eye (a) deg

ITS驍ｵ・ｺ繝ｻ・ｮ髫ｶ轣倡ｶ懊・・ｺ鬮｢ﾂ€陜滂ｽｧ 2013_鬮ｯ・ｦ繝ｻ・ｨ1-4_髫ｴ螢ｽ・ｺ蛟ｪ譌ｺ驛｢・ｧ郢晢ｽｻindd

Other ITS Other ITS Communication Networks ITS ITS W A W A ITS Station ITS Station ITS Station A Y A Y Station Station Station Communication Networks Cooperave-ITS Environment G A T E G A T E /

5 ISMS 5 4 PC PC USB PDA 2

3 3 1 2 1 1 2 4 1 2 1 1 1 5 ISMS 5 4 PC PC USB PDA 2 16 1 16 1 4 3 PC USB 4 5 1 6 6 506 507 507 6 5000 JIS 7 3 3 8 1 4 Web 2 15 16 9 1 OK 2 10 20 3 10 4 19 100 1 0 100 1000 1 11 3 10 50 A B C 3 4 10 50

D-Case Editor の機能拡充に関する開発環境構築手順書 18/JAN/2013 AXE, Inc.

D-Case Editor の機能拡充に関する開発環境構築手順書 18/JAN/2013 AXE, Inc. 改訂履歴 更新日版内容担当 18/JAN/2013 0.8 新規作成臼田 @AXE 目次 1 はじめに...4 1.1 概要...4 1.2 関連文書...4 2 環境... 5 3 構築手順... 6 3.1Eclipse のインストール... 6 3.2Eclipse プラグインのインストール...6

冬_予稿集_第54回プログラミング・シンポジウム.indd

Mini Konoha: 究極のスクリプト言語にむけて Mini Konoha Konoha/KonohaScript 1. はじめに Mini Konoha F104 F104 1950 2006 Konoha Konoha Konoha HPC HPC Mini Konoha 3 Konoha, KonohaScript Mini Konoha Mini Konoha 2 3 4 5 JST/DEOS