morita_hm (@morita_hm)


参加する勉強会

10/21 (土)

8e4f7fce315670850c7a34f9a7813c1b ProofCafe
"A Gentle Introduction to Type Classes and Relations in Coq" の第3回目です。 予習には、以下を参考に、サンプルコードを読んでおいてください。 準備していなくても、当日、インストールから説明します。 https://github.com/suharahiromichi/doc/blob/master/coq_gitcrc.md また、上記を補足するCoqの入門的な資料も用意しますので、安心してください。 以上


過去の勉強会

9/17 (日)

台風18号について 台風18号の接近に伴い、17日15時以降名古屋が暴風域に入る可能性があります。 したがって開催時間をはやめ、11:00から14:00くらいに変更します。 作って食べる料理は夕食ではなく昼食となります。 Talkの時間割も変更になると思いますが、現地で決定します。 概要 お茶と料理を楽しみながら関数プログラミングの話とかしましょう。 TOC(台風による予定変更前の内容) 14:00-15:00 Talk 1 依存型の話 (@t6s) 15:00-16:00 お茶 & Talk 2 数学者のいう美しさってなんじゃらほい (@tannakaken) 16:00-17:00 Talk 3 OCaml で線形型を使ったプログラミングの話 (@keigoi) 17:30-20:30 料理と夕食 & Talk 4 分割数の話 (@wasajifu1) お茶 台湾茶 (@GregWeng) 抹茶 (@t6s) 料理 沙茶料理 (@GregWeng) その他 淹れたいお茶などの持ち込み歓迎します

9/16 (土)

8e4f7fce315670850c7a34f9a7813c1b ProofCafe
"A Gentle Introduction to Type Classes and Relations in Coq" の第二回目です。 予習には、以下を参考に、サンプルコードを読んでおいてください。 準備していなくても、当日、インストールから説明します。 https://github.com/suharahiromichi/doc/blob/master/coq_gitcrc.md また、上記を補足するCoqの入門的な資料も用意しますので、安心してください。 以上

9/2 (土)

C0a692bf3e8aa66150559ea1a042a31d 機械学習 名古屋
☆★☆★☆★  来栖川電算様にスポンサーになって頂きました。  ☆★☆★☆★ ☆★☆★☆★ 参加費無料です。どなたでもお気軽にご参加下さい。 ☆★☆★☆★ 1. Google の機械学習APIを使ったハンズオン 前回の東建ホールの大発表会で、Google、Microsoft、ドコモ等の機械学習APIを使った発表がありました。 非常に興味深い内容の発表でしたが、今回は、Google APIを使ったハンズオンを行いたいと思います。 普段、API等は使わずに自作の機械学習プログラムを使用している方も多いと思いますが、APIを使った手軽な機械学習をお試しください。 https://cloud.google.com/products/machine-learning/?hl=ja のサービスを利用します。 クレジットカードの登録が必要です。下記 ハンズオン資料 (1) の 0. GCP ML サービス無料トライアルを開始する を参考に『無料トライアル』のサインアップまでは勉強会開始前までに済ませてください。 ハンズオン資料 ハンズオン資料 (1) ハンズオン資料 (2) ハンズオン資料 (3) 2. 発表 何か発表をしていただける方は、ご連絡をお願いします。 機械学習/ディープラーニングに関することや、関連する内容ならなんでもOKです。 櫻井  ドイツのIndustry4.0戦略、CeBITの報告 antimon2 NGK2017Bの告知 時間割 13:00-13:10 挨拶 13:10-14:30 各自でハンズオン 14:40-15:00 ハンズオンの解説・質疑応答 15:00-     発表 会場や会費について 会場:名駅南VIPルーム 住所:名古屋市中村区名駅南1丁目19-27 オリファビル3階 会費:無料 お気軽にご参加ください。 懇親会について 懇親会も来栖川電算様が一部、負担をしていただけます。 ぜひ、ご参加ください。

8/19 (土)

8e4f7fce315670850c7a34f9a7813c1b ProofCafe
"A Gentle Introduction to Type Classes and Relations in Coq" の第一回目です。 予習には、以下を参考に、サンプルコードを読んでおいてください。 準備していなくても、当日、インストールから説明します。 https://github.com/suharahiromichi/doc/blob/master/coq_gitcrc.md また、上記を補足するCoqの入門的な資料も用意しますので、安心してください。 以上

7/2 (日)

