| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: 最近10年)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| KBSE | 2024-03-14 13:20 |
沖縄 | 沖縄県総合福祉センター （ハイブリッド開催，主：現地開催，副：オンライン開催） |
例外に基づく非機能要求の記述法 ○山本修一郎（名工科）  KBSE2023-71 |
情報システム障害を防ぐためには，機能要求を定義するだけでは不十分で，信頼性や可能性などの非機能要求を明確に記述する必要が... [more] | KBSE2023-71 pp.37-42 |
| MSS, SS (共催) |
2023-01-11 13:30 |
大阪 | 大阪市立生涯学習センター （ハイブリッド開催，主：現地開催，副：オンライン開催） |
例外を含む関数型言語の形式的記述と停止性証明のための制約付き依存対 ○濱口 毅・酒井正彦（名大） MSS2022-56 SS2022-41 |
本発表では例外処理を持つ関数型プログラムの停止性証明手法を提案する．まず先行評価に基づくプログラムの詳細な評価順序の形式... [more] | MSS2022-56 SS2022-41 pp.66-71 |
| HIP | 2021-09-17 11:20 |
ONLINE | オンライン開催 (Zoom) | 「ギフテッド」の教育支援のあり方についての提案 ～ ある一名の学校歴の分析を元にして ～ ○山田倖大，岡 耕平（滋慶医療科学大） HIP2021-28 |
2021 年、文部科学省は特異な才能のある児童生徒に対する才能教育のあり方について検討を開始した。 文科省はアメリカ型の... [more] | HIP2021-28 pp.37-40 |
| SWIM | 2015-08-20 15:40 |
東京 | 法政大学 市谷 新一口坂校舎 | DEMOを用いた例外対応業務のパタン化 ～ 検収拒否対応 ～ ○永吉実武（早大） SWIM2015-10 |
企業や組織では，標準化された取引以外に様々な例外的な取引事象が発生している．例外事象への対応方法は，多岐に及んでいるが，... [more] | SWIM2015-10 pp.19-24 |
[研究会発表申込システムのトップページに戻る]