| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| KBSE | 2024-03-14 11:50 |
沖縄 | 沖縄県総合福祉センター （ハイブリッド開催，主：現地開催，副：オンライン開催） |
大規模言語モデルを用いたシステム要件構造化手法の検討 ○中島 諒（東大）・井ノ口真樹・森本昌治・黒田貴之（NEC）  KBSE2023-70 |
近年，ICTシステムの開発・運用にかかる費用を低減するため，設計工程を自動化する技術への期待が高まっている．既存研究では... [more] | KBSE2023-70 pp.31-36 |
| 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 | 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 |
| NS, ICM, CQ, NV (併催) |
2020-11-27 11:45 |
ONLINE | オンライン開催 | システムの性質を検証可能な認証システム用フレームワークの提案 ○堀井基史・清水智弘（富士通研）・今井悟史（富士通） CQ2020-58 |
様々な手続きのデジタル化に伴い，様々な認証に関するインシデントが多発している．インシデントの発生を防止する技術として，多... [more] | CQ2020-58 pp.62-65 |
| SS | 2019-03-04 17:10 |
沖縄 | 沖縄産業支援センター | ハイブリッドシステムの安全検証に向けた形式的なSTAMPモデルの提案 ○辻 光顕・高井利憲（奈良先端大）・片平真史・石濱直樹（JAXA）・柿本和希・飯田 元（奈良先端大） SS2018-67 |
自動運転車や人工衛星などの宇宙機に用いられるシステムには高い安全性が要求される。近年、このようなシステムに対する安全分析... [more] | SS2018-67 pp.91-96 |
| MSS, CAS (共催) IPSJ-AL (連催) [詳細] |
2018-11-13 15:15 |
静岡 | 熱海伊豆山温泉 ハートピア熱海 | 代数仕様を用いた数理計画モデルの形式的検証について ○中村正樹・榊原一紀（富山県立大） CAS2018-76 MSS2018-52 |
最適化ソルバーを数理計画モデルに適用するためには，ソルバーが適用可能な形式にモデル化する必要がある．本研究では，与えられ... [more] | CAS2018-76 MSS2018-52 pp.127-130 |
| ICSS, IA (共催) |
2018-06-26 10:45 |
愛媛 | 愛媛大学 南加記念ホール | ［招待講演］安全性解析技術に関する近年の動向 ○矢内直人（阪大） IA2018-12 ICSS2018-12 |
各研究における提案技術の安全性について, 数理的技法を通じて解析する手法が近年高い注目を受けている. 本稿ではこの数理的... [more] | IA2018-12 ICSS2018-12 pp.73-75 |
| SSS | 2017-04-25 13:40 |
東京 | 機械振興会館 | ［招待講演］現場での知識継承・情報共有を促す休憩室での雑談の活性化方法の提案 ○藤野秀則（福井県立大）・浦山大輝（京大）・北村尊義（立命館大）・下田 宏・石井裕剛（京大） SSS2017-2 |
安全管理の現場では，現場のメンバの間で休憩中に行う雑談を通して，互いの業務中に気づいたことや業務をうまくこなすためのノウ... [more] | SSS2017-2 pp.5-8 |
| US | 2015-08-24 13:00 |
東京 | 東京工業大学 大岡山キャンパス | 超高周波での生体音響特性計測時における薄切試料作製過程の影響検討 ○入江 奏・吉田憲司・山口 匡（千葉大） US2015-38 |
厚さ数µmの薄切標本を対象とした物性計測においては，ホルマリン固定等の多くの処理を施す必要があり，これらの処理... [more] | US2015-38 pp.1-6 |
| SS | 2015-03-09 09:55 |
沖縄 | 沖縄県青年会館 | 環境許容性のあるリアクティブシステム合成法 ○上野篤史・冨田 尭・島川昌也・萩原茂樹・米崎直樹（東工大） SS2014-56 |
形式的に記述された仕様からリアクティブシステム（RS）を自動合成する手法では，仕様$varphi_{sys}$を満たす振... [more] | SS2014-56 pp.7-12 |
| VLD, DC, IPSJ-SLDM (連催) ICD, CPM (共催) CPSY, RECONF (併催) [詳細] |
2014-11-26 10:45 |
大分 | ビーコンプラザ（別府国際コンベンションセンター） | タイミング制約を含んだ回路記述方式とその意味論 ○西村俊二・尼崎太樹・末吉敏則（熊本大） VLD2014-82 DC2014-36 |
数学的な理論に基づく厳密な検証が可能となることから，各種の形式検証手法が広がりつつあるが，その検証対象は同期回路に限られ... [more] | VLD2014-82 DC2014-36 pp.81-86 |
| RECONF | 2014-09-19 14:40 |
広島 | 杜の宿 | 様相論理によるマルチクロック同期回路の形式検証体系 ○西村俊二・尼崎太樹・末吉敏則（熊本大） RECONF2014-33 |
数学的な理論に基づく厳密な検証が可能となることから，各種の形式検証手法が広がりつつあるが，多くの場合検証対象は単一クロッ... [more] | RECONF2014-33 pp.93-98 |
| SS | 2014-03-11 11:30 |
沖縄 | てんぷす那覇：第１・２会議室 | JavaにおけるequalsメソッドとhashCodeメソッドの整合性の検査手法の提案 榛葉浩章・○尾ノ上博樹・岡野浩三・楠本真二（阪大） SS2013-75 |
Javaにおいて，コレクションに格納されるオブジェクトはequalsメソッドとhashCodeメソッドをオーバーライドし... [more] | SS2013-75 pp.19-24 |
| IN, NV (併催) |
2013-07-19 15:15 |
北海道 | 北海道大学 工学部アカデミックラウンジ3 | 記号実行によるパケットの抽象化を用いたOpenFlowネットワークのモデル検査方式の提案 ○八鍬 豊・富沢伸行・登内敏夫（NEC） IN2013-54 |
OpenFlowネットワークに対し，モデル検査を用いて転送ループ等の不具合の有無を検証する方式を提案する．モデル検査では... [more] | IN2013-54 pp.107-112 |
| KBSE | 2013-03-14 15:30 |
東京 | 芝浦工業大学 | モデル検査を使ったデッドロック可能性検出 ○猿渡卓也・塚本英昭・神谷慎吾・宮田俊介（NTT） KBSE2012-76 |
形式手法の適用によるITシステムの信頼性向上が期待されている．しかし，形式手法の適用にはモデル作成等の専門的な知識が必要... [more] | KBSE2012-76 pp.43-48 |
| KBSE | 2013-03-15 11:25 |
東京 | 芝浦工業大学 | アーキテクチャに基づく検証ケースの提案 ○山本修一郎（名大） KBSE2012-82 |
システムの妥当性を形式手法だけで検証することは実践的ではない．このため形式手法と，テストやレビュなどとの組み合わせを明確... [more] | KBSE2012-82 pp.79-83 |
| NLC | 2012-12-19 16:20 |
東京 | 東京工業大学・大岡山キャンパス | Twitter上の「おはよう」を例とした崩れた異表記の認識 ○藤沼祥成（東大）・横野 光（NII）・Pascual Martinez-Gomez・相澤彰子（東大/NII） NLC2012-39 |
近年 Twitter を始めとする Consumer Generated Media (CGM) の発展により、正式な表... [more] | NLC2012-39 pp.35-40 |
[研究会発表申込システムのトップページに戻る]