| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| SS, MSS (共催) |
2024-01-17 14:30 |
石川 | 金沢商工会議所会館（石川県金沢市） (石川県, オンライン) （ハイブリッド開催，主：現地開催，副：オンライン開催） |
Extrinsicaly Rewarded Soft Q Imitation Learning with Discriminator ○Ryoma Furuyama・Daiki Kuyoshi・Yamane Satoshi（Kanazawa Univ.）  MSS2023-55 SS2023-34 |
報酬設計が困難な環境や報酬が疎な環境では、強化学習に加えて模倣学習が用いられることが多いが、少ない専門家データとサンプリ... [more] | MSS2023-55 SS2023-34 pp.19-24 |
| SS, MSS (共催) |
2024-01-17 14:55 |
石川 | 金沢商工会議所会館（石川県金沢市） (石川県, オンライン) （ハイブリッド開催，主：現地開催，副：オンライン開催） |
Combined Constraint on Behavior Cloning and Discriminator in Offline Reinforcement Learning ○Shunya Kidera・Kosuke Shintani・Toi Tsuneda・Satoshi Yamane（Kanazawa 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 |
システムと信号処理サブソサイエティ４研専(回路とシステム研究会，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 |
[研究会発表申込システムのトップページに戻る]