アマゾンがKindle９周年で2021/10/28までコンピュータ、ICT関係本も安売り中。Python, Scala, Java, JavaScript、AI, 機械学習、ディープラーニングも安いよ ― 2021年10月25日 11時17分07秒
ASAHIネット(http://asahi-net.jp )のブログサービス、アサブロ(https://asahi-net.jp/asablo/ )を使っています。
---
キャンペーンで、安くなってるもの、これまでこのブログで紹介したり、名前を出したものをいくつか。ほとんど半額になってる。チャンスよ！
インプレスの本ばかりが安くなっている気がする。結局、impress top gearシリーズばかりのリストになった。このシリーズ、ほかにも安くなっているので、アマゾンのKindle版を検索してみてください。
他の出版社の本は、半額じゃないものも、紙よりKindleの方が少し安いのが多いね。普段からそうかもしれないけど。
https://www.amazon.co.jp/exec/obidos/ASIN/B0976LN6QJ/showshotcorne-22/
Scalaスケーラブルプログラミング 第4版 impress top gearシリーズ Kindle版
Martin Odersky (著), Lex Spoon (著), Bill Venners (著), 長尾 高弘 (著), 麻植 泰輔 (著), 立野 靖博 (著), 田所 駿佑 (著), 水島 宏太 (著) 形式: Kindle版
https://www.amazon.co.jp/exec/obidos/ASIN/B085RBT3LH/showshotcorne-22/
新世代Javaプログラミングガイド［Java SE 10/11/12/13と言語拡張プロジェクト］ impress top gearシリーズ Kindle版
Mala Gupta (著), 柴田 芳樹 (著) 形式: Kindle版
https://www.amazon.co.jp/exec/obidos/ASIN/B08QVCSY1D/showshotcorne-22/
JavaScriptモダンプログラミング完全ガイド 堅牢なコードを効率的に開発できる！ impress top gearシリーズ Kindle版
Cay S. Horstmann (著), 吉川 邦夫 (著) 形式: Kindle版
https://www.amazon.co.jp/exec/obidos/ASIN/B0854KZK66/showshotcorne-22/
Python基礎＆実践プログラミング［プロへのスキルアップ+プロジェクトサンプル］ impress top gearシリーズ Kindle版
Magnus Lie Hetland (著), 武舎 広幸 (著), 阿部 和也 (著), 上西 昌弘 (著), 松浦 健一郎 (著), 司 ゆき (著) 形式: Kindle版
https://www.amazon.co.jp/exec/obidos/ASIN/B079ZT6KBZ/showshotcorne-22/
逆引きPython標準ライブラリ 目的別の基本レシピ180+! impress top gearシリーズ Kindle版
大津真 (著), 田中賢一郎 (著) 形式: Kindle版
https://www.amazon.co.jp/exec/obidos/ASIN/B08T69Q7HM/showshotcorne-22/
ディープラーニング実装入門 PyTorchによる画像・自然言語処理 impress top gearシリーズ Kindle版
吉崎亮介 (著), 祖父江誠人 (著) 形式: Kindle版
https://www.amazon.co.jp/exec/obidos/ASIN/B08Y8J941W/showshotcorne-22/
PyTorch自然言語処理プログラミング word2vec／LSTM／seq2seq／BERTで日本語テキスト解析！ impress top gearシリーズ Kindle版
新納 浩幸 (著) 形式: Kindle版
https://www.amazon.co.jp/exec/obidos/ASIN/B082X27NSW/showshotcorne-22/
機械学習 100+ページ エッセンス impress top gearシリーズ Kindle版
Andriy Burkov (著), 清水 美樹 (著) 形式: Kindle版
https://www.amazon.co.jp/exec/obidos/ASIN/B07LGT94YH/showshotcorne-22/
Pythonスクレイピングの基本と実践 データサイエンティストのためのWebデータ収集術 impress top gearシリーズ Kindle版
Seppe vanden Broucke (著), Bart Baesens (著), 株式会社トップスタジオ (著) 形式: Kindle版
https://www.amazon.co.jp/exec/obidos/ASIN/B015R0M8W0/showshotcorne-22/
Game Programming Patterns ソフトウェア開発の問題解決メニュー impress top gearシリーズ Kindle版
Robert Nystrom (著), 阿部和也 (翻訳), 上西昌弘 (翻訳), 武舎広幸 (監修) 形式: Kindle版
https://www.amazon.co.jp/exec/obidos/ASIN/B07JKSFM8H/showshotcorne-22/
AIアルゴリズムマーケティング 自動化のための機械学習/経済モデル、ベス トプラクティス、アーキテクチャ impress top gearシリーズ Kindle版
Ilya Katsov (著), 株式会社クイープ (著) 形式: Kindle版
https://www.amazon.co.jp/exec/obidos/ASIN/B085971KFL/showshotcorne-22/
教養としてのコンピューターサイエンス講義 今こそ知っておくべき「デジタル世界」の基礎知識 Kindle版
ブライアン・カーニハン (著), 酒匂 寛 (翻訳), 坂村 健 (その他) 形式: Kindle版
https://www.amazon.co.jp/exec/obidos/ASIN/B08K34C7TP/showshotcorne-22/
Coders（コーダーズ）凄腕ソフトウェア開発者が新しい世界をビルドする Kindle版
Paul Chiusano (著), Rúnar Bjarnason (著), 株式会社クイープ (著) 形式: Kindle版
クライブ・トンプソン (著), 井口 耕二 (翻訳), 及川 卓也 (その他) 形式: Kindle版
https://www.amazon.co.jp/exec/obidos/ASIN/B08VJ13YV4/showshotcorne-22/
Elixir実践ガイド impress top gearシリーズ Kindle版
黒田 努 (著) 形式: Kindle版
https://www.amazon.co.jp/exec/obidos/ASIN/B072JVPFL4/showshotcorne-22/
JavaScript関数型プログラミング 複雑性を抑える発想と実践法を学ぶ impress top gearシリーズ Kindle版
LuisAtencio (著), 株式会社イディオマコムニカ 加藤大雄 (著) 形式: Kindle版
https://www.amazon.co.jp/exec/obidos/ASIN/B079PQ2NW5/showshotcorne-22/
Scalaをはじめよう！ ─マルチパラダイム言語への招待─ (技術の泉シリーズ（NextPublishing）) Kindle版
伊藤 竜一 (著) 形式: Kindle版
Kindle版がちょっとだけ安い。この本は、関数型プログラミングのいい教科書。
https://www.amazon.co.jp/exec/obidos/ASIN/B00WM54V5Q/showshotcorne-22/
Scala関数型デザイン&プログラミング―Scalazコントリビューターによる関数型徹底ガイド Kindle版
Paul Chiusano (著), Rúnar Bjarnason (著), 株式会社クイープ (著) 形式: Kindle版
関連：
https://iiyu.asablo.jp/blog/2021/06/27/9392247
Scala 3対応の全面改訂版「Programming in Scala, Fifth Edition」。日本は、Scala 3対応ではない第4版の翻訳[「Scalaスケーラブルプログラミング 第4版」が出たばかり(>_<)。ドワンゴが無料公開してくれているScalaTextに感謝、感謝。
http://iiyu.asablo.jp/blog/2021/01/22/9339915
JavaScriptモダンプログラミング完全ガイド [堅牢なコードを効率的に開発できる! ]、コンピュータアーキテクチャのエッセンス[第2版]、低レベルプログラミング、Coders(コーダーズ) 凄腕ソフトウェア開発者が新しい世界をビルドする、6502とAppleⅡシステムROMの秘密
https://iiyu.asablo.jp/blog/2020/07/03/9264247
「Python基礎＆実践プログラミング」ほか、インプレスの電子書籍がサマーセールで半額中。Pythonトリックの原書Python TricksのKindle版はまだ550円＼(^O^)／
https://iiyu.asablo.jp/blog/2020/04/11/9234465
みんなのJava OpenJDKから始まる大変革期！、新世代Javaプログラミングガイド［Java SE 10/11/12/13と言語拡張プロジェクト］。Modern Javaでわかる情報省支配
https://iiyu.asablo.jp/blog/2020/03/08/9222255
ブライアン・カーニハン(著), 坂村 健(その他), 酒匂 寛(翻訳)「教養としてのコンピューターサイエンス講義 今こそ知っておくべき「デジタル世界」の基礎知識」
---
キャンペーンで、安くなってるもの、これまでこのブログで紹介したり、名前を出したものをいくつか。ほとんど半額になってる。チャンスよ！
インプレスの本ばかりが安くなっている気がする。結局、impress top gearシリーズばかりのリストになった。このシリーズ、ほかにも安くなっているので、アマゾンのKindle版を検索してみてください。
他の出版社の本は、半額じゃないものも、紙よりKindleの方が少し安いのが多いね。普段からそうかもしれないけど。
https://www.amazon.co.jp/exec/obidos/ASIN/B0976LN6QJ/showshotcorne-22/
Scalaスケーラブルプログラミング 第4版 impress top gearシリーズ Kindle版
Martin Odersky (著), Lex Spoon (著), Bill Venners (著), 長尾 高弘 (著), 麻植 泰輔 (著), 立野 靖博 (著), 田所 駿佑 (著), 水島 宏太 (著) 形式: Kindle版
https://www.amazon.co.jp/exec/obidos/ASIN/B085RBT3LH/showshotcorne-22/
新世代Javaプログラミングガイド［Java SE 10/11/12/13と言語拡張プロジェクト］ impress top gearシリーズ Kindle版
Mala Gupta (著), 柴田 芳樹 (著) 形式: Kindle版
https://www.amazon.co.jp/exec/obidos/ASIN/B08QVCSY1D/showshotcorne-22/
JavaScriptモダンプログラミング完全ガイド 堅牢なコードを効率的に開発できる！ impress top gearシリーズ Kindle版
Cay S. Horstmann (著), 吉川 邦夫 (著) 形式: Kindle版
https://www.amazon.co.jp/exec/obidos/ASIN/B0854KZK66/showshotcorne-22/
Python基礎＆実践プログラミング［プロへのスキルアップ+プロジェクトサンプル］ impress top gearシリーズ Kindle版
Magnus Lie Hetland (著), 武舎 広幸 (著), 阿部 和也 (著), 上西 昌弘 (著), 松浦 健一郎 (著), 司 ゆき (著) 形式: Kindle版
https://www.amazon.co.jp/exec/obidos/ASIN/B079ZT6KBZ/showshotcorne-22/
逆引きPython標準ライブラリ 目的別の基本レシピ180+! impress top gearシリーズ Kindle版
大津真 (著), 田中賢一郎 (著) 形式: Kindle版
https://www.amazon.co.jp/exec/obidos/ASIN/B08T69Q7HM/showshotcorne-22/
ディープラーニング実装入門 PyTorchによる画像・自然言語処理 impress top gearシリーズ Kindle版
吉崎亮介 (著), 祖父江誠人 (著) 形式: Kindle版
https://www.amazon.co.jp/exec/obidos/ASIN/B08Y8J941W/showshotcorne-22/
PyTorch自然言語処理プログラミング word2vec／LSTM／seq2seq／BERTで日本語テキスト解析！ impress top gearシリーズ Kindle版
新納 浩幸 (著) 形式: Kindle版
https://www.amazon.co.jp/exec/obidos/ASIN/B082X27NSW/showshotcorne-22/
機械学習 100+ページ エッセンス impress top gearシリーズ Kindle版
Andriy Burkov (著), 清水 美樹 (著) 形式: Kindle版
https://www.amazon.co.jp/exec/obidos/ASIN/B07LGT94YH/showshotcorne-22/
Pythonスクレイピングの基本と実践 データサイエンティストのためのWebデータ収集術 impress top gearシリーズ Kindle版
Seppe vanden Broucke (著), Bart Baesens (著), 株式会社トップスタジオ (著) 形式: Kindle版
https://www.amazon.co.jp/exec/obidos/ASIN/B015R0M8W0/showshotcorne-22/
Game Programming Patterns ソフトウェア開発の問題解決メニュー impress top gearシリーズ Kindle版
Robert Nystrom (著), 阿部和也 (翻訳), 上西昌弘 (翻訳), 武舎広幸 (監修) 形式: Kindle版
https://www.amazon.co.jp/exec/obidos/ASIN/B07JKSFM8H/showshotcorne-22/
AIアルゴリズムマーケティング 自動化のための機械学習/経済モデル、ベス トプラクティス、アーキテクチャ impress top gearシリーズ Kindle版
Ilya Katsov (著), 株式会社クイープ (著) 形式: Kindle版
https://www.amazon.co.jp/exec/obidos/ASIN/B085971KFL/showshotcorne-22/
教養としてのコンピューターサイエンス講義 今こそ知っておくべき「デジタル世界」の基礎知識 Kindle版
ブライアン・カーニハン (著), 酒匂 寛 (翻訳), 坂村 健 (その他) 形式: Kindle版
https://www.amazon.co.jp/exec/obidos/ASIN/B08K34C7TP/showshotcorne-22/
Coders（コーダーズ）凄腕ソフトウェア開発者が新しい世界をビルドする Kindle版
Paul Chiusano (著), Rúnar Bjarnason (著), 株式会社クイープ (著) 形式: Kindle版
クライブ・トンプソン (著), 井口 耕二 (翻訳), 及川 卓也 (その他) 形式: Kindle版
https://www.amazon.co.jp/exec/obidos/ASIN/B08VJ13YV4/showshotcorne-22/
Elixir実践ガイド impress top gearシリーズ Kindle版
黒田 努 (著) 形式: Kindle版
https://www.amazon.co.jp/exec/obidos/ASIN/B072JVPFL4/showshotcorne-22/
JavaScript関数型プログラミング 複雑性を抑える発想と実践法を学ぶ impress top gearシリーズ Kindle版
LuisAtencio (著), 株式会社イディオマコムニカ 加藤大雄 (著) 形式: Kindle版
https://www.amazon.co.jp/exec/obidos/ASIN/B079PQ2NW5/showshotcorne-22/
Scalaをはじめよう！ ─マルチパラダイム言語への招待─ (技術の泉シリーズ（NextPublishing）) Kindle版
伊藤 竜一 (著) 形式: Kindle版
Kindle版がちょっとだけ安い。この本は、関数型プログラミングのいい教科書。
https://www.amazon.co.jp/exec/obidos/ASIN/B00WM54V5Q/showshotcorne-22/
Scala関数型デザイン&プログラミング―Scalazコントリビューターによる関数型徹底ガイド Kindle版
Paul Chiusano (著), Rúnar Bjarnason (著), 株式会社クイープ (著) 形式: Kindle版
関連：
https://iiyu.asablo.jp/blog/2021/06/27/9392247
Scala 3対応の全面改訂版「Programming in Scala, Fifth Edition」。日本は、Scala 3対応ではない第4版の翻訳[「Scalaスケーラブルプログラミング 第4版」が出たばかり(>_<)。ドワンゴが無料公開してくれているScalaTextに感謝、感謝。
http://iiyu.asablo.jp/blog/2021/01/22/9339915
JavaScriptモダンプログラミング完全ガイド [堅牢なコードを効率的に開発できる! ]、コンピュータアーキテクチャのエッセンス[第2版]、低レベルプログラミング、Coders(コーダーズ) 凄腕ソフトウェア開発者が新しい世界をビルドする、6502とAppleⅡシステムROMの秘密
https://iiyu.asablo.jp/blog/2020/07/03/9264247
「Python基礎＆実践プログラミング」ほか、インプレスの電子書籍がサマーセールで半額中。Pythonトリックの原書Python TricksのKindle版はまだ550円＼(^O^)／
https://iiyu.asablo.jp/blog/2020/04/11/9234465
みんなのJava OpenJDKから始まる大変革期！、新世代Javaプログラミングガイド［Java SE 10/11/12/13と言語拡張プロジェクト］。Modern Javaでわかる情報省支配
https://iiyu.asablo.jp/blog/2020/03/08/9222255
ブライアン・カーニハン(著), 坂村 健(その他), 酒匂 寛(翻訳)「教養としてのコンピューターサイエンス講義 今こそ知っておくべき「デジタル世界」の基礎知識」
テレビ情報省汚染：TBS「ラビット」、NHK「ガッテン！」、NHK BSプレミアム「プレミアムカフェ みんな大好き！ミッフィ」、テレビ東京「モーサテ」、TbS「所さんお届けものです！」。テレ朝、雪乃ちゃん(山本雪乃アナウンサー)は情報省のスパイ＼(^O^)／ ― 2021年10月21日 11時27分13秒
ASAHIネット(http://asahi-net.jp )のブログサービス、アサブロ(https://asahi-net.jp/asablo/ )を使っています。
---
テレビの情報省支配がすごすぎて、もはやテレビ情報省汚染のレベル。
番組毎にまとめようかと思ったりもするが、毎日、どんどん溜まるのでハードディスクが満杯。少しずつでも、消化していくことにする。
情報省が何か知らない人は、
http://iiyu.asablo.jp/blog/2013/08/18/6950045
高倉健 主演映画「あなたへ」でわかる情報省支配
の最後を読んでね。
最初に忘れないように、テレ朝の雪乃ちゃん(山本雪乃アナウンサー)のことを少しだけ。
今は、テレ朝の雪乃ちゃん(山本雪乃アナウンサー)、がんばって！応援しているよ！とだけ書いておこう。
「羽鳥慎一モーニングショー」を卒業して、「グッドモーニング」に移ったけど、羽鳥アナが夏休みなど休みを取ったときに、１週間、雪乃ちゃんにメインMCをやってほしかった。それが残念。
「グッドモーニング」でのエンタメコーナー、雪乃ちゃんが毎日、インタビューなどに行ってて、面白い。雪乃ちゃん、移って、よかった、がんばってると思ってます。
でも、無理に明るく振る舞わなくてもいいですよ。自然体でやってください。
あ、大事なことを書き忘れていた。
雪乃ちゃんは、岡山出身。もちろん、情報省のスパイ＼(^O^)／
テレ朝(テレビ朝日)「羽鳥慎一モーニングショー」も情報省支配がすごいし、「大下容子ワイド！スクランブル」のことも書かないとな。もう１年経ってしまう。
2021/10/21放送
TBS「ラビット」
一流グルメ芸能人、実は、お笑い芸人ホンジャマカの石塚英彦、が厳選したお取り寄せグルメで、福岡の水炊きと、なんと北九州市のソウルフードとして小倉駅前にあるシロヤベーカリーのサニーパンが出た。
びっくり。しかも、いま、大人気で、結局、店頭販売のみで、お取り寄せできないというオチまでついていた。
以前、どこかのテレビでもサニーパンを指原莉乃が紹介して人気に火がついたことがあったけどね。
指原莉乃は、大分出身で情報省のスパイ＼(^O^)／、
指原莉乃が売れているのは、もちろん、バックは情報省＼(^O^)／
ホンジャマカといえば、相方は、恵俊彰。恵俊彰は、鹿児島出身で情報省のスパイ＼(^O^)／
だから、石塚より売れていてライドショーの司会やらあちこちで司会をやってる。
お笑い芸人のコンビやトリオの場合、ソロ活動になると、情報省のスパイが売れるという法則がある。なぜか。
日本社会がそうだけど、中でもテレビ界、芸能界は情報省支配があるので、九州、山口、沖縄、岡山の出身者、生まれた、育った、長くいたといった芸人が、情報省のコネで売れるようになっている。
この辺は、別にまとめないとね。いつになるやら。
とにかく、４つ推薦したお取り寄せの中で、２つが福岡市と北九州市。
おかしいやろ、これ。
はい、バックは情報省＼(^O^)／
2021/10/20放送
NHK「ガッテン！」
もち米をテーマにした回だった。超時短、たった２０分でお赤飯ができる、ガッテン流、お赤飯の作り方を実際にやってみる家族として、福岡の柳川の家族が出た。
ガッテンは、ためしてガッテンのころから、ずっと、こういうパターンが多い。
いろんなテーマでやってるけど、実験に協力した人、スゴ技を持っている人など、番組に出てくる一般人が、なぜか、九州、山口、沖縄、岡山だったりするのよ。
おかしいやろ、これ。
はい、バックは情報省＼(^O^)／
2021/10/20放送
NHK BSプレミアム「プレミアムカフェ みんな大好き！ミッフィー」
黒木瞳が、ミッフィーの誕生秘話や最後の絵本のことなどを現地リポート。
もちろん、黒木瞳は、福岡出身、情報省のスパイ＼(^O^)／
最初は、今のミッフィーとは、ずいぶん違うのね。今のデザインになったきっかけなどもあった。
親しい関係者だけに配られたという、ディック・ブルーナの最後の絵本。ミッフィーじゃないのね。彼が活躍するきっかけになった「ブラック・ベア」なのね。
https://www.dickbruna.jp/news/202110/9248.html
【10/19再放送】NHK BSプレミアム「黒木瞳 ブルーナ90年の人生をたどる」
知らなかったが、ミッフィーの絵本で、死を扱った本がある。
これ、子供に死をどう伝えるか困っていたお母さんたちが、この本があって助かったと絶賛したんだってね。特に、近親者が亡くなったりしたときは、そうだろうね。
https://www.amazon.co.jp/exec/obidos/ASIN/4834023184/showshotcorne-22/
うさこちゃんの だいすきなおばあちゃん (ブルーナの絵本) ハードカバー – 2008/9/20
ディック ブルーナ (著, イラスト), Dick Bruna (原著), 松岡 享子 (翻訳)
2021/10/19放送
テレビ東京「モーサテ」
「輝く！ニッポンのキラ星」。フラスコやメスシリンダーなどガラス体積計で国内シェアトップのクライミングという会社。
クライミングは、福岡のみやま市。情報省のフロント企業＼(^O^)／
モーサテは、番組出演者も情報省のスパイだらけで、それはNHKの次にテレ東(テレビ東京)は、情報省支配が進んでいると思えば、当然なんだけど、モーサテで、よく九州、山口、沖縄、岡山ネタが出るんですよ。
モーサテに関しては、そのうち、別記事で。
2021/10/17放送
TBS「所さんお届けものです！」
人気アンテナショップで、銀座の「坐来大分(ざらい おおいた」。
坐来大分マネージャの名前が、中村政樹さん。名字が、情報省トップのおれと同じだから、どう考えても情報省のスパイ＼(^O^)／
大分は佐伯の「ごまだし」が出た。ほしいほしい。
https://zarai.jp
「坐来大分(ざらい おおいた」
次の人気アンテナショップは、銀座熊本館。
熊本の人気商品は、馬刺しや辛子蓮根やいろいろあるけど、お薦めで桂花ラーメンが出てた。おれは、桂花を食べたいときは、新宿に店があるから、そこに行くけど。
熊本ラーメンの棚が映ったので、録画を止めてみたら、桂花のほかに、黒亭、こむらさき、味千、玉名もあった。こむらさきは、熊本で食べたことがある。黒亭は、行きたいと思って果たせず。だから、黒亭のラーメン、買いに行くかも。
黒マー油を作ったのは、桂花だと言ってた。黒マー油だけでも売ってるのね。それはいいかも。
とにかく、30分番組で、２つも九州のアンテナショップを紹介。
おかしいやろ、これ。
はい、バックは情報省＼(^O^)／
#テレビ情報省汚染
#テレビでわかる情報省支配
---
テレビの情報省支配がすごすぎて、もはやテレビ情報省汚染のレベル。
番組毎にまとめようかと思ったりもするが、毎日、どんどん溜まるのでハードディスクが満杯。少しずつでも、消化していくことにする。
情報省が何か知らない人は、
http://iiyu.asablo.jp/blog/2013/08/18/6950045
高倉健 主演映画「あなたへ」でわかる情報省支配
の最後を読んでね。
最初に忘れないように、テレ朝の雪乃ちゃん(山本雪乃アナウンサー)のことを少しだけ。
今は、テレ朝の雪乃ちゃん(山本雪乃アナウンサー)、がんばって！応援しているよ！とだけ書いておこう。
「羽鳥慎一モーニングショー」を卒業して、「グッドモーニング」に移ったけど、羽鳥アナが夏休みなど休みを取ったときに、１週間、雪乃ちゃんにメインMCをやってほしかった。それが残念。
「グッドモーニング」でのエンタメコーナー、雪乃ちゃんが毎日、インタビューなどに行ってて、面白い。雪乃ちゃん、移って、よかった、がんばってると思ってます。
でも、無理に明るく振る舞わなくてもいいですよ。自然体でやってください。
あ、大事なことを書き忘れていた。
雪乃ちゃんは、岡山出身。もちろん、情報省のスパイ＼(^O^)／
テレ朝(テレビ朝日)「羽鳥慎一モーニングショー」も情報省支配がすごいし、「大下容子ワイド！スクランブル」のことも書かないとな。もう１年経ってしまう。
2021/10/21放送
TBS「ラビット」
一流グルメ芸能人、実は、お笑い芸人ホンジャマカの石塚英彦、が厳選したお取り寄せグルメで、福岡の水炊きと、なんと北九州市のソウルフードとして小倉駅前にあるシロヤベーカリーのサニーパンが出た。
びっくり。しかも、いま、大人気で、結局、店頭販売のみで、お取り寄せできないというオチまでついていた。
以前、どこかのテレビでもサニーパンを指原莉乃が紹介して人気に火がついたことがあったけどね。
指原莉乃は、大分出身で情報省のスパイ＼(^O^)／、
指原莉乃が売れているのは、もちろん、バックは情報省＼(^O^)／
ホンジャマカといえば、相方は、恵俊彰。恵俊彰は、鹿児島出身で情報省のスパイ＼(^O^)／
だから、石塚より売れていてライドショーの司会やらあちこちで司会をやってる。
お笑い芸人のコンビやトリオの場合、ソロ活動になると、情報省のスパイが売れるという法則がある。なぜか。
日本社会がそうだけど、中でもテレビ界、芸能界は情報省支配があるので、九州、山口、沖縄、岡山の出身者、生まれた、育った、長くいたといった芸人が、情報省のコネで売れるようになっている。
この辺は、別にまとめないとね。いつになるやら。
とにかく、４つ推薦したお取り寄せの中で、２つが福岡市と北九州市。
おかしいやろ、これ。
はい、バックは情報省＼(^O^)／
2021/10/20放送
NHK「ガッテン！」
もち米をテーマにした回だった。超時短、たった２０分でお赤飯ができる、ガッテン流、お赤飯の作り方を実際にやってみる家族として、福岡の柳川の家族が出た。
ガッテンは、ためしてガッテンのころから、ずっと、こういうパターンが多い。
いろんなテーマでやってるけど、実験に協力した人、スゴ技を持っている人など、番組に出てくる一般人が、なぜか、九州、山口、沖縄、岡山だったりするのよ。
おかしいやろ、これ。
はい、バックは情報省＼(^O^)／
2021/10/20放送
NHK BSプレミアム「プレミアムカフェ みんな大好き！ミッフィー」
黒木瞳が、ミッフィーの誕生秘話や最後の絵本のことなどを現地リポート。
もちろん、黒木瞳は、福岡出身、情報省のスパイ＼(^O^)／
最初は、今のミッフィーとは、ずいぶん違うのね。今のデザインになったきっかけなどもあった。
親しい関係者だけに配られたという、ディック・ブルーナの最後の絵本。ミッフィーじゃないのね。彼が活躍するきっかけになった「ブラック・ベア」なのね。
https://www.dickbruna.jp/news/202110/9248.html
【10/19再放送】NHK BSプレミアム「黒木瞳 ブルーナ90年の人生をたどる」
知らなかったが、ミッフィーの絵本で、死を扱った本がある。
これ、子供に死をどう伝えるか困っていたお母さんたちが、この本があって助かったと絶賛したんだってね。特に、近親者が亡くなったりしたときは、そうだろうね。
https://www.amazon.co.jp/exec/obidos/ASIN/4834023184/showshotcorne-22/
うさこちゃんの だいすきなおばあちゃん (ブルーナの絵本) ハードカバー – 2008/9/20
ディック ブルーナ (著, イラスト), Dick Bruna (原著), 松岡 享子 (翻訳)
2021/10/19放送
テレビ東京「モーサテ」
「輝く！ニッポンのキラ星」。フラスコやメスシリンダーなどガラス体積計で国内シェアトップのクライミングという会社。
クライミングは、福岡のみやま市。情報省のフロント企業＼(^O^)／
モーサテは、番組出演者も情報省のスパイだらけで、それはNHKの次にテレ東(テレビ東京)は、情報省支配が進んでいると思えば、当然なんだけど、モーサテで、よく九州、山口、沖縄、岡山ネタが出るんですよ。
モーサテに関しては、そのうち、別記事で。
2021/10/17放送
TBS「所さんお届けものです！」
人気アンテナショップで、銀座の「坐来大分(ざらい おおいた」。
坐来大分マネージャの名前が、中村政樹さん。名字が、情報省トップのおれと同じだから、どう考えても情報省のスパイ＼(^O^)／
大分は佐伯の「ごまだし」が出た。ほしいほしい。
https://zarai.jp
「坐来大分(ざらい おおいた」
次の人気アンテナショップは、銀座熊本館。
熊本の人気商品は、馬刺しや辛子蓮根やいろいろあるけど、お薦めで桂花ラーメンが出てた。おれは、桂花を食べたいときは、新宿に店があるから、そこに行くけど。
熊本ラーメンの棚が映ったので、録画を止めてみたら、桂花のほかに、黒亭、こむらさき、味千、玉名もあった。こむらさきは、熊本で食べたことがある。黒亭は、行きたいと思って果たせず。だから、黒亭のラーメン、買いに行くかも。
黒マー油を作ったのは、桂花だと言ってた。黒マー油だけでも売ってるのね。それはいいかも。
とにかく、30分番組で、２つも九州のアンテナショップを紹介。
おかしいやろ、これ。
はい、バックは情報省＼(^O^)／
#テレビ情報省汚染
#テレビでわかる情報省支配
三宅陽一郎「戦略ゲームAI 解体新書 ストラテジー＆シミュレーションゲームから学ぶ最先端アルゴリズム」。三宅陽一郎「ゲームAI技術入門 ──広大な人工知能の世界を体系的に学ぶ」 ― 2021年10月21日 11時25分10秒
ASAHIネット(http://asahi-net.jp )のブログサービス、アサブロ(https://asahi-net.jp/asablo/ )を使っています。
---
翔泳社から案内が来た。後述、翔泳社のサイトで、目次を見る限り、とてもよさげ。
アマゾンでみると、紙書籍は、ベストセラー1位 - カテゴリ 情報学・情報科学全般関連書籍だね。
府中駅の啓文堂書店に実物があれば、チェックして、予想通りよさそうなら買うつもり。
https://www.amazon.co.jp/exec/obidos/ASIN/4798154415/showshotcorne-22/
戦略ゲームAI 解体新書 ストラテジー&シミュレーションゲームから学ぶ最先端アルゴリズム (AI&TECHNOLOGY) 単行本（ソフトカバー） – 2021/10/14
三宅 陽一郎 (著)
https://www.amazon.co.jp/exec/obidos/ASIN/B09BHJX4X8/showshotcorne-22/
戦略ゲームAI 解体新書 ストラテジー＆シミュレーションゲームから学ぶ最先端アルゴリズム Kindle版
三宅 陽一郎 (著) 形式: Kindle版
翔泳社にある紹介や目次など。
こちらで、PDFが買えます。
https://www.seshop.com/product/detail/21498
戦略ゲームAI 解体新書 ストラテジー＆シミュレーションゲームから学ぶ最先端アルゴリズム
三宅陽一郎の本は、2019年に
http://iiyu.asablo.jp/blog/2020/07/25/9271818
三宅陽一郎「ゲームAI技術入門」、中井悦司「ITエンジニアのための強化学習理論入門」「ITエンジニアのための機械学習理論入門」
で、紹介していた。
https://www.amazon.co.jp/exec/obidos/ASIN/4297108283/showshotcorne-22/
ゲームAI技術入門──広大な人工知能の世界を体系的に学ぶ (WEB+DB PRESS plusシリーズ) (日本語) 単行本（ソフトカバー） – 2019/9/30
三宅 陽一郎 (著)
https://www.amazon.co.jp/exec/obidos/ASIN/B07YFBSL3S/showshotcorne-22/
ゲームAI技術入門 ──広大な人工知能の世界を体系的に学ぶ WEB+DB PRESS plus Kindle版
三宅 陽一郎 (著) 形式: Kindle版
技術評論社にある紹介。PDF, EPUBはここで買える。
https://gihyo.jp/book/2019/978-4-297-10828-1
WEB+DB PRESS plusシリーズ
ゲームAI技術入門
──広大な人工知能の世界を体系的に学ぶ
関連：
http://iiyu.asablo.jp/blog/2020/07/25/9271818
三宅陽一郎「ゲームAI技術入門」、中井悦司「ITエンジニアのための強化学習理論入門」「ITエンジニアのための機械学習理論入門」
---
翔泳社から案内が来た。後述、翔泳社のサイトで、目次を見る限り、とてもよさげ。
アマゾンでみると、紙書籍は、ベストセラー1位 - カテゴリ 情報学・情報科学全般関連書籍だね。
府中駅の啓文堂書店に実物があれば、チェックして、予想通りよさそうなら買うつもり。
https://www.amazon.co.jp/exec/obidos/ASIN/4798154415/showshotcorne-22/
戦略ゲームAI 解体新書 ストラテジー&シミュレーションゲームから学ぶ最先端アルゴリズム (AI&TECHNOLOGY) 単行本（ソフトカバー） – 2021/10/14
三宅 陽一郎 (著)
https://www.amazon.co.jp/exec/obidos/ASIN/B09BHJX4X8/showshotcorne-22/
戦略ゲームAI 解体新書 ストラテジー＆シミュレーションゲームから学ぶ最先端アルゴリズム Kindle版
三宅 陽一郎 (著) 形式: Kindle版
翔泳社にある紹介や目次など。
こちらで、PDFが買えます。
https://www.seshop.com/product/detail/21498
戦略ゲームAI 解体新書 ストラテジー＆シミュレーションゲームから学ぶ最先端アルゴリズム
三宅陽一郎の本は、2019年に
http://iiyu.asablo.jp/blog/2020/07/25/9271818
三宅陽一郎「ゲームAI技術入門」、中井悦司「ITエンジニアのための強化学習理論入門」「ITエンジニアのための機械学習理論入門」
で、紹介していた。
https://www.amazon.co.jp/exec/obidos/ASIN/4297108283/showshotcorne-22/
ゲームAI技術入門──広大な人工知能の世界を体系的に学ぶ (WEB+DB PRESS plusシリーズ) (日本語) 単行本（ソフトカバー） – 2019/9/30
三宅 陽一郎 (著)
https://www.amazon.co.jp/exec/obidos/ASIN/B07YFBSL3S/showshotcorne-22/
ゲームAI技術入門 ──広大な人工知能の世界を体系的に学ぶ WEB+DB PRESS plus Kindle版
三宅 陽一郎 (著) 形式: Kindle版
技術評論社にある紹介。PDF, EPUBはここで買える。
https://gihyo.jp/book/2019/978-4-297-10828-1
WEB+DB PRESS plusシリーズ
ゲームAI技術入門
──広大な人工知能の世界を体系的に学ぶ
関連：
http://iiyu.asablo.jp/blog/2020/07/25/9271818
三宅陽一郎「ゲームAI技術入門」、中井悦司「ITエンジニアのための強化学習理論入門」「ITエンジニアのための機械学習理論入門」
プログラミングのための数学、原書 Math for Programmers ― 2021年10月21日 00時07分39秒
ASAHIネット(http://asahi-net.jp )のブログサービス、アサブロ(https://asahi-net.jp/asablo/ )を使っています。
---
お買い上げありがとうございます。
この本、Pythonでプログラミングに必要な数学の勉強するんです。
しかも、Jupyter Notebookで。いい時代だなあと思います。
でも、逆に言うと、誰でも無料でこれだけの環境で勉強できるので、参入障壁が低くなっていて、これくらいのレベルの習得は当然であり、その先の競争になってるんですよね。
よって、このレベルを習得できない人は、脱落、負けていくという厳しい時代でもあるわけです。
https://www.amazon.co.jp/exec/obidos/ASIN/4839973067/showshotcorne-22/
プログラミングのための数学 単行本（ソフトカバー） – 2021/6/23
Paul Orland (著), 松田晃一 (翻訳)
https://www.amazon.co.jp/exec/obidos/ASIN/B09248HK4M/showshotcorne-22/
プログラミングのための数学 Kindle版
Paul Orland (著), 松田晃一 (翻訳) 形式: Kindle版
ぼくはこの原書を買いました。Manningでセールをやっていて、半額くらいだったかな。
https://www.manning.com/books/math-for-programmers
Math for Programmers
3D graphics, machine learning, and simulations with Python
Paul Orland
関連：
https://iiyu.asablo.jp/blog/2020/12/07/9324608
Unityでわかる! ゲーム数学、実例で学ぶゲーム開発に使える数学・物理学入門、プログラマのためのディープラーニングのしくみがわかる数学入門、Unityによるモバイルゲーム開発、Unity ゲームエフェクト マスターガイド、ゲーム制作者になるための3Dグラフィックス技術 改訂3版
http://iiyu.asablo.jp/blog/2020/07/25/9271818
三宅陽一郎「ゲームAI技術入門」、中井悦司「ITエンジニアのための強化学習理論入門」「ITエンジニアのための機械学習理論入門」
http://iiyu.asablo.jp/blog/2020/06/10/9256069
ゼロから作るDeep Learning ❸、はじめてのディープラーニング2、AIエンジニアを目指す人のための機械学習入門、実践GAN(敵対的生成ネットワーク)による深層学習
http://iiyu.asablo.jp/blog/2020/04/28/9240245
文系プログラマーのためのPythonで学び直す高校数学、Pythonからはじめる数学入門、Python計算機科学新教本
http://iiyu.asablo.jp/blog/2019/11/12/9175893
武部尚志著「楕円積分と楕円関数 おとぎの国の歩き方」
http://iiyu.asablo.jp/blog/2019/06/27/9092594
講談社ブルーバックス。竹内淳「高校数学でわかる複素関数 微分からコーシー積分、留数定理まで」
http://iiyu.asablo.jp/blog/2019/04/16/9060382
STEM教育、STEAM教育、山根英司「高校生のための逆引き微分積分」(ブルーバックス)、桜井進「世界は足し算でできている」、秋山仁「数学の証明のしかた」「立体のとらえかた」ほか(発見的教授法による数学シリーズ)、長沼伸一郎「物理数学の直観的方法」「経済数学の直観的方法」(ブルーバックス)、中学や高校の数学のやり直しも
http://iiyu.asablo.jp/blog/2017/06/14/8595639
芳沢光雄「生き抜くための中学数学」「生き抜くための高校数学」、ポントリャーギン「やさしい微積分」「常微分方程式」、一刀切り問題、駿台受験シリーズ、暗号技術入門
http://iiyu.asablo.jp/blog/2016/03/24/8056381
Unityエキスパート養成読本[ゲーム開発の現場で役立つノウハウ満載!]
http://iiyu.asablo.jp/blog/2015/06/22/7677922
What Modern Mathematics Means to You, はじめまして数学、基礎からわかる数学入門、掟破りの数学、その数式、プログラムできますか？
http://iiyu.asablo.jp/blog/2015/04/19/7614904
またもやってくれたぞ、吉田武「はじめまして数学 リメイク」
http://iiyu.asablo.jp/blog/2015/03/31/7601133
動かして学ぶ3Dゲーム開発の数学・物理、ゲーム制作者になるための3Dグラフィックス技術 増補改訂版
http://iiyu.asablo.jp/blog/2015/01/19/7541960
はじめまして数学、基礎からわかる数学入門、暗号事典、直感を裏切る数学、群論の味わいほか、数学本あれこれ
http://iiyu.asablo.jp/blog/2013/02/28/6733217
数学の女王 ―歴史から見た数論入門―
http://iiyu.asablo.jp/blog/2012/06/20/6486231
吉田武「素数夜曲: 女王陛下のLISP」は、整数論とScheme入門として最高＼(^O^)／ 「虚数の情緒」の感想も
http://iiyu.asablo.jp/blog/2012/06/21/6487216
Re: 吉田武「素数夜曲: 女王陛下のLISP」は、整数論とScheme入門として最高＼(^O^)／ 「虚数の情緒」の感想も
http://iiyu.asablo.jp/blog/2010/03/21/4961570
吉田武著「オイラーの贈物―人類の至宝eiπ=-1を学ぶ」
http://iiyu.asablo.jp/blog/2012/09/30/6588054
神永正博「「超」入門 微分積分」、古澤明「「シュレーディンガーの猫」のパラドックスが解けた！」
http://iiyu.asablo.jp/blog/2009/12/31/4788861
AIMAのこと、ゲームプログラミングのための行動AI数学、Lispで学ぶ心理学
---
お買い上げありがとうございます。
この本、Pythonでプログラミングに必要な数学の勉強するんです。
しかも、Jupyter Notebookで。いい時代だなあと思います。
でも、逆に言うと、誰でも無料でこれだけの環境で勉強できるので、参入障壁が低くなっていて、これくらいのレベルの習得は当然であり、その先の競争になってるんですよね。
よって、このレベルを習得できない人は、脱落、負けていくという厳しい時代でもあるわけです。
https://www.amazon.co.jp/exec/obidos/ASIN/4839973067/showshotcorne-22/
プログラミングのための数学 単行本（ソフトカバー） – 2021/6/23
Paul Orland (著), 松田晃一 (翻訳)
https://www.amazon.co.jp/exec/obidos/ASIN/B09248HK4M/showshotcorne-22/
プログラミングのための数学 Kindle版
Paul Orland (著), 松田晃一 (翻訳) 形式: Kindle版
ぼくはこの原書を買いました。Manningでセールをやっていて、半額くらいだったかな。
https://www.manning.com/books/math-for-programmers
Math for Programmers
3D graphics, machine learning, and simulations with Python
Paul Orland
関連：
https://iiyu.asablo.jp/blog/2020/12/07/9324608
Unityでわかる! ゲーム数学、実例で学ぶゲーム開発に使える数学・物理学入門、プログラマのためのディープラーニングのしくみがわかる数学入門、Unityによるモバイルゲーム開発、Unity ゲームエフェクト マスターガイド、ゲーム制作者になるための3Dグラフィックス技術 改訂3版
http://iiyu.asablo.jp/blog/2020/07/25/9271818
三宅陽一郎「ゲームAI技術入門」、中井悦司「ITエンジニアのための強化学習理論入門」「ITエンジニアのための機械学習理論入門」
http://iiyu.asablo.jp/blog/2020/06/10/9256069
ゼロから作るDeep Learning ❸、はじめてのディープラーニング2、AIエンジニアを目指す人のための機械学習入門、実践GAN(敵対的生成ネットワーク)による深層学習
http://iiyu.asablo.jp/blog/2020/04/28/9240245
文系プログラマーのためのPythonで学び直す高校数学、Pythonからはじめる数学入門、Python計算機科学新教本
http://iiyu.asablo.jp/blog/2019/11/12/9175893
武部尚志著「楕円積分と楕円関数 おとぎの国の歩き方」
http://iiyu.asablo.jp/blog/2019/06/27/9092594
講談社ブルーバックス。竹内淳「高校数学でわかる複素関数 微分からコーシー積分、留数定理まで」
http://iiyu.asablo.jp/blog/2019/04/16/9060382
STEM教育、STEAM教育、山根英司「高校生のための逆引き微分積分」(ブルーバックス)、桜井進「世界は足し算でできている」、秋山仁「数学の証明のしかた」「立体のとらえかた」ほか(発見的教授法による数学シリーズ)、長沼伸一郎「物理数学の直観的方法」「経済数学の直観的方法」(ブルーバックス)、中学や高校の数学のやり直しも
http://iiyu.asablo.jp/blog/2017/06/14/8595639
芳沢光雄「生き抜くための中学数学」「生き抜くための高校数学」、ポントリャーギン「やさしい微積分」「常微分方程式」、一刀切り問題、駿台受験シリーズ、暗号技術入門
http://iiyu.asablo.jp/blog/2016/03/24/8056381
Unityエキスパート養成読本[ゲーム開発の現場で役立つノウハウ満載!]
http://iiyu.asablo.jp/blog/2015/06/22/7677922
What Modern Mathematics Means to You, はじめまして数学、基礎からわかる数学入門、掟破りの数学、その数式、プログラムできますか？
http://iiyu.asablo.jp/blog/2015/04/19/7614904
またもやってくれたぞ、吉田武「はじめまして数学 リメイク」
http://iiyu.asablo.jp/blog/2015/03/31/7601133
動かして学ぶ3Dゲーム開発の数学・物理、ゲーム制作者になるための3Dグラフィックス技術 増補改訂版
http://iiyu.asablo.jp/blog/2015/01/19/7541960
はじめまして数学、基礎からわかる数学入門、暗号事典、直感を裏切る数学、群論の味わいほか、数学本あれこれ
http://iiyu.asablo.jp/blog/2013/02/28/6733217
数学の女王 ―歴史から見た数論入門―
http://iiyu.asablo.jp/blog/2012/06/20/6486231
吉田武「素数夜曲: 女王陛下のLISP」は、整数論とScheme入門として最高＼(^O^)／ 「虚数の情緒」の感想も
http://iiyu.asablo.jp/blog/2012/06/21/6487216
Re: 吉田武「素数夜曲: 女王陛下のLISP」は、整数論とScheme入門として最高＼(^O^)／ 「虚数の情緒」の感想も
http://iiyu.asablo.jp/blog/2010/03/21/4961570
吉田武著「オイラーの贈物―人類の至宝eiπ=-1を学ぶ」
http://iiyu.asablo.jp/blog/2012/09/30/6588054
神永正博「「超」入門 微分積分」、古澤明「「シュレーディンガーの猫」のパラドックスが解けた！」
http://iiyu.asablo.jp/blog/2009/12/31/4788861
AIMAのこと、ゲームプログラミングのための行動AI数学、Lispで学ぶ心理学
北九州ネタ：北九州市で「世界体操/世界新体操 KITAKYUSHU 2021」。情報省のスパイ内村航平選手、ブレトシュナイダー100万連発じゃ＼(^O^)／村上茉愛選手も府中の明星高校だから情報省のスパイよ＼(^O^)／女子ソフトボール上野由岐子投手も。 ― 2021年10月20日 23時47分15秒
ASAHIネット(http://asahi-net.jp )のブログサービス、アサブロ(https://asahi-net.jp/asablo/ )を使っています。
---
いよいよ、北九州市で開催される「世界体操/世界新体操 KITAKYUSHU 2021」が始まりました。
テレ朝系で放送されますね。
https://www.tv-asahi.co.jp/taiso2021_kitakyushu/
テレ朝：世界体操・世界新体操
内村航平選手は、最初は長崎出身で情報省のスパイと認定していたが、その後、生まれは北九州市と判明して、ますます情報省のスパイ＼(^O^)／
内村選手、金メダルが期待されていた東京オリンピックでは、鉄棒で落下してまさかの予選落ち。そのまま引退かと思ったけど、またやる気になってくれてうれしい。
北九州の「わっしょい百万夏祭り」にちなんで、鉄棒で、大技ブレトシュナイダー(ブレットシュナイダー)100万連発じゃ＼(^O^)／
https://www.2021agrg.jp
世界体操/世界新体操 KITAKYUSHU 2021 公式サイト
史上初めてなんだね。世界体操と世界新体操が同一都市で同時開催は。
https://news.yahoo.co.jp/articles/4f80edb74c76eeb57e7acb867852a6c9df38b585
体操内村航平「いまできる演技をやりきる」故郷で開催の世界選手権へ感謝
10/18(月) 9:24配信
https://news.yahoo.co.jp/articles/c36d1e90d43aea52d21b1baf2a3eed183daa1f24
内村航平、鉄棒で暫定3位発進 生まれ故郷北九州で奮闘、橋本大輝は個人総合首位
10/20(水) 10:47配信
https://twitter.com/shownakamura/status/1383960374358134784
--- ここから ---
体操
体操の内村航平選手の大技。
内村選手は、北九州市生まれ、長崎の諫早市育ち。生粋の情報省のスパイ＼(^O^)／
ブレトシュナイダー H
コバチ2回ひねり
コバチ＝バーを越えながら、後方かかえ込み2回宙返り懸垂。これに２回ひねりを加えています。
2021年4月19日
--- ここまで ---
https://twitter.com/shownakamura/status/1022681819282583552
--- ここから ---
テレビで内村航平選手(長崎出身で情報省のスパイ＼(^O^)／)が挑戦していたH難度のブレットシュナイダーも、宮地秀享選手のI難度のミヤチもあった。
【体操】鉄棒の全技集【男子2018年版】A～I難度
https://youtu.be/ykvp_7-Qbqs
2018年7月27日
--- ここまで ---
次の吉田麻也は、サッカー日本代表のキャプテン、吉田麻也選手は情報省のスパイ＼(^O^)／
サッカーといえば、FC東京に復帰した長友佑都選手も東福岡高校だから、情報省のスパイ＼(^O^)／
https://twitter.com/shownakamura/status/1417973941272932352
--- ここから ---
吉田麻也は長崎出身、内村航平は北九州市生まれ、長崎育ち。二人とも情報省のスパイ＼(^O^)／
日本有利の不公平でメダルラッシュ
五輪サッカー・久保建英が南アの陽性者判明に「僕らに損ではない」とフェアネス欠く発言！ 日本有利の不公平はびこる東京五輪
https://lite-ra.com/2021/07/post-5958.html
@litera_web
より
--- ここまで ---
東京オリンピックの女子体操の床で、銅メダルに輝いた村上茉愛選手も、府中の明星高校だから情報省のスパイ＼(^O^)／
https://www3.nhk.or.jp/news/html/20211019/k10013313261000.html
体操の世界選手権 村上茉愛が種目別ゆか 予選1位で決勝進出
2021年10月19日 18時33分
https://twitter.com/shownakamura/status/1422130581094100994
--- ここから ---
オリンピック体操女子ゆか、村上茉愛が銅メダル。57年ぶりのメダル。
村上茉愛ちゃんは府中の明星高校、情報省のスパイ＼(^O^)／
2021年8月2日
--- ここまで ---
https://www.city.kitakyushu.lg.jp/shimin/336_00001.html
2021世界体操・新体操選手権北九州大会
更新日 : 2021年10月19日
https://wasshoi.info
北九州わっしょい百万夏祭り
https://prtimes.jp/main/html/rd/p/000000279.000009202.html
日本代表選手を応援しよう！「世界体操/世界新体操 KITAKYUSHU 2021」オフィシャルグッズ発売
ミズノ株式会社2021年10月18日 09時30分
https://www.mizunoshop.net/disp/CSfDispListPage_001.jsp?dispNo=001001068&banner=001001068&s23=0
「世界体操/世界新体操 KITAKYUSHU 2021」オフィシャルグッズ 特設サイト
東京オリンピック2020で活躍した情報省のスパイはたくさんいるけど、今回、大ベテランになっても金メダルに輝いた女子ソフトボールの上野由岐子投手も。
https://www.sponichi.co.jp/sports/news/2021/07/28/kiji/20210728s00025000103000c.html
ソフトボール連覇！上野伝説 金で完結 13年分の思い「1番」ポーズ再び
[ 2021年7月28日 05:30 ]
https://www.descente.co.jp/media/brand/descente/14443/
引退まで考えた苦しみの先の栄光。女子ソフトボール上野由岐子投手を導いた感謝の心と秘密兵器
2021/09/02 （木） DESCENTE（デサント）
あと、意外なところでは、自転車女子ロードレースの金メダリストは、情報省のスパイという噂＼(^O^)／があるので、その話は股の機械に。
関連：
http://iiyu.asablo.jp/blog/2017/05/21/8570767
体操：内村航平選手、村上茉愛選手。祝 全日本選手権優勝、祝 NHK杯優勝でわかる情報省支配
---
いよいよ、北九州市で開催される「世界体操/世界新体操 KITAKYUSHU 2021」が始まりました。
テレ朝系で放送されますね。
https://www.tv-asahi.co.jp/taiso2021_kitakyushu/
テレ朝：世界体操・世界新体操
内村航平選手は、最初は長崎出身で情報省のスパイと認定していたが、その後、生まれは北九州市と判明して、ますます情報省のスパイ＼(^O^)／
内村選手、金メダルが期待されていた東京オリンピックでは、鉄棒で落下してまさかの予選落ち。そのまま引退かと思ったけど、またやる気になってくれてうれしい。
北九州の「わっしょい百万夏祭り」にちなんで、鉄棒で、大技ブレトシュナイダー(ブレットシュナイダー)100万連発じゃ＼(^O^)／
https://www.2021agrg.jp
世界体操/世界新体操 KITAKYUSHU 2021 公式サイト
史上初めてなんだね。世界体操と世界新体操が同一都市で同時開催は。
https://news.yahoo.co.jp/articles/4f80edb74c76eeb57e7acb867852a6c9df38b585
体操内村航平「いまできる演技をやりきる」故郷で開催の世界選手権へ感謝
10/18(月) 9:24配信
https://news.yahoo.co.jp/articles/c36d1e90d43aea52d21b1baf2a3eed183daa1f24
内村航平、鉄棒で暫定3位発進 生まれ故郷北九州で奮闘、橋本大輝は個人総合首位
10/20(水) 10:47配信
https://twitter.com/shownakamura/status/1383960374358134784
--- ここから ---
体操
体操の内村航平選手の大技。
内村選手は、北九州市生まれ、長崎の諫早市育ち。生粋の情報省のスパイ＼(^O^)／
ブレトシュナイダー H
コバチ2回ひねり
コバチ＝バーを越えながら、後方かかえ込み2回宙返り懸垂。これに２回ひねりを加えています。
2021年4月19日
--- ここまで ---
https://twitter.com/shownakamura/status/1022681819282583552
--- ここから ---
テレビで内村航平選手(長崎出身で情報省のスパイ＼(^O^)／)が挑戦していたH難度のブレットシュナイダーも、宮地秀享選手のI難度のミヤチもあった。
【体操】鉄棒の全技集【男子2018年版】A～I難度
https://youtu.be/ykvp_7-Qbqs
2018年7月27日
--- ここまで ---
次の吉田麻也は、サッカー日本代表のキャプテン、吉田麻也選手は情報省のスパイ＼(^O^)／
サッカーといえば、FC東京に復帰した長友佑都選手も東福岡高校だから、情報省のスパイ＼(^O^)／
https://twitter.com/shownakamura/status/1417973941272932352
--- ここから ---
吉田麻也は長崎出身、内村航平は北九州市生まれ、長崎育ち。二人とも情報省のスパイ＼(^O^)／
日本有利の不公平でメダルラッシュ
五輪サッカー・久保建英が南アの陽性者判明に「僕らに損ではない」とフェアネス欠く発言！ 日本有利の不公平はびこる東京五輪
https://lite-ra.com/2021/07/post-5958.html
@litera_web
より
--- ここまで ---
東京オリンピックの女子体操の床で、銅メダルに輝いた村上茉愛選手も、府中の明星高校だから情報省のスパイ＼(^O^)／
https://www3.nhk.or.jp/news/html/20211019/k10013313261000.html
体操の世界選手権 村上茉愛が種目別ゆか 予選1位で決勝進出
2021年10月19日 18時33分
https://twitter.com/shownakamura/status/1422130581094100994
--- ここから ---
オリンピック体操女子ゆか、村上茉愛が銅メダル。57年ぶりのメダル。
村上茉愛ちゃんは府中の明星高校、情報省のスパイ＼(^O^)／
2021年8月2日
--- ここまで ---
https://www.city.kitakyushu.lg.jp/shimin/336_00001.html
2021世界体操・新体操選手権北九州大会
更新日 : 2021年10月19日
https://wasshoi.info
北九州わっしょい百万夏祭り
https://prtimes.jp/main/html/rd/p/000000279.000009202.html
日本代表選手を応援しよう！「世界体操/世界新体操 KITAKYUSHU 2021」オフィシャルグッズ発売
ミズノ株式会社2021年10月18日 09時30分
https://www.mizunoshop.net/disp/CSfDispListPage_001.jsp?dispNo=001001068&banner=001001068&s23=0
「世界体操/世界新体操 KITAKYUSHU 2021」オフィシャルグッズ 特設サイト
東京オリンピック2020で活躍した情報省のスパイはたくさんいるけど、今回、大ベテランになっても金メダルに輝いた女子ソフトボールの上野由岐子投手も。
https://www.sponichi.co.jp/sports/news/2021/07/28/kiji/20210728s00025000103000c.html
ソフトボール連覇！上野伝説 金で完結 13年分の思い「1番」ポーズ再び
[ 2021年7月28日 05:30 ]
https://www.descente.co.jp/media/brand/descente/14443/
引退まで考えた苦しみの先の栄光。女子ソフトボール上野由岐子投手を導いた感謝の心と秘密兵器
2021/09/02 （木） DESCENTE（デサント）
あと、意外なところでは、自転車女子ロードレースの金メダリストは、情報省のスパイという噂＼(^O^)／があるので、その話は股の機械に。
関連：
http://iiyu.asablo.jp/blog/2017/05/21/8570767
体操：内村航平選手、村上茉愛選手。祝 全日本選手権優勝、祝 NHK杯優勝でわかる情報省支配
岸田奈美「ダウン症の弟が、三十年働いて得られるかどうかの大金をお稼ぎあそばされたので、使いみちを任せました」 佐藤恵美「「判断するのが怖い」あなたへ 発達障害かもしれない人が働きやすくなる方法」姫路まさのり「障がい者だからって、稼ぎがないと思うなよ。: ソーシャルファームという希望」、その他障碍者、障碍児関連の本 ― 2021年10月20日 11時41分22秒
ASAHIネット(http://asahi-net.jp )のブログサービス、アサブロ(https://asahi-net.jp/asablo/ )を使っています。
---
我が子がダウン症なので、この話は、特によかった。
https://twitter.com/namikishida/status/1450440085439012867?s=11
--- ここから ---
【ご報告】
ダウン症の弟が、三十年働いて得られるかどうかの大金をお稼ぎあそばされたので、使いみちを任せました。
--- ここまで ---
https://note.kishidanami.com/n/n1e53de014372?gs=7c48f4e98410
弟が大金を稼いだので、なにに使うかと思ったら
岸田 奈美
2021年10月19日 21:28
お買い上げありがとうございます。
https://www.amazon.co.jp/exec/obidos/ASIN/4799326244/showshotcorne-22/
「判断するのが怖い」あなたへ 発達障害かもしれない人が働きやすくなる方法 (ディスカヴァー携書) 新書 – 2020/7/17
佐藤 恵美 (著)
https://www.amazon.co.jp/exec/obidos/ASIN/B08CZSGQHV/showshotcorne-22/
「判断するのが怖い」あなたへ 発達障害かもしれない人が働きやすくなる方法 Kindle版
佐藤恵美 (著) 形式: Kindle版
次は、まだ名前を出してなかったと思う。
https://www.amazon.co.jp/exec/obidos/ASIN/4103532610/showshotcorne-22/
障がい者だからって、稼ぎがないと思うなよ。: ソーシャルファームという希望 単行本（ソフトカバー） – 2020/3/17
姫路 まさのり (著)
https://www.amazon.co.jp/exec/obidos/ASIN/B08611HHRH/showshotcorne-22/
障がい者だからって、稼ぎがないと思うなよ。―ソーシャルファームという希望― Kindle版
姫路まさのり (著) 形式: Kindle版
以下は、以前、お買い上げがあったり、紹介していたものだと思う。
https://www.amazon.co.jp/exec/obidos/ASIN/4074399318/showshotcorne-22/
障害のある子の住まいと暮らし 単行本（ソフトカバー） – 2020/4/24
渡部 伸 (著)
https://www.amazon.co.jp/exec/obidos/ASIN/B087JHY358/showshotcorne-22/
障害のある子の住まいと暮らし Kindle版
渡部 伸 (著) 形式: Kindle版
https://www.amazon.co.jp/exec/obidos/ASIN/4804718672/showshotcorne-22/
障害のある子が「親なき後」も幸せに暮らせる本 ダウン症の娘をもつ「相続のプロ」が明かす財産管理のしくみ 単行本（ソフトカバー） – 2020/8/19
鹿内 幸四朗 (著), 杉谷 範子 (監修)
https://www.amazon.co.jp/exec/obidos/ASIN/B08G46VSVP/showshotcorne-22/
障害のある子が「親なき後」も幸せに暮らせる本 ダウン症の娘をもつ「相続のプロ」が明かす財産管理のしくみ (大和出版) Kindle版
鹿内 幸四朗 (著), 杉谷 範子 (監修) 形式: Kindle版
https://www.amazon.co.jp/exec/obidos/ASIN/4426126223/showshotcorne-22/
まんがと図解でわかる障害のある子の将来のお金と生活 単行本 – 2020/6/26
渡部 伸 (著)
https://www.amazon.co.jp/exec/obidos/ASIN/B08J7HNXNS/showshotcorne-22/
まんがと図解でわかる障害のある子の将来のお金と生活 Kindle版
渡部伸 (著) 形式: Kindle版
https://www.amazon.co.jp/exec/obidos/ASIN/4426125340/showshotcorne-22/
障害のある子が将来にわたって受けられるサービスのすべて 単行本（ソフトカバー） – 2019/4/18
https://www.amazon.co.jp/exec/obidos/ASIN/B08DR9Y3NL/showshotcorne-22/
障害のある子が将来にわたって受けられるサービスのすべて Kindle版
渡部伸 (監修) 形式: Kindle版
関連：
http://iiyu.asablo.jp/blog/2021/09/04/9419268
【防災教育、防災の日】府中市立第2中学校がNHKの防災番組に登場。バックは情報省＼(^O^)／ 進化する防災訓練、未就学児の命をまもる！新しい防災訓練、自衛隊防災BOOK、自衛隊防災BOOK2、東京防災、障碍者、障碍児のための防災本
http://iiyu.asablo.jp/blog/2020/12/13/9326300
翔泳社、ハッシュタグ「#つながろう発達障害の就活」、ケアマネジャー手帳2021、まんがと図解でわかる障害のある子の将来のお金と生活、障害のある子が将来にわたって受けられるサービスのすべて
https://iiyu.asablo.jp/blog/2020/09/20/9297647
障害のある子が「親なき後」も幸せに暮らせる本 ダウン症の娘をもつ「相続のプロ」が明かす財産管理のしくみ。成年後見制度の闇のことも
http://iiyu.asablo.jp/blog/2020/04/06/9232476
翔泳社では、発達障害啓発週間中、関連書籍7点を全文無料で公開。
http://iiyu.asablo.jp/blog/2019/03/30/9053342
障害のある子の「親なきあと」、老親の貯金が突然他人の管理下に!?「成年後見制度」の大問題、成年後見制度の闇、認知症700万人時代の失敗しない「成年後見」の使い方
障碍者、障碍児関連はいっぱい書いていますが、
http://iiyu.asablo.jp/blog/2020/04/06/9232476
翔泳社では、発達障害啓発週間中、関連書籍7点を全文無料で公開。
の関連にいっぱい載っています。
---
我が子がダウン症なので、この話は、特によかった。
https://twitter.com/namikishida/status/1450440085439012867?s=11
--- ここから ---
【ご報告】
ダウン症の弟が、三十年働いて得られるかどうかの大金をお稼ぎあそばされたので、使いみちを任せました。
--- ここまで ---
https://note.kishidanami.com/n/n1e53de014372?gs=7c48f4e98410
弟が大金を稼いだので、なにに使うかと思ったら
岸田 奈美
2021年10月19日 21:28
お買い上げありがとうございます。
https://www.amazon.co.jp/exec/obidos/ASIN/4799326244/showshotcorne-22/
「判断するのが怖い」あなたへ 発達障害かもしれない人が働きやすくなる方法 (ディスカヴァー携書) 新書 – 2020/7/17
佐藤 恵美 (著)
https://www.amazon.co.jp/exec/obidos/ASIN/B08CZSGQHV/showshotcorne-22/
「判断するのが怖い」あなたへ 発達障害かもしれない人が働きやすくなる方法 Kindle版
佐藤恵美 (著) 形式: Kindle版
次は、まだ名前を出してなかったと思う。
https://www.amazon.co.jp/exec/obidos/ASIN/4103532610/showshotcorne-22/
障がい者だからって、稼ぎがないと思うなよ。: ソーシャルファームという希望 単行本（ソフトカバー） – 2020/3/17
姫路 まさのり (著)
https://www.amazon.co.jp/exec/obidos/ASIN/B08611HHRH/showshotcorne-22/
障がい者だからって、稼ぎがないと思うなよ。―ソーシャルファームという希望― Kindle版
姫路まさのり (著) 形式: Kindle版
以下は、以前、お買い上げがあったり、紹介していたものだと思う。
https://www.amazon.co.jp/exec/obidos/ASIN/4074399318/showshotcorne-22/
障害のある子の住まいと暮らし 単行本（ソフトカバー） – 2020/4/24
渡部 伸 (著)
https://www.amazon.co.jp/exec/obidos/ASIN/B087JHY358/showshotcorne-22/
障害のある子の住まいと暮らし Kindle版
渡部 伸 (著) 形式: Kindle版
https://www.amazon.co.jp/exec/obidos/ASIN/4804718672/showshotcorne-22/
障害のある子が「親なき後」も幸せに暮らせる本 ダウン症の娘をもつ「相続のプロ」が明かす財産管理のしくみ 単行本（ソフトカバー） – 2020/8/19
鹿内 幸四朗 (著), 杉谷 範子 (監修)
https://www.amazon.co.jp/exec/obidos/ASIN/B08G46VSVP/showshotcorne-22/
障害のある子が「親なき後」も幸せに暮らせる本 ダウン症の娘をもつ「相続のプロ」が明かす財産管理のしくみ (大和出版) Kindle版
鹿内 幸四朗 (著), 杉谷 範子 (監修) 形式: Kindle版
https://www.amazon.co.jp/exec/obidos/ASIN/4426126223/showshotcorne-22/
まんがと図解でわかる障害のある子の将来のお金と生活 単行本 – 2020/6/26
渡部 伸 (著)
https://www.amazon.co.jp/exec/obidos/ASIN/B08J7HNXNS/showshotcorne-22/
まんがと図解でわかる障害のある子の将来のお金と生活 Kindle版
渡部伸 (著) 形式: Kindle版
https://www.amazon.co.jp/exec/obidos/ASIN/4426125340/showshotcorne-22/
障害のある子が将来にわたって受けられるサービスのすべて 単行本（ソフトカバー） – 2019/4/18
https://www.amazon.co.jp/exec/obidos/ASIN/B08DR9Y3NL/showshotcorne-22/
障害のある子が将来にわたって受けられるサービスのすべて Kindle版
渡部伸 (監修) 形式: Kindle版
関連：
http://iiyu.asablo.jp/blog/2021/09/04/9419268
【防災教育、防災の日】府中市立第2中学校がNHKの防災番組に登場。バックは情報省＼(^O^)／ 進化する防災訓練、未就学児の命をまもる！新しい防災訓練、自衛隊防災BOOK、自衛隊防災BOOK2、東京防災、障碍者、障碍児のための防災本
http://iiyu.asablo.jp/blog/2020/12/13/9326300
翔泳社、ハッシュタグ「#つながろう発達障害の就活」、ケアマネジャー手帳2021、まんがと図解でわかる障害のある子の将来のお金と生活、障害のある子が将来にわたって受けられるサービスのすべて
https://iiyu.asablo.jp/blog/2020/09/20/9297647
障害のある子が「親なき後」も幸せに暮らせる本 ダウン症の娘をもつ「相続のプロ」が明かす財産管理のしくみ。成年後見制度の闇のことも
http://iiyu.asablo.jp/blog/2020/04/06/9232476
翔泳社では、発達障害啓発週間中、関連書籍7点を全文無料で公開。
http://iiyu.asablo.jp/blog/2019/03/30/9053342
障害のある子の「親なきあと」、老親の貯金が突然他人の管理下に!?「成年後見制度」の大問題、成年後見制度の闇、認知症700万人時代の失敗しない「成年後見」の使い方
障碍者、障碍児関連はいっぱい書いていますが、
http://iiyu.asablo.jp/blog/2020/04/06/9232476
翔泳社では、発達障害啓発週間中、関連書籍7点を全文無料で公開。
の関連にいっぱい載っています。
NHK BS1スペシャル「ウイルスハント タイムラプス 世界初 8Kで迫る新型コロナ」、生命科学映像のプロ集団「ヨネ・プロダクション」、デジタルカメラ用顕微鏡アダプターのマイクロネット社、美舘（みかん）イメージング社、8Kプロジェクタのアストロデザイン社、武村政春「生物はウイルスが進化させた 巨大ウイルスが語る新たな生命像(ブルーバックス)」 ― 2021年10月13日 10時39分53秒
ASAHIネット(http://asahi-net.jp )のブログサービス、アサブロ(https://asahi-net.jp/asablo/ )を使っています。
---
http://iiyu.asablo.jp/blog/2021/10/12/9431575
NHK BS1「世界のドキュメンタリー 新型コロナワクチン 開発競争の舞台裏」の前後編が今日、再放送。
の最後で書いた、新型コロナウイルスのタイムラプス映像のこと、ちょー珍しくすぐ書く。
主にリンクのみだけど。
光学顕微鏡を使ったタイムラプス動画で、新型コロナウイルスが細胞を破壊していくのがよくわかる映像だった。後述、美舘（みかん）社のページに動画が少しだけある。
特に面白かったのが、ウイルス学者、研究者たちに、この映像を観てもらったとき。
ウイルスは小さすぎて、光学顕微鏡では写らない。だから電子顕微鏡を使った写真、静止画しか、ウイルス学者、研究者の人たちは観たことがない。
ライムラプス動画では、細胞の中に黒い点々が出てそれが動き回って細胞を破壊しているように見える。ウイルス単体は小さすぎて写ってないにせよ、この黒い点たちは、ウイルスの集合体みたいなものじゃないかというので、観てもらったわけ。
普段は、電子顕微鏡写真なので、こんな動画は初めて。みなさん、困惑していた。それが面白かった。
https://www.nhk.jp/p/bs1sp/ts/YMKV7LM62W/episode/te/BNGR6YKR3Q/
「ウイルスハント タイムラプス 世界初 8Kで迫る新型コロナ」
初回放送日: 2021年3月27日
NHKオンデマンド。
https://www.nhk-ondemand.jp/goods/G2021112914SA000/
ＢＳ１スペシャル 「ウイルスハント タイムラプス 世界初 ８Ｋで迫る新型コロナ」
タイムラプス映像を撮影したのは、生命科学の写真や映像のプロフェッショナル集団である、ヨネ・プロダクションという小さな会社。山椒は小粒でぴりりと辛い。
https://www.yoneproduction.jp
ヨネ・プロダクション
http://yoneproduction.blogspot.com/2021/04/421bs1-8k.html
--- ここから ---
2021年4月19日月曜日
再放送のお知らせ4/21（水）BS1「ウイルスハント タイムラプス 世界初 8Kで迫る新型コロナ」
好評とのことで、再放送が決定したそうです。
--- ここまで ---
http://yoneproduction.blogspot.com/2021/05/nhk1-55-04814759.html
--- ここから ---
021年5月3日月曜日
再放送のお知らせ；ＮＨＫスペシャル「新型コロナ“第４波” 変異ウイルスの脅威」 (NHK総合1・東京) 5月5日（水） 午前0:48~午前1:47(59分)
昨夜オンエアされた
ＮＨＫスペシャル「新型コロナ“第４波” 変異ウイルスの脅威」が再放送されます。
この中で弊社撮影部が阪大で撮影した
新型コロナウイルスに感染した細胞の映像が使用されます。
--- ここまで ---
後述、マイクロネット社のデジタルカメラ用顕微鏡アダプターを売っている、美舘（みかん）社
https://www.mecan.co.jp
美舘（みかん）
正式会社名 株式会社美舘イメージング
次のページに、動画が少しあります。
https://www.mecan.co.jp/microscope/Digital/NHK_Covid.html
【世界初】光学顕微鏡によるコロナウイルスの8Kタイムラプス撮影に成功
新型コロナに感染した細胞の変化のタイムラプス顕微鏡動画撮影の快挙
デジタルカメラ用顕微鏡アダプターのマイクロネット。
https://www.microscope-net.com/
マイクロネット
https://www.microscope-net.com/news/【世界初】光学顕微鏡によるコロナウイルスの撮/
--- ここから ---
2021年07月12日
【世界初】光学顕微鏡によるコロナウイルスの撮影に成功「スーパーアダプターによる快挙」
NHK BS1スペシャル にて、マイクロネットのデジタルカメラ用顕微鏡アダプターを使って新型コロナウィルスを撮影する試みが紹介されました。
--- ここまで ---
8Kプロジェクタのアストロデザイン社。
https://www.astrodesign.co.jp
アストロデザイン
https://www.astrodesign.co.jp/product/usecaseof8kprojector
アストロデザインの8Kプロジェクタ
--- ここから ---
2021年春、NHK BS8KとBS1（HD）で 「BS1スペシャル ウイルスハント タイムラプス 世界初 8Kで迫る新型コロナ」という番組が放送されました。新型コロナウイルスに感染した細胞の世界初の8Kタイムラプス撮影を行い、その映像を試写するまでの一部始終に密着した3ヶ月のドキュメンタリーです。
アストロデザインは、光学顕微鏡を使い感染細胞内部を8Kタイムラプスで撮影した映像の試写に協力しました。
--- ここまで ---
タイムラプスの番組には、巨大ウイルスのブルーバックスやNHK Eテレ(教育テレビ)の高校講座の生物で登場した武村政春先生も出ていた。
https://www.amazon.co.jp/exec/obidos/ASIN/4065020107/showshotcorne-22/
生物はウイルスが進化させた 巨大ウイルスが語る新たな生命像 (ブルーバックス) (日本語) 新書 – 2017/4/19
武村 政春 (著)
https://www.amazon.co.jp/exec/obidos/ASIN/B07227T5TG/showshotcorne-22/
生物はウイルスが進化させた 巨大ウイルスが語る新たな生命像 (ブルーバックス) Kindle版
武村政春 (著)
関連：
http://iiyu.asablo.jp/blog/2021/10/12/9431575
NHK BS1「世界のドキュメンタリー 新型コロナワクチン 開発競争の舞台裏」の前後編が今日、再放送。
http://iiyu.asablo.jp/blog/2020/01/28/9207403
祝 新型コロナウイルスパンデミック記念、みんな、ニュートン2020年2月号のウイルス特集を読め！ そして、新春恒例 勝手に講談社ブルーバックス祭り。＼(^O^)／ 「生物はウイルスが進化させた 巨大ウイルスが語る新たな生命像」など
---
http://iiyu.asablo.jp/blog/2021/10/12/9431575
NHK BS1「世界のドキュメンタリー 新型コロナワクチン 開発競争の舞台裏」の前後編が今日、再放送。
の最後で書いた、新型コロナウイルスのタイムラプス映像のこと、ちょー珍しくすぐ書く。
主にリンクのみだけど。
光学顕微鏡を使ったタイムラプス動画で、新型コロナウイルスが細胞を破壊していくのがよくわかる映像だった。後述、美舘（みかん）社のページに動画が少しだけある。
特に面白かったのが、ウイルス学者、研究者たちに、この映像を観てもらったとき。
ウイルスは小さすぎて、光学顕微鏡では写らない。だから電子顕微鏡を使った写真、静止画しか、ウイルス学者、研究者の人たちは観たことがない。
ライムラプス動画では、細胞の中に黒い点々が出てそれが動き回って細胞を破壊しているように見える。ウイルス単体は小さすぎて写ってないにせよ、この黒い点たちは、ウイルスの集合体みたいなものじゃないかというので、観てもらったわけ。
普段は、電子顕微鏡写真なので、こんな動画は初めて。みなさん、困惑していた。それが面白かった。
https://www.nhk.jp/p/bs1sp/ts/YMKV7LM62W/episode/te/BNGR6YKR3Q/
「ウイルスハント タイムラプス 世界初 8Kで迫る新型コロナ」
初回放送日: 2021年3月27日
NHKオンデマンド。
https://www.nhk-ondemand.jp/goods/G2021112914SA000/
ＢＳ１スペシャル 「ウイルスハント タイムラプス 世界初 ８Ｋで迫る新型コロナ」
タイムラプス映像を撮影したのは、生命科学の写真や映像のプロフェッショナル集団である、ヨネ・プロダクションという小さな会社。山椒は小粒でぴりりと辛い。
https://www.yoneproduction.jp
ヨネ・プロダクション
http://yoneproduction.blogspot.com/2021/04/421bs1-8k.html
--- ここから ---
2021年4月19日月曜日
再放送のお知らせ4/21（水）BS1「ウイルスハント タイムラプス 世界初 8Kで迫る新型コロナ」
好評とのことで、再放送が決定したそうです。
--- ここまで ---
http://yoneproduction.blogspot.com/2021/05/nhk1-55-04814759.html
--- ここから ---
021年5月3日月曜日
再放送のお知らせ；ＮＨＫスペシャル「新型コロナ“第４波” 変異ウイルスの脅威」 (NHK総合1・東京) 5月5日（水） 午前0:48~午前1:47(59分)
昨夜オンエアされた
ＮＨＫスペシャル「新型コロナ“第４波” 変異ウイルスの脅威」が再放送されます。
この中で弊社撮影部が阪大で撮影した
新型コロナウイルスに感染した細胞の映像が使用されます。
--- ここまで ---
後述、マイクロネット社のデジタルカメラ用顕微鏡アダプターを売っている、美舘（みかん）社
https://www.mecan.co.jp
美舘（みかん）
正式会社名 株式会社美舘イメージング
次のページに、動画が少しあります。
https://www.mecan.co.jp/microscope/Digital/NHK_Covid.html
【世界初】光学顕微鏡によるコロナウイルスの8Kタイムラプス撮影に成功
新型コロナに感染した細胞の変化のタイムラプス顕微鏡動画撮影の快挙
デジタルカメラ用顕微鏡アダプターのマイクロネット。
https://www.microscope-net.com/
マイクロネット
https://www.microscope-net.com/news/【世界初】光学顕微鏡によるコロナウイルスの撮/
--- ここから ---
2021年07月12日
【世界初】光学顕微鏡によるコロナウイルスの撮影に成功「スーパーアダプターによる快挙」
NHK BS1スペシャル にて、マイクロネットのデジタルカメラ用顕微鏡アダプターを使って新型コロナウィルスを撮影する試みが紹介されました。
--- ここまで ---
8Kプロジェクタのアストロデザイン社。
https://www.astrodesign.co.jp
アストロデザイン
https://www.astrodesign.co.jp/product/usecaseof8kprojector
アストロデザインの8Kプロジェクタ
--- ここから ---
2021年春、NHK BS8KとBS1（HD）で 「BS1スペシャル ウイルスハント タイムラプス 世界初 8Kで迫る新型コロナ」という番組が放送されました。新型コロナウイルスに感染した細胞の世界初の8Kタイムラプス撮影を行い、その映像を試写するまでの一部始終に密着した3ヶ月のドキュメンタリーです。
アストロデザインは、光学顕微鏡を使い感染細胞内部を8Kタイムラプスで撮影した映像の試写に協力しました。
--- ここまで ---
タイムラプスの番組には、巨大ウイルスのブルーバックスやNHK Eテレ(教育テレビ)の高校講座の生物で登場した武村政春先生も出ていた。
https://www.amazon.co.jp/exec/obidos/ASIN/4065020107/showshotcorne-22/
生物はウイルスが進化させた 巨大ウイルスが語る新たな生命像 (ブルーバックス) (日本語) 新書 – 2017/4/19
武村 政春 (著)
https://www.amazon.co.jp/exec/obidos/ASIN/B07227T5TG/showshotcorne-22/
生物はウイルスが進化させた 巨大ウイルスが語る新たな生命像 (ブルーバックス) Kindle版
武村政春 (著)
関連：
http://iiyu.asablo.jp/blog/2021/10/12/9431575
NHK BS1「世界のドキュメンタリー 新型コロナワクチン 開発競争の舞台裏」の前後編が今日、再放送。
http://iiyu.asablo.jp/blog/2020/01/28/9207403
祝 新型コロナウイルスパンデミック記念、みんな、ニュートン2020年2月号のウイルス特集を読め！ そして、新春恒例 勝手に講談社ブルーバックス祭り。＼(^O^)／ 「生物はウイルスが進化させた 巨大ウイルスが語る新たな生命像」など
NHK BS1「世界のドキュメンタリー 新型コロナワクチン 開発競争の舞台裏」の前後編が今日、再放送。 ― 2021年10月12日 15時25分14秒
ASAHIネット(http://asahi-net.jp )のブログサービス、アサブロ(https://asahi-net.jp/asablo/ )を使っています。
---
もうすぐ始まっちゃうから、慌てて書く。
NHK BS1の「世界のドキュメンタリー」
https://www6.nhk.or.jp/nhkpr/post/original.html?i=31101
BS世界のドキュメンタリー
「新型コロナワクチン 開発競争の舞台裏」（前編）
VACCINE THE INSIDE STORY EPISODE1（イギリス 2021）
【放送予定】10月1日（金）前0:10（木曜深夜）
「新型コロナワクチン 開発競争の舞台裏」（後編）
VACCINE THE INSIDE STORY EPISODE2（イギリス 2021）
【放送予定】10月2日（土）前0:10（金曜深夜）
これ、面白かったよ。
ファイザーの女性幹部が、おそらく当時のトランプ大統領を念頭においた発言と思うが、「政治は科学に介入すべきではない。政治は科学に従うべきだ」などと述べていた。
安倍ちゃんも、同類。無知、無能、無策、無責任で、逃げ足だけは速かったね。
ファイザーは、まだワクチンの効果がはっきりしない段階で、５億ドルだったかな、投資を決めて勝負に出たとか。
オーストラリアは、ワクチンでHIVの陽性反応が出て、解決できずに開発中止。
中国は武漢の封じ込めがうまく行き過ぎて、治験のためにワクチンを試す被験者がいなくて困ったとか、アメリカは被験者の選び方に黒人差別の歴史があって、それが影響して、被験者の人種の多様性を確保するのが難しいとか、いろいろ複雑な話があるね。
とにかく、みんな、文字通り不眠不休でのワクチン開発。
NHKオンデマンドにもあるけど、今日(2021/10/12)、再放送がありますね。
https://www.nhk.jp/p/wdoc/ts/88Z7X45XZY/episode/te/G5GGL5V7G2/
「新型コロナワクチン 開発競争の舞台裏」(前編)
(NHKBS1)
10月12日（火）
午後6:05~午後6:50(45分)
https://www.nhk.jp/p/wdoc/ts/88Z7X45XZY/episode/te/N1RY5KPQ3Q/
「新型コロナワクチン 開発競争の舞台裏」(後編)
(NHKBS1)
10月12日（火）
午後7:00~午後7:46(46分)
NHKオンデマンド。
https://www.nhk-ondemand.jp/goods/G2021115894SA000/
ＢＳ世界のドキュメンタリー 「新型コロナワクチン 開発競争の舞台裏」（前編）
https://www.nhk-ondemand.jp/goods/G2021116422SA000/
ＢＳ世界のドキュメンタリー 「新型コロナワクチン 開発競争の舞台裏」（後編）
新型コロナウイルスが、細胞を破壊する８K映像を撮影する番組もあったが、それは別記事にします。今日か明日に書けるかなあ。
関連：
http://iiyu.asablo.jp/blog/2021/07/26/9401748
祝・新型コロナパンデミックご一行様歓迎、東京オリンピック・パラリンピック。府中を通過した自転車ロードレース観戦で、大丈夫か新型コロナの感染。
http://iiyu.asablo.jp/blog/2021/07/15/9398318
ぼうごなつこ「100日で収束しない日本のコロナ禍」。東京オリンピック・パラリンピックは、新型コロナの緊急事態宣言下で、無観客開催。これ、安倍ちゃんの責任。ほんとの反日は安倍ちゃん
https://iiyu.asablo.jp/blog/2021/05/18/9378800
情報省大活躍：新型コロナでパーティ自粛を訴えていた日本医師会・中川俊男会長、自民党自見英子の政治資金集めパーティの発起人。自見英子は自見庄三郎の娘、二人とも情報省のスパイ＼(^O^)／ なぜか、竹中平蔵、斎藤精一郎、中谷巌、野口悠紀雄、スティグリッツ、クルーグマンのことも
http://iiyu.asablo.jp/blog/2021/02/13/9346867
「町山智浩のアメリカの今を知るTV in Association with CNA」、新型コロナのワクチン関連。オーストリアのポリミューン社。日本で開発中の次世代ワクチン、レプリコンワクチン
http://iiyu.asablo.jp/blog/2021/02/06/9344688
新型コロナで情報省大活躍： 小耳症の子に“救世主”、耳にかけないマスク。黙食。ワクチン用超低温冷凍庫。
http://iiyu.asablo.jp/blog/2021/01/18/9338713
元国税調査官が「古代～現代史」にガサ入れ、大村大次郎、お金の流れで読む日本の歴史、お金の流れでわかる世界の歴史、お金の流れで探る現代権力史、新型コロナと巨大利権、消費税という巨大権益、税金ビジネスの正体
http://iiyu.asablo.jp/blog/2020/07/31/9273972
クイズ：新型コロナ：Go Toキャンペーンで思い出すコンピュータサイエンスの超有名論文の執筆者とタイトルは？
http://iiyu.asablo.jp/blog/2020/06/14/9257311
府中の青木屋、アマビエ和菓子、アマビエクッキー。新型コロナ退散で大人気のアマビエは情報省のスパイ＼(^O^)／
http://iiyu.asablo.jp/blog/2020/05/27/9251082
新型コロナウイルスで大人気の妖怪、かつ、情報省のスパイであるアマビエ。北九州小倉で竹アマビエ、福岡博多のアマビエラーメン
http://iiyu.asablo.jp/blog/2020/05/15/9246831
新型コロナウイルスにハチミツが効くと煽った番組は、テレ朝「林修の今でしょ！講座」。新型コロナウイルス対策本。メディア、科学、フードファディズム、詐欺商法。高カカオチョコレートの健康効果も評価定まらず
http://iiyu.asablo.jp/blog/2020/05/05/9243005
新型コロナウイルスの今、ペスト菌、天然痘でわかる情報省支配。ナイチンゲール。なぜか、「マンガ 統計学入門(ブルーバックス)」も
http://iiyu.asablo.jp/blog/2020/02/25/9217873
新型コロナウイルスのPCR検査は、モンティ・ホール問題だった＼(^O^)／ 条件付き確率、ベイズの定理の世界なのね。
http://iiyu.asablo.jp/blog/2020/01/28/9207403
祝 新型コロナウイルスパンデミック記念、みんな、ニュートン2020年2月号のウイルス特集を読め！ そして、新春恒例 勝手に講談社ブルーバックス祭り。＼(^O^)／ 「生物はウイルスが進化させた 巨大ウイルスが語る新たな生命像」など
---
もうすぐ始まっちゃうから、慌てて書く。
NHK BS1の「世界のドキュメンタリー」
https://www6.nhk.or.jp/nhkpr/post/original.html?i=31101
BS世界のドキュメンタリー
「新型コロナワクチン 開発競争の舞台裏」（前編）
VACCINE THE INSIDE STORY EPISODE1（イギリス 2021）
【放送予定】10月1日（金）前0:10（木曜深夜）
「新型コロナワクチン 開発競争の舞台裏」（後編）
VACCINE THE INSIDE STORY EPISODE2（イギリス 2021）
【放送予定】10月2日（土）前0:10（金曜深夜）
これ、面白かったよ。
ファイザーの女性幹部が、おそらく当時のトランプ大統領を念頭においた発言と思うが、「政治は科学に介入すべきではない。政治は科学に従うべきだ」などと述べていた。
安倍ちゃんも、同類。無知、無能、無策、無責任で、逃げ足だけは速かったね。
ファイザーは、まだワクチンの効果がはっきりしない段階で、５億ドルだったかな、投資を決めて勝負に出たとか。
オーストラリアは、ワクチンでHIVの陽性反応が出て、解決できずに開発中止。
中国は武漢の封じ込めがうまく行き過ぎて、治験のためにワクチンを試す被験者がいなくて困ったとか、アメリカは被験者の選び方に黒人差別の歴史があって、それが影響して、被験者の人種の多様性を確保するのが難しいとか、いろいろ複雑な話があるね。
とにかく、みんな、文字通り不眠不休でのワクチン開発。
NHKオンデマンドにもあるけど、今日(2021/10/12)、再放送がありますね。
https://www.nhk.jp/p/wdoc/ts/88Z7X45XZY/episode/te/G5GGL5V7G2/
「新型コロナワクチン 開発競争の舞台裏」(前編)
(NHKBS1)
10月12日（火）
午後6:05~午後6:50(45分)
https://www.nhk.jp/p/wdoc/ts/88Z7X45XZY/episode/te/N1RY5KPQ3Q/
「新型コロナワクチン 開発競争の舞台裏」(後編)
(NHKBS1)
10月12日（火）
午後7:00~午後7:46(46分)
NHKオンデマンド。
https://www.nhk-ondemand.jp/goods/G2021115894SA000/
ＢＳ世界のドキュメンタリー 「新型コロナワクチン 開発競争の舞台裏」（前編）
https://www.nhk-ondemand.jp/goods/G2021116422SA000/
ＢＳ世界のドキュメンタリー 「新型コロナワクチン 開発競争の舞台裏」（後編）
新型コロナウイルスが、細胞を破壊する８K映像を撮影する番組もあったが、それは別記事にします。今日か明日に書けるかなあ。
関連：
http://iiyu.asablo.jp/blog/2021/07/26/9401748
祝・新型コロナパンデミックご一行様歓迎、東京オリンピック・パラリンピック。府中を通過した自転車ロードレース観戦で、大丈夫か新型コロナの感染。
http://iiyu.asablo.jp/blog/2021/07/15/9398318
ぼうごなつこ「100日で収束しない日本のコロナ禍」。東京オリンピック・パラリンピックは、新型コロナの緊急事態宣言下で、無観客開催。これ、安倍ちゃんの責任。ほんとの反日は安倍ちゃん
https://iiyu.asablo.jp/blog/2021/05/18/9378800
情報省大活躍：新型コロナでパーティ自粛を訴えていた日本医師会・中川俊男会長、自民党自見英子の政治資金集めパーティの発起人。自見英子は自見庄三郎の娘、二人とも情報省のスパイ＼(^O^)／ なぜか、竹中平蔵、斎藤精一郎、中谷巌、野口悠紀雄、スティグリッツ、クルーグマンのことも
http://iiyu.asablo.jp/blog/2021/02/13/9346867
「町山智浩のアメリカの今を知るTV in Association with CNA」、新型コロナのワクチン関連。オーストリアのポリミューン社。日本で開発中の次世代ワクチン、レプリコンワクチン
http://iiyu.asablo.jp/blog/2021/02/06/9344688
新型コロナで情報省大活躍： 小耳症の子に“救世主”、耳にかけないマスク。黙食。ワクチン用超低温冷凍庫。
http://iiyu.asablo.jp/blog/2021/01/18/9338713
元国税調査官が「古代～現代史」にガサ入れ、大村大次郎、お金の流れで読む日本の歴史、お金の流れでわかる世界の歴史、お金の流れで探る現代権力史、新型コロナと巨大利権、消費税という巨大権益、税金ビジネスの正体
http://iiyu.asablo.jp/blog/2020/07/31/9273972
クイズ：新型コロナ：Go Toキャンペーンで思い出すコンピュータサイエンスの超有名論文の執筆者とタイトルは？
http://iiyu.asablo.jp/blog/2020/06/14/9257311
府中の青木屋、アマビエ和菓子、アマビエクッキー。新型コロナ退散で大人気のアマビエは情報省のスパイ＼(^O^)／
http://iiyu.asablo.jp/blog/2020/05/27/9251082
新型コロナウイルスで大人気の妖怪、かつ、情報省のスパイであるアマビエ。北九州小倉で竹アマビエ、福岡博多のアマビエラーメン
http://iiyu.asablo.jp/blog/2020/05/15/9246831
新型コロナウイルスにハチミツが効くと煽った番組は、テレ朝「林修の今でしょ！講座」。新型コロナウイルス対策本。メディア、科学、フードファディズム、詐欺商法。高カカオチョコレートの健康効果も評価定まらず
http://iiyu.asablo.jp/blog/2020/05/05/9243005
新型コロナウイルスの今、ペスト菌、天然痘でわかる情報省支配。ナイチンゲール。なぜか、「マンガ 統計学入門(ブルーバックス)」も
http://iiyu.asablo.jp/blog/2020/02/25/9217873
新型コロナウイルスのPCR検査は、モンティ・ホール問題だった＼(^O^)／ 条件付き確率、ベイズの定理の世界なのね。
http://iiyu.asablo.jp/blog/2020/01/28/9207403
祝 新型コロナウイルスパンデミック記念、みんな、ニュートン2020年2月号のウイルス特集を読め！ そして、新春恒例 勝手に講談社ブルーバックス祭り。＼(^O^)／ 「生物はウイルスが進化させた 巨大ウイルスが語る新たな生命像」など
田口善弘「はじめての機械学習(ブルーバックス)」、「砂時計の七不思議(中公新書)」、「生命はデジタルでできている(ブルーバックス)」、ルールを知らないのにゲームで勝ちまくる最強AI「MuZero」 ― 2021年10月11日 11時16分06秒
ASAHIネット(http://asahi-net.jp )のブログサービス、アサブロ(https://asahi-net.jp/asablo/ )を使っています。
---
やっと紹介する。
https://www.amazon.co.jp/exec/obidos/ASIN/4065239605/showshotcorne-22/
はじめての機械学習 中学数学でわかるAIのエッセンス (ブルーバックス) 新書 – 2021/7/15
田口 善弘 (著)
https://www.amazon.co.jp/exec/obidos/ASIN/B0996248CH/showshotcorne-22/
はじめての機械学習 中学数学でわかるＡＩのエッセンス (ブルーバックス) Kindle版
田口善弘 (著) 形式: Kindle版
数学を使わず、算数レベルで、機械学習のツボを解説するんだから、映画や小説やいろんなたとえ話で解説しているが、こりゃ、大変だなと思った。
量子コンピュータまで出てくるのは、ちょっとびっくり。説明を読んで、なるほどとは思ったけど。
付録部分には、本書を読んだら、勉強してほしいことに役立つ本がたくさん紹介されている。
電子書籍はすでに買っていたけど、ある日、府中の分倍河原にできて間もないマルジナリア書店に行ったら、なぜか、この本のサイン本があったんです。即、ゲット！
なぜ、あったのかは知らないけど、とにかく、ラッキー＼(^O^)／
マルジナリア書店
ツイッター
https://twitter.com/marginaliaBS
インスタグラム
https://www.instagram.com/marginaliabs/
https://book.asahi.com/article/14256588
マルジナリア書店（東京） 本屋の空白を10年ぶり埋めた、ドーナツと人文書大賞と
https://www.yohakushapub.com
マルジナリア書店 よはく舎
最近、機械学習、深層学習方面でびっくりした話題は、
https://xtrend.nikkei.com/atcl/contents/technology/00007/00032/
東大松尾ゼミの「深層学習」研究会 第24回
最強AI「MuZero」とは ルールを知らないのにゲームで勝ちまくる
2021年03月29日 読了時間： 12分
論文、読まずに言うけど、ほんとにそんなことが可能なのかな。
勝ち負け、引き分けのルールすら知らずに強くなれるの？
ゲームの終了条件は与えてないと、ゲームが終わらないんじゃないの？
将棋だって、玉を詰ますと終わりという条件を知らないと、終わらないと思うし、千日手や持将棋のルールだって知らないと、将棋は指せないと思うけど。よーわからん。
ぼくにとっては、田口善弘は、なんといっても、「砂時計の七不思議」。これはめちゃくちゃ面白かった。ああ、1995年出版だって。時は流れるのぉ。
https://www.amazon.co.jp/exec/obidos/ASIN/4121012682/showshotcorne-22/
砂時計の七不思議―粉粒体の動力学 (中公新書) 新書 – 1995/10/1
田口 善弘 (著)
https://www.amazon.co.jp/exec/obidos/ASIN/B087YVD898/showshotcorne-22/
砂時計の七不思議 (中公新書) Kindle版
田口善弘 (著) 形式: Kindle版
あ、これ、知らんわ。買おうっと。
https://www.amazon.co.jp/exec/obidos/ASIN/4065195977/showshotcorne-22/
生命はデジタルでできている 情報から見た新しい生命像 (ブルーバックス) 新書 – 2020/5/21
田口 善弘 (著)
https://www.amazon.co.jp/exec/obidos/ASIN/B088K5LPQM/showshotcorne-22/
生命はデジタルでできている 情報から見た新しい生命像 (ブルーバックス) Kindle版
田口善弘 (著) 形式: Kindle版
ぼくがもう10年以上前かな、高木利久先生(当時、東大(東京大学))たちのお手伝いなどしたバイオインフォマティクスなんて、完全に情報処理だもんね。
NBDCでは、まだセンター長紹介に出てる。
https://biosciencedbc.jp/about-us/welcome-from-director/
センター長挨拶・略歴
高木先生は、いまは富山国際大学の学長。
https://www.tuins.ac.jp/about/philosophy/
富山国際大学 学長挨拶・理念
高木先生とも、もう何年も会ってないし、飲んでないね。
東大の柏キャンパスができて間もない頃は、柏駅前もあまり整備されてないし、バス便も少ないし、交通渋滞がひどくて、柏キャンパスでミーティングするのは、けっこう大変だった記憶がある。今なら、オンラインミーティングだろうけど。
同時期かな。九大(九州大学)も伊都キャンパスに工学部などが移転して、当時九大の荒木啓二郎先生から呼ばれて講義に行くのも遠くて大変だった記憶がある。
東大の柏キャンパスも九大の伊都キャンパスも、当時、付近にいい飲み屋がなくて、飲み屋から遠いのがいかんよね。＼(^O^)／
伊都キャンパスは、中洲から遠くなったもん。(>_<)
関連：
http://iiyu.asablo.jp/blog/2020/06/10/9256069
ゼロから作るDeep Learning ❸、はじめてのディープラーニング2、AIエンジニアを目指す人のための機械学習入門、実践GAN(敵対的生成ネットワーク)による深層学習
http://iiyu.asablo.jp/blog/2018/10/25/8983156
「機械学習エンジニアになりたい人のための本 AIを天職にする」、ディープラーニングの検定がある、「深層学習教科書 ディープラーニング G検定(ジェネラリスト) 公式テキスト」
http://iiyu.asablo.jp/blog/2020/04/28/9240231
仕事ではじめる機械学習、Pythonデータサイエンスハンドブック、Pythonによるデータ分析入門 第2版、東京大学のデータサイエンティスト育成講座
http://iiyu.asablo.jp/blog/2019/09/01/9148266
未来IT図解 これからのディープラーニングビジネス、Newton(ニュートン) 2019年09月号、PythonによるWebスクレイピング第2版、ゼロから作るDeep Learning
http://iiyu.asablo.jp/blog/2019/04/09/9057505
TensorFlowは死んだ＼(^O^)／ AI(人工知能)、機械学習、ディープラーニングの話題
http://iiyu.asablo.jp/blog/2018/10/26/8983981
最近出ているPtyhon, TensorFlow, Keras, scikit-learn, PyTorch、Chainer本
http://iiyu.asablo.jp/blog/2018/10/25/8983156
「機械学習エンジニアになりたい人のための本 AIを天職にする」、ディープラーニングの検定がある、「深層学習教科書 ディープラーニング G検定(ジェネラリスト) 公式テキスト」
http://iiyu.asablo.jp/blog/2018/09/17/8961672
西垣 通(編集)「基礎情報学のフロンティア: 人工知能は自分の世界を生きられるか?」
http://iiyu.asablo.jp/blog/2018/06/10/8891720
scikit-learnとTensorFlowによる実践機械学習、ゼロから作るDeep Learning, ゼロから作るDeep Learning ❷ ―自然言語処理編, PythonとKerasによるディープラーニング, Deep Learning with Python, 現場で使える! TensorFlow開発入門 Kerasによる深層学習モデル構築手法, Deep Learning Javaプログラミング 深層学習の理論と実装
http://iiyu.asablo.jp/blog/2018/05/17/8852867
「AI vs. 教科書が読めない子どもたち」、週刊東洋経済 AI時代に勝つ子・負ける子、週刊ダイヤモンド AI時代を生き抜く プログラミング&リベラルアーツ
http://iiyu.asablo.jp/blog/2018/05/05/8844368
週刊東洋経済「ビジネスのための使えるAI」「ビジネスに効く！ 教養としてのテクノロジー」などが99円。週刊ダイヤモンド「企業も個人も生死を分ける AI格差」、AI化する銀行、FinTechの法律改訂版、AI(人工知能)まるわかり (日経文庫)などビジネスパーソン向けAI本。野口悠紀雄たちにカモにされないで
http://iiyu.asablo.jp/blog/2017/12/24/8754229
ニュートン2018年１月号は、AI(人工知能)大特集。日本列島 創成史、惑星系形成理論、スーパー望遠鏡「アルマ」、輝く星の一生、そして、情報省の恐るべき生物兵器も出ていた。＼(^O^)／
http://iiyu.asablo.jp/blog/2017/06/14/8595649
別冊日経サイエンス：別冊216 AI 人工知能の軌跡と未来 竹内郁雄 編
http://iiyu.asablo.jp/blog/2017/05/18/8564076
続：日本AIベンチャーの雄、Preferred Networks(PFN)が、総務省の開発指針に反対する理由でわかる官僚お得意のガイドライン行政の罠。電子書籍の出来は？
http://iiyu.asablo.jp/blog/2017/05/12/8555381
日本AIベンチャーの雄、Preferred Networks(PFN)が、総務省の開発指針に反対する理由でわかる官僚お得意のガイドライン行政の罠
http://iiyu.asablo.jp/blog/2017/04/28/8503277
AI(人工知能)、機械学習、深層学習、ディープラーニングの本が百花繚乱
http://iiyu.asablo.jp/blog/2016/10/18/8231611
Deep Learning Javaプログラミング 深層学習の理論と実装。これからの強化学習、TensorFlowで学ぶディープラーニング入門
http://iiyu.asablo.jp/blog/2016/10/04/8210532
ゼロから作るDeep Learning ―Pythonで学ぶディープラーニングの理論と実装、TensorFlowで学ぶディープラーニング入門 ~畳み込みニューラルネットワーク徹底解説~、機械学習と深層学習―C言語によるシミュレーション、強化学習、ロボットインテリジェンス―進化計算と強化学習、進化計算と深層学習 -創発する知能
http://iiyu.asablo.jp/blog/2016/05/25/8095668
関数型オブジェクト指向AI プログラミング―Scala による人工知能の実装、Scalaのバイブル、Programming in Scala 3rd Edition, Guide to Play2 Scala
AI, 機械学習関連：
http://iiyu.asablo.jp/blog/2016/03/04/8038226
はじめての人工知能 Excelで体験しながら学ぶAI、ITエンジニアのための機械学習理論入門、初めてのディープラーニング、イラストで学ぶ ディープラーニング
http://iiyu.asablo.jp/blog/2016/01/29/8004524
GoogleのTensorFlowより高性能!? MicrosoftのCNTK。コンピュータ囲碁、深層学習(ディープラーニング)で、プロ棋士を撃破島倉千代子。＼(^O^)／
http://iiyu.asablo.jp/blog/2016/01/22/7997853
東芝が独自のニューラルネット。Google発の深層学習フレームワーク「TensorFlow」。現代思想 2015年12月号 特集=人工知能 -ポスト・シンギュラリティのことも
http://iiyu.asablo.jp/blog/2016/01/19/7995816
KS情報科学専門書シリーズの新刊、イラストで学ぶディープラーニング。PacktはMachine Learning Week 2016なう
http://iiyu.asablo.jp/blog/2015/12/22/7957248
進化計算と深層学習 -創発する知能、現代思想 特集=人工知能 -ポスト・シンギュラリティ
http://iiyu.asablo.jp/blog/2015/12/15/7949555
人工知能ビジネス、機械学習、深層学習、Deep Learning、ITエンジニアのための機械学習理論入門
http://iiyu.asablo.jp/blog/2015/10/02/7822147
岩波からデータサイエンスシリーズが全６巻で刊行開始。データサイエンティスト養成読本
http://iiyu.asablo.jp/blog/2015/08/26/7750507
機械学習プロフェッショナルシリーズ第２期、異常検知と変化検知、サポートベクトルマシン、統計的学習理論、確率的最適化
http://iiyu.asablo.jp/blog/2015/07/10/7704579
クラウドではじめる機械学習、体験する機械学習、「人工知能 人類最悪にして最後の発明」、「イラストで学ぶ 人工知能概論」の感想なども
http://iiyu.asablo.jp/blog/2015/06/15/7669313
ディープラーニング、深層学習、人工知能(AI)、機械学習プロフェッショナルシリーズ
http://iiyu.asablo.jp/blog/2014/11/06/7484259
オライリー・ジャパンは、データサイエンス、機械学習、統計の新刊続々だった。関連書も
---
やっと紹介する。
https://www.amazon.co.jp/exec/obidos/ASIN/4065239605/showshotcorne-22/
はじめての機械学習 中学数学でわかるAIのエッセンス (ブルーバックス) 新書 – 2021/7/15
田口 善弘 (著)
https://www.amazon.co.jp/exec/obidos/ASIN/B0996248CH/showshotcorne-22/
はじめての機械学習 中学数学でわかるＡＩのエッセンス (ブルーバックス) Kindle版
田口善弘 (著) 形式: Kindle版
数学を使わず、算数レベルで、機械学習のツボを解説するんだから、映画や小説やいろんなたとえ話で解説しているが、こりゃ、大変だなと思った。
量子コンピュータまで出てくるのは、ちょっとびっくり。説明を読んで、なるほどとは思ったけど。
付録部分には、本書を読んだら、勉強してほしいことに役立つ本がたくさん紹介されている。
電子書籍はすでに買っていたけど、ある日、府中の分倍河原にできて間もないマルジナリア書店に行ったら、なぜか、この本のサイン本があったんです。即、ゲット！
なぜ、あったのかは知らないけど、とにかく、ラッキー＼(^O^)／
マルジナリア書店
ツイッター
https://twitter.com/marginaliaBS
インスタグラム
https://www.instagram.com/marginaliabs/
https://book.asahi.com/article/14256588
マルジナリア書店（東京） 本屋の空白を10年ぶり埋めた、ドーナツと人文書大賞と
https://www.yohakushapub.com
マルジナリア書店 よはく舎
最近、機械学習、深層学習方面でびっくりした話題は、
https://xtrend.nikkei.com/atcl/contents/technology/00007/00032/
東大松尾ゼミの「深層学習」研究会 第24回
最強AI「MuZero」とは ルールを知らないのにゲームで勝ちまくる
2021年03月29日 読了時間： 12分
論文、読まずに言うけど、ほんとにそんなことが可能なのかな。
勝ち負け、引き分けのルールすら知らずに強くなれるの？
ゲームの終了条件は与えてないと、ゲームが終わらないんじゃないの？
将棋だって、玉を詰ますと終わりという条件を知らないと、終わらないと思うし、千日手や持将棋のルールだって知らないと、将棋は指せないと思うけど。よーわからん。
ぼくにとっては、田口善弘は、なんといっても、「砂時計の七不思議」。これはめちゃくちゃ面白かった。ああ、1995年出版だって。時は流れるのぉ。
https://www.amazon.co.jp/exec/obidos/ASIN/4121012682/showshotcorne-22/
砂時計の七不思議―粉粒体の動力学 (中公新書) 新書 – 1995/10/1
田口 善弘 (著)
https://www.amazon.co.jp/exec/obidos/ASIN/B087YVD898/showshotcorne-22/
砂時計の七不思議 (中公新書) Kindle版
田口善弘 (著) 形式: Kindle版
あ、これ、知らんわ。買おうっと。
https://www.amazon.co.jp/exec/obidos/ASIN/4065195977/showshotcorne-22/
生命はデジタルでできている 情報から見た新しい生命像 (ブルーバックス) 新書 – 2020/5/21
田口 善弘 (著)
https://www.amazon.co.jp/exec/obidos/ASIN/B088K5LPQM/showshotcorne-22/
生命はデジタルでできている 情報から見た新しい生命像 (ブルーバックス) Kindle版
田口善弘 (著) 形式: Kindle版
ぼくがもう10年以上前かな、高木利久先生(当時、東大(東京大学))たちのお手伝いなどしたバイオインフォマティクスなんて、完全に情報処理だもんね。
NBDCでは、まだセンター長紹介に出てる。
https://biosciencedbc.jp/about-us/welcome-from-director/
センター長挨拶・略歴
高木先生は、いまは富山国際大学の学長。
https://www.tuins.ac.jp/about/philosophy/
富山国際大学 学長挨拶・理念
高木先生とも、もう何年も会ってないし、飲んでないね。
東大の柏キャンパスができて間もない頃は、柏駅前もあまり整備されてないし、バス便も少ないし、交通渋滞がひどくて、柏キャンパスでミーティングするのは、けっこう大変だった記憶がある。今なら、オンラインミーティングだろうけど。
同時期かな。九大(九州大学)も伊都キャンパスに工学部などが移転して、当時九大の荒木啓二郎先生から呼ばれて講義に行くのも遠くて大変だった記憶がある。
東大の柏キャンパスも九大の伊都キャンパスも、当時、付近にいい飲み屋がなくて、飲み屋から遠いのがいかんよね。＼(^O^)／
伊都キャンパスは、中洲から遠くなったもん。(>_<)
関連：
http://iiyu.asablo.jp/blog/2020/06/10/9256069
ゼロから作るDeep Learning ❸、はじめてのディープラーニング2、AIエンジニアを目指す人のための機械学習入門、実践GAN(敵対的生成ネットワーク)による深層学習
http://iiyu.asablo.jp/blog/2018/10/25/8983156
「機械学習エンジニアになりたい人のための本 AIを天職にする」、ディープラーニングの検定がある、「深層学習教科書 ディープラーニング G検定(ジェネラリスト) 公式テキスト」
http://iiyu.asablo.jp/blog/2020/04/28/9240231
仕事ではじめる機械学習、Pythonデータサイエンスハンドブック、Pythonによるデータ分析入門 第2版、東京大学のデータサイエンティスト育成講座
http://iiyu.asablo.jp/blog/2019/09/01/9148266
未来IT図解 これからのディープラーニングビジネス、Newton(ニュートン) 2019年09月号、PythonによるWebスクレイピング第2版、ゼロから作るDeep Learning
http://iiyu.asablo.jp/blog/2019/04/09/9057505
TensorFlowは死んだ＼(^O^)／ AI(人工知能)、機械学習、ディープラーニングの話題
http://iiyu.asablo.jp/blog/2018/10/26/8983981
最近出ているPtyhon, TensorFlow, Keras, scikit-learn, PyTorch、Chainer本
http://iiyu.asablo.jp/blog/2018/10/25/8983156
「機械学習エンジニアになりたい人のための本 AIを天職にする」、ディープラーニングの検定がある、「深層学習教科書 ディープラーニング G検定(ジェネラリスト) 公式テキスト」
http://iiyu.asablo.jp/blog/2018/09/17/8961672
西垣 通(編集)「基礎情報学のフロンティア: 人工知能は自分の世界を生きられるか?」
http://iiyu.asablo.jp/blog/2018/06/10/8891720
scikit-learnとTensorFlowによる実践機械学習、ゼロから作るDeep Learning, ゼロから作るDeep Learning ❷ ―自然言語処理編, PythonとKerasによるディープラーニング, Deep Learning with Python, 現場で使える! TensorFlow開発入門 Kerasによる深層学習モデル構築手法, Deep Learning Javaプログラミング 深層学習の理論と実装
http://iiyu.asablo.jp/blog/2018/05/17/8852867
「AI vs. 教科書が読めない子どもたち」、週刊東洋経済 AI時代に勝つ子・負ける子、週刊ダイヤモンド AI時代を生き抜く プログラミング&リベラルアーツ
http://iiyu.asablo.jp/blog/2018/05/05/8844368
週刊東洋経済「ビジネスのための使えるAI」「ビジネスに効く！ 教養としてのテクノロジー」などが99円。週刊ダイヤモンド「企業も個人も生死を分ける AI格差」、AI化する銀行、FinTechの法律改訂版、AI(人工知能)まるわかり (日経文庫)などビジネスパーソン向けAI本。野口悠紀雄たちにカモにされないで
http://iiyu.asablo.jp/blog/2017/12/24/8754229
ニュートン2018年１月号は、AI(人工知能)大特集。日本列島 創成史、惑星系形成理論、スーパー望遠鏡「アルマ」、輝く星の一生、そして、情報省の恐るべき生物兵器も出ていた。＼(^O^)／
http://iiyu.asablo.jp/blog/2017/06/14/8595649
別冊日経サイエンス：別冊216 AI 人工知能の軌跡と未来 竹内郁雄 編
http://iiyu.asablo.jp/blog/2017/05/18/8564076
続：日本AIベンチャーの雄、Preferred Networks(PFN)が、総務省の開発指針に反対する理由でわかる官僚お得意のガイドライン行政の罠。電子書籍の出来は？
http://iiyu.asablo.jp/blog/2017/05/12/8555381
日本AIベンチャーの雄、Preferred Networks(PFN)が、総務省の開発指針に反対する理由でわかる官僚お得意のガイドライン行政の罠
http://iiyu.asablo.jp/blog/2017/04/28/8503277
AI(人工知能)、機械学習、深層学習、ディープラーニングの本が百花繚乱
http://iiyu.asablo.jp/blog/2016/10/18/8231611
Deep Learning Javaプログラミング 深層学習の理論と実装。これからの強化学習、TensorFlowで学ぶディープラーニング入門
http://iiyu.asablo.jp/blog/2016/10/04/8210532
ゼロから作るDeep Learning ―Pythonで学ぶディープラーニングの理論と実装、TensorFlowで学ぶディープラーニング入門 ~畳み込みニューラルネットワーク徹底解説~、機械学習と深層学習―C言語によるシミュレーション、強化学習、ロボットインテリジェンス―進化計算と強化学習、進化計算と深層学習 -創発する知能
http://iiyu.asablo.jp/blog/2016/05/25/8095668
関数型オブジェクト指向AI プログラミング―Scala による人工知能の実装、Scalaのバイブル、Programming in Scala 3rd Edition, Guide to Play2 Scala
AI, 機械学習関連：
http://iiyu.asablo.jp/blog/2016/03/04/8038226
はじめての人工知能 Excelで体験しながら学ぶAI、ITエンジニアのための機械学習理論入門、初めてのディープラーニング、イラストで学ぶ ディープラーニング
http://iiyu.asablo.jp/blog/2016/01/29/8004524
GoogleのTensorFlowより高性能!? MicrosoftのCNTK。コンピュータ囲碁、深層学習(ディープラーニング)で、プロ棋士を撃破島倉千代子。＼(^O^)／
http://iiyu.asablo.jp/blog/2016/01/22/7997853
東芝が独自のニューラルネット。Google発の深層学習フレームワーク「TensorFlow」。現代思想 2015年12月号 特集=人工知能 -ポスト・シンギュラリティのことも
http://iiyu.asablo.jp/blog/2016/01/19/7995816
KS情報科学専門書シリーズの新刊、イラストで学ぶディープラーニング。PacktはMachine Learning Week 2016なう
http://iiyu.asablo.jp/blog/2015/12/22/7957248
進化計算と深層学習 -創発する知能、現代思想 特集=人工知能 -ポスト・シンギュラリティ
http://iiyu.asablo.jp/blog/2015/12/15/7949555
人工知能ビジネス、機械学習、深層学習、Deep Learning、ITエンジニアのための機械学習理論入門
http://iiyu.asablo.jp/blog/2015/10/02/7822147
岩波からデータサイエンスシリーズが全６巻で刊行開始。データサイエンティスト養成読本
http://iiyu.asablo.jp/blog/2015/08/26/7750507
機械学習プロフェッショナルシリーズ第２期、異常検知と変化検知、サポートベクトルマシン、統計的学習理論、確率的最適化
http://iiyu.asablo.jp/blog/2015/07/10/7704579
クラウドではじめる機械学習、体験する機械学習、「人工知能 人類最悪にして最後の発明」、「イラストで学ぶ 人工知能概論」の感想なども
http://iiyu.asablo.jp/blog/2015/06/15/7669313
ディープラーニング、深層学習、人工知能(AI)、機械学習プロフェッショナルシリーズ
http://iiyu.asablo.jp/blog/2014/11/06/7484259
オライリー・ジャパンは、データサイエンス、機械学習、統計の新刊続々だった。関連書も
テスト駆動開発(TDD)より、形式手法(フォーマルメソッド、形式仕様記述、Formal Methods)。ランポート先生(Leslie Lamport)のTLA+, 実践TLA+、Suica, Pasmoも、Amazon AWSも、FINAL FANTASY XV POCKET EDITIONもフォーマルメソッド ― 2021年09月29日 11時32分49秒
ASAHIネット(http://asahi-net.jp )のブログサービス、アサブロ(https://asahi-net.jp/asablo/ )を使っています。
---
もう早く書かないから、明日まで。
翔泳社が電子書籍を50%ポイント還元セール中。
ま、そのうち、また、やるだろうから、その時でもいいけど。
https://www.amazon.co.jp/exec/obidos/ASIN/4798169161/showshotcorne-22/
実践TLA+ 単行本（ソフトカバー） – 2021/9/15
Hillel Wayne (著), 株式会社クイープ (翻訳, 監修)
https://www.amazon.co.jp/exec/obidos/ASIN/B09BJ44451/showshotcorne-22/
実践TLA+ Kindle版
Hillel Wayne (著), 株式会社クイープ (翻訳, 監修) 形式: Kindle版
翔泳社にある紹介。PDFはここで買える。
https://www.seshop.com/product/detail/24750
実践TLA+【PDF版】
ランポート先生(Leslie Lamport)といえば、LaTeXの作者であることを知っている人も多いと思うが、TLA+のような仕事もやっているし、フォールトトレラントや分散環境の散ビザンチン将軍問題が有名。
すごい人は、何をやってもすごいということ。
https://ja.wikipedia.org/wiki/ビザンチン将軍問題
数年前までブロックチェーン芸者になってウソや筋の悪い話を書いていた経済学者、野口悠紀雄のトンデモブロックチェーンの話も、この辺に関係する。
ダイヤモンド社、東京経済新報社、日本経済新聞社、文藝春秋社など、文系、ビジネス系出版社は、野口悠紀雄の出来の悪さがわからないから、記事を書かせたり、本を出したりしているんだよね。
こういう文系出版社の科学や技術に対するリテラシーの低さが、日本の失われた10年、20年、30年、さらに永遠(苦笑)の大きな要因だと思っている。
何度も書くが、SuicaやPasmoといったソニーのフェリカネットワークスのFeliCaを使った電子カードは、フォーマルメソッドで開発された。
http://iiyu.asablo.jp/blog/2018/10/30/8985607
テスト駆動開発(TDD)より、形式手法(フォーマルメソッド、形式仕様記述、Formal Methods)。九州大学(九大)の荒木啓二郎先生が、熊本高等専門学校(熊本高専)の校長に！記念、形式手法とネットワーク技術シンポジウム
から
--- ここから ---
世の中、まだ、テスト駆動開発(TDD)しか知らず、形式手法(フォーマルメソッド、Formal Methods)を知らない人が多い。
以前書いたけど、Suicaやパスモなど、ソニーのフェリカネットワークスのFeliCaを使ったICカードは、形式手法を使って作られたし、アマゾンのサービスも、形式手法を使って作るようになったという話もある。この辺、時間があったら書こうと思って、もう２，３年経っている。
ちょっとだけ書くと。
TDDは、結局、プログラマが書いた場合しかテストできないので、バグは残る。形式手法は、数学的にプログラムの正しさを証明する。だから、正しいと証明された部分にバグはない。
ソフトウェア開発の現場の技術レベルを考えれば、実践できるのは、大体、テスト駆動開発(TDD)が精一杯という話もあるけど、TDDしか知らない人、TDDの限界を感じている人は、形式手法を学ぶのもいいと思いますよ。
--- ここまで ---
Felicaの開発のこと、開発を主導した栗田太郎さんの話などは、
http://iiyu.asablo.jp/blog/2010/07/29/5254545
VDM++によるオブジェクト指向システムの高品質設計と検証
を読んでください。
栗田さんは、Felicaの仕事を基に博士号を取得したので、ご同慶の至り。
もう5年以上前かな。Amazon AWSに適用した事例の論文があって、面白かったのは、現場のエンジニア、プログラマは数学や論理学に抵抗があるから、検証や証明といった用語は使わず、網羅的なテストツールだという言い方をしてAmazon内に普及させたという話。
その後、ちょっと調べたら、あの論文を書いた人たちは、たしかOracleだったかな、もう別の会社に移っていた。
あった。2014年だね。
https://lamport.azurewebsites.net/tla/formal-methods-amazon.pdf
Use of Formal Methods at Amazon Web Services
Chris Newcombe, Tim Rath, Fan Zhang, Bogdan Munteanu, Marc Brooker, Michael Deardeuff
Amazon.com
29th September, 2014
「Exhaustively testable pseudo-code」だから、「網羅的なテストツール」ではなく、「網羅的なテストができる擬似コード」だね。
フォーマルメソッドの第一人者、九州大学(当時)の荒木啓二郎先生の2010年のの論文。
https://www.jstage.jst.go.jp/article/secjournal/6/2/6_104/_pdf
ソフトウェア開発現場への形式手法導入
—形式手法適用の実経験から得られた知見—
形式手法人材育成WGリーダー
九州大学 大学院システム情報科学研究院 教授 工学博士
荒木 啓二郎
https://codezine.jp/article/detail/10505
「形式手法」の“論理の力”による開発効率と品質の向上事例
トップエスイーからのアウトカム ～ ソフトウェア工学の現場から 第7回
石川 冬樹（国立情報学研究所）[著]
2017/11/07 14:00
https://dev.classmethod.jp/articles/what-is-tlaplus/
[TLA+] TLA+と形式仕様言語 [目的と準備]
小室 啓
https://qiita.com/autotaker1984/items/52cd65486a3186af080b
形式手法はなぜ流行っていないのか
2021年03月25日に投稿
2021年03月27日に更新
関連：
http://iiyu.asablo.jp/blog/2018/10/30/8985607
テスト駆動開発(TDD)より、形式手法(フォーマルメソッド、形式仕様記述、Formal Methods)。九州大学(九大)の荒木啓二郎先生が、熊本高等専門学校(熊本高専)の校長に！記念、形式手法とネットワーク技術シンポジウム
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^)／
---
もう早く書かないから、明日まで。
翔泳社が電子書籍を50%ポイント還元セール中。
ま、そのうち、また、やるだろうから、その時でもいいけど。
https://www.amazon.co.jp/exec/obidos/ASIN/4798169161/showshotcorne-22/
実践TLA+ 単行本（ソフトカバー） – 2021/9/15
Hillel Wayne (著), 株式会社クイープ (翻訳, 監修)
https://www.amazon.co.jp/exec/obidos/ASIN/B09BJ44451/showshotcorne-22/
実践TLA+ Kindle版
Hillel Wayne (著), 株式会社クイープ (翻訳, 監修) 形式: Kindle版
翔泳社にある紹介。PDFはここで買える。
https://www.seshop.com/product/detail/24750
実践TLA+【PDF版】
ランポート先生(Leslie Lamport)といえば、LaTeXの作者であることを知っている人も多いと思うが、TLA+のような仕事もやっているし、フォールトトレラントや分散環境の散ビザンチン将軍問題が有名。
すごい人は、何をやってもすごいということ。
https://ja.wikipedia.org/wiki/ビザンチン将軍問題
数年前までブロックチェーン芸者になってウソや筋の悪い話を書いていた経済学者、野口悠紀雄のトンデモブロックチェーンの話も、この辺に関係する。
ダイヤモンド社、東京経済新報社、日本経済新聞社、文藝春秋社など、文系、ビジネス系出版社は、野口悠紀雄の出来の悪さがわからないから、記事を書かせたり、本を出したりしているんだよね。
こういう文系出版社の科学や技術に対するリテラシーの低さが、日本の失われた10年、20年、30年、さらに永遠(苦笑)の大きな要因だと思っている。
何度も書くが、SuicaやPasmoといったソニーのフェリカネットワークスのFeliCaを使った電子カードは、フォーマルメソッドで開発された。
http://iiyu.asablo.jp/blog/2018/10/30/8985607
テスト駆動開発(TDD)より、形式手法(フォーマルメソッド、形式仕様記述、Formal Methods)。九州大学(九大)の荒木啓二郎先生が、熊本高等専門学校(熊本高専)の校長に！記念、形式手法とネットワーク技術シンポジウム
から
--- ここから ---
世の中、まだ、テスト駆動開発(TDD)しか知らず、形式手法(フォーマルメソッド、Formal Methods)を知らない人が多い。
以前書いたけど、Suicaやパスモなど、ソニーのフェリカネットワークスのFeliCaを使ったICカードは、形式手法を使って作られたし、アマゾンのサービスも、形式手法を使って作るようになったという話もある。この辺、時間があったら書こうと思って、もう２，３年経っている。
ちょっとだけ書くと。
TDDは、結局、プログラマが書いた場合しかテストできないので、バグは残る。形式手法は、数学的にプログラムの正しさを証明する。だから、正しいと証明された部分にバグはない。
ソフトウェア開発の現場の技術レベルを考えれば、実践できるのは、大体、テスト駆動開発(TDD)が精一杯という話もあるけど、TDDしか知らない人、TDDの限界を感じている人は、形式手法を学ぶのもいいと思いますよ。
--- ここまで ---
Felicaの開発のこと、開発を主導した栗田太郎さんの話などは、
http://iiyu.asablo.jp/blog/2010/07/29/5254545
VDM++によるオブジェクト指向システムの高品質設計と検証
を読んでください。
栗田さんは、Felicaの仕事を基に博士号を取得したので、ご同慶の至り。
もう5年以上前かな。Amazon AWSに適用した事例の論文があって、面白かったのは、現場のエンジニア、プログラマは数学や論理学に抵抗があるから、検証や証明といった用語は使わず、網羅的なテストツールだという言い方をしてAmazon内に普及させたという話。
その後、ちょっと調べたら、あの論文を書いた人たちは、たしかOracleだったかな、もう別の会社に移っていた。
あった。2014年だね。
https://lamport.azurewebsites.net/tla/formal-methods-amazon.pdf
Use of Formal Methods at Amazon Web Services
Chris Newcombe, Tim Rath, Fan Zhang, Bogdan Munteanu, Marc Brooker, Michael Deardeuff
Amazon.com
29th September, 2014
「Exhaustively testable pseudo-code」だから、「網羅的なテストツール」ではなく、「網羅的なテストができる擬似コード」だね。
フォーマルメソッドの第一人者、九州大学(当時)の荒木啓二郎先生の2010年のの論文。
https://www.jstage.jst.go.jp/article/secjournal/6/2/6_104/_pdf
ソフトウェア開発現場への形式手法導入
—形式手法適用の実経験から得られた知見—
形式手法人材育成WGリーダー
九州大学 大学院システム情報科学研究院 教授 工学博士
荒木 啓二郎
https://codezine.jp/article/detail/10505
「形式手法」の“論理の力”による開発効率と品質の向上事例
トップエスイーからのアウトカム ～ ソフトウェア工学の現場から 第7回
石川 冬樹（国立情報学研究所）[著]
2017/11/07 14:00
https://dev.classmethod.jp/articles/what-is-tlaplus/
[TLA+] TLA+と形式仕様言語 [目的と準備]
小室 啓
https://qiita.com/autotaker1984/items/52cd65486a3186af080b
形式手法はなぜ流行っていないのか
2021年03月25日に投稿
2021年03月27日に更新
関連：
http://iiyu.asablo.jp/blog/2018/10/30/8985607
テスト駆動開発(TDD)より、形式手法(フォーマルメソッド、形式仕様記述、Formal Methods)。九州大学(九大)の荒木啓二郎先生が、熊本高等専門学校(熊本高専)の校長に！記念、形式手法とネットワーク技術シンポジウム
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^)／
最近のコメント