Google
ブログ(iiyu.asablo.jpの検索)
ホットコーナー内の検索
 でもASAHIネット(asahi-net.or.jp)全体の検索です。
 検索したい言葉のあとに、空白で区切ってki4s-nkmrを入れるといいかも。
 例 中村(show) ki4s-nkmr

ウェブ全体の検索

荒木啓二郎先生が、熊本高等専門学校(熊本高専)の校長に!記念「形式手法とネットワーク技術」シンポジウム、改め「ソフトウェアとネットワーク技術シンポジウム 〜 機械学習とアジア太平洋地域を見据えて 〜」。後藤滋樹先生(早稲田大学教授)と玉井哲雄先生(東京大学名誉教授)の講演詳細2018年11月11日 19時23分55秒

ASAHIネット(http://asahi-net.jp )のjouwa/salonから。
---
http://iiyu.asablo.jp/blog/2018/10/30/8985607
テスト駆動開発(TDD)より、形式手法(フォーマルメソッド、形式仕様記述、Formal Methods)。九州大学(九大)の荒木啓二郎先生が、熊本高等専門学校(熊本高専)の校長に!記念、形式手法とネットワーク技術シンポジウム
で紹介した、熊本で開催される「形式手法とネットワーク技術シンポジウム」。
 名前を「ソフトウェアとネットワーク技術シンポジウム 〜 機械学習とアジア太平
洋地域を見据えて 〜」に変えて開催されるそうです。
 後藤滋樹先生と玉井哲雄先生の講演詳細が、南山大学の張漢明先生から送られて来たので、掲載します。

--- ここから ---
中村正三郎 様

「ソフトウェアとネットワーク技術シンポジウム」のご案内です。

重複してお受け取られた方はご容赦ください。

先日ご案内したシンポジウムの詳細が決まりましたので、お知らせさせて頂きます。

後藤滋樹先生(早稲田大学教授)と玉井哲雄先生(東京大学名誉教授)をお招きして、ご講演して頂くことになりました。

年末に向けてお忙しいとは存じますが、ご都合がつく方は、是非ご参加くださるよう、お願い申し上げます。

ご講演(1)
後藤 滋樹(早稲田大学教授)
タイトル(予定) :成熟した日本社会と競争激化するアジア諸国 --アジア太平洋地域のインターネットの変遷 --
概要(予定)
講師は、1985年から日本のインターネットの黎明期のJUNETの運営に協力した後に、1993年からアジア太平洋地域のインターネットの発展を促進してきた。
その活動の中で遭遇した話題を、シンポジウムにご参加の諸兄と共有したい。
ある時期には、日本をJapan as Number Oneと称賛する声がある一方で、アジア諸国は日本を良く研究した。現在では、中国のGDP(名目)が日本の2倍を超えている。経済の規模だけではなく、中国ではアメリカに比肩する新ビジネスが展開中である。このような状況の世界においても日本の役割があるのだろうか。
講師は次のように考えている。日本は今なお大きな国であり、日本の選択は世界に大きな影響を与える。

ご講演(2)玉井 哲雄(東京大学名誉教授)
タイトル:機械学習による品質要求の分類について
概要:
ソフトウェアの要求仕様の中でも,品質要求についての記述の重要さは広く認識されてきています.そこでわれわれは,実際的な要求仕様書を収集し,その中で品質要求が機能要求と比較してどの程度記述されているか,どのような種類の品質が扱われているかを調べることにしました.そのために,ネット上で公開されている主に公的機関が作成した要求仕様書を集め,またそれを分類・解析するツールを開発しています.
QRMinerと名づけたそのツールは,深層学習を用いて,要求文と非要求文,機能要求文と品質要求文を分類し,さらに品質要求をISO/IEC 25000で定められているセキュリティや信頼性などの8種類の特性に分類します.この講演では,このような研究の方法と成果を報告するとともに,機械学習の応用全般についても議論します.

ご参加くださる方は、下記のページよりお申し込みください。
https://www.kokuchpro.com/event/45757981aba72538a0350d7029850572/

また、翌日には、「熊本高等専門学校見学会」および「VDM研究会」を企画しております。見学会のみの参加も結構ですの、関心のある方は、この機会に是非お立ち寄りください。参加くださる方は下記のページからお申し込みください。
https://www.kokuchpro.com/event/cee7a38c720f3bde6cdaf652e87b3513/

なお、シンポジウムの名称を「形式手法とネットワーク技術シンポジウム」から「ソフトウェアとネットワーク技術シンポジウム 〜 機械学習とアジア太平洋地域を見据えて 〜」に変更しました。

--
張 漢明
南山大学 理工学部 ソフトウェア工学科
--- ここまで ---

関連:
http://iiyu.asablo.jp/blog/2018/10/30/8985607
テスト駆動開発(TDD)より、形式手法(フォーマルメソッド、形式仕様記述、Formal Methods)。九州大学(九大)の荒木啓二郎先生が、熊本高等専門学校(熊本高専)の校長に!記念、形式手法とネットワーク技術シンポジウム

コメント

コメントをどうぞ

※メールアドレスとURLの入力は必須ではありません。 入力されたメールアドレスは記事に反映されず、ブログの管理者のみが参照できます。

※なお、送られたコメントはブログの管理者が確認するまで公開されません。

※投稿には管理者が設定した質問に答える必要があります。

名前:
メールアドレス:
URL:
次の質問に答えてください:
一富士、二鷹、三は? ひらがなで。

コメント:

トラックバック