電子情報通信学会 研究会発表申込システム
研究会 開催スケジュール
技報閲覧サービス
技報オンライン
‥‥ (ESS/通ソ/エレソ/ISS)
技報アーカイブ
‥‥ (エレソ/通ソ)
    [Japanese] / [English] 
研究会名/開催地/テーマ  )→
 
講演検索  検索語:  /  範囲:題目 著者 所属 抄録 キーワード )→

すべての研究会開催スケジュール  (すべての年度)

講演検索結果
 登録講演(開催プログラムが公開されているもの)  (日付・降順)
 50件中 1〜20件目  /  [次ページ]  
研究会 発表日時 開催地 タイトル・著者 抄録 資料番号
CAS, SIP, MSS, VLD
(共催)
2018-06-15
12:25
北海道 北海道大学フロンティア応用科学研究棟 [パネル討論]システムと信号処理サブソサイエティの役割 ~ 研専およびサブソのロードマップその1 ~
山根 智金沢大)・岡崎秀晃湘南工科大)・峯岸孝行三菱電機)・村松正吾新潟大)・名嘉村盛和琉球大
システムと信号処理サブソサイエティ4研専(回路とシステム研究会,VLSI設計技術研究会,信号処理研究会,システム数理と応... [more] CAS2018-25 VLD2018-28 SIP2018-45 MSS2018-25
p.129
MSS, NLP
(併催)
2018-03-13
14:55
大阪 大阪大学豊中キャンパス 定理証明器Princessを用いた組込みアセンブリプログラムのリアルタイム安全性の演繹的検証
小田島直樹金沢大)・福田岳飛金沢錦丘高校)・山根 智金沢大
組込みシステムでは, 論理的正当性だけではなく, リアルタイム性の検証が重要である. 本論文では, 組込みプログラムのリ... [more] MSS2017-84
pp.35-40
IBISML 2017-11-10
13:00
東京 東京大学 CNNの特徴マップを用いた回転角推定の連続実行による回転画像認識
片山 錦山根 智金沢大
Convolutional Neural Network(CNN)の利用による特徴抽出によって一般物体認識ではめざましい... [more] IBISML2017-63
pp.215-218
SIP, CAS, MSS, VLD
(共催)
2017-06-20
09:30
新潟 新潟大学五十嵐キャンパス 中央図書館ライブラリーホール 組込みアセンブリプログラムのリアルタイム安全性の演繹的検証 ~ □≦TIME q = □(q∧(time≦TIME)) ~
山根 智金沢大
組込みシステムでは, 論理的正当性だけではなく, リアルタイム性の検証が重要である. 本論文では, 組込みプログラムのリ... [more] CAS2017-12 VLD2017-15 SIP2017-36 MSS2017-12
pp.59-64
MSS 2017-03-16
11:20
島根 島根大学総合理工学部1号館情報棟1階情報科学講義室 組込みアセンブリプログラムのリアルタイム性の検証手法 ~ 組込みプログラムのためのモデル検査と演繹的検証 ~
山根 智金沢大
組込みシステムでは, 論理的正当性だけではなく, リアルタイム性の検証が重要である. 本論文では, リアルタイム性の検証... [more] MSS2016-83
pp.11-16
IBISML 2016-11-16
15:00
京都 京都大学 英日機械翻訳のための畳込みニューラルネットワークによる文表現生成モデル
茶谷 慎山根 智櫻井孝平金沢大
機械翻訳というタスクにおいて、翻訳対象の言語の語順は重要な要素の一つであり、語順が異なる英語と日本語の間の機械翻訳を行う... [more] IBISML2016-52
pp.51-54
IBISML 2016-11-16
15:00
京都 京都大学 オンライン学習手法による異種混合機械学習
池原徹也山根 智金沢大
近年, ビッグデータの利活用に注目が集まりデータ分析を効率よく行うための手法が数多く提案され, リアルタイムにデータの解... [more] IBISML2016-54
pp.59-64
VLD, CAS, MSS, SIP
(共催)
2016-06-16
13:20
青森 弘前市立観光館 [パネル討論]システムと信号処理サブソサイエティの役割 ~ 若手研究者の育成と支援 ~
梶川嘉延関西大)・越田俊介東北大)・竹中 崇NEC)・田中雄一東京農工大)・山根 智金沢大
システムと信号処理サブソサイエティを構成する4研専は,平成22年から合同研究会を年1回開催している.この合同研究会の意味... [more] CAS2016-9 VLD2016-15 SIP2016-43 MSS2016-9
p.47
SS, MSS
(共催)
2016-01-25
11:45
石川 しいのき迎賓館 セミナールームB 線形ハイブリッドオートマトンのnon-Zeno公平性検証に対する遷移述語抽象化の適用
柳瀬 龍山根 智金沢大
ハイブリッドシステムの公平性を検証する際,システムがnon-Zenoであることを同時に示すことが必要となる場合が非常に多... [more] MSS2015-40 SS2015-49
pp.29-33
SS, MSS
(共催)
2016-01-26
13:20
石川 しいのき迎賓館 セミナールームB 大規模グラフの逐次集約による並列分散クラスタリングアルゴリズムのApache Spark上への実装
浅山 陸櫻井孝平山根 智金沢大
大規模なグラフ構造データに対して,ノード分割による分散配置とノードの逐次集約の並列処理による高速なクラスタリングアルゴリ... [more] MSS2015-60 SS2015-69
pp.141-146
MSS, CAS
(共催)
IPSJ-AL
(連催) [詳細]
2015-11-20
14:20
鹿児島 指宿市民会館 大会議室 分散アルゴリズムの実行列からプログラム合成とそのプログラム検証
山根 智金沢大
分散システムの分散問題を解決する分散アルゴリズムはクラウドコンピュータやP2Pなどで多数動作しており, その正当性検証は... [more] CAS2015-50 MSS2015-24
pp.35-40
MSS, CAS, SIP, VLD
(共催)
2015-06-18
10:10
北海道 小樽商科大学 記号実行による組込みアセンブリプログラムのソフトウェアモデル検査
公下亮佑・○山根 智金沢大
組込みシステムのソフトウェアモデル検査器を開発した.
この検証器は,アセンブリプログラムから,モデルを記号実行を用いて... [more]
CAS2015-15 VLD2015-22 SIP2015-46 MSS2015-15
pp.77-81
MSS 2015-03-05
15:30
石川 ITビジネスプラザ武蔵 並列分散処理を用いたソフトウェア変更履歴からのコードクローンの検出
茶谷 慎櫻井孝平山根 智金沢大
版管理システムを利用した開発において,ソースコードの変更履歴から検出したコードクローンは,過去のコードの再利用や,変更,... [more] MSS2014-94
pp.19-24
MSS 2015-03-05
16:05
石川 ITビジネスプラザ武蔵 Deep Learningを用いた個別株価の予測
松本和也櫻井孝平山根 智金沢大
 [more] MSS2014-95
