お知らせ
2023年度・2024年度 学生員 会費割引キャンペーン実施中です
お知らせ
技術研究報告と和文論文誌Cの同時投稿施策(掲載料1割引き)について
お知らせ
電子情報通信学会における研究会開催について
お知らせ NEW
参加費の返金について
電子情報通信学会 研究会発表申込システム
研究会 開催スケジュール
技報閲覧サービス
[ログイン]
技報アーカイブ
すべての学会/ソサイエティ
IEICE: 電子情報通信学会
A: 基礎・境界
N: NOLTA
B: 通信
C: エレクトロニクス
D: 情報・システム
H: ヒューマンCG
(第二種) A: 基礎・境界
(第二種) N: NOLTA
(第二種) B: 通信
(第二種) C: エレクトロニクス
(第二種) D: 情報・システム
(第二種) H: ヒューマンCG
(第三種) B: 通信
IEE: 電気学会
IEIJ: 照明学会
JSAP: 応物学会
ITE: 映情メ学会
IPSJ: 情処学会
IEEE
ASJ: 日本音響学会
JSAI: 人工知能
OSJ: 日本光学会
HIS: HI学会
VRSJ: 日本VR学会
Others: その他
すべての研究会
バイオメトリクス研究会 (BioX)
回路とシステム研究会 (CAS)
応用音響研究会 (EA)
ハードウェアセキュリティ研究会 (HWS)
安全・安心な生活とICT研究会 (ICTSSL)
イメージ・メディア・クオリティ研究会 (IMQ)
情報セキュリティ研究会 (ISEC)
情報理論研究会 (IT)
ITS研究会 (ITS)
システム数理と応用研究会 (MSS)
信頼性研究会 (R)
高信頼制御通信研究会 (RCC)
信号処理研究会 (SIP)
スマートインフォメディアシステム研究会 (SIS)
技術と社会・倫理研究会 (SITE)
安全性研究会 (SSS)
思考と言語研究会 (TL)
超音波研究会 (US)
VLSI設計技術研究会 (VLD)
ワイドバンドシステム研究会 (WBS)
複雑コミュニケーションサイエンス研究会 (CCS)
非線形問題研究会 (NLP)
アドホックネットワーク研究会 (AN)
アンテナ・伝播研究会 (AP)
知的環境とセンサネットワーク研究会 (ASN)
コミュニケーションクオリティ研究会 (CQ)
コミュニケーションシステム研究会 (CS)
電子通信エネルギー技術研究会 (EE)
環境電磁工学研究会 (EMCJ)
インターネットアーキテクチャ研究会 (IA)
情報通信マネジメント研究会 (ICM)
情報ネットワーク研究会 (IN)
ヘルスケア・医療情報通信技術研究会 (MICT)
モバイルネットワークとアプリケーション研究会 (MoNA)
ネットワークシステム研究会 (NS)
光通信システム研究会 (OCS)
光ファイバ応用技術研究会 (OFT)
フォトニックネットワーク研究会 (PN)
無線通信システム研究会 (RCS)
宇宙・航行エレクトロニクス研究会 (SANE)
衛星通信研究会 (SAT)
センサネットワークとモバイルインテリジェンス研究会 (SeMI)
スマート無線研究会 (SR)
短距離無線通信研究会 (SRW)
ユビキタス・センサネットワーク研究会 (USN)
無線電力伝送研究会 (WPT)
電子部品・材料研究会 (CPM)
電子デバイス研究会 (ED)
電子ディスプレイ研究会 (EID)
機構デバイス研究会 (EMD)
電磁界理論研究会 (EMT)
エレクトロニクスシミュレーション研究会 (EST)
集積回路研究会 (ICD)
レーザ・量子エレクトロニクス研究会 (LQE)
磁気記録・情報ストレージ研究会 (MRIS)
マイクロ波研究会 (MW)
マイクロ波・ミリ波フォトニクス研究会 (MWP)
マイクロ波テラヘルツ光電子技術研究会 (MWPTHz)
有機エレクトロニクス研究会 (OME)
光エレクトロニクス研究会 (OPE)
超伝導エレクトロニクス研究会 (SCE)
シリコン材料・デバイス研究会 (SDM)
人工知能と知識処理研究会 (AI)
クラウドネットワークロボット研究会 (CNR)
コンピュテーション研究会 (COMP)
合意と共創研究会 (Consen)
コンピュータシステム研究会 (CPSY)
ディペンダブルコンピューティング研究会 (DC)
データ工学研究会 (DE)
マルチメディア情報ハイディング・エンリッチメント研究会 (EMM)
教育工学研究会 (ET)
情報論的学習理論と機械学習研究会 (IBISML)
情報通信システムセキュリティ研究会 (ICSS)
画像工学研究会 (IE)
知能ソフトウェア工学研究会 (KBSE)
ライフインテリジェンスとオフィス情報システム研究会 (LOIS)
MEとバイオサイバネティックス研究会 (MBE)
医用画像研究会 (MI)
ニューロコンピューティング研究会 (NC)
言語理解とコミュニケーション研究会 (NLC)
パターン認識・メディア理解研究会 (PRMU)
リコンフィギャラブルシステム研究会 (RECONF)
サービスコンピューティング研究会 (SC)
音声研究会 (SP)
ソフトウェアサイエンス研究会 (SS)
ソフトウェアインタプライズモデリング研究会 (SWIM)
ヒューマンコミュニケーション基礎研究会 (HCS)
ヒューマン情報処理研究会 (HIP)
メディアエクスペリエンス・バーチャル環境基礎研究会 (MVE)
福祉情報工学研究会 (WIT)
センサネットワーク研究会 (SN)
次世代無線設備試験認証技術研究会 (ACT)
バイオメトリックシステムセキュリティ研究会 (BS)
通信行動工学研究会 (CBE)
ネットワーク仮想化研究会 (NV)
新世代ネットワーク研究会 (NwGN)
ネットワークソフトウェア研究会 (NWS)
光応用電磁界計測研究会 (PEM)
水中無線技術研究会 (UWT)
光集積及びシリコンフォトニクス研究会 (PICS)
量子情報技術研究会 (QIT)
シリコンフォトニクス研究会 (SIPH)
テラヘルツ応用システム研究会 (THz)
合意と共創研究会 (Consensus)
サイバーワールド時限研究会 (CW)
フェロー&マスターズ未来技術研究会 (FM)
ネットワークロボット研究会 (NR)
サステナブルコンピューティング研究会 (SUSC)
食メディア研究会 (CEA)
人間とICT倫理研究会 (EHI)
HCGシンポジウム (HCGSYMPO)
ヒューマンプローブ研究会 (HPB)
革新的無線通信技術に関する横断型研究会 (MIKA)
超知性ネットワーキングに関する分野横断型研究会 (RISING)
バイオ・マイクロシステム研究会 (IEE-BMS)
通信研究会 (IEE-CMN)
誘電・絶縁材料研究会 (IEE-DEI)
電子デバイス技術委員会 (IEE-EDD)
電子材料研究会 (IEE-EFM)
電磁環境技術委員会 (IEE-EMC)
電磁界理論技術委員会 (IEE-EMT)
家電・民生技術委員会 (IEE-HCA)
産業電力電気応用研究会(解散) (IEE-IEA)
次世代産業システム (IEE-IIS)
情報システム研究会 (IEE-IS)
ITS研究会 (IEE-ITS)
マグネティックス研究会 (IEE-MAG)
医用・生体工学技術委員会 (IEE-MBE)
マイクロマシン・センサシステム研究会 (IEE-MSS)
光・量子デバイス技術委員会 (IEE-OQD)
スマートファシリティ研究会 (IEE-SMF)
半導体電力変換研究会 (IEE-SPC)
固体光源分科会 (IEIJ-SSL)
立体映像技術研究会 (ITE-3DMT)
映像表現&コンピュータグラフィックス研究会 (ITE-AIT)
放送技術研究会 (ITE-BCT)
コンシューマエレクトロニクス研究会 (ITE-CE)
ヒューマンインフォメーション研究会 (ITE-HI)
情報ディスプレイ研究会 (ITE-IDY)
情報センシング研究会 (ITE-IST)
メディア工学研究会 (ITE-ME)
マルチメディアストレージ研究会 (ITE-MMS)
スポーツ情報処理研究会 (ITE-SIP)
アクセシビリティ研究会 (IPSJ-AAC)
アルゴリズム研究会 (IPSJ-AL)
システム・アーキテクチャ研究会 (IPSJ-ARC)
オーディオビジュアル複合情報処理研究会 (IPSJ-AVM)
バイオ情報学研究会 (IPSJ-BIO)
コンピュータと教育研究会 (IPSJ-CE)
コンピュータグラフィックスとビジュアル情報学研究会 (IPSJ-CGVI)
教育学習支援情報システム研究会 (IPSJ-CLE)
コラボレーションとネットワークサービス研究会 (IPSJ-CN)
コンピュータセキュリティ研究会 (IPSJ-CSEC)
コンピュータビジョンとイメージメディア研究会 (IPSJ-CVIM)
データベースシステム研究会 (IPSJ-DBS)
ドキュメントコミュニケーション研究会 (IPSJ-DC)
デジタルコンテンツクリエーション研究会 (IPSJ-DCC)
マルチメディア通信と分散処理研究会 (IPSJ-DPS)
エンタテインメントコンピューティング研究会 (IPSJ-EC)
電子化知的財産・社会基盤研究会 (IPSJ-EIP)
組込みシステム研究会 (IPSJ-EMB)
情報学基礎研究会(終了) (IPSJ-FI)
ヒューマンコンピュータインタラクション研究会 (IPSJ-HCI)
ハイパフォーマンスコンピューティング研究会 (IPSJ-HPC)
知能システム研究会 (IPSJ-ICS)
情報基礎とアクセス技術研究会 (IPSJ-IFAT)
インターネットと運用技術研究会 (IPSJ-IOT)
高度交通システムとスマートコミュニティ研究会 (IPSJ-ITS)
モバイルコンピューティングとパーベイシブシステム研究会 (IPSJ-MBL)
数理モデル化と問題解決研究会 (IPSJ-MPS)
音楽情報科学研究会 (IPSJ-MUS)
自然言語処理研究会 (IPSJ-NL)
ソフトウェア工学研究会 (IPSJ-SE)
システムとLSIの設計技術研究会 (IPSJ-SLDM)
音声言語情報処理研究会 (IPSJ-SLP)
セキュリティ心理学とトラスト研究会 (IPSJ-SPT)
ユビキタスコンピューティングシステム研究会 (IPSJ-UBI)
建築音響研究会 (ASJ-AA)
聴覚研究会 (ASJ-H)
音楽音響研究会 (ASJ-MA)
音声研究会 (ASJ-SP)
データ指向構成マイニングとシミュレーション研究会 (JSAI-DOCMAS)
知識ベースシステム研究会 (JSAI-KBS)
社会におけるAI研究会 (JSAI-SAI)
言語・音声理解と対話処理研究会 (JSAI-SLUD)
デバイスメディア指向ユーザインタフェース研究会 (HI-SIG-DeMO)
バーチャル・リアリティー・インタラクション専門研究委員会 (HI-SIG-VR)
アクセシブル・インタフェース専門研究会 (HI-SIGACI)
コラボレーション基盤専門研究委員会 (HI-SIGCOASTER)
VR心理学研究委員会 (VRPSY)
日本バーチャルリアリティ学会 (VRSJ)
サイバースペースと仮想都市研究会 (VRSJ-SIG-CS)
複合現実感研究会 (VRSJ-SIG-MR)
デバッグ用研究会 (DEBUG)
画像電子学会 (IIEEJ)
けいはんな「Web Semantics」研究会 (KEWPIE)
Korea Society of Satellite Technology (KOSST)
レーザー学会 (LSJ)
Society for Information Display 日本支部 (SID-JC)
最近の開催
2024年度
2023年度
2022年度
2021年度
2020年度
2019年度
2018年度
2017年度
2016年度
2015年度
2014年度
2013年度
2012年度
2011年度
2010年度
2009年度
2008年度
2007年度
2006年度
2005年度
2004年度
最近1ヶ月
最近1年
最近2年
最近3年
最近5年
最近10年
すべての年度
[Japanese]
/
[English]
すべての開催地
北海道
東北地方(青森,秋田,山形,岩手,宮城,福島)
関東地方(東京,埼玉,神奈川,千葉,茨城,群馬,栃木,山梨)
甲信越地方(新潟,山梨,長野)
北陸地方(新潟,富山,石川,福井)
東海地方(岐阜,静岡,愛知,三重)
近畿地方(京都,大阪,滋賀,兵庫,奈良,和歌山,三重)
中国地方(岡山,広島,山口,島根,鳥取)
四国地方(徳島,香川,愛媛,高知)
九州地方(福岡,佐賀,長崎,熊本,大分,宮崎,鹿児島)
沖縄県
東京都
東京都および神奈川県
東京圏(東京,埼玉,千葉,神奈川)
大阪圏(大阪,京都,奈良,兵庫)
海外(アジア,ヨーロッパ,アフリカ,アメリカ,オセアニア)
オンライン開催
(
研究会名/開催地/テーマ
)→
(
講演検索
検索語:
/ 範囲:
題目
著者
所属
抄録
キーワード
)→
すべての研究会開催スケジュール
(検索条件: すべての年度)
講演検索結果
登録講演(開催プログラムが公開されているもの)
(日付・降順)
148件中 21~40件目
[前ページ]
/
[次ページ]
日付順(昇順)
日付順(降順)
タイトル順
著者順
所属順
研究会順
5件ずつ表示
10件ずつ表示
20件ずつ表示
30件ずつ表示
50件ずつ表示
100件ずつ表示
200件ずつ表示
500件ずつ表示
研究会
発表日時
開催地
タイトル・著者
抄録
資料番号
KBSE
,
SS
(共催)
IPSJ-SE
(連催)
[詳細]
2018-07-18
15:50
北海道
北海道・帯広市 とかちプラザ 視聴覚室/大集会室
コントロールループに着目したIoTアーキテクチャモデルの検証に関する一考察
○
青木善貴
(
日本ユニシス
)・
小形真平
・
小林一樹
(
信州大
)・
中川博之
(
阪大
)
SS2018-11 KBSE2018-21
IoT(Internet of Things)システムはサイバー空間とフィジカル空間をまたがる複雑な構成となる.その構成...
[more]
SS2018-11
KBSE2018-21
pp.61-66
SS
2018-03-06
11:30
沖縄
南大東島
STAMP/STPA単線列車例題に対する時間オートマトンモデル検査の適用と考察
○
岡野浩三
・
小形真平
・
楊 盼
(
信州大
)・
岡本圭史
(
仙台高専
)
SS2017-64
近年情報システムの大規模化複雑化にともない,情報システムの事故原因解明や
事故そのものの事前防止策に注目があつまってい...
[more]
SS2017-64
pp.1-6
SS
,
KBSE
(共催)
IPSJ-SE
(連催)
[詳細]
2017-07-19
10:45
北海道
函館コミュニティプラザ
端末交通システムにおける運行スケジュールのモデル検査法を用いたデッドロック検出手法
○
辻 光顕
・
長谷部浩二
・
加藤和彦
(
筑波大
)
SS2017-2 KBSE2017-2
著者らは車両の自律動作により隊列走行可能な端末交通システムの研究開発を行っている.このシステムの特長は,隊列を再編成する...
[more]
SS2017-2
KBSE2017-2
pp.7-12
SS
,
KBSE
(共催)
IPSJ-SE
(連催)
[詳細]
2017-07-19
13:10
北海道
函館コミュニティプラザ
IoTシステムアーキテクチャのモデリング記法によるモデル検査支援手法の試作と評価
○
小形真平
(
信州大
)・
青木善貴
(
日本ユニシス
)・
中川博之
(
阪大
)・
小林一樹
(
信州大
)・
福島祐子
(
日本ユニシス
)
SS2017-5 KBSE2017-5
IoTシステムのアーキテクチャでは,ユーザ,Webサービス,エッジ,デバイス,電力系統,自然環境などの様々なオブジェクト...
[more]
SS2017-5
KBSE2017-5
pp.25-30
MSS
2017-03-16
11:20
島根
島根大学総合理工学部1号館情報棟1階情報科学講義室
組込みアセンブリプログラムのリアルタイム性の検証手法 ~ 組込みプログラムのためのモデル検査と演繹的検証 ~
○
山根 智
(
金沢大
)
MSS2016-83
組込みシステムでは, 論理的正当性だけではなく, リアルタイム性の検証が重要である. 本論文では, リアルタイム性の検証...
[more]
MSS2016-83
pp.11-16
SS
2017-03-10
09:15
沖縄
てんぶす那覇
Androidアプリケーションの並行実行における予期しない消費電力増加の検出
○
稲垣貴大
・
結縁祥治
(
名大
)
SS2016-74
本研究では,Androidアプリケーションの並行実行をすることで発生する電力消費問題について,有界モデル検査による解法を...
[more]
SS2016-74
pp.85-90
KBSE
2017-03-03
12:50
石川
石川県金沢市 ITビジネスプラザ武蔵 研修室1
キャッシュの効率利用による自己適応システムの動的モデル検査法改善
○
外山大夢
・
中川博之
・
小島英春
・
土屋達弘
(
阪大
)
KBSE2016-40
近年,システム自身の振る舞いを変化させる自己適応システムに注目が集まっているが,振る舞い変更時に変更後の振る舞いの正しさ...
[more]
KBSE2016-40
pp.7-12
MSS
,
CAS
(共催)
IPSJ-AL
(連催)
[詳細]
2016-11-24
13:25
兵庫
神戸情報大学院大学
ペトリネット検証ツールHiPS向けon-the-flyモデル検査器の実現と評価
○
張江洋次朗
・
和﨑克己
(
信州大
)
CAS2016-63 MSS2016-43
ペトリネットモデルより生成される状態空間のイベントに着目したon-the-flyモデル検査器の設計を行った.HiPSは筆...
[more]
CAS2016-63
MSS2016-43
pp.31-35
MBE
2016-07-30
14:30
岡山
岡山大学
人工呼吸器の使用状況電子管理システムの構築
○
鳥越貴之
・
宮崎 仁
(
川崎医療福祉大
)・
檀上紗弥
(
洛和会ヘルスケアシステム音羽病院
)・
茅野 功
(
川崎医療福祉大
)・
小笠原康夫
(
川崎医科大/川崎医療福祉大
)
MBE2016-18
人工呼吸器は,病院内で集中管理される生命維持管理装置であり,厚労省によって,保守点検が義務付けられている.現状では,その...
[more]
MBE2016-18
pp.17-20
KBSE
,
SS
(共催)
IPSJ-SE
(連催)
[詳細]
2016-07-13
10:20
北海道
北海道立道民活動センター
シーケンス図のメーセージ順序の適正な修正手法
○
岡野浩三
(
信州大
)・
原内 聡
(
三菱電機
)・
田島洋介
・
小形真平
(
信州大
)
SS2016-2 KBSE2016-8
ソフトウェア開発において,品質を保証するための手法として設計の欠陥の検出,修正に関する多くの提案がされている.仕様設計の...
[more]
SS2016-2
KBSE2016-8
pp.7-12
MBE
2016-06-17
13:25
北海道
北海道大学
モデル検査を用いた人工呼吸器貸出管理システムの検証
○
宮崎 仁
・
鳥越貴之
・
茅野 功
(
川崎医療福祉大
)・
小笠原康夫
(
川崎医科大/川崎医療福祉大
)
MBE2016-14
病院では,業務の効率化や改善を目的として,医療従事者が開発したシステムを稼働することがある.しかしながら,メーカーが開発...
[more]
MBE2016-14
pp.27-30
KBSE
2016-05-27
10:45
東京
同志社大学 東京オフィス
デザインパターンに基づくソースコードのモデル検証の手法の提案
○
青木善貴
(
NUL
)
KBSE2016-6
今までに「モデル検査による仕様とソースコードの不一致を発見する手法」を提案してきた.この検証手法は制御フローをベースにし...
[more]
KBSE2016-6
pp.31-36
SS
2016-03-11
14:15
沖縄
沖縄県立宮古青少年の家
一次元系における自己位置推定の振舞い検証に向けて
○
関澤俊弦
(
日大
)・
岡野浩三
(
信州大
)
SS2015-100
組込みシステムが社会に広く普及するに伴い,その信頼性は重要となっている.モデル検査は信頼性保証技術の一つであり,様々なシ...
[more]
SS2015-100
pp.145-150
KBSE
2016-03-03
15:20
大分
由布市湯布院公民館
[招待講演]不確かさを抱擁するモデル駆動開発
○
鵜林尚靖
(
九大
)
KBSE2015-56
ソフトウェア工学において,不確かさを抱擁したソフトウェア開発は重要な研究課題の一つである.Garlanは,伝統的なソフト...
[more]
KBSE2015-56
p.49
MSS
2016-03-03
10:30
山口
海峡メッセ下関
エージェント指向ペトリネットPN^2による有界活性の解析法とIoT応用サービスへの適用
○
津川捷暉
・
中堀和哉
・
山口真悟
(
山口大
)
MSS2015-67
本稿では,IoT 応用サービスにおけるオーバーフローやデッドロックの発生を解析することを目的とする.まずIoT 応用サー...
[more]
MSS2015-67
pp.1-4
VLD
2016-02-29
13:30
沖縄
沖縄県青年会館
Verilog-HDLによる大規模ハードウェア設計の検証支援ツールの開発
○
森光勇太
・
横川智教
(
岡山県立大
)・
近藤真史
・
宮崎 仁
(
川崎医療福祉大
)・
佐藤洋一郎
・
有本和民
(
岡山県立大
)・
吉田則裕
(
名大
)
VLD2015-111
本稿では,Verilog-HDLで記述された大規模ハードウェア設計の検証支援ツールについて報告する.
検証には,フォー...
[more]
VLD2015-111
pp.1-6
SS
,
MSS
(共催)
2016-01-25
11:45
石川
しいのき迎賓館 セミナールームB
線形ハイブリッドオートマトンのnon-Zeno公平性検証に対する遷移述語抽象化の適用
○
柳瀬 龍
・
山根 智
(
金沢大
)
MSS2015-40 SS2015-49
ハイブリッドシステムの公平性を検証する際,システムがnon-Zenoであることを同時に示すことが必要となる場合が非常に多...
[more]
MSS2015-40
SS2015-49
pp.29-33
SS
,
MSS
(共催)
2016-01-25
15:45
石川
しいのき迎賓館 セミナールームB
線形時相論理式からイベントベースオートマトンへの変換を利用したペトリネット検証ツールHiPS向けon-the-flyモデル検査器
○
張江洋次朗
・
和崎克己
(
信州大
)
MSS2015-46 SS2015-55
本稿では,ペトリネットより生成される状態空間を対象に,線形時相論理式によるon-the-flyモデル検査器の設計について...
[more]
MSS2015-46
SS2015-55
pp.63-68
SS
,
MSS
(共催)
2016-01-25
18:30
石川
しいのき迎賓館 セミナールームB
モデル検査とテストを応用した制御システム検証手法の検討
○
松原潤弥
・
髙木理恵子
・
中澤輝幸
(
デンソークリエイト
)・
東道徹也
・
井原博之
・
川合幸典
(
デンソー
)
MSS2015-52 SS2015-61
近年の車載制御システムの複雑化により,システムの信頼性の確保とその客観性が求められている.このため,システム設計の過程で...
[more]
MSS2015-52
SS2015-61
pp.99-103
CS
,
OCS
(併催)
2016-01-22
11:15
鹿児島
鹿児島大学 稲盛アカデミー(郡元キャンパス)
同時マルチプルアクセスにおけるBluetooth LEデバイス探索プロトコルの特性評価
○
松尾友介
・
梅原大祐
(
京都工繊大
)・
村田英一
(
京大
)・
田野 哲
(
岡山大
)
CS2015-83
Bluetooh BR/EDR (Basic Rate/Enhanced Data Rate)では,スレーブをマスタに収...
[more]
CS2015-83
pp.61-66
148件中 21~40件目
[前ページ]
/
[次ページ]
日付順(昇順)
日付順(降順)
タイトル順
著者順
所属順
研究会順
5件ずつ表示
10件ずつ表示
20件ずつ表示
30件ずつ表示
50件ずつ表示
100件ずつ表示
200件ずつ表示
500件ずつ表示
ダウンロード書式の初期値を指定してください
NEW!!
テキスト形式
pLaTeX形式
CSV形式
BibTeX形式
著作権について : 以上の論文すべての著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034)
[研究会発表申込システムのトップページに戻る]
[電子情報通信学会ホームページ]
IEICE / 電子情報通信学会