研究会 |
発表日時 |
開催地 |
タイトル・著者 |
抄録 |
資料番号 |
NS |
2024-04-11 15:30 |
岡山 |
岡山県立図書館 + オンライン開催 (ハイブリッド開催,主:現地開催,副:オンライン開催) |
[招待講演]推薦システムに対する信頼性と性能への信念からの予測モデル ○土方嘉徳(関西学院大) |
(ご登録済みです.開催日以降に掲載されます) [more] |
|
RCC, ISEC, IT, WBS (共催) |
2024-03-13 - 2024-03-14 |
大阪 |
大阪大学吹田キャンパス |
同時更新・検証が可能な効率的なKey-Value Commitments ○峰田敏行・宮地充子(阪大) IT2023-112 ISEC2023-111 WBS2023-100 RCC2023-94 |
ブロックチェーンでは規模に比例して取引の正当性を確認するための計算量が大きくなる.この問題の解決策としてKey-Valu... [more] |
IT2023-112 ISEC2023-111 WBS2023-100 RCC2023-94 pp.241-248 |
SS |
2024-03-08 13:05 |
沖縄 |
石垣市健康福祉センター(沖縄) (ハイブリッド開催,主:現地開催,副:オンライン開催) |
データセットの情報提示及び形式自動検査によって自治体のオープンデータ公開を支援するソフトウェアの評価 ○渡邊 輔・陳 思楠(神戸大)・佐伯幸郎(高知工科大)・中村匡秀(神戸大) SS2023-69 |
政府や自治体は,保有データをオープンデータとして公開し,データ利用を促進することで都市に新たな価値を生みだすことを目指し... [more] |
SS2023-69 pp.121-126 |
VLD, HWS, ICD (共催) |
2024-03-02 12:05 |
沖縄 |
沖縄県男女共同参画センター【てぃるる】会議室1・2・3 (ハイブリッド開催,主:現地開催,副:オンライン開催) |
GF(2^m)上の算術演算順序回路の計算機代数に基づく形式検証に関する検討 ○迫田一歩(SCU/神戸大)・植村泰佳(SCU)・本間尚文(東北大) VLD2023-140 HWS2023-100 ICD2023-129 |
本稿では,計算機代数に基づく算術演算回路の形式的検証手法について述べる.これまで,ガロア体GF(2^m)上の算術演算回路... [more] |
VLD2023-140 HWS2023-100 ICD2023-129 pp.215-220 |
LOIS, ICM (共催) |
2024-01-26 15:05 |
長崎 |
長崎県美術館 2階ホール (ハイブリッド開催,主:現地開催,副:オンライン開催) |
[奨励講演]ユーザ意図に基づくネットワーク運用自動化に関する一検討 ~ 大規模ネットワークのデジタルツイン化 ~ ○西島孝通・北田敦史・阿部仁彦・杉山裕太・梅崎 悟・朝永 博(富士通) ICM2023-42 LOIS2023-46 |
DX時代では、ビジネスニーズの変化に従い、タイミングを逃さずサービスインすることが求められている。しかし、現状のネットワ... [more] |
ICM2023-42 LOIS2023-46 pp.80-85 |
ED, MW (共催) |
2024-01-26 13:25 |
東京 |
機械振興会館 (ハイブリッド開催,主:現地開催,副:オンライン開催) |
パッシブロードプル測定における校正と検証についての一考察 ○丹波憲之・原 信二(名大) ED2023-77 MW2023-169 |
ロードプル測定においては、校正後の検証が不可欠であるが、共役整合における利得の確認では測定誤差を含む恐れがあり、また1ポ... [more] |
ED2023-77 MW2023-169 pp.58-62 |
CQ, CBE (併催) |
2024-01-25 16:10 |
熊本 |
黒川温泉 自治会事務所 (ハイブリッド開催,主:現地開催,副:オンライン開催) |
[招待講演]推薦システムに対する信頼性の心理的評価 ○土方嘉徳(関西学院大) CQ2023-58 |
本稿では,筆者が行ってきた推薦システムに対する深い信頼を測る推薦受容傾向尺度の開発とその妥当性の検証について紹介する.こ... [more] |
CQ2023-58 pp.37-42 |
SANE |
2024-01-19 15:40 |
宮城 |
電子航法研 岩沼分室および名取市文化会館 会議室 (ハイブリッド開催,主:現地開催,副:オンライン開催) |
固定翼無人航空機の時間最小離陸経路の導出及び飛行検証 ○渡邊克巳・柴田拓馬・上羽正純(室蘭工大) SANE2023-102 |
固定翼無人航空機の利用を促進するには離着陸距離が短いことが重要である.ここでは離陸距離を対象に,通常の航空機で規定される... [more] |
SANE2023-102 pp.69-74 |
ITS, WBS, RCC (共催) |
2023-12-22 11:45 |
沖縄 |
みんなの貸会議室 那覇泉崎店 (ハイブリッド開催,主:現地開催,副:オンライン開催) |
バスの自動走行における安全性検証のためのシミュレーションに関する一検討 ○大川 彪・金 帝演(鶴岡高専)・毋 岩斌・髙橋幸也・熊谷 徹・橋本尚久(産総研) WBS2023-55 ITS2023-38 RCC2023-49 |
自動運転における実環境下での安全性検証にはコストや外部センサーの物理的制約など様々な問題がある。このような問題を解決する... [more] |
WBS2023-55 ITS2023-38 RCC2023-49 pp.138-143 |
IA |
2023-11-22 16:00 |
青森 |
青森県観光物産館アスパム(青森) (ハイブリッド開催,主:現地開催,副:オンライン開催) |
経路検証技術ASPAの普及におけるBGPルーティングの不具合に関する考察 ○山口雄翔(阪大)・木村泰司(JPNIC)・矢内直人・猪俣敦夫(阪大) IA2023-40 |
Autonomous Systems Path Authorization (ASPA) は, リソース公開鍵基盤(RP... [more] |
IA2023-40 pp.25-32 |
ICSS |
2023-11-16 14:55 |
石川 |
ITビジネスプラザ武蔵(金沢) + オンライン開催 (ハイブリッド開催,主:現地開催,副:オンライン開催) |
Return-Oriented Programmingを用いる自己破壊的耐タンパーソフトウェアの検討 (その3) ○大石和臣(静岡理工科大) ICSS2023-55 |
自己破壊的耐タンパーソフトウェア(SDTRS)は,実行プログラムに対して不正な改変が行われると本来とは異なる動作をするこ... [more] |
ICSS2023-55 pp.30-34 |
EMT, IEE-EMT (連催) |
2023-11-10 10:45 |
山口 |
海峡メッセ下関 |
パルスレーダによる壁背面人物検知方法に関する研究 ○笠置泰誠・アルフレード キック・梶原康博・鈴木敬久(都立大) EMT2023-78 |
壁背面の物体をパルス波の往復時間から検知するとともに,反射波信号強度を詳細に分析することにより検知物体が人またはモノのい... [more] |
EMT2023-78 pp.87-90 |
SWIM, SC (共催) |
2023-08-25 14:40 |
東京 |
機械振興会館 (ハイブリッド開催,主:現地開催,副:オンライン開催) |
地方自治体のオープンデータ公開プロセスを支援するアプリケーションの検討 ○渡邊 輔・陳 思楠(神戸大)・佐伯幸朗(高知工科大)・中村匡秀(神戸大) SWIM2023-15 SC2023-14 |
社会の情報化が進む中,様々なデータを活用した課題解決が期待されている.そのため,政府や自治体が保有するデータをオープンデ... [more] |
SWIM2023-15 SC2023-14 pp.19-25 |
CPSY, DC (共催) IPSJ-ARC (連催) [詳細] |
2023-08-03 16:00 |
北海道 |
函館アリーナ (ハイブリッド開催,主:現地開催,副:オンライン開催) |
RISC-V KeystoneにおけるEnclaveアプリケーションキャッシュ機能の拡張 ○梅澤拓夢・齊木昭大・木村啓二(早大) CPSY2023-15 DC2023-15 |
IoT社会の発展やクラウドコンピューティングの普及によってセキュリティ面の対策が不十分な端末の増加や, 脆弱性の放置され... [more] |
CPSY2023-15 DC2023-15 pp.43-48 |
PN, NS, OCS (併催) |
2023-06-09 13:50 |
香川 |
高松センタービル (ハイブリッド開催,主:現地開催,副:オンライン開催) |
光固有値変調方式における帯域制限の影響 ○西野一正・中尾彰吾・前田貴也・三科 健・丸田章博(阪大) PN2023-13 |
非線形シュレディンガー方程式を逆散乱変換により解く際に用いる随伴固有値方程式の固有値は,伝搬距離に依らず一定であり,非線... [more] |
PN2023-13 pp.53-57 |
CS, CQ (併催) |
2023-05-19 09:25 |
香川 |
レクザムホール(香川県県民ホール) (ハイブリッド開催,主:現地開催,副:オンライン開催) |
[依頼講演]柏の葉スマートシティにおけるマイクロモビリティサービス創出に向けた検討 ○今村博宣(ハフト) CS2023-7 |
国立研究開発法人情報通信研究機構(NICT)による令和4年度「Beyond 5G研究開発促進事業(一般型)」の委託研究で... [more] |
CS2023-7 p.27 |
KBSE |
2023-03-17 14:35 |
広島 |
JMS アステールプラザ(広島) (ハイブリッド開催,主:現地開催,副:オンライン開催) |
SimulinkとSMTソルバの連携による協調解析支援ツールの開発 ○エンジリスタ アナック ノルマン・上田賀一(茨城大) KBSE2022-67 |
協調解析で多様なモデルを対象とするには,演算や型の特性に応じてSMT ソルバを選択できる必要がある.そのため,本研究では... [more] |
KBSE2022-67 pp.79-84 |
SS |
2023-03-15 09:30 |
沖縄 |
名護市産業支援センター (ハイブリッド開催,主:現地開催,副:オンライン開催) |
ビットベクトル制約付き項書換え系の停止性証明のための多項式解釈プロセッサについて ○松見歩佳・西田直樹・小嶋美咲・申 東訓(名大) SS2022-61 |
ビットベクトル制約付き項書換え系(BV-LCTRS)はC言語などのプログラムのモデルとして有用である.等価性検証に書換え... [more] |
SS2022-61 pp.85-90 |
RCC, ISEC, IT, WBS (共催) |
2023-03-14 15:45 |
山口 |
山口大学常盤キャンパス (ハイブリッド開催,主:現地開催,副:オンライン開催) |
署名した事実を開示可能な検証者指定署名方式 ○山下恭佑(阪大)・原 啓祐(産総研/横浜国大)・渡邉洋平(電通大/ジャパンデータコム)・矢内直人(阪大/ジャパンデータコム)・四方順司(横浜国大) IT2022-95 ISEC2022-74 WBS2022-92 RCC2022-92 |
本稿では検証者指定署名方式(Designated Verifier Signature, DVS)において署名者の匿名性... [more] |
IT2022-95 ISEC2022-74 WBS2022-92 RCC2022-92 pp.171-178 |
IN, NS (併催) |
2023-03-02 16:50 |
沖縄 |
沖縄コンベンションセンター + オンライン開催 (ハイブリッド開催,主:現地開催,副:オンライン開催) |
SDNにおける任意ノード間の動的閾値調整機能を備えたバイト整合性検証方式の提案 ○佐藤純平・森山直樹(東京海洋大)・清水貴弘(LINE)・大島浩太(東京海洋大)・北川直哉(NII) NS2022-214 |
SDNにおいて,各スイッチからネットワーク統計情報を収集し、転送状態の整合性を検証する異常検出方式が提案されている。この... [more] |
NS2022-214 pp.269-274 |