pp.25-30
MSS 2015-03-06
10:00
石川 ITビジネスプラザ武蔵 線形ハイブリッドオートマタのCEGARを適用したSMTベースモデル検査
冨坂征平柳瀬 龍櫻井孝平山根 智金沢大
 [more] MSS2014-99
pp.47-52
MSS 2015-03-06
10:25
石川 ITビジネスプラザ武蔵 割込み遷移削減手法を導入した組込みアセンブリコード向けSMTベースモデル検査器の開発
小橋潤平竹下 淳山根 智櫻井孝平金沢大
近年の発展を続けている組込みシステムにおいて, ハードウェアに依存する性質を持つソフトウェアが用いられており, 開発期間... [more] MSS2014-100
pp.53-58
MSS 2015-03-06
13:30
石川 ITビジネスプラザ武蔵 大規模グラフのノード分割と逐次集約による並列分散クラスタリングアルゴリズム
浅山 陸櫻井孝平山根 智金沢大
大規模なグラフ構造データに対して,ノード分割による分散配置とノードの逐次集約の並列処理による高速なクラスタリングアルゴリ... [more] MSS2014-101
pp.59-64
MSS 2015-03-06
13:55
石川 ITビジネスプラザ武蔵 組込みアセンブリプログラムからのモデル抽出による記号モデル検査
加藤友紀公下亮佑櫻井孝平山根 智金沢大
組込みシステムは,広く利用されており,徐々に複雑化している.複雑化している組込みシステムを安全に運用するためには,システ... [more] MSS2014-102
pp.65-70
CAS, SIP, MSS, VLD, SIS
(共催) [詳細]
2014-07-10
15:40
北海道 北海道大学 [パネル討論]イノベーションを生むための研究会マネジメント
平石邦彦北陸先端大)・山路隆文東芝)・中武繁寿北九州市大)・梶川嘉延関西大)・山根 智金沢大
システムと信号処理サブソサイエティ4研専は,平成22年から合同研究会を開催している.合同研究会の意味をより深めるために,... [more] CAS2014-32 VLD2014-41 SIP2014-53 MSS2014-32 SIS2014-32
p.169
SS, MSS
(共催)
2014-01-31
09:30
愛知 豊田中央研究所 アクターモデルに基づいたストリームデータに対する分散オンライン決定木学習手法の提案
山本幸一櫻井孝平山根 智金沢大
ストリームデータに対する決定木構築において従来の決定木学習アルゴリズムは大規模データコンピューティングに向けた設計ではな... [more] MSS2013-61 SS2013-58
pp.59-64
 50件中 1〜20件目  /  [次ページ]  
ダウンロード書式の初期値を指定してください NEW!!
テキスト形式 pLaTeX形式 CSV形式 BibTeX形式


[研究会発表申込システムのトップページに戻る]

[電子情報通信学会ホームページ]


IEICE / 電子情報通信学会