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

ウェブ全体の検索

2018年 第5回 料理レシピ本大賞 受賞作品:「みそ汁はおかずです」「へたおやつ 小麦粉を使わない 白崎茶会のはじめてレシピ」「全196ヵ国おうちで作れる世界のレシピ」「志麻さんのプレミアムな作りおき」など2018年10月30日 00時29分28秒

ASAHIネット(http://asahi-net.jp )のjouwa/salonから。
---
 料理レシピ本大賞というのがあるんですね。知らなかった。
http://recipe-bon.jp/?info=【2018年-第5回-料理レシピ本大賞-受賞作品発表-】
【2018年 第5回 料理レシピ本大賞 受賞作品発表 】

 【料理部門:大賞】【DNP賞】は、これ。
https://www.amazon.co.jp/exec/obidos/ASIN/4058008067/showshotcorne-22/
みそ汁はおかずです 単行本 – 2017/9/19
瀬尾 幸子 (著)

https://www.amazon.co.jp/exec/obidos/ASIN/B078M1QGRC/showshotcorne-22/
みそ汁はおかずです Kindle版
瀬尾 幸子 (著)

 【お菓子部門:大賞】は、これ。
https://www.amazon.co.jp/exec/obidos/ASIN/4838729758/showshotcorne-22/
へたおやつ 小麦粉を使わない 白崎茶会のはじめてレシピ 単行本(ソフトカバー) – 2017/12/14
白崎裕子 (著)

https://www.amazon.co.jp/exec/obidos/ASIN/B079FF47JV/showshotcorne-22/
へたおやつ 小麦粉を使わない 白崎茶会のはじめてレシピ Kindle版
白崎裕子 (著)

 以前
http://iiyu.asablo.jp/blog/2018/08/04/8934016
「伝説の家政婦」志麻さんは、情報省のスパイだった\(^O^)/ 芸能人やお前らの個人情報どころか胃袋も情報省ががっちり!\(^O^)/ 日本のフランス料理の父、辻調の辻静雄の伝記、海老沢泰久「美味礼讃」
で紹介した、伝説の家政婦、志麻さんの本も、【料理部門:入賞】に入っている
https://www.amazon.co.jp/exec/obidos/ASIN/4478102465/showshotcorne-22/
志麻さんのプレミアムな作りおき 単行本(ソフトカバー) – 2017/9/7
志麻 (著)

https://www.amazon.co.jp/exec/obidos/ASIN/B074TF5HQ3/showshotcorne-22/
志麻さんのプレミアムな作りおき Kindle版
志麻 (著)

 次は、【特別選考委員賞】受賞。たしかに気になるね。
https://www.amazon.co.jp/exec/obidos/ASIN/4909044108/showshotcorne-22/
全196ヵ国おうちで作れる世界のレシピ 単行本(ソフトカバー) – 2017/12/16
本山尚義 (著)

https://www.amazon.co.jp/exec/obidos/ASIN/B079L67QSB/showshotcorne-22/
全196ヵ国おうちで作れる世界のレシピ Kindle版
本山尚義 (著)

関連:
http://iiyu.asablo.jp/blog/2018/08/04/8934016
「伝説の家政婦」志麻さんは、情報省のスパイだった\(^O^)/ 芸能人やお前らの個人情報どころか胃袋も情報省ががっちり!\(^O^)/ 日本のフランス料理の父、辻調の辻静雄の伝記、海老沢泰久「美味礼讃」
http://iiyu.asablo.jp/blog/2018/05/01/8839698
「クックパッドの糖質オフのつくりおき」ほか作りおきや糖質オフレシピ本、伝説の家政婦レシピ本、和食の基本、からだにおいしい 野菜の便利帳、もっとからだにおいしい野菜の便利帳
http://iiyu.asablo.jp/blog/2012/01/17/6295525
塩糀ブーム、漫画「おせん」
http://iiyu.asablo.jp/blog/2011/11/05/6188361
女子栄養大学のダイエット本、日本人が一番やせる食べ方、教えます!
http://iiyu.asablo.jp/blog/2011/10/30/6176980
久住昌之, 水沢悦子「花のズボラ飯 うんま~いレシピ」
http://iiyu.asablo.jp/blog/2011/08/06/6032171
女子栄養大学出版部、糖尿病、塩分の本など食品栄養関係の大人買い?
http://iiyu.asablo.jp/blog/2010/12/29/5614732
女子栄養大学の学生食堂・カフェテリア、ダイエット本
http://iiyu.asablo.jp/blog/2010/12/04/5556085
体脂肪計タニタの社員食堂、続 体脂肪計タニタの社員食堂
http://iiyu.asablo.jp/blog/2010/11/14/5500970
食の崩壊。家族の勝手でしょ
http://iiyu.asablo.jp/blog/2010/09/13/5346338
お弁当、シネマ食堂、京都のおばんざい集、タニタの社員食堂など料理レシピ本
http://iiyu.asablo.jp/blog/2010/07/18/5226047
からだにおいしい魚の便利帳
http://iiyu.asablo.jp/blog/2010/06/18/5169351
野菜ソムリエ本、農家の台所、高橋がなり
http://iiyu.asablo.jp/blog/2010/03/26/4972571
食育。お弁当の日。弁当力。九大弁当の日。北九大に弁当部がある!\(^O^)/
http://iiyu.asablo.jp/blog/2009/05/27/4325504
Re: からだにおいしい 野菜の便利帳、調理以前の料理の常識、彼ごはん
http://iiyu.asablo.jp/blog/2009/05/26/4324128
からだにおいしい 野菜の便利帳、調理以前の料理の常識、彼ごはん
http://iiyu.asablo.jp/blog/2009/04/17/4248747
男子ごはん。弁当男子。お弁当本、「勝間和代はなぜだめか」もちょっとだけ
http://iiyu.asablo.jp/blog/2009/02/25/4138573
西健一郎「日本のおかず」、おつまみ横丁
http://iiyu.asablo.jp/blog/2007/03/31/1358133
食の裏側、食品のカラクリシリーズ

テスト駆動開発(TDD)より、形式手法(フォーマルメソッド、形式仕様記述、Formal Methods)。九州大学(九大)の荒木啓二郎先生が、熊本高等専門学校(熊本高専)の校長に!記念、形式手法とネットワーク技術シンポジウム2018年10月30日 02時21分16秒

ASAHIネット(http://asahi-net.jp )のjouwa/salonから。
---
 世の中、まだ、テスト駆動開発(TDD)しか知らず、形式手法(フォーマルメソッド、Formal Methods)を知らない人が多い。
 以前書いたけど、Suicaやパスモなど、ソニーのフェリカネットワークスのFeliCaを使ったICカードは、形式手法を使って作られたし、アマゾンのサービスも、形式手法を使って作るようになったという話もある。この辺、時間があったら書こうと思って、もう2,3年経っている。
 ちょっとだけ書くと。
 TDDは、結局、プログラマが書いた場合しかテストできないので、バグは残る。形式手法は、数学的にプログラムの正しさを証明する。だから、正しいと証明された部分にバグはない。
 ソフトウェア開発の現場の技術レベルを考えれば、実践できるのは、大体、テスト駆動開発(TDD)が精一杯という話もあるけど、TDDしか知らない人、TDDの限界を感じている人は、形式手法を学ぶのもいいと思いますよ。

 末尾にある関連を作るのに、自分のブログを検索したら、2010年、2011年が多い。もうそんなに月日が経っている。怖いのぉ。
 一番、最近に書いたのは、
http://iiyu.asablo.jp/blog/2017/11/01/8718707
ラムダノート(LamdaNote)社の新刊「Goならわかるシステムプログラミング」「定理証明手習い」。テスト駆動開発(TDD)の限界、Formal Methods(形式仕様記述、形式手法)のことも。
だもんね。

 ということで、我が国、形式手法(フォーマルメソッド、形式仕様記述、Formal Methods)の第一人者、九州大学(九大)の荒木啓二郎先生が、九大を退官されて、熊本高等専門学校(熊本高専)の校長に着任されたというので、その記念として、形式手法とネットワーク技術シンポジウムが、熊本で開催されます。


-------------------------------------------------------------
形式手法とネットワーク技術シンポジウム

主催:ソフトウェア技術者協会(SEA)九州支部

参加者募集
-------------------------------------------------------------

今般、荒木啓二郎先生が九州大学を退官され、熊本高等専門学校に着任されたことを記念して、シンポジウムを企画しました。荒木先生は、ソフトウェア工学およびネットワーク技術の分野で多大な研究業績を収められています。近年は、形式手法を基盤とした系統的なソフトウェア開発手法に関する研究に従事し、日本における形式手法の実用化技術の普及に貢献されています。また、インターネットの黎明期から、九州地区におけるネットワーク技術の普及に深く寄与されてきました。

本シンポジウムでは、荒木先生にゆかりのある方々にご講演して頂き、ソフトウェア開発およびネットワーク技術に関する研究討議をしたいと考えています。
シンポジウム終了後は、技術交流会を企画しています。合わせて、是非ご参加ください。技術交流会のみの参加も受け付けています。

併設イベント

翌日(12/1)は、熊本高等専門学校の見学会と形式手法(VDM)に関する研究会を企画しています。熊本高等専門学校(熊本キャンパス)の見学と形式手法に関する技術討論を行います。見学会のみの参加も結構ですの、関心のある方は、この機会に是非お立ち寄りください。


 形式手法とネットワーク技術シンポジウムについては、次のページから申し込んでください。
https://www.kokuchpro.com/event/45757981aba72538a0350d7029850572/
形式手法とネットワーク技術シンポジウム
2018年11月30日(金) 14:00〜17:30
 熊本高等専門学校見学会&VDM研究会については、次のページから申し込んでください。
https://www.kokuchpro.com/event/cee7a38c720f3bde6cdaf652e87b3513/
熊本高等専門学校見学会&VDM研究会
2018年12月1日(土) 10:00〜16:30

 記録に遺しておきたいので、内容も引用しておきます。
https://www.kokuchpro.com/event/45757981aba72538a0350d7029850572/
形式手法とネットワーク技術シンポジウム
--- ここから ---
今般、荒木啓二郎先生が九州大学を退官され、熊本高等専門学校に着任されたことを記念した、形式手法とネットワーク技術に関するシンポジウムです。

会場 熊本市国際交流会館
住所 熊本県熊本県熊本市中央区花畑町4番18号
料金制度 有料イベント
ジャンル 技術 > 開発
事務局 ソフトウェア技術者協会(SEA)九州支部
※当イベントは上記の事務局によって企画・運営されており、(株)ライブアウトは関与しておりません
主催グループ ソフトウェア技術者協会(SEA)九州支部
イベント詳細
形式手法とネットワーク技術シンポジウム
2018年11月30日(金)
併設イベント:熊本高等専門学校見学会&VDM研究会
2018年12月1日(土)
主催:ソフトウェア技術者協会(SEA)九州支部(予定)
参加者募集
今般、荒木啓二郎先生が九州大学を退官され、熊本高等専門学校に着任されたことを記念して、シンポジウムを企画しました。荒木先生は、ソフトウェア工学およびネットワーク技術の分野で多大な研究業績を収められています。近年は、形式手法を基盤とした系統的なソフトウェア開発手法に関する研究に従事し、日本における形式手法の実用化技術の普及に貢献されています。また、インターネットの黎明期から、九州地区におけるネットワーク技術の普及に深く寄与されてきました。

本シンポジウムでは、荒木先生にゆかりのある方々にご講演して頂き、ソフトウェア開発およびネットワーク技術に関する研究討議をしたいと考えています。シンポジウム終了後は、技術交流会を企画しています。合わせて、是非ご参加ください。技術交流会のみの参加も受け付けています。

併設イベント
翌日(12/1)は、熊本高等専門学校の見学会と形式手法(VDM)に関する研究会を企画しています。熊本高等専門学校(熊本キャンパス)の見学と形式手法に関する技術討論を行います。見学会のみの参加も結構ですの、関心のある方は、この機会に是非お立ち寄りください。参加される方は下記のページからお申し込みください。

熊本高等専門学校見学会&VDM研究会
プログラム(予定)
2018年11月30日(金曜)
14:00 - 17:30 シンポジウム
会場:熊本市国際交流会館(http://www.kumamoto-if.or.jp/kcic/

14:00 14:10 開会の辞

14:10 - 15:30 講演(1)後藤 滋樹(早稲田大学教授)

(詳細は調整中)

16:00 - 17:20 講演(2)玉井 哲雄(東京大学名誉教授)

タイトル:機械学習による品質要求の分類について

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

17:20 - 17:30 閉会の辞

 荒木 啓二郎(熊本高等専門学校校長、九州大学名誉教授)

会費:1,000円

18:00 - 21:00 技術交流会
会場:城見櫓(http://www.shiromiyagura.com/)5階 パーティホール 天酒閣

話題提供:「 高専における教育と人材育成
        ー 着任後半年で感じた大学との違い ー 」

 荒木 啓二郎(熊本高等専門学校校長、九州大学名誉教授)

会費:8,000円(予定)

2018年12月1日(土曜)併設イベント
参加される方は下記のページからお申し込みください。

熊本高等専門学校見学会&VDM研究会
10:00 - 12:00 熊本高等専門学校 見学会
会場:熊本高等専門学校 熊本キャンパス(http://kumamoto-nct.ac.jp)管理棟2階 大会議室

13:30 - 16:30 VDM研究会
会場:熊本高等専門学校 熊本キャンパス(http://kumamoto-nct.ac.jp)管理棟2階 大会議室
--- ここまで ---

 熊本高等専門学校見学会&VDM研究会については、次のページから申し込んでください。
https://www.kokuchpro.com/event/cee7a38c720f3bde6cdaf652e87b3513/
熊本高等専門学校見学会&VDM研究会
2018年12月1日(土) 10:00〜16:30
 記録に遺しておきたいので、内容も引用しておきます。
https://www.kokuchpro.com/event/cee7a38c720f3bde6cdaf652e87b3513/
熊本高等専門学校見学会&VDM研究会
--- ここから ---
熊本高等専門学校見学会&VDM研究会
主催:ソフトウェア技術者協会(SEA)九州支部(予定)
参加者募集
本見学会とVDM研究会は、2018年11月30日(金)に開催される、形式手法とネットワーク技術シンポジウムの併設イベントです。熊本高等専門学校(熊本キャンパス)の見学と形式手法に関する技術討論を行います。見学会のみの参加も結構ですの、関心のある方は、この機会に是非お立ち寄りください。

形式手法とネットワーク技術シンポジウムは以下のページからお申し込みください。

形式手法とネットワーク技術シンポジウム
プログラム(予定)
2018年12月1日(土曜)
10:00 - 12:00 熊本高等専門学校 見学会
場所:熊本高等専門学校 熊本キャンパス(http://kumamoto-nct.ac.jp

13:30 - 16:30 VDM研究会
場所:熊本高等専門学校 熊本キャンパス(http://kumamoto-nct.ac.jp
--- ここまで ---

関連:
http://iiyu.asablo.jp/blog/2017/11/01/8718707
ラムダノート(LamdaNote)社の新刊「Goならわかるシステムプログラミング」「定理証明手習い」。テスト駆動開発(TDD)の限界、Formal Methods(形式仕様記述、形式手法)のことも。
http://iiyu.asablo.jp/blog/2011/12/28/6266615
形式手法導入パイロット教育コース
http://iiyu.asablo.jp/blog/2011/09/19/6107007
文章が駄目ならシステムも駄目、形式仕様記述(フォーマルメソッド)のことも
http://iiyu.asablo.jp/blog/2011/02/04/5662037
仕様記述言語Alloy, Software Abstractionsの翻訳がオーム社から出そう\(^O^)/
http://iiyu.asablo.jp/blog/2010/09/18/5354010
関数プログラミングの楽しみ
http://iiyu.asablo.jp/blog/2010/07/29/5254545
VDM++によるオブジェクト指向システムの高品質設計と検証
http://iiyu.asablo.jp/blog/2010/07/29/5254556
フォーマルメソッド(形式仕様記述、Formal Methods)の教科書
http://iiyu.asablo.jp/blog/2006/08/20/491884
形式仕様記述(フォーマルメソッド、Formal Methods)
http://iiyu.asablo.jp/blog/2010/08/10/5277689
地球なう。おれのサンプルリターンは大成功\(^O^)/
Google
ブログ(iiyu.asablo.jpの検索)
ホットコーナー内の検索
 でもASAHIネット(asahi-net.or.jp)全体の検索です。
 検索したい言葉のあとに、空白で区切ってki4s-nkmrを入れるといいかも。
 例 中村(show) ki4s-nkmr

ウェブ全体の検索