総会案内
日時： 2024 年 6 月 26 日（水） 18:00～19:00
場所：オンライン（Zoom）
議題:
第一号議案 2023年度事業報告
第二号議案 2023年度決算報告
第三号議案 2024年度事業計画
第四号議案 2024年度予算審議
第五号議案 役員改選
（下記を，事務局 office [at-mark] sea.jpまでメール願います）
——————————————————————————-
ソフトウェア技術者協会第39回総会に
□ 出席する
□ 欠席して議事を （ ） に委任する
（記入のない方は議長に委任とさせていただきます）
会員名
——————————————————————————-
総会資料: SEA_sokai_No_39_20240626-r2
日時： 2023年6月20日（火） 18:00～19:00
場所：オンライン（Zoom）
第一号議案 2022年度事業報告
第二号議案 2022年度決算報告
第三号議案 2023年度事業計画
第四号議案 2023年度予算審議
第五号議案 役員改選
（下記を，事務局 office [at-mark] sea.jpまでメール願います）
——————————————————————————-
ソフトウェア技術者協会第37回総会に
□ 出席する
□ 欠席して議事を （ ） に委任する
（記入のない方は議長に委任とさせていただきます）
会員名
——————————————————————————-
日時： 2022年6月29日（水） 18:30～19:00
場所：Shibuya Hikarie 11F RoomB（東京・渋谷），
オンライン（Zoom）でも参加できます
議題:
第一号議案 2021年度事業報告
第二号議案 2021年度決算報告
第三号議案 2022年度事業計画
第四号議案 2022年度予算審議
第五号議案 役員改選
（下記を，事務局 office [at-mark] sea.jpまでメール願います）
——————————————————————————-
ソフトウェア技術者協会第37回総会に
□ 出席する
□ 欠席して議事を （ ） に委任する
（記入のない方は議長に委任とさせていただきます）
会員名
——————————————————————————-
資料：
日時： 2021年6月30日（水） 18:00～18:30
場所：オンライン（Zoom）
議題:
第一号議案 2020年度事業報告
第二号議案 2020年度決算報告
第三号議案 2021年度事業計画
第四号議案 2021年度予算審議
第五号議案 役員改選
（下記を，事務局 office [at-mark] sea.jpまでメール願います）
——————————————————————————-
ソフトウェア技術者協会第36回総会に
□ 出席する
□ 欠席して議事を （ ） に委任する
（記入のない方は議長に委任とさせていただきます）
会員名
——————————————————————————-
資料：
総会案内
日時： 2020年6月24日（水） 18:00～18:30
場所：・Shibuya Hikarie 11F Room C （東京・渋谷）
オンライン（Zoom）でも参加できます．
議題:
第一号議案 2019年度事業報告
第二号議案 2019年度決算報告
第三号議案 2020年度事業計画
第四号議案 2020年度予算審議
第五号議案 役員改選
（下記を，事務局 office [at-mark] sea.jpまでメール願います）
——————————————————————————-
ソフトウェア技術者協会第35回総会に
□ 出席する
□ 欠席して議事を （ ） に委任する
（記入のない方は議長に委任とさせていただきます）
会員名
——————————————————————————-
第 34 回総会，ご参加および委任状の送付ありがとうございました．
無事終了致しました．総会資料のリンクがあります．
総会案内
日時： 2019年6月26日（水） 18:30～19:00
場所： ソニーシティ大崎
東京都品川区大崎2-10-1
議題:
第一号議案 2018年度事業報告
第二号議案 2018年度決算報告
第三号議案 2019年度事業計画
第四号議案 2019年度予算審議
第五号議案 役員改選
（下記を，事務局 office [at-mark] sea.jpまでメール願います）
——————————————————————————-
ソフトウェア技術者協会第34回総会に
□ 出席する
□ 欠席して議事を （ ） に委任する
（記入のない方は議長に委任とさせていただきます）
会員名
——————————————————————————-
ミニフォーラム： 19:00-20:00
タイトル
企業から大学への転身
～大学に移って感じたこと、これからの研究活動について～
発表者：小笠原秀人（千葉工業大学）
以上になります．
■ 日時
2018年7月24日(火) 18:30～19:30
■場所
フェリカネットワークス株式会社
■議事
(1) 2018年度活動方針の再確認
活動方針：
1. フォーラム（原則毎月）
2. WEBによる情報発信の強化
3. 支部（北海道，東北，名古屋，関西，九州，上海）の活性化
4. イベント（国際会議，信頼性，SS）の開催
5. 各SIG（SPIN, SQA, FM, EDU, ENV，SoS）からの情報発信
6. SEA MAIL の電子版の発刊
(2) SS 2019
来年の開催日と開催場所の確認
・開催日：2019/6/5(水)-7(金)
・場 所：熊本市国際交流会館
http://www.kumamoto-if.or.jp/kcic/
ロケハンの日程検討
(3) SEA フォーラム
7月 9都市7000人のエビデンスに基づく自己肯定感と主体性の確立に向けた
教育改革への提言 (7/20)
8月 IoTセキュリティと企業の取り組み (8/3)
10月 言語技術 (10/20)
11月 ミャンマーから来日する先生と生徒の発表 (11/19)
12月 札幌フォーラム (12/7)
(4) 分科会
教育分科会：
5月 SEA SIGEDU（教育分科会）見学会 (5/18)
7月 第20回 SEA教育事例研究会2018 (7/13)
10月 SEA教育ワークショップ (10/11-13)
ソフトウェアプロセス分科会：
「SPINのこれから」について,メーリングリストで議論中
ソフトウェア品質保証分科会：
6月 SQAのいま— 受託系ソフトウェアの実務 — (6/25)
7月 新しいソフトウェア品質保証のかたちを目指して
— KPIについて考える — (7/10)
SoS分科会：
5月 第5回例会開催 (5/18)
(5) 支部
東北支部:
6月 SQAのきほん (6/29)
(6) その他
Webサイトの更新方法について
総会は無事終了致しました．みなさま，ご協力ありがとうございました．
第 33 回総会のご案内です．
会員のみなさまの参加お待ちしております．総会資料のリンクがあります．
総会案内
日時： 2018年6月26日（火） 18:30～19:30
場所： フェリカネットワークス株式会社 受付会議室
東京都品川区大崎 1-11-1
ゲートシティ大崎 ウエストタワー 16 階
http://www.felicanetworks.co.jp/company/map.html
議題:
第一号議案 2017年度事業報告
第二号議案 2017年度決算報告
第三号議案 2018年度事業計画
第四号議案 2018年度予算審議
第五号議案 役員改選
（下記を，事務局 office [at-mark] sea.jpまでメール願います）
——————————————————————————-
ソフトウェア技術者協会第33回総会に
□ 出席する
□ 欠席して議事を （ ） に委任する
（記入のない方は議長に委任とさせていただきます）
会員名
——————————————————————————-
総会資料：SEA_sokai_No_33_20180625-3
なお，総会終了後に，ミニフォーラムとして三輪さんから下記のテーマでお話しいただく予定です．
保守と開発で，技術者が知っておくべきこと
– 大規模オンラインシステムにおける例 –
以上になります．
2017年5月18日（金）17:00～18:00
フェリカネットワークス株式会社
(1) SS 2017
次回開催場所の検討
(2) SEA フォーラム
5月 『「伝わる日本語」練習帳』 5月18日
7月 FRAM を予定
8月 大規模プロジェクトにおけるプロセスと監査（橋本さん）
9月 ユーザストーリーマッピング（担当：栗田さん）
12月（8日）北海道支部主催フォーラム
(3) 支部
津和野にて，SEA 教育フォーラムを EDU が開催 (8/25-8/26)
秋頃（9月or10月），東北支部でフォーラムを企画とのこと
(4) その他
SEA MAIL準備状況
監査完了報告・次年度予算案
次年度幹事について
2017年3月24日（金）18:30～20:00
フェリカネットワークス株式会社
(1) SS 2017
現在の準備状況
4/14 PC Meeting
(2) SEA フォーラム
03月30日（木） 新谷さん（担当：米島さん）
4月 奈良さん，SQM のきほん 4/21候補
5月 『「伝わる日本語」練習帳』 5月18日
7月 FRAM を予定
(3) 支部
北海道支部 支部支援費振り込み済み
関西支部 3/30フォーラム開催
東北支部活性化の方策 「SQA のきほん」候補
(4) その他
SEA MAIL準備状況
次年度幹事について
2017年2月10日（金）18:30～20:20
フェリカネットワークス株式会社
(1) SS 2017
現在の準備状況
(2) SEA フォーラム
02月 2/27決定 パターンランゲージ（担当：杉田さん，小林さん）
04月 新谷さん（担当：米島さんに調整いただいています）
(3) 支部
安達さんから，北海道支部開設申請あり，OKとなりました．
(4) その他
SEA MAIL準備状況
幹事会の役割についての議論
2016年12月15日（木）17:30 – 18:25
フェリカネットワークス株式会社
(1) SS 2017
現在の準備状況
宮崎市民プラザ（本会議）
宮崎観光ホテル（懇親会）
基調講演候補：筧先生
(2) SEA フォーラム
01月 SIGEDU：新春教育フォーラム（1/27）
02月 2/27決定 パターンランゲージ（担当：杉田さん，小林さん）
03月 人工知能の教育と未来（SIGEDU）
(3) その他
SEA MAIL 原稿状況
札幌支部設立検討
総会は無事終了致しました．みなさま，ご協力ありがとうございました．また，総会資料を更新しました．
第32回総会のご案内です．
会員のみなさまの参加お待ちしております．
総会案内
日時： 2017年6月2日（火） 18:30～19:30
場所： フェリカネットワークス株式会社 受付会議室
東京都品川区大崎 1-11-1
ゲートシティ大崎 ウエストタワー 16 階
http://www.felicanetworks.co.jp/company/map.html
議題:
第一号議案 2016年度事業報告
第二号議案 2016年度決算報告
第三号議案 2017年度事業計画
第四号議案 2017年度予算審議
第五号議案 会則変更（名誉会員の新設）
第六号議案 役員改選
（下記を，事務局 office [at-mark] sea.jpまでメール願います）
——————————————————————————-
ソフトウェア技術者協会第32回総会に
□ 出席する
□ 欠席して議事を （ ） に委任する
（記入のない方は議長に委任とさせていただきます）
会員名
——————————————————————————-
総会資料は，SEA_sokai_No_32_20170602-F です．
───────────────────────────────────
なお，総会後，以下のミニフォーラムを開催します．
演目： 数値からみた日本の情報産業の今
日時： 6月02日（火）19:30-20:30
場所： 総会会場
講師： 佃 均 氏 （IT記者会）
新しい SEA MAIL Vol.17 No.4 のご案内です．
アクセス方法が不明な場合は，事務局にお問い合わせ下さい．また，これまでの一覧については，こちらをご覧下さい．
新しい SEA MAIL Vol.17 No.1-3 のご案内です．
なお，昨年度から新しく電子版 SEA MAIL を発刊しています．最新の一覧については，こちらをご覧下さい．
日時
11 月 04 日（金）17:30 – 19:30
場所
（有）コンサル２１世紀 本社
議事
(1) SoS 分科会
12名でスタート．非会員の参加者は勧誘下さるとのこと．なお，キックオフ的フォーラムを今月24日に開催．
http://sea.jp/?p=2100
(2) SS2017 @ 宮崎
目標120名．12月頭にCfP
実行委員長:荒木 啓二郎 (九州大学)、小笠原 秀人(東芝)
プログラム委員長:片山 徹郎 (宮崎大学)、栗田 太郎 (ソニー)
(3) 札幌フォーラム
12月9日．目標25名
http://sea.jp/?p=2093
(4) フォーラム予定
1月 新春フォーラム（EDU）
2月 デザインパターン
3月 人工知能と教育の未来
(5) 信頼性分科会
定期的に開催している信頼性フォーラムの母体として．
http://sea.jp/?p=2081
15万円の支援費が承認．会計窓口は奈良さん．
(6) 次回幹事会
12月15日（木）
17:00-18:30 SS実行委員会
18:30-19:30 幹事会
出席者
塩谷さん，米島さん，落水先生，松原さん，小松先生，中野先生，伊藤
開催場所
日時：9月2日（金）17:30～19:30
場所：新宿区西新宿1-5-11 新宿三葉（ミツバ）ビル 6F
議題
(1) SEA フォーラム
09月「探究型プログラミング学習 (探プロ！) の事例共有」
9月30日 講師小笠原紀子さん 現在参加者募集中
10月「AI碁（Alpha Go）」10月で日程調整中
候補日：10/12(水） 18:30 開始 講師の先生のご都合確認中
11月「SoS(System of Systems）」11月で日程調整 担当 落水先生
12月 (1) 12/9 札幌 栗田さん? (2) 「unplugged」担当：小松先生
01月 SIGEDU
(2) 関西支部
「SEA関西30+1周年記念フォーラム」の開催
日時：2016年9月10日(土) 14:00-17:00
(3) 教育ワークショップ @ 長崎
10/20-22 順調に参加者が増え，まもなく定員とのこと
(4) SS 2017 (6/7-9)
委員会：検討中
会場見学（10/25-26)
宮崎市民プラザ（本会議）
宮崎観光ホテル（懇親会）
(5) 支部支援・後援
・SIGEDU支援費（米島さん） 10万円 承認
・KOF後援費（中野先生） 10万円 承認
（文責：伊藤）
時間：18:30-20:00 @ フェリカネットワークス
参加者：栗田，塩谷，杉田，ひろのぶ，松原，米島 （敬称略）
参加者: 115名（登録ベース）
全ての企画で盛り上がりを見せた
会計的には，当初予定通り
なお，次年度に向けて，小笠原前プログラム委員長が反省会を企画との報告有り．
次年度については，荒木先生，日下部先生と推進方法をご相談（伊藤担当）
関西支部への支部支援費支出を承認（イベント会場代，プロジェクトタ代等）
3. フォーラム企画（候補）
SSでもチュートリアルを実施いただいた中埜さまを再度およびして議論を深める（杉田会計監事，半日程度の拡大フォーラム予定）
女性のエンジニアに焦点を当てた企画を検討（中谷幹事，ひろのぶ幹事）
物理的なものを使用したコンピュータ教育（EDUへ実現可能性を依頼．担当，米島幹事）
セキュリティ全般の考察，出版される書籍に基づく（ひろのぶ幹事）
今後必要となるアプリケショーンセキュリティツールについて（米島幹事担当）
音声・映像における圧縮技術の state of the art （担当未定）
9月2日 18:30 ~ 場所未定
（文責：伊藤）
総会は無事終了致しました．みなさま，ご協力ありがとうございました．また，総会資料を更新しました．
第31回総会のご案内です．
ご参加お待ちしております．
総会案内
日時： 2016年5月31日（火） 18:30～19:30
場所： フェリカネットワークス株式会社 受付会議室
東京都品川区大崎 1-11-1
ゲートシティ大崎 ウエストタワー 16 階
http://www.felicanetworks.co.jp/company/map.html
議題:
第一号議案 2015年度事業報告
第二号議案 2015年度決算報告
第三号議案 2016年度事業計画
第四号議案 2016年度予算審議
第五号議案 役員改選
（下記を，事務局 office [at-mark] sea.jpまでメール願います）
——————————————————————————-
ソフトウェア技術者協会第31回総会に
□ 出席する
□ 欠席して議事を （ ） に委任する
（記入のない方は議長に委任とさせていただきます）
会員名
——————————————————————————-
総会資料：（SEA_sokai_No_31_20160531-F）
───────────────────────────────────
なお，総会後，以下のミニフォーラムを開催します．
演目： SPARK 2014 の紹介 と 形式手法の産業応用の現在
日時： 5月31日（火）19:30-20:30
場所： 総会会場
講師： Dr. Johannes Kanig (AdaCore社）
Johannes holds an engineering degree from Ecole Centrale Paris, a Masters in Computer Science from the Technical University of Dresden, Germany and a PhD in Program Verification obtained at the University Paris 11. He joined AdaCore in 2011 and works principally on the CodePeer static analysis technology and the Hi-Lite research project, which aims to combine unit tests and formal verification.
概要：
欧州を中心として，セーフティクリティカルシステムに適用が進んでいるSPARK2014および形式手法の産業応用について，お話し頂きます．導入的な内容ですので，みなさんに興味を持って頂けると思います．他のAdaCore社（Paris）のメンバーも参加予定になっておりますので，質疑応答では，より詳しい状況について直接お尋ねすることもできると思います．
───────────────────────────────────
アーキテクチャ指向フォーマルメソッド シンポジウム
参加者募集
ソフトウェアの骨格を形成する「アーキテクチャ」はソフトウェア開発における最も重要な成果物であり、その正当性と妥当性を議論するためのフォーマルメソッドの適用技術の開発が期待されています。
本シンポジウムでは、Kang Kyochul 先生 (Samsung Electronics) を基調講演にお迎えし、アーキテクチャ技術、プロダクトライン技術について議論したいと思います。
多数のご参加をお待ちしております。
なお、講演は英語で行います。
────────────── 開 催 要 領 ──────────────
日時：
2015 年 9 月 12 日 (土曜日) 13:00-17:00
主催：
科学研究費補助金 基盤研究(S)
「アーキテクチャ指向形式手法に基づく高品質ソフトウェア開発法の提案と実用化」
共催：
南山大学 理工学研究科
九州大学 アーキテクチャ指向フォーマルメソッド研究センター
ソフトウェア技術者協会 (SEA)
会場：
南山大学 S棟 S22教室（名古屋市昭和区山里町18）
http://www.nanzan-u.ac.jp/Information/access.html
シンポジウム参加費：無料