研究会 |
発表日時 |
開催地 |
タイトル・著者 |
抄録 |
資料番号 |
SS, MSS (共催) |
2024-01-17 13:00 |
石川 |
金沢商工会議所会館(石川県金沢市) (ハイブリッド開催,主:現地開催,副:オンライン開催) |
Javaへの所有権システム移植によるRust学習支援 ○竹重拓輝・柗本真佑・楠本真二(阪大) MSS2023-52 SS2023-31 |
メモリ安全かつ処理が高速なソフトウェアを実現するプログラミング言語としてRustが注目されている.Rustはコンパイラが... [more] |
MSS2023-52 SS2023-31 pp.1-6 |
SS, MSS (共催) |
2024-01-17 13:25 |
石川 |
金沢商工会議所会館(石川県金沢市) (ハイブリッド開催,主:現地開催,副:オンライン開催) |
GPT-4における自動コード翻訳タスクの精度調査 ○川渕皓太・松下 誠・肥後芳樹(阪大) MSS2023-53 SS2023-32 |
[more] |
MSS2023-53 SS2023-32 pp.7-12 |
SS, MSS (共催) |
2024-01-17 13:50 |
石川 |
金沢商工会議所会館(石川県金沢市) (ハイブリッド開催,主:現地開催,副:オンライン開催) |
STPAによる解析結果のレビューを目的とした議論構造明確化手法の提案 ○柿本和希・高井利憲・飯田 元(奈良先端大) MSS2023-54 SS2023-33 |
STPAの解析結果の妥当性をレビューすることを目的として,解析結果に含まれる導出の過程が明らかではない情報の解析過程を明... [more] |
MSS2023-54 SS2023-33 pp.13-18 |
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-17 15:20 |
石川 |
金沢商工会議所会館(石川県金沢市) (ハイブリッド開催,主:現地開催,副:オンライン開催) |
交通流データのイベント抽出による解析 ~ 大規模軌跡データからの主要経路の抽出 ~ ○平石邦彦(北陸先端大) MSS2023-57 SS2023-36 |
[more] |
MSS2023-57 SS2023-36 pp.31-34 |
SS, MSS (共催) |
2024-01-17 16:00 |
石川 |
金沢商工会議所会館(石川県金沢市) (ハイブリッド開催,主:現地開催,副:オンライン開催) |
コンカレント水火力協調問題における火力発電コスト決定要因の回帰分析による考察 ○豊嶋伊知郎(東芝エネルギーシステムズ)・竹内智紀・原 亮一(北大)・百川涼平(東芝エネルギーシステムズ)・北 裕幸(北大) MSS2023-58 SS2023-37 |
電力会社の需給運用業務において,水力発電は火力発電の燃料費を抑制する手段の一つとして活用されてきた.水力および火力の発電... [more] |
MSS2023-58 SS2023-37 pp.35-39 |
SS, MSS (共催) |
2024-01-17 16:25 |
石川 |
金沢商工会議所会館(石川県金沢市) (ハイブリッド開催,主:現地開催,副:オンライン開催) |
区間総需要を考慮したエネルギー管理システムの分散最適化 ○玉山元也・小林孝一・山下 裕(北大) MSS2023-59 SS2023-38 |
エネルギー管理システム(EMS)は工場やビルなどのさまざまなエージェントで構成されたマルチエージェントシステムである.本... [more] |
MSS2023-59 SS2023-38 pp.40-43 |
SS, MSS (共催) |
2024-01-17 16:50 |
石川 |
金沢商工会議所会館(石川県金沢市) (ハイブリッド開催,主:現地開催,副:オンライン開催) |
在庫配送計画問題におけるローリングホライズン方式の導入効果の検証 ○大江弘峻・横山想一郎・山下倫央・川村秀憲(北大)・多田満朗(ゼロスペック) MSS2023-60 SS2023-39 |
在庫配送計画問題(Inventory Routing Problem, IRP) は,主に生産拠点を持つ配送業者が顧客へ... [more] |
MSS2023-60 SS2023-39 pp.44-51 |
SS, MSS (共催) |
2024-01-18 10:00 |
石川 |
金沢商工会議所会館(石川県金沢市) (ハイブリッド開催,主:現地開催,副:オンライン開催) |
レジスタ付き多プレイヤーゲームに基づくシステム自動合成問題 ○坂尾優斗・関 浩之(名大) MSS2023-61 SS2023-40 |
システムの実現可能性問題とは,与えられた仕様に対して,それに適合するシステムが存在するかどうかを判定する問題である.また... [more] |
MSS2023-61 SS2023-40 pp.52-57 |
SS, MSS (共催) |
2024-01-18 10:25 |
石川 |
金沢商工会議所会館(石川県金沢市) (ハイブリッド開催,主:現地開催,副:オンライン開催) |
プログラムの入れ子構造を考慮し実行時間の部分的計測を用いたパラメトリック実行時間解析手法とその評価 ○中西優元・中田明夫(広島市大) MSS2023-62 SS2023-41 |
本研究では,実時間ソフトウェア再利用のためのパラメトリック実行時間解析手法を提案する.実時間制約を持つソフトウェアの異な... [more] |
MSS2023-62 SS2023-41 pp.58-63 |
SS, MSS (共催) |
2024-01-18 11:05 |
石川 |
金沢商工会議所会館(石川県金沢市) (ハイブリッド開催,主:現地開催,副:オンライン開催) |
車両情報を用いた深層学習による運転者眠気検知の検討 ○中釜雄太郎・石井大輔(北陸先端大)・美添一樹(九大) MSS2023-63 SS2023-42 |
自動車運転者の注意力散漫による事故を防ぐため運転者眠気検知 (driver drowsiness detection, ... [more] |
MSS2023-63 SS2023-42 pp.64-69 |
SS, MSS (共催) |
2024-01-18 11:30 |
石川 |
金沢商工会議所会館(石川県金沢市) (ハイブリッド開催,主:現地開催,副:オンライン開催) |
LMMによるStudying Papersと内発的報酬を用いた深層強化学習 ○長野颯太・山根 智(金沢大) MSS2023-64 SS2023-43 |
深層強化学習と大規模言語モデル (LLM) を組み合わせた研究は,複雑なタスクを持つオープンワールドゲームにおいても高い... [more] |
MSS2023-64 SS2023-43 pp.70-75 |
SS, MSS (共催) |
2024-01-18 11:55 |
石川 |
金沢商工会議所会館(石川県金沢市) (ハイブリッド開催,主:現地開催,副:オンライン開催) |
サイバーフィジカルシステムのためのブロックスパース制御器の設計 ○河野優太・小林孝一・山下 裕(北大) MSS2023-65 SS2023-44 |
センサ・アクチュエータ・ネットワーク(SAN)では,センサとアクチュエータの選択だけでなく通信チャネルの選択も考慮するこ... [more] |
MSS2023-65 SS2023-44 pp.76-80 |
SS, MSS (共催) |
2024-01-18 13:35 |
石川 |
金沢商工会議所会館(石川県金沢市) (ハイブリッド開催,主:現地開催,副:オンライン開催) |
A greedy stable time by various parameter combination of a routing protocol in wireless sensor networks ○Yoshihiro Kaneko(Gifu Univ.) MSS2023-66 SS2023-45 |
[more] |
MSS2023-66 SS2023-45 pp.81-86 |
SS, MSS (共催) |
2024-01-18 14:00 |
石川 |
金沢商工会議所会館(石川県金沢市) (ハイブリッド開催,主:現地開催,副:オンライン開催) |
イベント構造の合成に関する研究 ○宮本俊幸(阪工大)・赤松宏紀(阪大) MSS2023-67 SS2023-46 |
情報システムアーキテクチャの一つにサービス指向アーキテクチャ(SOA)がある.SOA において,抽象 的な仕様から具体的... [more] |
MSS2023-67 SS2023-46 pp.87-92 |
SS, MSS (共催) |
2024-01-18 14:40 |
石川 |
金沢商工会議所会館(石川県金沢市) (ハイブリッド開催,主:現地開催,副:オンライン開催) |
確率的Büchiゲームにおけるドゥームズデイ均衡の存在判定問題 ○水野紘希・中西凜道・関 浩之(名大) MSS2023-68 SS2023-47 |
有限有向グラフ上で行われ,Büchiと呼ばれるタイプの目的をもつ確率的多プレイヤー非ゼロ和ゲームを考える.ドゥームズデイ... [more] |
MSS2023-68 SS2023-47 pp.93-98 |
SS, MSS (共催) |
2024-01-18 15:05 |
石川 |
金沢商工会議所会館(石川県金沢市) (ハイブリッド開催,主:現地開催,副:オンライン開催) |
人物追跡法を用いたバス乗客のOD推定における不適データセグメントの調整手法の開発 ○西浦 翼・横山想一郎・山下倫央・川村秀憲(北大) MSS2023-69 SS2023-48 |
路線バスにおける乗客の移動を集計した OD(Origin-Destination) データを収集するため,バス乗客の乗降... [more] |
MSS2023-69 SS2023-48 pp.99-104 |