C0a692bf3e8aa66150559ea1a042a31d 機械学習 名古屋
☆★☆★☆★ 東建コーポレーション(株)様に会場を無償提供頂きました。 ☆★☆★☆★ ☆★☆★☆★   参加費無料です。どなたでもお気軽にご参加下さい。   ☆★☆★☆★ 今回は、東建コーポレーション(株)様がスポンサーとなって、会場を無償提供頂きました。 収容人数400人の東建ホールにて勉強会を開催します! いつもは、ハンズオン形式で実際のコーディングを行っていますが、立派なホールということで、今回は、発表をメインに行います。 日曜日ということで、お休みの方も多いと思いますが、必ず良い話しが聞けますので、ぜひ、ご参加下さい。 申し込み方法 1・conpass上からの申し込み このページの「このイベントに申し込む」より登録してください。 2・それ以外 「友人・会社の同僚を数人まとめて」という場合は、このページ内にある「イベントへのお問い合わせ」よりお問い合わせください。 会場や会費について 会場:東建ホール 住所:名古屋市中区丸の内二丁目1番33号 東建本社丸の内ビル3F・4F http://www.token-hall.com 受付を3Fで行います。3Fまでお上りください。 会費:無料 お気軽にご参加ください。 ※受付時に、名刺を頂ければと思います。(任意) 発表について 発表者の募集は締切・確定とさせていただきました。 タイムテーブル 時間 タイトル 発表者 13:00-13:10 機械学習名古屋についての説明 三輪 13:10-13:45 Googe Cloud Platform を使ったAIの活用 牧野 13:45-14:10 Julia の紹介(仮) 後藤 14:10-14:20 休憩 14:20-14:50 分析屋を商売にしてみた〜実ビジネスに機械学習を適用するのは正直しんどい〜 伊藤 14:50-15:20 AIで飯を食う 田中 15:20-15:30 休憩 15:30-16:00 賢いAIへの道 ~データ収集&アノテーション~ 来栖川電算 16:00-16:15 東建から求人採用・外部委託についての説明 東建コーポレーション 16:15-16:20 懇親会の説明 三輪 懇親会について 東建コーポレーション様も参加する懇親会を行います。 東建コーポレーション様のITの取り組みを、いろいろお話できます。 こちらも合わせて、ご参加下さい。 https://machine-learning.connpass.com/event/59237/ よりお申し込みいただけます。

6/17 (土)

8e4f7fce315670850c7a34f9a7813c1b ProofCafe
The Little Prover の 第8章を読みます。 時間があれば第67回以降の Coq 勉強会のオリエンテーションを予定しています。

8e4f7fce315670850c7a34f9a7813c1b ProofCafe
the Little Prover CH8.6 から
The Little Prover の 第8章。フレーム6から始めます。 会場はA-317です。

8e4f7fce315670850c7a34f9a7813c1b ProofCafe
The Little Prover の 第7章。前回は7章の途中で終わりましたが、復習のために7章の最初から振り返ります。 会場はA-317に決まりました。 以上

5/20 (土)

8e4f7fce315670850c7a34f9a7813c1b ProofCafe
The Little Prover の 第7章。前回は7章の途中で終わりましたが、復習のために7章の最初から振り返ります。 会場はA-317に決まりました。 以上

5/13 (土)

