| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| KBSE | 2024-03-14 11:50 |
沖縄 | 沖縄県総合福祉センター （ハイブリッド開催，主：現地開催，副：オンライン開催） |
大規模言語モデルを用いたシステム要件構造化手法の検討 ○中島 諒（東大）・井ノ口真樹・森本昌治・黒田貴之（NEC）  KBSE2023-70 |
近年，ICTシステムの開発・運用にかかる費用を低減するため，設計工程を自動化する技術への期待が高まっている．既存研究では... [more] | KBSE2023-70 pp.31-36 |
| KBSE | 2024-03-15 13:20 |
沖縄 | 沖縄県総合福祉センター （ハイブリッド開催，主：現地開催，副：オンライン開催） |
可変性モデル分割手法の改善 ○岸 知二（早大） KBSE2023-87 |
可変性モデルの解析や検証は論理に基づいて行われることが多いが，可変性モデルの持つ構成数は組み合わせ的になりうるためスケー... [more] | KBSE2023-87 pp.120-125 |
| NLP, MSS (共催) |
2024-03-13 15:00 |
その他 | 機械振興会館 | 交通事故概況を用いた形式概念分析による事故要因の分析 ○村上遥翔・榊原一紀・中村正樹・本吉達郎・星川圭介（富山県立大） MSS2023-79 NLP2023-131 |
本研究は高齢の歩行者等の交通弱者を対象とした警察活動の支援を目的とし，過去の交通事故データより将来の交通事故を予防するた... [more] | MSS2023-79 NLP2023-131 pp.42-47 |
| RCC, ISEC, IT, WBS (共催) |
2024-03-14 15:30 |
大阪 | 大阪大学吹田キャンパス | トランスポートレイヤセキュリティプロトコルの形式検証の動向と課題 ○櫻田英樹（NTT/九大）・櫻井幸一（九大/ATR） IT2023-121 ISEC2023-120 WBS2023-109 RCC2023-103 |
webサーバとクライアントの間の通信では、これを安全に行うためにTLSプロトコルを用いられており、安全性のために不可欠と... [more] | IT2023-121 ISEC2023-120 WBS2023-109 RCC2023-103 pp.287-293 |
| VLD, HWS, ICD (共催) |
2024-03-02 12:05 |
沖縄 | 沖縄県男女共同参画センター【てぃるる】会議室１・２・３ （ハイブリッド開催，主：現地開催，副：オンライン開催） |
GF(2^m)上の算術演算順序回路の計算機代数に基づく形式検証に関する検討 ○迫田一歩（SCU/神戸大）・植村泰佳（SCU）・本間尚文（東北大） VLD2023-140 HWS2023-100 ICD2023-129 |
本稿では，計算機代数に基づく算術演算回路の形式的検証手法について述べる．これまで，ガロア体GF(2^m)上の算術演算回路... [more] | VLD2023-140 HWS2023-100 ICD2023-129 pp.215-220 |
| KBSE, SC (共催) |
2023-11-17 15:30 |
宮城 | 仙都会館 | スケーラビリティ改善のための可変性モデル分割について ○岸 知二（早大） KBSE2023-37 SC2023-20 |
可変性モデルを利用して論理に基づく解析や検証が行われているが，バリエーションの数は組み合わせ的になるため，近年のシステム... [more] | KBSE2023-37 SC2023-20 pp.31-36 |
| KBSE | 2023-03-16 15:10 |
広島 | JMS アステールプラザ（広島） （ハイブリッド開催，主：現地開催，副：オンライン開催） |
非形式/準形式混成記法に基づくトレーサビリティ管理手法 ○岡田遼嗣・大濱吉紘・伊藤誠悟（豊田中研） KBSE2022-56 |
ソフトウェア及びシステムの設計における仕様情報のトレーサビリティ管理方法として，非形式的な表記法を用いる方法，準形式手法... [more] | KBSE2022-56 pp.13-18 |
| HCS | 2023-03-02 10:00 |
静岡 | 常葉大学 草薙キャンパス （ハイブリッド開催，主：現地開催，副：オンライン開催） |
3次元バーチャル空間におけるインフォーマルコミュニケーションの開始を促すためのゲイズキューの可視化手法 ○市野順子・井出将弘（東京都市大）・芳木武仁（TIS）・横山ひとみ（岡山理科大）・淺野裕俊（工学院大）・宮地英生・岡部大介（東京都市大） HCS2022-77 |
インフォーマルコミュニケーションが始まる前の人々のインタラクションでは，ソーシャルキューの中でも特にゲイズキューが重要な... [more] | HCS2022-77 pp.7-12 |
| SIS, ITE-BCT (連催) |
2022-10-13 16:00 |
青森 | 八戸工業大学（１号館２階２０１室「多目的ホール」） （ハイブリッド開催，主：現地開催，副：オンライン開催） |
［招待講演］擬等角写像とその応用 ～ 数値的構成手法と機械学習への応用 ～ ○島内宏和（八戸工大） SIS2022-14 |
擬等角写像は等角写像の自然な一般化であり，タイヒミュラー空間や複素力学系などの数学の分野において重要な役割を果たすだけで... [more] | SIS2022-14 pp.17-20 |
| CS | 2022-07-14 15:25 |
鹿児島 | 屋久島環境文化村センター 第1～第3レクチャー室 （ハイブリッド開催，主：現地開催，副：オンライン開催） |
重心法を用いた非ファジィ化計算のMizarによる形式化 ○三石貴志（長野大） CS2022-26 |
本研究では，ファジィ推論における非ファジィ化の一 つ重心法の計算について，Mizarによって形式化を行った． ファジ... [more] |
CS2022-26 pp.53-56 |
| MSS, NLP (共催) |
2022-03-28 09:40 |
ONLINE | オンライン開催 | 交通事故データに対する形式概念分析による事故予測システムの構築の検討 ○小谷祥悟・浅沼佑太・中村正樹・榊原一紀・本吉達郎・星川圭介（富山県立大） MSS2021-56 NLP2021-127 |
本研究の目的は，過去の交通事故から将来の交通事故を予防するため，形式概念分析により交通事故データを分析することである．形... [more] | MSS2021-56 NLP2021-127 pp.7-12 |
| SANE | 2021-11-12 10:10 |
ONLINE | オンライン開催 | ［招待講演］Applications of Electromagnetic Array-Factor for Radar Engineering ○Hirokazu Kobayashi（Electromagnetic Wave System Lab.） SANE2021-54 |
Array-factor (AF) theory is the widely and commonly method u... [more] | SANE2021-54 pp.114-123 |
| COMP | 2021-03-08 17:30 |
ONLINE | オンライン開催 | 未知の振る舞いを持つ制御付き右正則文法の生成能力について ○伊勢大平・小林 聡（電通大） COMP2020-38 |
DNAを利用して情報処理をするDNAコンピュータの設計では，温度変化や光照射などの制御信号列を受信することにより機能を選... [more] | COMP2020-38 pp.59-66 |
| NS, ICM, CQ, NV (併催) |
2020-11-27 11:45 |
ONLINE | オンライン開催 | システムの性質を検証可能な認証システム用フレームワークの提案 ○堀井基史・清水智弘（富士通研）・今井悟史（富士通） CQ2020-58 |
様々な手続きのデジタル化に伴い，様々な認証に関するインシデントが多発している．インシデントの発生を防止する技術として，多... [more] | CQ2020-58 pp.62-65 |
| MSS, NLP (併催) |
2020-03-09 17:50 |
愛知 | やすらぎの宿 蒲郡荘 （開催中止，技報発行あり） |
言語特徴化を目的としたFillmoreの格文法の法性形式化 ○原添修司（山口大）・呉 靭（山口短大）・松野浩嗣（山口大） MSS2019-61 |
法性は発話者の意志や態度を表す文法範疇であり，言語共通の不可欠な要素である．法性の表し方は言語によって差異が認められるが... [more] | MSS2019-61 pp.19-24 |
| HWS, VLD (共催) [詳細] |
2020-03-04 10:30 |
沖縄 | 沖縄県青年会館 （開催中止，技報発行あり） |
EVBDDに基づく初等関数回路の設計検証 ○福原浩人・永山 忍・稲木雅人・若林真一（広島市大） VLD2019-96 HWS2019-69 |
本稿では，EVBDD (Edge-Valued Binary Decision Diagram) に基づく初等関数回路の... [more] | VLD2019-96 HWS2019-69 pp.13-18 |
| ISEC, SITE, ICSS, EMM, HWS, BioX (共催) IPSJ-CSEC, IPSJ-SPT (共催) (連催) [詳細] |
2019-07-23 13:10 |
高知 | 高知工科大学 | ガロア体算術に基づく暗号ハードウェアの形式的トロイフリー性検証 ○伊東 燦・上野 嶺・本間尚文（東北大） ISEC2019-26 SITE2019-20 BioX2019-18 HWS2019-21 ICSS2019-24 EMM2019-29 |
本稿では，暗号ハードウェアにハードウェアトロイ (HT: Hardware Trojan)が含まれないことを論理的に保証... [more] | ISEC2019-26 SITE2019-20 BioX2019-18 HWS2019-21 ICSS2019-24 EMM2019-29 pp.133-138 |
| SS | 2019-03-04 17:10 |
沖縄 | 沖縄産業支援センター | ハイブリッドシステムの安全検証に向けた形式的なSTAMPモデルの提案 ○辻 光顕・高井利憲（奈良先端大）・片平真史・石濱直樹（JAXA）・柿本和希・飯田 元（奈良先端大） SS2018-67 |
自動運転車や人工衛星などの宇宙機に用いられるシステムには高い安全性が要求される。近年、このようなシステムに対する安全分析... [more] | SS2018-67 pp.91-96 |
| EMCJ, IEE-EMC, IEE-MAG (連催) |
2018-11-22 13:40 |
海外 | KAIST（韓国大田市） | Power Distribution Network (PDN) Modeling of the Perforated Planes in A Silicon Interposer for High Bandwidth Memory (HBM) ○Kyungjun Cho・Youngwoo Kim・Subin Kim・Hyunwook Park・Junyong Park・Seongsoo Lee・Joungho Kim（KAIST） EMCJ2018-62 |
In this paper, we first propose models of the power distribu... [more] | EMCJ2018-62 p.21 |
| EMT, IEE-EMT (連催) |
2018-11-16 11:15 |
鳥取 | 皆生グランドホテル天水 | 高周波導体平板線路の曲り部における反射と放射の等角写像による考察 ○宮崎保光（愛知数理工科研究室） EMT2018-53 |
導体線路の伝送波は電磁表面波であり、曲り部における反射と放射特性は基本課題である。 これまで、理論的検討は十分されて... [more] |
EMT2018-53 pp.71-76 |
[研究会発表申込システムのトップページに戻る]