Proof Summit 2019 定理証明系に関するユーザーイベントです。 ■ 日時：2019/ 9/29 11:00ｰ16:30 ■ 感想 → Coqの証明系だけかと思っていたら もっと幅広いツールが言及されていた → 自分としても、 型付ラムダ関数、カリーハワード対応などを勉強する基盤が出…

第二回 Deep Learning Acceleration 勉強会（DLAccel #2） ■ 日時：2019/9/28 13:15ｰ17:00 ■ 感想 → 深層機械学習用のプロセッサ開発についての勉強会 基本的に「学習系」ではなく「診断系」プロセッサ → DLのアルゴリズムに対する深い理解が無いとついて行…

第56回CSA勉強会 「説明可能なＡＩ（ＸＡＩ）」 ■ 日時：2019/9/27 18:00ｰ20:00 ■ 感想 → AIの実行がブラックボックスなのは周知の事実 その回答に対する説明責任は重要な課題である → ビジネス的な必然性の話がだけで終わった勉強会 講師がマーケの人だから…

【第36回AIセミナー】これからの製造産業のあるべき姿 ■ 日時：2019/9/26 15:00ｰ17:00 ■ 感想 → 人工知能やIoTにてきかした製造産業について 新しい知見を得た有意義なセミナで会った → 特にマイクロ・ファブが３Dプリンタと融合した場合 自宅で最適な製品の…

【マルレク】ソフトウェア・エンジニアリングの新しい潮流 -- Deep Specificationの世界 ■ 日時：2019/9/24 19:00ｰ21:00 ■ 感想 → ソフトウェア開発の新しい徴候 SWの記述に問題が無いか(How)の検証から SWの仕様に問題が無いか(What/Why)の記述に移行すると…

１．配列 １．１ 配列の仕組み １．２ データの挿入・データの削除 １．３ データの探索 ２．スタック ２．１ スタック ２．２ 配列を利用したスタックの実装 ２．３ スタックの応用 ３．キュー ３．１ キュー ３．２ キューの実装 ３．３ 両端キュー ３．４…

データ構造とプログラミング(’１８)（専門：情報コース） 科目概要 シラバス（抜粋） テキスト目次 Web 教材 インターネット視聴 Web補助教材 以上

１．論より数字。間より統計 〜私たちの身近で活躍する統計情報〜 １．１ 情報を捉え将来の不確実性を科学する統計学 １．２ 統計学が支える諸分野 １．３ 統計学の構成 １．４ 本書の構成 ２．データのばらつきの記述（質的データ） 〜度数分布表とパレート…