C0a692bf3e8aa66150559ea1a042a31d 機械学習 名古屋
☆★☆★☆★  来栖川電算様にスポンサーになって頂きました。  ☆★☆★☆★ ☆★☆★☆★ 参加費無料です。どなたでもお気軽にご参加下さい。 ☆★☆★☆★ 1. tf-goghを使ったハンズオン 今回は、n_kats_さんより、前回の発表で、ある画像を「ゴッホ的」に見せるがありましたが、それを、実際にコードで書いて理解しよう!という趣旨の勉強会を行います n_kats_さんの発表について http://qiita.com/n_kats_/items/891489d8ef912af4e699 「ゴッホ的」な画像を作るにあたって、ポイントはこの二点です。 2つの画像の特徴を混ぜる方法の理解すること ハイパーパラメーターを変更するどうなるかを試すこと mnist では、大量の数字画像データを学習して数字の判別を行いました。その仕組みを理解されている方も多いと思います。 今回のハンズオンは、それとは違い、tensorflowを使って「如何に画像の特徴を読み取るか」です。その仕組みを理解されている人は少ないと思いますので、ぜひ、ハンズオンを行なって、理解していきましょう。 ハンズオンに必要なものを準備しておいてください。 ・ tf-goghのソースコード(https://github.com/n-kats/tf-gogh) ・ tf-goghで利用する画像(元画像になるものや画風画像になるもの) ・caffemodelファイル ninモデル vggモデル  パッケージ(いずれもpipもしくはpip3でインストールできます。) ・ chainer ・ pillow ・ tensorflow ・ jupyter ・ matplotlib pythonのversionは3系をおすすめします。 Dockerを利用する場合は、 docker pull nkats/mln:20170513 を利用してください。 上記のパッケージと日本語環境を備えています。 Dockerイメージにモデルやtf-goghのソースコードは含まれていませんので、これらのダウンロードを忘れないでください。 (Dockerイメージのサイズは大きいので、会場でのダウンロードは難しいかと思うので事前にダウンロードをしておいてください。) 2. 発表 何か発表をしていただける方は、ご連絡をお願いします。 機械学習/ディープラーニングに関することや、関連する内容ならなんでもOKです。 A.Tajiri antimon2 tonosaki ディープラーニングでペットボトルの本数を数えてみる 時間割 13:00-13:10 挨拶 13:10-14:00 各自でハンズオン 14:10-14:30 ハンズオンの解説・質疑応答 14:30-     発表 会場や会費について 会場:名駅南VIPルーム 住所:名古屋市中村区名駅南1丁目19-27 オリファビル3階 会費:無料 お気軽にご参加ください。 懇親会について 懇親会も来栖川電算様が一部、負担をしていただけます。 ぜひ、ご参加ください。

4/15 (土)

8e4f7fce315670850c7a34f9a7813c1b ProofCafe
今月は「完全性定理に関する勉強会」・「数学的な話題で登場する圏論に関する勉強会」に合流して開催します。 1315-1515 完全性定理 1530-1630 tannaka duality 以上 先月と場所と時間が異なりますので、注意してください。

3/18 (土)

8e4f7fce315670850c7a34f9a7813c1b ProofCafe
(開始時刻が02:30と表示されますが、14:30からです)
little prover 読書会です。 今回は 6章からです。 終了後、18:00より、よしひろさんの壮行会が予定されています。 https://proofcafe.connpass.com/event/53012/

3/11 (土)

C0a692bf3e8aa66150559ea1a042a31d 機械学習 名古屋
☆★☆★☆★  来栖川電算様にスポンサーになって頂きました。  ☆★☆★☆★ ☆★☆★☆★ 参加費無料です。どなたでもお気軽にご参加下さい。 ☆★☆★☆★ 前回、機械学習名古屋の管理人が運営するECサイト(http://www.imcshop.com)のアクセスログをディープラーニングを使って学習しました。 今回は、学習した内容を元に、サイトの改善にどうつなげるかのハンズオンを行います。 実際に運用しているサイトのデータですので、非常に実用性のある勉強会ができると思います。 通常公開しない極秘データ!?を使った勉強会です。ぜひ、ご参加下さい。 1. アクセスログを使ったハンズオン 前回の内容を確認して、学習データを用意して下さい。 https://machine-learning.connpass.com/event/43540/ 前回から引き続き、TensorFlow を利用します。 TensorFlow は、直接インストール or DockerイメージDL で準備しておいてください。 Installing TensorFlow(最新 v1.0 対応) / Download and Setup(v0.12 以下) Docker Docker for Windows / Docker for Mac / Docker Toolbox pyenv-virtualenv + TensorFlow 環境設定覚書(公式以外の方法の紹介 by antimon2) ※サンプルコードを公開します→ https://github.com/antimon2/MLN_201703/blob/master/CSVAnalyze.TF.ipynb 2. 発表 何か発表をしていただける方は、ご連絡をお願いします。 機械学習/ディープラーニングに関することや、関連する内容ならなんでもOKです。 kmt_t 「画像の精細化」 n-kats 「TensorFlowで絵を描いてみた」 satsuki kawamura  「人工知能xデザイン(仮)」 時間割 13:00-13:10 はじめに 13:10-14:00 バンスオン 14:10-15:10 kmt_t さん 15:20-15:50 satsuki kawamuraさん 16:00-16:30 n-kats さん 会場や会費について 会場:名駅南VIPルーム 住所:名古屋市中村区名駅南1丁目19-27 オリファビル3階 会費:無料 お気軽にご参加ください。 懇親会について 懇親会も来栖川電算様が一部、負担をしていただけます。 ぜひ、ご参加ください。