研究会 |
発表日時 |
開催地 |
タイトル・著者 |
抄録 |
資料番号 |
IE, MVE, IMQ (共催) CQ (併催) [詳細] |
2024-03-15 15:30 |
沖縄 |
沖縄産業支援センター (ハイブリッド開催,主:現地開催,副:オンライン開催) |
正常特徴量の正規性制約を用いた事前学習に基づくPaDiMによる高精度異常検知 ○小林大起・橋本 学(中京大) IMQ2023-89 IE2023-144 MVE2023-118 |
近年,機械学習手法を用いた外観検査の自動化に期待が寄せられており,その中でも,PaDiMと呼ばれる手法は,優れた異常検知... [more] |
IMQ2023-89 IE2023-144 MVE2023-118 pp.408-413 |
SIP, IT, RCS (共催) |
2024-01-18 13:15 |
宮城 |
東北大学 青葉記念会館 (ハイブリッド開催,主:現地開催,副:オンライン開催) |
[招待講演]近接勾配法に基づくLDPC符号の復号法について ○和田山 正(名工大) IT2023-42 SIP2023-75 RCS2023-217 |
本招待講演では,著者らが提案した近接勾配法を中心として,
最適化手法をベースとするLDPC符号の復号法について解説する... [more] |
IT2023-42 SIP2023-75 RCS2023-217 p.68 |
SS, MSS (共催) |
2024-01-18 10:25 |
石川 |
金沢商工会議所会館(石川県金沢市) (ハイブリッド開催,主:現地開催,副:オンライン開催) |
プログラムの入れ子構造を考慮し実行時間の部分的計測を用いたパラメトリック実行時間解析手法とその評価 ○中西優元・中田明夫(広島市大) MSS2023-62 SS2023-41 |
本研究では,実時間ソフトウェア再利用のためのパラメトリック実行時間解析手法を提案する.実時間制約を持つソフトウェアの異な... [more] |
MSS2023-62 SS2023-41 pp.58-63 |
ITS, WBS, RCC (共催) |
2023-12-21 09:50 |
沖縄 |
みんなの貸会議室 那覇泉崎店 (ハイブリッド開催,主:現地開催,副:オンライン開催) |
需要予測と配達遅延を考慮した配送計画問題のオンライン最適化 ○松岡 遼・小林孝一・山下 裕(北大) WBS2023-32 ITS2023-15 RCC2023-26 |
本論文ではオンライン配送計画問題を考える.オンライン配送計画問題とは,一定時間ごとに配送計画問題を解き経路を更新する問題... [more] |
WBS2023-32 ITS2023-15 RCC2023-26 pp.25-30 |
NS |
2023-10-06 13:25 |
北海道 |
北海道大学 + オンライン開催 (ハイブリッド開催,主:現地開催,副:オンライン開催) |
無線センサ網における遅延制約付フレームの最大集約による優先転送に基づくランダムアクセス制御法 ○松田理沙・谷川陽祐・戸出英樹(阪公立大) NS2023-100 |
近年,予め決められた許容遅延以内に受信ノードまで到達させる必要のあるデータを,低コストで導入,運用が可能な無線センサ網を... [more] |
NS2023-100 pp.140-144 |
AI |
2023-09-12 14:15 |
北海道 |
登別グランドホテル |
出版-購読型通信プラットフォームにおける分散制約最適化手法の基礎検討 ○松井俊浩(名工大) AI2023-27 |
マルチエージェントシステム上の最適化問題と解法は,分散資源割り当てや合意形成の基礎として研究されている.
分散制約最適... [more] |
AI2023-27 pp.157-160 |
PN |
2023-08-29 15:40 |
北海道 |
北海道大学 大学院地球環 境科学研究院 講義棟 大講義室 (ハイブリッド開催,主:現地開催,副:オンライン開催) |
センター型セキュリティ分析のためのジッタ制約を考慮した高速マルチレイヤ経路設計アルゴリズム ○村上隆太・栗本 崇・岡本 聡・山中直明(慶大) PN2023-24 |
Beyond 5G 時代における高信頼なネットワーク基盤実現のために,センター型セキュリティ分析手法である“Reconf... [more] |
PN2023-24 pp.40-46 |
IT |
2023-08-04 11:25 |
神奈川 |
湘南工科大学 (ハイブリッド開催,主:現地開催,副:オンライン開催) |
SAT技術を用いた複数画像からなる視覚暗号の構成 ○田光宏章(山梨大)・盧 暁南(岐阜大)・鍋島英知(山梨大) IT2023-25 |
視覚暗号(Visual Cryptography Scheme; VCS)とは,画像情報に対する秘密分散法の一種である.... [more] |
IT2023-25 pp.62-67 |
MSS, CAS, SIP, VLD (共催) |
2023-07-07 14:30 |
北海道 |
小樽商科大学 3号館 102教室 (ハイブリッド開催,主:現地開催,副:オンライン開催) |
イジングマシンを用いたハイブリッドアニーリングによる容量制約付き配送計画問題の解法 ○原島夏希・川上蒼馬(早大)・矢田部彰宏(NEC)・戸川 望(早大) CAS2023-26 VLD2023-26 SIP2023-42 MSS2023-26 |
近年,組合せ最適化問題を効率良く解く専用計算機として量子アニーリングマシンをはじめとするイジングマシンが注目されている.... [more] |
CAS2023-26 VLD2023-26 SIP2023-42 MSS2023-26 pp.131-136 |
EMM, IT (共催) |
2023-05-12 10:40 |
京都 |
京都大学 楽友会館 (ハイブリッド開催,主:現地開催,副:オンライン開催) |
連長制約とバランス制約を満たす同期誤り訂正連接符号の検討 ○金子晴彦(東工大) IT2023-9 EMM2023-9 |
DNAストレージでは4元の塩基配列において同期誤りが生じることから,多元挿入/削除誤り訂正符号の適用が有効である.また,... [more] |
IT2023-9 EMM2023-9 pp.43-48 |
NLP, MSS (共催) |
2023-03-16 15:45 |
長崎 |
長崎大学 文教キャンパス (ハイブリッド開催,主:現地開催,副:オンライン開催) |
ピークシフト制約をもつエネルギー管理システムの分散最適化 ○玉山元也・小林孝一・山下 裕(北大) MSS2022-90 NLP2022-135 |
エネルギー管理システム(EMS)は工場やビルなどのさまざまなエージェントで構成されたマルチエージェントシステムである.本... [more] |
MSS2022-90 NLP2022-135 pp.132-135 |
NLP, MSS (共催) |
2023-03-16 16:05 |
長崎 |
長崎大学 文教キャンパス (ハイブリッド開催,主:現地開催,副:オンライン開催) |
需要予測を考慮した配送計画問題のオンライン最適化 ○松岡 遼・小林孝一・山下 裕(北大) MSS2022-91 NLP2022-136 |
本論文ではオンライン配送計画問題を考える.オンライン配送計画問題とは,一定時間ごとに配送計画問題を解き経路を更新する問題... [more] |
MSS2022-91 NLP2022-136 pp.136-139 |
SS |
2023-03-15 09:30 |
沖縄 |
名護市産業支援センター (ハイブリッド開催,主:現地開催,副:オンライン開催) |
ビットベクトル制約付き項書換え系の停止性証明のための多項式解釈プロセッサについて ○松見歩佳・西田直樹・小嶋美咲・申 東訓(名大) SS2022-61 |
ビットベクトル制約付き項書換え系(BV-LCTRS)はC言語などのプログラムのモデルとして有用である.等価性検証に書換え... [more] |
SS2022-61 pp.85-90 |
LOIS |
2023-03-14 12:05 |
沖縄 |
大濱信泉記念館 (ハイブリッド開催,主:現地開催,副:オンライン開催) |
実行時間の不確実性を考慮した動的検証機能を持つ自己適応システム実装フレームワークの検討 ○内藤 惇・中川博之・土屋達弘(阪大) LOIS2022-64 |
いかなる環境下においてもシステムがサービスを提供できることは重要だが,環境変化のたびにシステム管理者が修正を行うことや,... [more] |
LOIS2022-64 pp.120-125 |
TL |
2023-03-11 14:15 |
ONLINE |
オンライン開催 |
文法的機械の創発的推論 ~ 演繹体系における連想知識の獲得 ~ ○原田康也(早大) TL2022-39 |
言語コミュニケーションの本質は「意味のやり取り」と「意味のあるやり取り」にある。近年の英語教育、特に大学英語教育において... [more] |
TL2022-39 pp.30-35 |
IN, NS (併催) |
2023-03-02 10:00 |
沖縄 |
沖縄コンベンションセンター + オンライン開催 (ハイブリッド開催,主:現地開催,副:オンライン開催) |
森林における立木密度を考慮したアドホックネットワーク構成方法 ○稲岡孝汰郎・村瀬 勉(名大) IN2022-69 |
森林における高スループットな通信の確保に向け、LTE/5Gの電波の届く地点からIEEE802.11アドホックネットワーク... [more] |
IN2022-69 pp.22-27 |
IT, RCS, SIP (共催) |
2023-01-24 12:20 |
群馬 |
前橋テルサ (ハイブリッド開催,主:現地開催,副:オンライン開催) |
q元連長制約符号に特化した特性方程式について ○安納直毅・眞田亜紀子・山内 陸(長岡技科大)・太田隆博(専修大) IT2022-40 SIP2022-91 RCS2022-219 |
各シンボルの連長の最小値$d$や最大値$k$について制限する連長制約は.記録媒体の信頼性を担保するために用いられる典型的... [more] |
IT2022-40 SIP2022-91 RCS2022-219 pp.60-65 |
MSS, SS (共催) |
2023-01-11 13:30 |
大阪 |
大阪市立生涯学習センター (ハイブリッド開催,主:現地開催,副:オンライン開催) |
例外を含む関数型言語の形式的記述と停止性証明のための制約付き依存対 ○濱口 毅・酒井正彦(名大) MSS2022-56 SS2022-41 |
本発表では例外処理を持つ関数型プログラムの停止性証明手法を提案する.まず先行評価に基づくプログラムの詳細な評価順序の形式... [more] |
MSS2022-56 SS2022-41 pp.66-71 |
QIT (第二種研究会) |
2022-12-08 14:00 |
神奈川 |
慶應義塾大学 (ハイブリッド開催,主:現地開催,副:オンライン開催) |
[ポスター講演]異種イジングマシンによるハイブリッドアルゴリズムの提案 ○網野あかね・服部智大・菊池脩太・田中 宗(慶大) |
イジングマシンに搭載されている変数の個数では入力しきれないほどの多くの変数を持つ組合せ最適化問題に対し,一部の変数を固定... [more] |
|
CAS, MSS (共催) IPSJ-AL (連催) [詳細] |
2022-11-17 15:30 |
高知 |
Kochi Startup BASE (ハイブリッド開催,主:現地開催,副:オンライン開催) |
燃料制約を有する配送計画問題のオンライン最適化 ○松岡 遼・小林孝一・山下 裕(北大) CAS2022-43 MSS2022-26 |
本論文ではオンライン配送計画問題を考える.オンライン配送計画問題とは,一定時間ごとに配送計画問題を解き経路を更新する問題... [more] |
CAS2022-43 MSS2022-26 pp.34-37 |