■ 講座情報 身近な統計（’１８） Introduction to Statistics ('18) 【主任講師】 石崎 克也（放送大学教授） 渡辺 美智子（慶應義塾大学大学院健康マネジメント研究科教授） 【インターネット視聴】 ■講義概要 高度情報化社会が謳われる中で、 私たちの身の…

身近な統計(’１８)（基礎：基礎科目） 科目概要 シラバス（抜粋） テキスト目次 Web 教材 インターネット視聴 「身近な統計」 関係講座 「社会統計学入門 ’１８（社会と産業コース）」 「統計学 ’１３（自然と環境コース）」 以上

情報理論とデジタル表現 (’１９)（導入：情報コース） 科目概要 シラバス（抜粋） テキスト目次 Web 教材 インターネット視聴 参考資料 情報通信理論 ー情報と通信のハイパーテキストー 「3の100乗を19で割ったあまりは？」を４通りの方法で計算する フェル…

入門微分積分 (’１６)（導入：自然と環境コース） 科目概要 シラバス（抜粋） テキスト目次 Web 教材 インターネット視聴 参考資料 実数の性質シリーズ 微分積分 | ワイズ ε－Ｎ（イプシロン・エヌ）論法 ε-N 論法を使った証明について 以上

入門線型代数 (’１９)（導入：自然と環境コース） 科目概要 * シラバス（抜粋） * テキスト目次 Web 教材< インターネット視聴 参考資料 大学1年生もバッチリ分かる線形代数入門 関連講座 入門線型代数 (’１４)：テキスト目次 以上

デジタル情報の処理と認識 (’１８)（専門：情報コース） 科目概要 シラバス（抜粋） テキスト目次 Web 教材 インターネット視聴 以上

記号論理学 (’１４)（専門：情報コース） 科目概要 シラバス（抜粋） テキスト目次 Web 教材 インターネット視聴 タブ朗 参考資料 数理論理学入門 高崎金久（京都大学） 論理 | 数学 | ワイズ 2017年度後期・数理解析・計算機数学 II 論理学（山陽学園大学）…

Serverless Meetup Tokyo #14 ■ 日時：2019/9/19 19:00ｰ21:30 ■ 感想 → サーバレス・クラウド・コンピューティングの勉強会 サーバレスは、FaaSなども含めて現クラウド・サービスの アーキテクチャのトレンド → クラウド・サービス毎にシステムの形態などが…

Red Hat/CentOSユーザーのためのUbuntu入門 グローバルに人気を集めるLinuxディストリビューション「Ubuntu」について語りつくす ■ 日時：2019/9/17 19:00ｰ21:30 ■ 感想 → 技術的な話は無く、パッケージ構成やリリース時期の話が主 ビジネス的には重要な話な…

【日曜eLV】 統計学・確率論・情報理論の考え方 ICTを支える「考え方」シリーズ：S03 ■ 日時：2019/9/15 13:00ｰ16:30 ■ 感想 → 「ICTを支える「考え方」シリーズ」の日曜版 通常の2倍ぐらいの時間で、内容的には丁度良い感覚 交通費を考えると有料でも、この…

【eLV】図解の基本を学ぼう！ＶＵＣＡ時代のリアルタイム構造化術 ■ 日時：2019/9/09 13:00ｰ21:30 ■ 感想 → 期待していた図解の技術やグラフィックの話は聞けなかった。 もう少し、絵を描く時間があると良かった。 → あの時価でのグループ・ミーティングも無…

【eLV】プレゼンについてLTしてみよう！ eLVプレゼン勉強会シリーズ ver.1 ■ 日時：2019/9/06 19:00ｰ21:00 ■ 感想 → IT系勉強会とは違ったのり 昔の「勉強会・勉強会を」を思い出した → 今回は、疲れも無く、アルコール抜きだったので 懇親会は、早々に退却 …

Apache Pulsar Meetup Japan #3 メッセージングシステムの活用事例紹介 ■ 日時：2019/9/04 19:00ｰ22:00 ■ 感想 → 当初のタイトルは「Apache Pulsar Meetup Japan #3 with Apache Kafka」 Apache Kafkaとの関係が気になって聴講 当初のイメージ通り、「住み分…

【マルレク】型の理論入門 ■ 日時：2019/9/03 19:00ｰ22:00 ■ 感想 → 数年前では、全くわからなかった内容が 大分、わかるようになってきた → 継続は力 → まだ、論理や整数論について 人に説明できるぐらいにわかるよう勉強が必要である → まずは、今、始めて…

量子コンピュータ＆量子通信の 最新動向と展望 ■ 日時：2019/4/11 13:00ｰ17:30 ■ 感想 → 量子コンピュータ関連技術を俯瞰 → 相変わらず要領を得ない内容 → 資料を再考予定 ■ 開催・資料 www.ipsj.or.jp 量子技術2.0(資料) （セミナ・メモ） ● 量子技術2.0最…

AIの歴史を探る夕べ 「Unix考古学 」の著者がAIの歴史について語る ■ 日時：2019/1/31 19:30ｰ21:00 ■ 感想 → 「Unix考古学 」の著者のAIの話 近々、AIで似たような著書を出版しようと執筆中とのこと → 第一次、二次と経て、現在。第三次AIブームの中 多分、…

Apache Kafka Meetup Japan #6 @Yahoo! JAPAN ■ 日時：2019/4/09 19:00ｰ22:30 ■ 感想 → Kafka は、分散・並列ブロック処理 Cloud 時代には押さえておきたい技術 → みぞラボで実験したい優先技術候補 ■ 開催・資料 kafka-apache-jp.connpass.com （セミナ・メ…

【hbstudy】Hardening に参加しよう！ ■ 日時：2019/4/08 19:00ｰ21:00 ■ 感想 → 現場感覚でWeb営業運営の練習＆力試し → 主張旅費の負担のみで参加OK → 年2回開催（開催地は島縛り） → 病気治療の目処が立ち現場へ復帰するときの足がかりとして考えたい ■ 開…

Global AI Nights Tokyo 世界中の仲間と MIcrosoft AI Platform を楽しもう！ ■ 日時：2019/4/02 19:00ｰ22:00 ■ 感想 → MacBookの電源問題で実習できず → BitHubのコンテンツ教材を自習する予定 ■ 開催・資料 cogbot.connpass.com 以上

第4回 nlpaper.challenge NLP/CV交流勉強会(最終回) ■ 日時：2019/4/06 19:00ｰ21:30 ■ 感想 → 疲れのためか、遅刻して会場への入場も出来ず、 講演も準備不足で殆ど寝ていた → 牛久先生の話は面白かったが、最新の研究論文と 線型代数など数字(データ)の海へ…

【eLV】セルフブランディング戦略 セルフブランディングを確立してなりたい自分を具体的にイメージしよう！！ ITコンサルタントへの第一歩シリーズ ■ 日時：2019/4/04 19:00ｰ21:30 ■ 感想 → 今までで一番掛けたもの → 時間、お金、夢中 → 役に立った仕事のス…

【マルレク】量子コンピュータをやさしく理解する三つの方法 ■ 日時：2019/3/25 19:00ｰ21:30 ■ 感想 → 内容の理解が出来ず、ジックリと入門学習が必要なことを実感 ■ 開催・資料 easyq.peatix.com www.marulabo.net （セミナ・メモ） ● 量子の不思議な世界 …