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

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

講演検索結果
 登録講演(開催プログラムが公開されているもの)  (日付・降順)
 255件中 1~20件目  /  [次ページ]  
研究会 発表日時 開催地 タイトル・著者 抄録 資料番号
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)・大島浩太東京海洋大)・北川直哉NIINS2022-214
SDNにおいて,各スイッチからネットワーク統計情報を収集し、転送状態の整合性を検証する異常検出方式が提案されている。この... [more] NS2022-214
pp.269-274
 255件中 1~20件目  /  [次ページ]  
ダウンロード書式の初期値を指定してください NEW!!
テキスト形式 pLaTeX形式 CSV形式 BibTeX形式
著作権について : 以上の論文すべての著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034)


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

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


IEICE / 電子情報通信学会