お知らせ 2023年度・2024年度 学生員 会費割引キャンペーン実施中です
お知らせ 技術研究報告と和文論文誌Cの同時投稿施策(掲載料1割引き)について
お知らせ 電子情報通信学会における研究会開催について
お知らせ NEW 参加費の返金について
電子情報通信学会 研究会発表申込システム
研究会 開催スケジュール
技報閲覧サービス
[ログイン]
技報アーカイブ
    [Japanese] / [English] 
研究会名/開催地/テーマ  )→
 
講演検索  検索語:  /  範囲:題目 著者 所属 抄録 キーワード )→

すべての研究会開催スケジュール  (検索条件: すべての年度)

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


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

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


IEICE / 電子情報通信学会